Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Heiko Krumm
2010 – today
- 2011
[j10]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. Exper. 41(3): 307-338 (2011)- [c45]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: 1-8
- [c44]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: 97-104
- 2010
- [j9]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): 99-125 (2010)
- [c43]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: 526-531
- [c42]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: 720-725
- [c41]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: 61-64
2000 – 2009
- 2009
- [c40]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: 464-469
- [c39]Sascha Feldhorst, Sergey Libert, Michael ten Hompel, Heiko Krumm: Integration of a Legacy Automation System into a SOA for Devices. ETFA 2009: 1-8
- [c38]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: 970-983
- 2008
- [c37]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: 1393-1398
- [c36]João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus: Model-based management of security services in complex network environments. NOMS 2008: 1031-1036
- 2006
- [c35]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: 519-523
- 2005
- [c34]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: 36-47
- [c33]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: 287-304
- [c32]Gerrit Rothmaier, Heiko Krumm: A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. FORTE 2005: 247-260
- [c31]João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus: Modellierung von Netzsicherheitsystemen umfangreicher vernetzter IT-Infrastrukturen. GI Jahrestagung (2) 2005: 633-637
- [c30]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: 710-715
- [c29]João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus: Policy Modeling and Refinement for Network Security Systems. POLICY 2005: 24-33
- [c28]Gerrit Rothmaier, Heiko Krumm: Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP. Sicherheit 2005: 77-88
- [c27]Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm: Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models. SPIN 2005: 236-250
- 2004
- [j8]Peter Herrmann, Heiko Krumm: Trust-Based Monitoring of Component-Structured Software. Praxis der Informationsverarbeitung und Kommunikation 27(4): 237-245 (2004)
- [c26]Peter Herrmann, Lars Wiebusch, Heiko Krumm: Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software. DIMVA 2004: 55-70
- [c25]Gerrit Rothmaier, Andre Pohl, Heiko Krumm: Analyzing Network Management Effects with SPIN and cTLA. SEC 2004: 65-82
- 2002
- [j7]Peter Herrmann, Heiko Krumm, Olaf Drögehorn, Walter Geisselhardt: Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs. Telecommunication Systems 20(3-4): 291-310 (2002)
- [c24]Peter Herrmann, Lars Wiebusch, Heiko Krumm: State-Based Security Policy Enforcement in Component-Based E-Commerce Applications. I3E 2002: 195-209
- [c23]
- 2001
- [c22]Peter Herrmann, Lars Wiebusch, Heiko Krumm: Tool-Assisted Security Assessment of Distributed Applications. DAIS 2001: 289-294
- [c21]Peter Herrmann, Heiko Krumm: Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications. ISCC 2001: 2-8
- [c20]Ingo Lück, Christian Schäfer, Heiko Krumm: Model-Based Tool-Assistance for Packet-Filter Design. POLICY 2001: 120-136
- 2000
- [j6]Peter Herrmann, Heiko Krumm: A framework for modeling transfer protocols. Computer Networks 34(2): 317-337 (2000)
- [j5]Hartmut König, Peter Langendörfer, Heiko Krumm: Improving the efficiency of automated protocol implementations using a configurable FDT compiler. Computer Communications 23(12): 1179-1195 (2000)
- [c19]Günter Graw, Peter Herrmann, Heiko Krumm: Verification of UML-Based Real-Time System Designs by Means of cTLA. ISORC 2000: 86-95
1990 – 1999
- 1999
- [c18]Michael Wimmers, Arnulf Mester, Heiko Krumm: A Component framework for the configuration management of networks. DAIS 1999: 135-148
- [c17]Günter Graw, Peter Herrmann, Heiko Krumm: Constraint-oriented formal modelling of OO-systems. DAIS 1999: 345-
- [c16]Ingo Lück, Marcus Schönbach, Arnulf Mester, Heiko Krumm: Derivation of Backup Service Management Applications from Service and System Models. DSOM 1999: 243-256
- [c15]Günter Graw, Peter Herrmann, Heiko Krumm: Composing Object-Oriented Specifications and Verifications with cTLA. ECOOP Workshops 1999: 318
- [c14]
- 1998
- [j4]Peter Herrmann, Heiko Krumm: Modular specification and verification of XTP. Telecommunication Systems 9(2): 207-221 (1998)
- [c13]Volker Gruhn, Peter Herrmann, Heiko Krumm: User-Defined Telecooperation Services. ICPADS 1998: 590-598
- [c12]Peter Herrmann, Günter Graw, Heiko Krumm: Compositional Specification and Structured Verification of Hybrid Systems in cTLA. ISORC 1998: 335-
- 1997
- [c11]Arnulf Mester, Heiko Krumm: Formal Behavioural Patterns for the Tool-assisted Design of Distributed Applications. DAIS 1997
- 1996
- [j3]Hartmut König, Heiko Krumm: Implementierung von Kommunikationsprotokollen. Informatik Spektrum 19(6): 316-325 (1996)
- [c10]Günter Graw, Volker Gruhn, Heiko Krumm: Support of cooperating and distributed business processes. ICPADS 1996: 22-
- [c9]Carsten Heyl, Arnulf Mester, Heiko Krumm: cTc - A Tool Supporting the Construction of cTLA-Specifications. TACAS 1996: 407-411
- 1995
- [c8]Peter Herrmann, Heiko Krumm: Re-usable verification elements for high-speed transfer protocol configurations. PSTV 1995: 171-186
- 1994
- [c7]Peter Herrmann, Heiko Krumm: Compositional specification and verification of high-speed transfer protocols. PSTV 1994: 339-346
- 1993
- [b2]Peter C. Lockemann, Gerhard Krüger, Heiko Krumm: Telekommunikation und Datenhaltung. Hanser 1993, ISBN 978-3-446-17465-8, pp. I-XXI, 1-655
- 1990
- [b1]Heiko Krumm: Funktionelle Analyse von Kommunikationsprotokollen. Informatik-Fachberichte 247, Springer 1990, ISBN 3-540-52854-7
1980 – 1989
- 1989
- [c6]Heiko Krumm: Projections of the Reachability Graph and Environment Models. Automatic Verification Methods for Finite State Systems 1989: 89-96
- 1987
- [j2]Heiko Krumm: Logische Verifikation nebenläufiger Programme. Angewandte Informatik 29(4): 131-140 (1987)
- [c5]
- 1986
- [c4]Heiko Krumm, Oswald Drobnik: Problem-Oriented Logical Specifications of Communication Services and Protocols. ICCC 1986: 474-478
- 1984
- [j1]Heiko Krumm, Oswald Drobnik: Interactive verification of communication software on the basis of CIL. Computer Communication Review 14(2): 92-99 (1984)
- [c3]Heiko Krumm, Oswald Drobnik: Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL. PSTV 1984: 31-45
- 1983
- [c2]Heiko Krumm, Oswald Drobnik: Specification, Implementation, and Verification of Communication Services on the Basis of CIL. Protocol Specification, Testing, and Verification 1983: 301-316
- [c1]Oswald Drobnik, Heiko Krumm: CIL - Eine Sprache zur Implementierung von Kommunikationsdiensten. Kommunikation in Verteilten Systemen 1983: 301-315
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-09 22:07 CEST by the dblp team