Heiko Krumm

Publication Activity (10 Years)

Years Active: 1983-2018
Publications (10 Years): 6

Top Venues

eHealth

ETFA

pHealth

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

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
Development of a Computer-Aided Dosage and Telemonitoring System for Patients Under Oral Anticoagulation Therapy. eHealth (2018)
Malte Burkert, Joe Volmer, Heiko Krumm, Christoph Fiehe
Rule-based technical management for the dependable operation of networked building automation systems. IM (2017)
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
Enhancing Long-Term Motivation of Cardiac Patients by Applying Exergaming in Rehabilitation Training. pHealth (2017)
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
Telemonitoring and Medical Care of Heart Failure Patients Supported by Left Ventricular Assist Devices - The Medolution Project. eHealth (2017)
Malte Burkert, Jorn Esdohr, Heiko Krumm
A small-scale model house evaluation platform for building automation systems. ETFA (2016)
Malte Burkert, Heiko Krumm
Dependency Management in Component-Based Building Automation Systems. DASC/PiCom/DataCom/CyberSciTech (2016)
Malte Burkert, Heiko Krumm, Christoph Fiehe
Technical management system for dependable Building Automation Systems. ETFA (2015)
Israfil Akman, Rafael Bielen, Henning Brümmer, Egor Kudrjaschow, Stefan Tschentscher, Oliver Dohndorf, Heiko Krumm, Jan-Dirk Hoffmann, Anke Workowski, Detlev Willemsen
CordiAAL: Enhanced Motivation for Cardiological Ergometer Training through Virtual Groups in Virtual Worlds. HEALTHINF (2014)
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. POLICY (2011)
João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus, René Jeruschkat
Scalable model-based configuration management of security services in complex enterprise networks. Softw. Pract. Exp. 41 (3) (2011)
Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing
Adaptive and reliable binding in ambient service systems. ETFA (2011)
Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing
Towards the Web of Things: Using DPWS to bridge isolated OSGi platforms. PerCom Workshops (2010)
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. POLICY (2010)
João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus
Formal validation of automated policy refinement in the management of network security systems. Int. J. Inf. Sec. 9 (2) (2010)
Oliver Dohndorf, Jan Krüger, Heiko Krumm, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing
Lightweight Policy-Based Management of Quality-Assured, Device-Based Service Systems. AINA Workshops (2010)
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. AINA Workshops (2009)
Sascha Feldhorst, Sergey Libert, Michael ten Hompel, Heiko Krumm
Integration of a Legacy Automation System into a SOA for Devices. ETFA (2009)
Jan Krüger, Heiko Krumm, Oliver Dohndorf, Christoph Fiehe, Anna Litvina, Ingo Lück, Franz-Josef Stewing
Policy-gesteuertes Management adaptiver und gütegesicherter Dienstesysteme im Projekt OSAMI. GI Jahrestagung (2009)
Andre Pohl, Heiko Krumm, Felix Holland, Franz-Josef Stewing, Ingo Lück
Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems. AINA Workshops (2008)
João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus
Model-based management of security services in complex network environments. NOMS (2008)
Fernando Marques Figueira Filho, João Porto de Albuquerque, Paulo Lício de Geus, Heiko Krumm
A Policy-Based Framework for Interoperable Digital Content Management. CCNC (2007)
Stefan Illner, Heiko Krumm, Ingo Lück, Andre Pohl, Andreas Bobek, Hendrik Bohn, Frank Golatowski
Model-based Management of Embedded Service Systems - An Applied Approach. AINA (2) (2006)
Gerrit Rothmaier, Heiko Krumm
Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP. Sicherheit (2005)
Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm
Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models. SPIN (2005)
João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus
On Scalability and Modularisation in the Modelling of Network Security Systems. ESORICS (2005)
Gerrit Rothmaier, Heiko Krumm
A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. FORTE (2005)
João Porto de Albuquerque, Holger Isenberg, Heiko Krumm, Paulo Lício de Geus
Improving the Configuration Management of Large Network Security Systems. DSOM (2005)
Stefan Illner, Heiko Krumm, Andre Pohl, Ingo Lück, Darius Manka, Thomas Sparenberg
Policy Controlled Automated Management of Distributed and Embedded Service Systems. Parallel and Distributed Computing and Networks (2005)
João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus
Modellierung von Netzsicherheitsystemen umfangreicher vernetzter IT-Infrastrukturen. GI Jahrestagung (2) (2005)
João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus
Policy Modeling and Refinement for Network Security Systems. POLICY (2005)
Gerrit Rothmaier, Andre Pohl, Heiko Krumm
Analyzing Network Management Effects with SPIN and cTLA. SEC (2004)
Peter Herrmann, Lars Wiebusch, Heiko Krumm
Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software. DIMVA (2004)
Peter Herrmann, Heiko Krumm
Trust-Based Monitoring of Component-Structured Software. Prax. Inf.verarb. Kommun. 27 (4) (2004)
Peter Herrmann, Lars Wiebusch, Heiko Krumm
State-Based Security Policy Enforcement in Component-Based E-Commerce Applications. I3E (2002)
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, Walter Geisselhardt
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs. Telecommun. Syst. 20 (3-4) (2002)
Ingo Lück, Sebastian Vogel, Heiko Krumm
Model-based configuration of VPNs. NOMS (2002)
Peter Herrmann, Heiko Krumm
Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications. ISCC (2001)
Ingo Lück, Christian Schäfer, Heiko Krumm
Model-Based Tool-Assistance for Packet-Filter Design. POLICY (2001)
Peter Herrmann, Lars Wiebusch, Heiko Krumm
Tool-Assisted Security Assessment of Distributed Applications. DAIS (2001)
Peter Herrmann, Heiko Krumm
A framework for modeling transfer protocols. Comput. Networks 34 (2) (2000)
Hartmut König, Peter Langendörfer, Heiko Krumm
Improving the efficiency of automated protocol implementations using a configurable FDT compiler. Comput. Commun. 23 (12) (2000)
Arnulf Mester, Heiko Krumm
Animation of Protocols and Distributed Algorithms. Comput. Sci. Educ. 10 (3) (2000)
Günter Graw, Peter Herrmann, Heiko Krumm
Verification of UML-Based Real-Time System Designs by Means of cTLA. ISORC (2000)
Ingo Lück, Marcus Schönbach, Arnulf Mester, Heiko Krumm
Derivation of Backup Service Management Applications from Service and System Models. DSOM (1999)
Michael Wimmers, Arnulf Mester, Heiko Krumm
A Component framework for the configuration management of networks. DAIS (1999)
Peter Herrmann, Heiko Krumm
Formal Hazard Analysis of Hybrid Systems in cTLA. SRDS (1999)
Günter Graw, Peter Herrmann, Heiko Krumm
Composing Object-Oriented Specifications and Verifications with cTLA. ECOOP Workshops (1999)
Günter Graw, Peter Herrmann, Heiko Krumm
Constraint-oriented formal modelling of OO-systems. DAIS (1999)
Peter Herrmann, Heiko Krumm
Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework. Prax. Inf.verarb. Kommun. 21 (2) (1998)
Peter Herrmann, Günter Graw, Heiko Krumm
Compositional Specification and Structured Verification of Hybrid Systems in cTLA. ISORC (1998)
Volker Gruhn, Peter Herrmann, Heiko Krumm
User-Defined Telecooperation Services. ICPADS (1998)
Peter Herrmann, Heiko Krumm
Modular specification and verification of XTP. Telecommun. Syst. 9 (2) (1998)
Arnulf Mester, Heiko Krumm
Formal Behavioural Patterns for the Tool-assisted Design of Distributed Applications. DAIS (1997)
Carsten Heyl, Arnulf Mester, Heiko Krumm
cTc - A Tool Supporting the Construction of cTLA-Specifications. TACAS (1996)
Günter Graw, Volker Gruhn, Heiko Krumm
Support of cooperating and distributed business processes. ICPADS (1996)
Hartmut König, Heiko Krumm
Implementierung von Kommunikationsprotokollen. Inform. Spektrum 19 (6) (1996)
Peter Herrmann, Heiko Krumm
Re-usable verification elements for high-speed transfer protocol configurations. PSTV (1995)
Peter Herrmann, Heiko Krumm
Compositional specification and verification of high-speed transfer protocols. PSTV (1994)
Heiko Krumm, Josef Reichl, Alexander Söder
Großrechner-Anschluß an Kommunikationsvorrechner. Prax. Inf.verarb. Kommun. 16 (2) (1993)
Heiko Krumm
Projections of the Reachability Graph and Environment Models. Automatic Verification Methods for Finite State Systems (1989)
Heiko Krumm
Offener Zugang zu abgesetzten Daten im Bürosystem. GI Jahrestagung (1987)
Heiko Krumm
Logische Verifikation nebenläufiger Programme. Angew. Inform. 29 (4) (1987)
Heiko Krumm, Oswald Drobnik
Problem-Oriented Logical Specifications of Communication Services and Protocols. ICCC (1986)
Heiko Krumm, Oswald Drobnik
Interactive verification of communication software on the basis of CIL. Comput. Commun. Rev. 14 (2) (1984)
Heiko Krumm, Oswald Drobnik
Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL. PSTV (1984)
Heiko Krumm, Oswald Drobnik
Specification, Implementation, and Verification of Communication Services on the Basis of CIL. Protocol Specification, Testing, and Verification (1983)
Oswald Drobnik, Heiko Krumm
CIL - Eine Sprache zur Implementierung von Kommunikationsdiensten. Kommunikation in Verteilten Systemen (1983)

Heiko Krumm.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Heiko Krumm