Heiko Krumm

According to our database, Heiko Krumm authored at least 70 papers between 1983 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Development of a Computer-Aided Dosage and Telemonitoring System for Patients Under Oral Anticoagulation Therapy.

Heiko Krumm, Nils Reiss, Malte Burkert, Thomas Schmidt, Steffen Biehs, Christian Bohr, Fabian Gürtler, Hendrik Horn, Philipp Kreutzer, Philipp Mewes, Hendrik Miller, Christian Riest, Christian Römer, Albert Seebold, Gertrude Sprung, Oliver Ziegler

Proceedings of the Health Informatics Meets eHealth - Biomedical Meets eHealth - From Sensors to Decisions, 2018

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, Christofer Steingrefer, Thomas Schmidt, Jan-Dirk Hoffmann, Detlev Willemsen, Nils Reiss

Proceedings of the pHealth 2017, 2017

Rule-based technical management for the dependable operation of networked building automation systems.

Malte Burkert, Joe Volmer, Heiko Krumm, Christoph Fiehe

Proceedings of the 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2017

Telemonitoring and Medical Care of Heart Failure Patients Supported by Left Ventricular Assist Devices - The Medolution Project.

Nils Reiss, Thomas Schmidt, Frerk Müller-von Aschwege, Wolfgang Thronicke, Jan-Dirk Hoffmann, Jenny Inge Röbesaat, Ezin Deniz, Andreas Hein, Heiko Krumm, Franz-Josef Stewing, Detlev Willemsen, Jan Dieter Schmitto, Christina Feldmann

Proceedings of the Health Informatics Meets eHealth - Digital Insight - Information-Driven Health & Care, 2017

2016

A small-scale model house evaluation platform for building automation systems.

Malte Burkert, Jorn Esdohr, Heiko Krumm

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Dependency Management in Component-Based Building Automation Systems.

Malte Burkert, Heiko Krumm

Proceedings of the 2016 IEEE 14th Intl Conf on Dependable, 2016

2015

Technical management system for dependable Building Automation Systems.

Malte Burkert, Heiko Krumm, Christoph Fiehe

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

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

Proceedings of the HEALTHINF 2014, 2014

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

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

Proceedings of the POLICY 2011, 2011

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

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

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

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

Proceedings of the POLICY 2010, 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

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

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

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010

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

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Integration of a Legacy Automation System into a SOA for Devices.

Sascha Feldhorst, Sergey Libert, Michael ten Hompel, Heiko Krumm

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

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

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

Model-based management of security services in complex network environments.

João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus

Proceedings of the IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, 2008

Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems.

Andre Pohl, Heiko Krumm, Felix Holland, Franz-Josef Stewing, Ingo Lück

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

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

Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007

2006

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

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005

Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.

Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm

Proceedings of the Model Checking Software, 2005

Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP.

Gerrit Rothmaier, Heiko Krumm

Proceedings of the Sicherheit 2005: Sicherheit, 2005

Policy Modeling and Refinement for Network Security Systems.

João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus

Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005

Policy Controlled Automated Management of Distributed and Embedded Service Systems.

Stefan Illner, Heiko Krumm, Andre Pohl, Ingo Lück, Darius Manka, Thomas Sparenberg

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2005

Modellierung von Netzsicherheitsystemen umfangreicher vernetzter IT-Infrastrukturen.

João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks.

Gerrit Rothmaier, Heiko Krumm

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

On Scalability and Modularisation in the Modelling of Network Security Systems.

João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus

Proceedings of the Computer Security, 2005

Improving the Configuration Management of Large Network Security Systems.

João Porto de Albuquerque, Holger Isenberg, Heiko Krumm, Paulo Lício de Geus

Proceedings of the Ambient Networks, 2005

2004

Trust-Based Monitoring of Component-Structured Software.

Peter Herrmann, Heiko Krumm

Prax. Inf.verarb. Kommun., 2004

Analyzing Network Management Effects with SPIN and cTLA.

Gerrit Rothmaier, Andre Pohl, Heiko Krumm

Proceedings of the Security and Protection in Information Processing Systems, 2004

Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software.

Peter Herrmann, Lars Wiebusch, Heiko Krumm

Proceedings of the Detection of Intrusions and Malware & Vulnerability Assessment, 2004

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

Model-based configuration of VPNs.

Ingo Lück, Sebastian Vogel, Heiko Krumm

Proceedings of the Management Solutions for the New Communications World, 2002

State-Based Security Policy Enforcement in Component-Based E-Commerce Applications.

Peter Herrmann, Lars Wiebusch, Heiko Krumm

Proceedings of the Towards The Knowledge Society: eCommerce, 2002

2001

Model-Based Tool-Assistance for Packet-Filter Design.

Ingo Lück, Christian Schäfer, Heiko Krumm

