Specification, Implementation, and Verification of Communication Services on the Basis of CIL. - Heiko Krumm; Oswald Drobnik (Protocol Specification, Testing, and Verification, 1983)

CIL - Eine Sprache zur Implementierung von Kommunikationsdiensten. - Oswald Drobnik; Heiko Krumm (Kommunikation in Verteilten Systemen, 1983)

Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL. - Heiko Krumm; Oswald Drobnik (PSTV, 1984)

Interactive verification of communication software on the basis of CIL. - Heiko Krumm; Oswald Drobnik (Comput. Commun. Rev., 1984)

Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme. - Heiko Krumm (1984)

Problem-Oriented Logical Specifications of Communication Services and Protocols. - Heiko Krumm; Oswald Drobnik (ICCC, 1986)

Offener Zugang zu abgesetzten Daten im Bürosystem. - Heiko Krumm (GI Jahrestagung, 1987)

Logische Verifikation nebenläufiger Programme. - Heiko Krumm (Angew. Inform., 1987)

Projections of the Reachability Graph and Environment Models. - Heiko Krumm (Automatic Verification Methods for Finite State Systems, 1989)

Funktionelle Analyse von Kommunikationsprotokollen - Heiko Krumm (Springer, 1990)

Telekommunikation und Datenhaltung. - Peter C. Lockemann; Gerhard Krüger; Heiko Krumm (Hanser, 1993)

Großrechner-Anschluß an Kommunikationsvorrechner. - Heiko Krumm; Josef Reichl; Alexander Söder (Prax. Inf.verarb. Kommun., 1993)

Compositional specification and verification of high-speed transfer protocols. - Peter Herrmann; Heiko Krumm (PSTV, 1994)

Re-usable verification elements for high-speed transfer protocol configurations. - Peter Herrmann; Heiko Krumm (PSTV, 1995)

Support of cooperating and distributed business processes. - Günter Graw; Volker Gruhn; Heiko Krumm (ICPADS, 1996)

cTc - A Tool Supporting the Construction of cTLA-Specifications. - Carsten Heyl; Arnulf Mester; Heiko Krumm (TACAS, 1996)

Implementierung von Kommunikationsprotokollen. - Hartmut König; Heiko Krumm (Inform. Spektrum, 1996)

Formal Behavioural Patterns for the Tool-assisted Design of Distributed Applications. - Arnulf Mester; Heiko Krumm (DAIS, 1997)

User-Defined Telecooperation Services. - Volker Gruhn; Peter Herrmann; Heiko Krumm (ICPADS, 1998)

Compositional Specification and Structured Verification of Hybrid Systems in cTLA. - Peter Herrmann; Günter Graw; Heiko Krumm (ISORC, 1998)

Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework. - Peter Herrmann; Heiko Krumm (Prax. Inf.verarb. Kommun., 1998)

Modular specification and verification of XTP. - Peter Herrmann; Heiko Krumm (Telecommun. Syst., 1998)

Constraint-oriented formal modelling of OO-systems. - Günter Graw; Peter Herrmann; Heiko Krumm (DAIS, 1999)

A Component framework for the configuration management of networks. - Michael Wimmers; Arnulf Mester; Heiko Krumm (DAIS, 1999)

Derivation of Backup Service Management Applications from Service and System Models. - Ingo Lück; Marcus Schönbach; Arnulf Mester; Heiko Krumm (DSOM, 1999)

Composing Object-Oriented Specifications and Verifications with cTLA. - Günter Graw; Peter Herrmann; Heiko Krumm (ECOOP Workshops, 1999)

Formal Hazard Analysis of Hybrid Systems in cTLA. - Peter Herrmann; Heiko Krumm (SRDS, 1999)

Verification of UML-Based Real-Time System Designs by Means of cTLA. - Günter Graw; Peter Herrmann; Heiko Krumm (ISORC, 2000)

A framework for modeling transfer protocols. - Peter Herrmann; Heiko Krumm (Comput. Networks, 2000)

Improving the efficiency of automated protocol implementations using a configurable FDT compiler. - Hartmut König; Peter Langendörfer; Heiko Krumm (Comput. Commun., 2000)

