Publications / Publikationen

Categories / Rubriken


Reference Books / Fachbücher

Heiko Krumm:
Temporal Logic.
To appear in: J. Urban, P. Dasgupta (eds.), Encyclopedia of Distributed Systems, Kluwer Academic Publishers, 1999.

Peter Herrmann:
Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen..
Deutscher Universitätsverlag, 1998. (In German)

Peter C. Lockemann, Gerhard Krüger, Heiko Krumm:
Telekommunikation und Datenhaltung.
Hanser Fachbuch (1993). (In German)

Heiko Krumm:
Funktionelle Analyse von Kommunikationsprotokollen.
Springer Verlag, Informatik-Fachberichte, 1990. (In German)

Journal papers / Zeitschriftenartikel

Joao Porto de Albuquerque, Heiko Krumm, Paulo Licio de Geus, Rene Jeruschkat:
Scalable Model-Based Configuration Management of Security Services in Complex Enterprise Networks.
Software: Practice and Experience, Volume 41, Issue 3, pages 307–338, March 2011

Joao Porto de Albuquerque, Heiko Krumm, Paulo Licio de Geus:
Formal Validation of Automated Policy Refinement in the Management of Network Security Systems.
International Journal of Information Security , Springer, Volume 9, Issue 2 (2010), Page 99-125.

F.-J. Stewing, I.Lück, H. Krumm, A. Pohl:
Von der Gerätebindung zur automatisierten Integration Geräte-basierter Webservices.
IMC Information Management & Consulting, 22(2007)2, 95-98.

P. Herrmann, H. Krumm:
Trust-Based Monitoring of Component-Structured Software.
Praxis der Informationsverarbeitung und Kommunikation (PIK), K.G. Saur Verlag, 27(2004)4, 237-245.

G. Graw, P. Herrmann:
Transformation and Verification of Executable UML Models.

Electronic Notes in Theoretical Computer Science, Elsevier Science, Volume 101, 1 (2004), Pages 3-24.

P. Herrmann, G. Herrmann (Guest Editors):
Special Issue on Security and Trust in Electronic Commerce.
Electronic Commerce Research Journal, Kluwer Academic Publishers, 4(2004)1-2.

P. Herrmann, H. Krumm, O. Drögehorn, W. Geisselhardt:
Framework and Tool Support for Formal Verification of High Speed Transfer Protocol Designs.
Telecommunication Systems, Kluwer Academic Publisher, 20(2002)3-4, 291-310.

S. Kowalewski, P. Herrmann, S. Engell, R. Huuck, H. Krumm, Y. Lakhnech, B. Lukoschus, H. Treseler:
Approaches to the Formal Verification of Hybrid Systems.
at - Automatisierungstechnik, 49(2001)2, 66-74.

P. Herrmann, H. Krumm:
A Framework for Modeling Transfer Protocols.
Computer Networks, 34(2000)2, 317-337.

H. König, P. Langendörfer, H. Krumm:
Improving the Efficiency of Automated Protocol Implementations Using a Configurable FDT Compiler.
Computer Communications, 23(2000)12, 1179-1195.

H. Krumm:
Verteilte Anwendungen - Aufbau, Funktionen und Entwicklungspotenziale verteilter Software-Systeme.
Computer + Unterricht, 39(2000), 47-50.

A. Mester, H. Krumm:
Animation of Protocols and Distributed Algorithms.
Journal of Computer Science Education, 10(2000)3, 243-265.

P. Herrmann, H. Krumm:
Modular Specification and Verification of XTP.
Telecommunication Systems, 9(1998)2, 207-221.

P. Herrmann, H. Krumm:
Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework.
Praxis der Informationsverarbeitung und Kommunikation (PIK), 21(1998)2, 79-88. (In German)

H. König, H. Krumm:
Implementierung von Kommunikationsprotokollen.
Informatik Spektrum 19, 6(1996) 316-325. (In German)

Heiko Krumm, Josef Reichl, Alexander Söder:
Großrechner-Anschluß an Kommunikations-Vorrechner: Ein Fallbeispiel zur formal unterstützten Kommunikationssoftware-Entwicklung.
Praxis der Informationsverarbeitung und Kommunikation (PIK) 16(1993)2, 70-77. (In German)
(Kurzfassung)

Heiko Krumm:
Logische Verifikation nebenläufiger Programme.
Angewandte Informatik, 4 (1987) 131-140. (in German)

Heiko Krumm, Oswald Drobnik:
Interactive verification of communication software on the basis of CIL.
Computer Communication Review 14(2): 92-99 (1984)

Conference papers / Tagungsbeiträge

Krumm H, Reiss N, Burkert M, Schmidt T, Biehs S, Bohr C, Gürtler F, Horn H, Kreutzer P, Mewes P, Miller H, Riest C, Römer C, Seebold A, Sprung G, Ziegler O: Development of a Computer-Aided Dosage and Telemonitoring System for Patients Under Oral Anticoagulation Therapy; Stud Health Technol Inform. 2018;248:188-195; abrufbar unter "https://www.ncbi.nlm.nih.gov/pubmed/29726436".

Reiss N., Schmidt T., Müller-von Aschwege F., Thronicke W., Hoffmann J.-D., Röbesaat J.-I., Deniz E., Hein A., Krumm H., Stewing F.-J., Willemsen D., Schmitto J.-D., Feldmann C.: Telemonitoring and Medical Care of Heart Failure Patients Supported by Left Ventricular Assist Devices - The Medolution Project; Stud Health Technol Inform. 2017;236:267-274.

