| 2017 | IM | Rule-based technical management for the dependable operation of networked building automation systems. | Malte Burkert, Joe Volmer, Heiko Krumm, Christoph Fiehe |
| 2016 | DASC | Dependency Management in Component-Based Building Automation Systems. | Malte Burkert, Heiko Krumm |
| 2016 | ETFA | A small-scale model house evaluation platform for building automation systems. | Malte Burkert, Jorn Esdohr, Heiko Krumm |
| 2015 | ETFA | Technical management system for dependable Building Automation Systems. | Malte Burkert, Heiko Krumm, Christoph Fiehe |
| 2011 | ETFA | Adaptive and reliable binding in ambient service systems. | Oliver Dohndorf, Jan Krger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lck, Franz-Josef Stewing |
| 2010 | AINA | Lightweight Policy-Based Management of Quality-Assured, Device-Based Service Systems. | Oliver Dohndorf, Jan Krger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lck, Franz-Josef Stewing |
| 2010 | PERCOM | Towards the Web of Things: Using DPWS to bridge isolated OSGi platforms. | Oliver Dohndorf, Jan Krger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lck, Franz-Josef Stewing |
| 2009 | AINA | Location-Transparent Integration of Distributed OSGi Frameworks and Web Services. | Christoph Fiehe, Anna Litvina, Ingo Lck, Oliver Dohndorf, Jens Kattwinkel, Franz-Josef Stewing, Jan Krger, Heiko Krumm |
| 2009 | ETFA | Integration of a Legacy Automation System into a SOA for Devices. | Sascha Feldhorst, Sergey Libert, Michael ten Hompel, Heiko Krumm |
| 2009 | GI | Policy-gesteuertes Management adaptiver und gtegesicherter Dienstesysteme im Projekt OSAMI. | Jan Krger, Heiko Krumm, Oliver Dohndorf, Christoph Fiehe, Anna Litvina, Ingo Lck, Franz-Josef Stewing |
| 2008 | AINA | Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems. | Andre Pohl, Heiko Krumm, Felix Holland, Franz-Josef Stewing, Ingo Lck |
| 2008 | NOMS | Model-based management of security services in complex network environments. | Joo Porto de Albuquerque, Heiko Krumm, Paulo Lcio de Geus |
| 2006 | AINA | Model-based Management of Embedded Service Systems - An Applied Approach. | Stefan Illner, Heiko Krumm, Ingo Lck, Andre Pohl, Andreas Bobek, Hendrik Bohn, Frank Golatowski |
| 2005 | ESORICS | On Scalability and Modularisation in the Modelling of Network Security Systems. | Joo Porto de Albuquerque, Heiko Krumm, Paulo Lcio de Geus |
| 2005 | FORTE | A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. | Gerrit Rothmaier, Heiko Krumm |
| 2005 | GI | Modellierung von Netzsicherheitsystemen umfangreicher vernetzter IT-Infrastrukturen. | Joo Porto de Albuquerque, Heiko Krumm, Paulo Lcio de Geus |
| 2004 | DIMVA | Vertrauensbasierte Laufzeitberwachung verteilter komponentenstrukturierter E-Commerce-Software. | Peter Herrmann, Lars Wiebusch, Heiko Krumm |
| 2004 | SEC | Analyzing Network Management Effects with SPIN and cTLA. | Gerrit Rothmaier, Andre Pohl, Heiko Krumm |
| 2002 | NOMS | Model-based configuration of VPNs. | Ingo Lck, Sebastian Vogel, Heiko Krumm |
| 2001 | DAIS | Tool-Assisted Security Assessment of Distributed Applications. | Peter Herrmann, Lars Wiebusch, Heiko Krumm |
| 2001 | ISCC | Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications. | Peter Herrmann, Heiko Krumm |
| 2000 | ISORC | Verification of UML-Based Real-Time System Designs by Means of cTLA. | Gnter Graw, Peter Herrmann, Heiko Krumm |
| 1999 | DAIS | Constraint-oriented formal modelling of OO-systems. | Gnter Graw, Peter Herrmann, Heiko Krumm |
| 1999 | DAIS | A Component framework for the configuration management of networks. | Michael Wimmers, Arnulf Mester, Heiko Krumm |
| 1999 | SRDS | Formal Hazard Analysis of Hybrid Systems in cTLA. | Peter Herrmann, Heiko Krumm |
| 1998 | ICPADS | User-Defined Telecooperation Services. | Volker Gruhn, Peter Herrmann, Heiko Krumm |
| 1998 | ISORC | Compositional Specification and Structured Verification of Hybrid Systems in cTLA. | Peter Herrmann, Gnter Graw, Heiko Krumm |
| 1997 | DAIS | Formal Behavioural Patterns for the Tool-assisted Design of Distributed Applications. | Arnulf Mester, Heiko Krumm |
| 1996 | ICPADS | Support of cooperating and distributed business processes. | Gnter Graw, Volker Gruhn, Heiko Krumm |
| 1996 | TACAS | cTc - A Tool Supporting the Construction of cTLA-Specifications. | Carsten Heyl, Arnulf Mester, Heiko Krumm |
| 1987 | GI | Offener Zugang zu abgesetzten Daten im Brosystem. | Heiko Krumm |
| 1986 | ICCC | Problem-Oriented Logical Specifications of Communication Services and Protocols. | Heiko Krumm, Oswald Drobnik |