Animation of Protocols and Distributed Algorithms. - Arnulf Mester; Heiko Krumm (Comput. Sci. Educ., 2000)

Tool-Assisted Security Assessment of Distributed Applications. - Peter Herrmann; Lars Wiebusch; Heiko Krumm (DAIS, 2001)

Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications. - Peter Herrmann; Heiko Krumm (ISCC, 2001)

Model-Based Tool-Assistance for Packet-Filter Design. - Ingo Lück; Christian Schäfer; Heiko Krumm (POLICY, 2001)

State-Based Security Policy Enforcement in Component-Based E-Commerce Applications. - Peter Herrmann; Lars Wiebusch; Heiko Krumm (I3E, 2002)

Model-based configuration of VPNs. - Ingo Lück; Sebastian Vogel; Heiko Krumm (NOMS, 2002)

Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs. - Peter Herrmann; Heiko Krumm; Olaf Drögehorn; Walter Geisselhardt (Telecommun. Syst., 2002)

Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software. - Peter Herrmann; Lars Wiebusch; Heiko Krumm (DIMVA, 2004)

Analyzing Network Management Effects with SPIN and cTLA. - Gerrit Rothmaier; Andre Pohl; Heiko Krumm (SEC, 2004)

Trust-Based Monitoring of Component-Structured Software. - Peter Herrmann; Heiko Krumm (Prax. Inf.verarb. Kommun., 2004)

Improving the Configuration Management of Large Network Security Systems. - João Porto de Albuquerque; Holger Isenberg; Heiko Krumm; Paulo Lício de Geus (DSOM, 2005)

On Scalability and Modularisation in the Modelling of Network Security Systems. - João Porto de Albuquerque; Heiko Krumm; Paulo Lício de Geus (ESORICS, 2005)

A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. - Gerrit Rothmaier; Heiko Krumm (FORTE, 2005)

Modellierung von Netzsicherheitsystemen umfangreicher vernetzter IT-Infrastrukturen. - João Porto de Albuquerque; Heiko Krumm; Paulo Lício de Geus (GI Jahrestagung (2), 2005)

Policy Controlled Automated Management of Distributed and Embedded Service Systems. - Stefan Illner; Heiko Krumm; Andre Pohl; Ingo Lück; Darius Manka; Thomas Sparenberg (Parallel and Distributed Computing and Networks, 2005)

Policy Modeling and Refinement for Network Security Systems. - João Porto de Albuquerque; Heiko Krumm; Paulo Lício de Geus (POLICY, 2005)

Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP. - Gerrit Rothmaier; Heiko Krumm (Sicherheit, 2005)

Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models. - Gerrit Rothmaier; Tobias Kneiphoff; Heiko Krumm (SPIN, 2005)

Model-based Management of Embedded Service Systems - An Applied Approach. - Stefan Illner; Heiko Krumm; Ingo Lück; Andre Pohl; Andreas Bobek; Hendrik Bohn; Frank Golatowski (AINA (2), 2006)

A Policy-Based Framework for Interoperable Digital Content Management. - Fernando Marques Figueira Filho; João Porto de Albuquerque; Paulo Lício de Geus; Heiko Krumm (CCNC, 2007)

Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems. - Andre Pohl; Heiko Krumm; Felix Holland; Franz-Josef Stewing; Ingo Lück (AINA Workshops, 2008)

Model-based management of security services in complex network environments. - João Porto de Albuquerque; Heiko Krumm; Paulo Lício de Geus (NOMS, 2008)

Location-Transparent Integration of Distributed OSGi Frameworks and Web Services. - Christoph Fiehe; Anna Litvina; Ingo Lück; Oliver Dohndorf; Jens Kattwinkel; Franz-Josef Stewing; Jan Krüger; Heiko Krumm (AINA Workshops, 2009)

Integration of a Legacy Automation System into a SOA for Devices. - Sascha Feldhorst; Sergey Libert; Michael ten Hompel; Heiko Krumm (ETFA, 2009)

Policy-gesteuertes Management adaptiver und gütegesicherter Dienstesysteme im Projekt OSAMI. - Jan Krüger; Heiko Krumm; Oliver Dohndorf; Christoph Fiehe; Anna Litvina; Ingo Lück; Franz-Josef Stewing (GI Jahrestagung, 2009)