Volmer J., Burkert M., Krumm H., Abodahab A., Dinklage P., Feltmann M., Kröger C., Panta P., Schäfer F., Scheidt D., Sellung M., Singerhoff H., Steingrefer C., Schmidt T., Hoffmann J.-D., Willemsen D., Reiss N.: Enhancing Long-Term Motivation of Cardiac Patients by Applying Exergaming in Rehabilitation Training; Stud Health Technol Inform. 2017;237:183-187.

Malte Burkert, Heiko Krumm, Joe Volmer, Christoph Fiehe: Rule-based technical management for the dependable operation of networked Building Automation Systems; in Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management (IM) 2017, Lisbon, May, 2017, IFIP/IEEE ComSoc, 2017.

Malte Burkert, Jörn Esdohr and Heiko Krumm: A Small-Scale Model House Evaluation platform for Building Automation Systems. to appear in Proceedings of the 10th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE) as part of the 21th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2016), IEEE, Sept. 2016.

Malte Burkert, Heiko Krumm: Dependency Management in Component-Based Building Automation Systems. to appear in Proceedings of the 14th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2016), IEEE, Auckland, New Sealand, Aug. 2016.

Malte Burkert, Heiko Krumm, Christoph Fiehe: Technical Management System for Dependable Building Automation Systems. in Proceedings of the 9th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments (SOCNE) as part of the 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2015), IEEE, Sept. 2015.

Malte Burkert, Franz-Josef Stewing, Heiko Krumm, Christoph Fiehe, Ingo Lück: Networked Devices Meeting Dependability while Supporting the Medical Supervision of Cardiac Patients under Rehabilitation; in: Proceedings of the 13th IFAC Conference on Programmable Devices and Embedded Systems (PDeS 2015), IEEE, IFAC, 2015.

Israfil Akman, Henning Brümmer, Rafael Bielen, Jan-Dirk Hoffmann, Oliver Dohndorf, Stefan Tschentscher, Heiko Krumm, Egor Kudrjaschow, Anke Workowski, Detlev Willemsen: CordiAAL - Enhanced Motivation for Cardiological Ergometer Training through Virtual Groups in Virtual Worlds; in: Proceedings of the International Conference on Health Informatics (HEALTHINF 2014), SCITEPRESS Digital Library, www.scitepress.org, 2014.
- Preliminary version (PDF) here -
Further information can be found in (in German):
Susanne Riese:Reif für die Insel – Herzsport im grünen Bereich, in: MUNDO, TU Dortmund, Dortmund, 19/13, 2013; Seite 13-15.

Janus, Tim; Kohlmeier, Torben; Marinov, Viktor; Marks, Janina; Mikosch, Christian; Nimbs, Michael; Panke, Thorsten; Störling, Jörn; Dohndorf, Oliver; Krumm, Heiko (TU Dortmund, Lehrstuhl Informatik IV, 44221 Dortmund, Deutschland) Hoffmann, Jan-Dirk; Workowski, Anke; Willemsen, Detlev (Schüchtermann-Schiller’sche Kliniken, 49214 Bad Rothenfelde, Deutschland): GlobalSensing - Ein supervidiertes Outdoor-Training in der kardiologischen Sekundärprävention; in: BMBF ; DFKI ; Sozialverband VdK ; Frauenhofer-AAL: Lebensqualität im Wandel von Demografie und Technik, Tagungsband 6. deutscher AAL-Kongress, 22.-23. Januar 2013, VDE Verlag, Berlin, 2013.

Tim Janus, Torben Kohlmeier, Viktor Marinov, Janina Marks, Christian Mikosch, Michael Nimbs, Thorsten Panke, Jörn Störling, Oliver Dohndorf, Heiko Krumm, Jan-Dirk Hoffmann, Anke Workowski, Detlev Willemsen: GlobalSensing - A Supervised Outdoor-Training in Cardiological Secondary Prevention; in: Ambient Assisted Living - Advanced Technologies and Societal Change, Springer Verlag, Berlin, 2013, pp 175-192.

Workowski A., Busch J.-C., Hoffmann J.-D., Dohndorf O., Müller F., Willemsen D., Eichelberg M., Stewing F.-J., Krumm H.: Acceptance of telemonitoring in cardiology secondary prevention – evaluation results of the research project OSAmI Commons; In: Proc. Congress of The Royal Society of Medicine: eHealth & Telemedicine 2012: 3 million and rising: Integrating care, mainstreaming technology; London 2012.

Oliver Dohndorf, Andre Göring, Heiko Krumm, Andre Schneider, Aike Sommer, Stephan Sladek, Clemens Busch, Jan-Dirk Hoffmann, Detlev Willemsen: RehaWeb - An Information System for Cardiologic Rehabilitation Assistance in the Third Phase. In: Ambient Assisted Living - Advanced Technologies and Societal Change 2012, pp 273-288, Springer Berlin Heidelberg, 2012.

Dohndorf, Oliver; Göring, Andre; Krumm, Heiko; Schneider, Andre; Sommer, Aike; Sladek, Stephan; Busch, Clemens; Hoffmann, Jan-Dirk; Willemsen, Detlev: RehaWeb - Ein Informationssystem zur Unterstützung der kardiologischen Rehabilitation in der 3. Phase. In: Proc. Technik für ein selbstbestimmtes Leben - 5. Deutscher AAL-Kongress (AAL 2012), VDE Verlag, 2012.

Jan Krüger, Oliver Dohndorf, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück and Franz-Josef Stewing: Adaptive and Reliable Binding in Ambient Service Systems. To appear in Proc. of the Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE) of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, IES, 2011.

Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing: Tool-Supported Refinement of High-Level Requirements and Constraints into Low-Level Policies. in Proc. of IEEE International Symposium on Policies for Distributed Systems and Networks 2011 (Policy 2011), Pisa, Italy, 2011.

Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing: Policy-Based Management for Resource-Constrained Devices and Systems. in Proc. of IEEE International Symposium on Policies for Distributed Systems and Networks 2010 (Policy 2010), Fairfax, USA, 2010.