Proceedings of the Policies for Distributed Systems and Networks, 2001

Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications.

Peter Herrmann, Heiko Krumm

Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 2001

Tool-Assisted Security Assessment of Distributed Applications.

Peter Herrmann, Lars Wiebusch, Heiko Krumm

Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

2000

Animation of Protocols and Distributed Algorithms.

Arnulf Mester, Heiko Krumm

Comput. Sci. Educ., 2000

Improving the efficiency of automated protocol implementations using a configurable FDT compiler.

Hartmut König, Peter Langendörfer, Heiko Krumm

Comput. Commun., 2000

A framework for modeling transfer protocols.

Peter Herrmann, Heiko Krumm

Comput. Networks, 2000

Verification of UML-Based Real-Time System Designs by Means of cTLA.

Günter Graw, Peter Herrmann, Heiko Krumm

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999

Formal Hazard Analysis of Hybrid Systems in cTLA.

Peter Herrmann, Heiko Krumm

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

Composing Object-Oriented Specifications and Verifications with cTLA.

Günter Graw, Peter Herrmann, Heiko Krumm

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Derivation of Backup Service Management Applications from Service and System Models.

Ingo Lück, Marcus Schönbach, Arnulf Mester, Heiko Krumm

Proceedings of the Active Technologies for Network and Service Management, 1999

A Component framework for the configuration management of networks.

Michael Wimmers, Arnulf Mester, Heiko Krumm

Proceedings of the Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28, 1999

Constraint-oriented formal modelling of OO-systems.

Günter Graw, Peter Herrmann, Heiko Krumm

Proceedings of the Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28, 1999

1998

Modular specification and verification of XTP.

Peter Herrmann, Heiko Krumm

Telecommun. Syst., 1998

Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework.

Peter Herrmann, Heiko Krumm

Prax. Inf.verarb. Kommun., 1998

Compositional Specification and Structured Verification of Hybrid Systems in cTLA.

Peter Herrmann, Günter Graw, Heiko Krumm

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

User-Defined Telecooperation Services.

Volker Gruhn, Peter Herrmann, Heiko Krumm

Proceedings of the International Conference on Parallel and Distributed Systems, 1998

1997

Formal Behavioural Patterns for the Tool-assisted Design of Distributed Applications.

Arnulf Mester, Heiko Krumm

Proceedings of the Distributed Applications and Interoperable Systems, Proceedings IFIP TC 6.1 Working Conference DAIS'97, Cottbus, Germany, September 30, 1997

1996

Implementierung von Kommunikationsprotokollen.

Hartmut König, Heiko Krumm

Inform. Spektrum, 1996

cTc - A Tool Supporting the Construction of cTLA-Specifications.

Carsten Heyl, Arnulf Mester, Heiko Krumm

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Support of cooperating and distributed business processes.

Günter Graw, Volker Gruhn, Heiko Krumm

Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), 1996

1995

Re-usable verification elements for high-speed transfer protocol configurations.

Peter Herrmann, Heiko Krumm

Proceedings of the Protocol Specification, 1995

1994

Compositional specification and verification of high-speed transfer protocols.

Peter Herrmann, Heiko Krumm

Proceedings of the Protocol Specification, 1994

1993

Großrechner-Anschluß an Kommunikationsvorrechner.

Heiko Krumm, Josef Reichl, Alexander Söder

Prax. Inf.verarb. Kommun., 1993

Telekommunikation und Datenhaltung.

Peter C. Lockemann, Gerhard Krüger, Heiko Krumm

Hanser, ISBN: 978-3-446-17465-8, 1993

1990

Funktionelle Analyse von Kommunikationsprotokollen

Heiko Krumm

Informatik-Fachberichte 247, Springer, ISBN: 3-540-52854-7, 1990

1989

Projections of the Reachability Graph and Environment Models.

Heiko Krumm

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1987

Logische Verifikation nebenläufiger Programme.

Heiko Krumm

Angew. Inform., 1987

Offener Zugang zu abgesetzten Daten im Bürosystem.

Heiko Krumm

Proceedings of the GI, 1987

1986

Problem-Oriented Logical Specifications of Communication Services and Protocols.

Heiko Krumm, Oswald Drobnik

Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986

1984

Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme.

Heiko Krumm

PhD thesis, 1984

Interactive verification of communication software on the basis of CIL.

Heiko Krumm, Oswald Drobnik

Comput. Commun. Rev., 1984

Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL.

Heiko Krumm, Oswald Drobnik

Proceedings of the Protocol Specification, 1984

1983

CIL - Eine Sprache zur Implementierung von Kommunikationsdiensten.

Oswald Drobnik, Heiko Krumm

Proceedings of the Kommunikation in Verteilten Systemen, 1983

Specification, Implementation, and Verification of Communication Services on the Basis of CIL.

Heiko Krumm, Oswald Drobnik

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983