Lightweight Policy-Based Management of Quality-Assured, Device-Based Service Systems. - Oliver Dohndorf; Jan Krüger; Heiko Krumm; Christoph Fiehe; Anna Litvina; Ingo Lück; Franz-Josef Stewing (AINA Workshops, 2010)

Towards the Web of Things: Using DPWS to bridge isolated OSGi platforms. - Oliver Dohndorf; Jan Krüger; Heiko Krumm; Christoph Fiehe; Anna Litvina; Ingo Lück; Franz-Josef Stewing (PerCom Workshops, 2010)

Policy-Based Management for Resource-Constrained Devices and Systems. - Oliver Dohndorf; Jan Krüger; Heiko Krumm; Christoph Fiehe; Anna Litvina; Ingo Lück; Franz-Josef Stewing (POLICY, 2010)

Formal validation of automated policy refinement in the management of network security systems. - João Porto de Albuquerque; Heiko Krumm; Paulo Lício de Geus (Int. J. Inf. Sec., 2010)

Adaptive and reliable binding in ambient service systems. - Oliver Dohndorf; Jan Krüger; Heiko Krumm; Christoph Fiehe; Anna Litvina; Ingo Lück; Franz-Josef Stewing (ETFA, 2011)

Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies. - Oliver Dohndorf; Jan Krüger; Heiko Krumm; Christoph Fiehe; Anna Litvina; Ingo Lück; Franz-Josef Stewing (POLICY, 2011)

Scalable model-based configuration management of security services in complex enterprise networks. - João Porto de Albuquerque; Heiko Krumm; Paulo Lício de Geus; René Jeruschkat (Softw. Pract. Exp., 2011)

CordiAAL: Enhanced Motivation for Cardiological Ergometer Training through Virtual Groups in Virtual Worlds. - Israfil Akman; Rafael Bielen; Henning Brümmer; Egor Kudrjaschow; Stefan Tschentscher; Oliver Dohndorf; Heiko Krumm; Jan-Dirk Hoffmann; Anke Workowski; Detlev Willemsen (HEALTHINF, 2014)

Technical management system for dependable Building Automation Systems. - Malte Burkert; Heiko Krumm; Christoph Fiehe (ETFA, 2015)

Dependency Management in Component-Based Building Automation Systems. - Malte Burkert; Heiko Krumm (DASC/PiCom/DataCom/CyberSciTech, 2016)

A small-scale model house evaluation platform for building automation systems. - Malte Burkert; Jorn Esdohr; Heiko Krumm (ETFA, 2016)

Telemonitoring and Medical Care of Heart Failure Patients Supported by Left Ventricular Assist Devices - The Medolution Project. - Nils Reiss; Thomas Schmidt 003; Frerk Müller-von Aschwege; Wolfgang Thronicke; Jan-Dirk Hoffmann; Jenny Inge Röbesaat; Ezin Deniz; Andreas Hein 001; Heiko Krumm; Franz-Josef Stewing; Detlev Willemsen; Jan Dieter Schmitto; et al. (eHealth, 2017)

Rule-based technical management for the dependable operation of networked building automation systems. - Malte Burkert; Joe Volmer; Heiko Krumm; Christoph Fiehe (IM, 2017)

Enhancing Long-Term Motivation of Cardiac Patients by Applying Exergaming in Rehabilitation Training. - Joe Volmer; Malte Burkert; Heiko Krumm; Abdurrahman Abodahab; Patrick Dinklage; Marius Feltmann; Chris Kröger; Pernes Panta; Felix Schäfer; David Scheidt; Marcel Sellung; Hauke Singerhoff; et al. (pHealth, 2017)

Development of a Computer-Aided Dosage and Telemonitoring System for Patients Under Oral Anticoagulation Therapy. - Heiko Krumm; Nils Reiss; Malte Burkert; Thomas Schmidt 003; Steffen Biehs; Christian Bohr; Fabian Gürtler; Hendrik Horn; Philipp Kreutzer; Philipp Mewes; Hendrik Miller; Christian Riest; et al. (eHealth, 2018)