Feldhorst, S.; Fiedler, M.; Heinemann, M.; ten Hompel, M.; Krumm, H.: Event-based 3D-Monitoring of Material Flow Systems in Real-Time. To appear in Proc. of the 8th IEEE International Conference on Industrial Informatics 2010 (INDIN'10), Osaka, Japan, IEEE, 2010.

Elmar Zeeb, Guido Moritz, Wolfgang Thronicke, Myriam Lipprandt, Andreas Heinz, Frerk Müller, Jan Krüger, Oliver Dohndorf, Anna Litvina, Christoph Fiehe, Ingo Lück, Frank Golatowski, Dirk Timmermann: Generic Platform for Advanced E-Health Applications. to appear in Proc. of IEEE 12th International Conference on e-Health Networking, Application & Services (Healthcom2010), Lyon, Frankreich, 2010.

Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing, Oliver Dohndorf, Jan Krüger and Heiko Krumm: Towards the Web of Things: Using DPWS to Bridge Isolated OSGi Platforms. to appear in Proc. of the IEEE 1st Int. Workshop on the Web of Things (WoT 2010), Mannheim, Deutschland, March 2010.

Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück and Franz-Josef Stewing: Lightweight Policy-Based Management of Quality-Assured, Device-Based Service Systems. to appear in Proc. of the IEEE 24th International Conference on Advanced Information Networking and Applications - Workshop SOCNE (AINA 2010), Perth, Australia, April 2010.

Myriam Lipprandt, Marco Eichelberg, Wolfgang Thronicke, Jan Krüger, Isabel Drüke, Detlev Willemsen, Clemens Busch, Christoph Fiehe, Elmar Zeeb, Frank Golatowski, Andreas Hein: OSAMI-D - A Domain-Specific Software Platform for Health Care Services. in Proc. IEEE Conf. Human System Interaction 2009 (HSI09), IEEE, 2009.

Sascha Feldhorst, Sergey Libert, Michael ten Hompel, Heiko Krumm: Integration of a Legacy Automation System into a SOA for Devices. to appear in Proc. of 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, IES, 2009.

Christoph Fiehe, Anna Litvina, Ingo Lück und Franz-Josef Stewing - MATERNA Information & Communications; Oliver Dohndorf, Jan Krüger und Heiko Krumm - TU Dortmund: Policy-gesteuertes Management adaptiver und gütegesicherter Dienstesysteme im Projekt OSAMI. (in German) to appear in Proc. 39. GI Jahrestagung 2009 (Workshop AAL), Gesellschaft für Informatik, Lübeck, 2009.

Christoph Fiehe, Anna Litvina, Ingo Lück, Oliver Dohndorf, Jens Kattwinkel, Franz-Josef Stewing, Jan Krüger, Heiko Krumm: Location-Transparent Integration of Distributed OSGi Frameworks and Web Services. to appear in Proc. of the IEEE 23nd International Conference on Advanced Information Networking and Applications - Workshop SOCNE (AINA 2009), Bradford, UK, May 2009.

M. Eichelberg, F.-J. Stewing, W. Thronicke, K. Hackbarth, M. Seufert, C. Busch, A. Hein, H. Krumm, M. Ditze, F. Golatowski: OSAMI Commons - Eine Softwareplattform für flexible verteilte Dienstesysteme über Geräten und eingebetteten Systemen. in: Tagungsband 2. Deutscher AAL-Kongress 2009, VDE, 2009.

Joao Porto de Albuquerque, Heiko Krumm, Paulo Licio de Geus: Model-based Management of Security Services in Complex Network Environments. in Proc. of the 11th IEEE/IFIP Network Operations and Management Symposium (NOMS 2008), Salvador - Bahia - Brazil, Apr. 2008.

Andre Pohl, Heiko Krumm, Felix Holland, Ingo Lück, Franz-Josef Stewing: Service-orientation and flexible service binding in distributed automation and control systems
in Proc. of the IEEE 22nd International Conference on Advanced Information Networking and Applications - Workshop SOCNE (AINA 2008), Okinawa, Japan, Mar. 2008.

Elmar Zeeb, Andreas Bobek, Hendrik Bohn, Steffen Prüter, Andre Pohl, Heiko Krumm, Ingo Lück, Frank Golatowski, and Dirk Timmermann: WS4D: SOA-Toolkits making embedded systems ready for Web Services.
in Proc. Open Source Software and Product Lines 2007, Limerick, Ireland, 2007.

S. Illner, A. Pohl, H. Krumm, I. Lück, D. Manka, F.-J. Stewing: Policy-based self-management of industrial service systems.
In Proc. 4th International IEEE Conference on Industrial Informatics (INDIN’06), Singapore, Aug. 2006,,pages 492-497, IEEE Computer Society Press, 2006.

S. Illner, H. Krumm, I. Lück, A. Pohl, A. Bobek, H. Bohn, F. Golatowski: Model-Based Management of Embedded Service Systems - An Applied Approach.
in Proc. 20th Int. IEEE Conf. on Advanced Information Networking and Applications (AINA2006), Vienna, Apr. 2006, Vol. 2, pp. 519-523, IEEE Computer Society Press, 2006.

S. Illner, A. Pohl, H. Krumm: Model-driven Security Management of Embedded Service Systems
In Proc. 31th Annual Conference of the IEEE Industrial Electronics Society (IECON'05) Raleigh, North Carolina, USA, November 6-10, pages 2655-2660, IEEE Computer Society Press, 2005.

Joao Porto de Albuquerque, Holger Isenberg, Heiko Krumm, Paulo Licio de Geus: Improving the Configuration Management of Large Network Security Systems
In: J. Schönwälder and J. Serrat eds., Ambient Networks: 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005. Proceedings, vol. 3775 of Lecture Notes in Computer Science, pages 36-47, Berlin Heidelberg, Germany, Springer-Verlag, 2005.

Joao Porto de Albuquerque, Holger Isenberg, Heiko Krumm, Paulo Licio de Geus: Gerenciamento Baseado em Modelos da Conguracao de Sistemas de Seguranca em Redes de Larga Escala
In: V Simposio Brasileiro em Seguranca da Informacao e de Sistemas Computacionais, pages 174-187, Florianopolis, Brazil, 2005.

Joao Porto de Albuquerque, Heiko Krumm, Paulo Licio de Geus: Modelagem de Sistemas de Seguranca em Ambientes de Redes de Larga Escala
In: Anais do 23o. Simposio Brasileiro de Redes de Computadores (SBRC), Fortaleza, Brazil, May, 2005.

G. Rothmaier, H. Krumm: A Framework based Approach for Formal Modeling and Analysis of Multi-Level Attacks in Computer Networks
in Proc. 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), Taipei, Taiwan, Oct. 2005.

Joao Porto de Albuquerque, Heiko Krumm, Paulo Licio de Geus: On Scalability and Modularisation in the Modelling of Network Security Systems
In: Sabrina De Capitani di Vimercati, Paul F. Syverson, and Dieter Gollmann, editors, Computer Security - ESORICS 2005, 10th European Symposium on Research in Computer Security, Proceedings, Lecture Notes in Computer Science Vol. 3679, pages 287–304, Springer-Verlag, Berlin, Heidelberg, 2005.

Joao Porto de Albuquerque, Heiko Krumm, Paulo Licio de Geus: Modellierung von Netzsicherheitsystemen umfangreicher vernetzter IT-Infrastrukturen
In: Armin B. Cremers, Rainer Manthey, Peter Martini, and Volker Steinhage, editors, INFORMATIK 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Lecture Notes in Informatics Vol. 68, pages 633–637, Bonn, Germany, 2005. GI.

Joao Porto de Albuquerque, Heiko Krumm, Paulo Licio de Geus: Policy Modeling and Refinement for Network Security Systems
In: Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, 2005, Stockholm. Los Alamitos, California : IEEE, 2005. p. 24-33.

S. Illner, A. Pohl, H. Krumm, I. Lück, D. Manka, Th. Sparenberg: Automated Runtime Management of Embedded Service Systems Based on Design-Time Modeling and Model Transformation
In Proc. 3rd IEEE Int. Conf. on Industrial Informatics (INDIN05), Perth, Australia, IEEE Computer Society Press, IEEE Catalogue Number: 05EX1057C, Paper Number PD-001854, 2005.

Rothmaier, Gerrit; Kneiphoff, Tobias; Krumm, Heiko: Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models
In Patrice Godefroid (Ed.): SPIN 2005, LNCS 3639, Springer-Verlag, Aug. 2005, pp. 236-250.

S. Illner, H. Krumm, A. Pohl, I. Lück, D. Manka, and T. Sparenberg: Policy Controlled Automated Management of Distributed and Embedded Service Systems
In Proc. IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2005), Innsbruck, pp. 710-715, 2005.

G. Rothmaier, H. Krumm: Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP
Federrath, Hannes (editor): Sicherheit 2005, Proceedings of 2. Jahrestagung des Fachbereiches Sicherheit der Gesellschaft für Informatik e.V. (GI), Lecture Notes in Informatics (LNI), vol. P-62, Springer-Verlag, April 2005, pp. 77-88

G. Rothmaier, A. Pohl, H. Krumm: Analyzing Network Management Effects with SPIN and cTLA.
In (Deswarte, Y.; Cuppens, F.; Jajodia, S.; Wang, L. Hrsg.) Proc. of IFIP 18th World Computer Congress, TC11 19th Int. Information Security Conference, 2004. Kluwer Academic Publishers, Boston; Dordrecht; London, 2004, S. 65-81.

P. Herrmann, L. Wiebusch, H. Krumm: Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software.
In: Proceedings GI/SIDAR Workshop on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA 2004), U. Flegel, M. Meier (eds.), Springer Verlag LNI, 2004, pages 55-70 (in German).

S. Illner, A. Pohl, H. Krumm: Security Service Adaptation for Embedded Service Systems in Changing Environments.
In: Proc. 2nd IEEE Int. Conf. on Industrial Informatics (INDIN04), Berlin, Germany, IEEE Computer Society Press, 2004, pp. 457-462.

G. Graw, P. Herrmann: Generation and Enactment of Controllers for Business Architectures using MDA.
in: 1st European Workshop on Software Architecture (EWSA 2004), LNCS, St. Andrews, May 2004, Springer-Verlag.

G. Herrmann, P. Herrmann: Development Support of Anonymous Business Processes.
In: 6th International Conference on Electronic Commerce Research (ICECR03), ATSMA, IFIP, Dallas, October 2003.

G. Graw, P. Herrmann: Transformation and Verification of Executable UML Models.
in: Compositional Verification of UML Models - Workshop at the 6th International Conference on the Unified Modeling Language, San Francisco, October 2003.

P. Herrmann: Formal Security Policy Verification of Distributed Component-Structured Software.
In: 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2003), pages 257-272, IFIP, LNCS 2767, Berlin, September/October 2003, Springer-Verlag.

P. Herrmann: How to Integrate Trust Management into a Risk Analysis Process. Position Paper.
In: 2nd Internal iTrust Workshop on Trust Management in Dynamic Open Systems, London, September 2003.

P. Herrmann: Trust-Based Protection of Software Component Users and Designers.
In: 1st International Conference on Trust Management, pages 75-90, LNCS 2692, Heraklion, May 2003, Springer-Verlag.

P. Herrmann, G. Herrmann: Security-Oriented Refinement of Business Processes.
In: 5th International Conference on Electronic Commerce Research (ICECR02), ATSMA, IFIP, Montreal, October 2002.

P. Herrmann, L. Wiebusch, H. Krumm: State-Based Security Policy Enforcement in Component-Based E-Commerce Applications.
In: 2nd IFIP Conference on E-Commerce, E-Business & E-Government (I3E), pages 195-209, Lisbon, October 2002. Kluwer Academic Publisher.

G. Graw, P. Herrmann: Verification of xUML Specifications in the context of MDA.
In: Workshop in Software Model Engineering (WISME@UML'2002), Dresden, October 2002.

P. Herrmann: Trust-Based Security Policy Enforcement of Software Components.
In: 1st Internal iTrust Workshop on Trust Management in Dynamic Open Systems, Glasgow, September 2002.

I. Lück, S. Vögel, H. Krumm: Model-Based Configuration of VPNs.
In: 8th IEEE/IFIP Network Operations and Management Symposium (NOMS2002), pages 589-602, Florence, April 2002. IEEE Computer Society Press.

P. Herrmann: Information Flow Analysis of Component-Structured Applications.
In: 17th Annual Computer Security Applications Conference (ACSAC'2001), pages 45-54, ACM SIGSAC, New Orleans,December 2001. IEEE Computer Society Press.

P. Herrmann: Trust-Based Procurement Support for Software Components.
In: Fourth International Conference on Electronic Commerce Research (ICECR-4), pages 505-514, ATSMA, IFIP, Dallas, November 2001.

P. Herrmann, L. Wiebusch, H. Krumm: Tool-Assisted Security Assessment of Distributed Applications.
In: Third IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS 2001), pages 289-294, Krakow, September 2001. Kluwer Academic Publisher.

P. Herrmann, H. Krumm: Trust-adapted enforcement of security policies in distributed component-structured applications.
In: 6th IEEE Symposium on Computers and Communications, pages 2-8, Hammamet, Tunesia, July 2001. IEEE Computer Society Press.

P. Herrmann, H. Krumm: Object-Oriented Security Analysis and Modeling.
In: 9th International Conference on Telecommunication Systems - Modelling and Analysis, pages 21-32, ATSMA, IFIP, Dallas, TX, USA, March 2001.

I. Lück, C. Schäfer, H. Krumm: Model-based Tool-Assistance for Packet-Filter Design.
In: M. Sloman, E. Lupu, J. Lobo (Eds.), Proceedings of the IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2001), pages 120-136, Bristol, UK, Lecture Notes in Computer Science 1995, 2001. Springer-Verlag.

P. Herrmann, H. Krumm: A Framework for the Hazard Analysis of Chemical Plants.
In: Proceedings of the 11th IEEE International Symposium on Computer-Aided Control System Design (CACSD2000), pages 35-41, Anchorage, Alaska, USA, IEEE CSS, September 2000. Omnipress.

P. Herrmann, P. Grannas: A Tool for Hazard Detection in Hybrid Systems.
In: Proceedings of the 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems, pages 225-230, Dortmund, Germany, September 2000. Shaker Verlag.

G. Graw, P. Herrmann, H. Krumm: Verification of UML-based real-time system designs by means of cTLA.
In: Proceedings of the 3rd IEEE International Symposium on Object-oriented Real-time distributed Computing - (ISORC2K), pages 86-95, Newport Beach, CA, USA, March 2000. IEEE Computer Society Press.

P. Herrmann, M. Noël: Formal Development of a Distributed Control System for Road Marking Machines.
In: 8th International Conference on Telecommunication Systems - Modelling and Analysis, pages 430-437, ATSMA, IFIP, Nashville, TN, USA, March 2000.

A. Berraqa, P. Herrmann, N. Ilayyan, H. Krumm, N. Schmitt, J. Schröder, M.-C. Schröer, S. Stöcker, A. Stoll, J. Thiemann, L. Wiebusch: Ein flexibles komponentenstrukturiertes Intrusion Detection System.
In: 7. Workshop "Sicherheit in vernetzten Systemen", DFN-CERT & DFN-PCA, Hamburg, März 2000. (In German)

P. Herrmann, H. Krumm: Formal Hazard Analysis of Hybrid Systems in cTLA.
In: 18th IEEE Symposium on Reliable Distributed Systems (SRDS´99), pages 68-77, Lausanne, Oct. 1999, IEEE Computer Society Press.

I. Lück, M. Schönbach, A. Mester, H. Krumm: Derivation of Backup Service Management Applications from Service and System Models.
In: R. Stadler, B. Stiller (Eds.), Active Technologies for Network and Service Management, Proc. DSOM'99, pages 243-255, Zürich, Oct. 1999, LNCS 1700, Springer-Verlag.

G. Graw, P. Herrmann, H. Krumm: Constraint-Oriented Formal Modelling of OO-Systems.
In: L. Kutvonen, H. König, M. Tienari (Eds.), Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS 99), pages 345-358, Helsinki, June/July 1999. Kluwer Academic Publisher.

M. Wimmers, A. Mester, H. Krumm: A Component Framework for the Configuration Management of Networks.
In: L. Kutvonen, H. König, M. Tienari (Eds.), Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS 99), pages 135-148, Helsinki, June/July 1999. Kluwer Academic Publisher.

P. Herrmann, M. Noël: Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen.
In: Tagungsband zum 9. Fachgespräch Formale Beschreibungstechniken, Seiten 83-92, München, HerbertUtz-Verlag, 1999. (In German)

G. Graw, P. Herrmann, H. Krumm: Composing object-oriented specifications and verifications with cTLA.
In: Workshop on Semantics of Objects as Processes (SOAP'99), NS-99-2, pages 7-22, Lisbon, June 1999. BRICS Notes Series.

P. Herrmann, O. Drögehorn, W. Geisselhardt, H. Krumm: Tool-supported formal verification of highspeed transfer protocol designs.
In: 7th International Conference on Telecommunication Systems - Modelling and Analysis, pages 531-541, ATSMA, IFIP, Nashville, TN, USA, 1999.

V. Gruhn, P. Herrmann, H. Krumm: User-Defined Telecooperation Services.
In: Proceedings of the 1998 International Conference on Parallel and Distributed Systems - (ICPADS'98), pages 590-598, Tainan, Taiwan, December 1998. IEEE Computer Society Press.

P. Herrmann, G. Graw, H. Krumm: Compositional Specification and Structured Verification of Hybrid Systems in cTLA.
In: Proceedings of the 1st IEEE International Symposium on Object-oriented Real-time distributed Computing - (ISORC'98), pages 335-340, Kyoto, Japan, April 1998. IEEE Computer Society Press.

O. Drögehorn, P. Herrmann: Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework.
In: Tagungsband zum 8. Fachgespräch Formale Beschreibungstechniken, Cottbus, Seiten 48-59, Shaker Verlag, 1998. (In German)

Arnulf Mester, Heiko Krumm: Formal behavioural patterns for the tool-assisted design of distributed applications.
In: Hartmut König, Kurt Geihs, Thomas Preuß (Eds.), "IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems", DAIS 97,
Cottbus, Germany, Sep/Oct 1997, Pgs. 235-248
Chapman & Hall, 1997

P. Herrmann, H. Krumm: Specification of Hybrid Systems in cTLA+.
In: Proceedings of the 5th International Workshop on Parallel & Distributed Real-Time Systems - (WPDRTS'97), pages 212-216, IEEE, Geneva, Switzerland, 1997. IEEE Computer Society Press.

P. Herrmann, H. Krumm: Modular Specification and Verification of XTP.
In: 5th International Conference on Telecommunication Systems - Modelling and Analysis, pages 477-486, ATSMA, IFIP, Nashville, TN, USA, 1997.

Dirk Jäger, Arnulf Mester : Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen
in: Adam Wolicz/Ina Schieferdecker/Axel Rennoch (Hrsg.), "Formale Beschreibungstechniken für verteilte Systeme", GI/ITG-Fachgepräch, FBTVS'97,
Berlin, Germany, 19.-20. Juni 1997, S.: 313-322
GMD Forschungszentrum Informationstechnik. GMD-Studie, Nr. 315. ISBN 3-88457-315-2. (In German)

P. Herrmann, H. Krumm: Kompositionale Constraints hybrider Systeme.
In: Tagungsband zur 5. Fachtagung Entwurf komplexer Automatisierungssysteme, Seiten 243-264, ISBN 3-9803363-4-4, Braunschweig, Mai 1997. (In German)

Günter Graw, Volker Gruhn, Heiko Krumm: Support of Cooperating and Distributed Business Processes
in: Proc. of the 1996 International Conference on Parallel and Distributed Systems, ICPADS '96,
Los Alamitos, California, June 1996, pages 22-31,
IEEE Computer Society Press.

Carsten Heyl, Arnulf Mester, Heiko Krumm: cTc - A Tool Supporting the Construction of cTLA-Specifications
in: Tiziana Margaria, Berhard Steffen (Eds.): "Tools and Algorithms for the Construction and Analysis of Systems", Proceedings, Second International Workshop, TACAS '96,
Passau, Germany, March 1996
LNCS 1055, Springer Verlag, ISBN 3-540-61042-1, Pgs. 407-411

Arnulf Mester, Volker Mattick: Verbindung zwischen Statecharts und TLA zur Spezifikation verteilter Systeme
in: U. Herzog, H. Herrmanns (Hrsg.), "Formale Beschreibungstechniken für verteilte Systeme", GI/ITG-Arbeitstreffen, FBTVS'96,
Erlangen, Germany, Juni 1996, S. 159-164
ISSN 0344-3315 Band 29 Nummer 9 Mai 1996. (In German)

P. Herrmann, H. Krumm: Re-Usable Verification Elements for High-Speed Transfer Protocol Configurations .

In: P. Dembinski and M. Sredniawa, editors, Protocol Specification, Testing and Verification XV, pages 171-186, Warsaw, Poland, June 1995. Chapman & Hall.

A. Mester, H. Krumm: Composition and Refinement Mapping based Construction of Distributed Applications .

In: Uffe H. Engberg, Kim G. Larsen, Arne Skou (Eds.): Proceedings of the TAPSOFT'95 satellite workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, Denmark, May 1995.
BRICS (Basic Research in Computer Science) Notes Series (ISSN 0909-3206) NS-95-2, pg. 290-303.

Arnulf Mester: Entwurfsmuster in verteilten Anwendungen
in: H. Krumm (Hrsg.): "Entwicklung und Management verteilter Anwendungssysteme", Tagungsband zum 2. Arbeitstreffen der GI/ITG Fachgruppen 'Kommunikation und verteilte Systeme' und 'Betriebssysteme' (ISBN 3-931546-00-4), S. 69-80,
Dortmund, Oktober 1995. (In German)

P. Herrmann, A. Mester, H. Krumm: Entwurf korrekter verteilter Systeme durch wiederverwendbare Spezifikations- und Verifikationselemente .
In: Tagungsband zum 5. Fachgespräch der GI/ITG-Fachgruppen 3.3.1/4.4. (Kommunikation und verteilte Systeme) zu Formale Beschreibungstechniken für verteilte Systeme, 10 Seiten. Kaiserlautern, Juni 1995. (In German)

A. Mester, H. Krumm: Entwurf verteilter Anwendungen mit werkzeugunterstützter Integration von Spezifikationsmustern.
In: Christian Mittasch (Hrsg.), Tagungsband zum Arbeitstreffen "Anwendungsunterstützung für heterogene Rechnernetze" (ISBN 3-86012-013-1), S. 178-187,
Freiberg/Sachsen, März 1995. (In German)

P. Herrmann, H. Krumm: Compositional Specification and Verification of High-Speed Transfer Protocols.

In: S. T. Vuong and S. T. Chanson, editors, Protocol Specification, Testing and Verification XIV, pages 339-346, Vancouver, B.C., Canada, 1994. Chapman and Hall.
A long version appeared as Research Report 540/1994 (see below).

P. Herrmann, H. Krumm: Kompositionale Spezifikation und Verifikation von Hochleistungs-Protokollen.
In: Tagungsband zum 1. Arbeitstreffen der GI/ITG-Fachgruppe 'Kommunikation und Verteilte Systeme' zur "Architektur und Implementierung von Hochleistungs-Kommunikationssystemen",
Karlsruhe, Januar 1994. (In German)

A. Mester, H. Krumm: Entwurf verteilter Anwendungen mit TLA.
In: Tagungsband zum Arbeitstreffen der GI/ITG-Fachgruppe 'Kommunikation und verteilte Systeme' zum "Entwurf und Management verteilter Anwendungssysteme"
Frankfurt, Oktober 1993. (In German)
(Kurzfassung oder Volltext, 12 Seiten, 85KB compressed postscript )

Dissertations / Dissertationen

Günter Graw: Korrekte Steuerungssoftware.
Dissertation, TU Dortmund, Fakultät für Informatik, 2010.

Ingo Lück: Modellbasierte Konfiguration von Sicherheitsdiensten.
Dissertation, TU Dortmund, Fakultät für Informatik, 2007.

Joao Porto de Albuquerque: Model-Based Configuration Management of Security Systems in Complex Network Environments.
Ph. D. Thesis, University of Campinas, Brasil, 2006.
(Doutorado em Ciência da Computação.
Universidade Estadual de Campinas, UNICAMP, Brasil,
com período sanduíche em
Universidade de Dortmund (Orientador:Heiko Krumm ).
Título: Gerenciamento baseado em modelos da configuração de sistemas de segurança em ambientes de redes complexos,
Ano de Obtenção: 2006.)

Gerrit Rothmaier: Integrated Formal Modeling and Automated Analysis of Computer Network Attacks.
Dissertation (Ph.D. Thesis), TU Dortmund, Fakultät für Informatik, 2006.

Arnulf Mester: Rechnergestützter Entwurf verteilter Anwendungen mit Spezifikationsmustern.
Universität Dortmund, 2002. (In German)

Peter Herrmann: Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen .
Universität Dortmund, 1997. (In German)

Research reports / Forschungsberichte

Rothmaier, Gerrit: cTLA Computer Network Specification Framework. URL: http://ls4-www.cs.tu-dortmund.de/RVS/MA/hk/framework.html, Report 2004

Rothmaier, Gerrit; Krumm, Heiko: cTLA 2003 Description. URL: http://ls4-www.cs.tu-dortmund.de/RVS/MA/hk/framework.html. LS4, FB Informatik, Universität Dortmund, Technical Report, 2003

Hartmut König, Heiko Krumm: Protokollimplementierung. Bericht in der Reihe Informatik I-11/1994, Technische Universität Cottbus, Fakultät für Mathematik, Naturwissenschaften und Informatik, November 1994

A. Mester, H. Krumm: Composition and Refinement-Mapping based Construction of Distributed Applications. Forschungsbericht/Research Report 548/1994, Universität Dortmund, Fachbereich Informatik, August 1994

(Abstract or full text, 38 pages, 148KB compressed postscript ) ) A previous, shorter version was distributed as document RvS/DAD/94-40.

P. Herrmann, Th. Kraatz, H. Krumm, M. Stange: Automated Verification of Refinements of Concurrent and Distributed Systems. Forschungsbericht/Research Report 541/1994, Universität Dortmund, Fachbereich Informatik, March 1994

P. Herrmann, H. Krumm: Compositional Specification and Verification of High-Speed Transfer Protocols. Forschungsbericht/Research Report 540/1994, Universität Dortmund, Fachbereich Informatik, February 1994

A. Mester, H. Krumm: Refinement-Mapping based Construction of ISO/OSI-conformable Distributed Applications.

December 1993.
(Abstract or full text, 16 pages, 85KB compressed postscript )

Ulrich Eickhoff, Peter Herrmann, Heiko Krumm: Theorem prover based verification of TLA systems. Forschungsbericht/Research Report 492/1993, Universität Dortmund, Fachbereich Informatik, May 1993

Peter Herrmann, Heiko Krumm: Report on Analysis and Verification Techniques. Forschungsbericht/Research Report 485/1993, Universität Dortmund, Fachbereich Informatik, 1993

Text Books / Lehrbücher

Peter C. Lockemann, Gerhard Krüger, Heiko Krumm: Telekommunikation und Datenhaltung. Hanser Studienbücher der Informatik, 655 Seiten, München/Wien 1993. (In German), Klappentext

Lecture Scripts / Vorlesungsskripten

Heiko Krumm: Skriptum zur praktischen Stammvorlesung 'Rechnernetze und verteilte Systeme' (RvS). Aktuelle Fassung: WS 2002/2003 vom August 2002. (In German)
Erhältlich als Postscript-Datei (ZIP-komprimiert) über diesen WWW-Server.

Heiko Krumm: Grundvorlesung 'Rechnerstrukturen' , Fachbereich Informatik, 1993(In German).

Internal Faculty Reports / Fachbereichsinterne Berichte

Arnulf Mester, Peter Herrmann (Hrsg,): Audiovisuelle Animation von verteilten Algorithmen und Kommunikationsprotokollen. Endbericht der Projektgruppe 225. Interner Bericht, Universität Dortmund, Fachbereich Informatik, Lehrstuhl IV, April 1994. (In German), (Abstract/Kurzfassung oder Volltext, 205 Seiten, 1.7MB compressed postscript)

Invited Talks / Eingeladene Vorträge

P. Herrmann: Information Flow Analysis of Component-Structured Applications, Cleveland State University, USA, October 2002.

P. Herrmann: Information Flow Analysis of Component-Structured Applications, Tampere University of Technology, Tampere, Finland, November 2001.

P. Herrmann: Objektorientierte Sicherheitsanalyse und Modellierung. Universität/GH Essen, Essen, Juli 2001. (In German)

P. Herrmann: Sicherheitsaspekte verteilter komponentenstrukturierter Anwendungen. Brandenburgische Technische Universität Cottbus, Cottbus, Juni 1999. (In German)

H. Krumm: Formale Protokollspezifikationen und praktische Protokollimplementationen . in: WirtschaftForum Spezial: Softwaretechnik für Kommunikationssysteme , Univ/GH Essen und IHK Essen, Februar 1996. (In German), (Kurzfassung)

H. Krumm: Supporting the design of correct distributed systems by re-usable specification and verification elements. Institute National Recherche Scientifique / Bell Northern Research Seminar, Quebec, Canada, February 1995.

H.Krumm: Wiederverwendbare Elemente unterstützen die Anwendung formaler Entwurfs- und Verifikationstechniken
Workshop 'Spezifikation und Modellprüfung von Protokollen und Hardware', TH Karlsruhe, Fak.f. Informatik,
Karlsruhe, April 1995. (In German)

H. Krumm: TLA-basierter Entwurf verteilter Systeme.
Universität-GH Essen, Oktober 1994. (In German)

P. Herrmann: Tool-assisted verification of distributed systems in TLA. Datalogisk Afdeling, Aarhus Universitet, Aarhus, Denmark, August 1992.

Invited Tutorials / Eingeladene Tutorien

Arnulf Mester: Java - Einführung in die Sprache und die Standardbibliotheken .
Tutorium auf dem Java-Tag der GI-ACM-Regionalgruppe 'Dortmund' am 17.1.98. (In German)

Arnulf Mester: Java - offen und sicher? ; eine Einführung in Java, Netzprogrammierung mit Java und Sicherheitskonzepte .
Tutorium auf der Opennet'97 (Veranstalter: Internet Society German Chapter),
Berlin, November 1997. (In German)
(Foliensatz (128 Folien auf 32 Seiten, 1.26MB ge'zip'te Postscript-Datei), Errata)

Arnulf Mester: Objekte in verteilten Systemen und die Konzepte der Object Management Group .
Beitrag zum Seminar zur wissenschaftlichen Weiterbildung "Objektorientierte Systeme" der ZKI e.V. (Zentren für Kommunikation und Information),
Bommerholz, April 1995. (In German)

Talks at Workshops / Vorträge zu Arbeitstreffen

P. Herrmann: Formal-basierte Laufzeitüberwachung komponentenstrukturierter Software
1. Jahrestagung der Fachgruppe FoMSESS, Karlsruhe, Mai 2003. (In German)

P. Herrmann: Vertrauen im Netz
Kolleg Sicherheit, FB Informatik, Universität Dortmund, September 1999. (In German)

P. Herrmann, H. Krumm: Formale Gefahrenanalyse hybrider Systeme mit cTLA
Kolloquium im DFG-Schwerpunktprogramm KONDISK, Karlsruhe, November 1998. (In German)

P. Herrmann, H. Krumm: Modulare temporallogische Spezifikationen hybrider Systeme
Kolloquium im DFG-Schwerpunktprogramm KONDISK, Magdeburg, November 1997. (In German)

P. Herrmann: Spezifikation hybrider Systeme mit cTLA+
Kolloquium im DFG-Schwerpunktprogramm KONDISK, Braunschweig, November 1996. (In German)

A. Mester: Objekte in verteilten Systemen und die Konzepte der Object Management Group .
Beitrag zum Seminar zur wissenschaftlichen Weiterbildung zu "Objektorientierte Systeme" der ZKI e.V. (Zentren für Kommunikation und Information),
Bommerholz, April 1995. (In German)

P. Herrmann, H. Krumm: Strukturierte Protokollverifikation in TLA
A. Mester, H.Krumm: Animation von TLA Spezifikationen (Inhaltsangabe),
3. Fachgespräch der GI/ITG Fachgruppe 'Formale Beschreibungstechniken für verteilte Systeme',
München, Juni 1993

A. Mester: Spezifikation verteilter Systeme mit TLA(+) (Inhaltsangabe),
P. Herrmann: Rechnergestützte Verifikation verteilter Systeme .
2. Fachgespräch der GI/ITG Fachgruppe 'Formale Beschreibungstechniken für verteilte Systeme',
Magdeburg, Juni 1992

H. Krumm: Werkzeugunterstützte Einarbeitung in formale Protokollspezifikationen.
1. Fachgespräch der GI/ITG Fachgruppe 'Formale Beschreibungstechniken für verteilte Systeme',
Darmstadt, Juni 1991