| Select a publication |
| Show |
Title |
Venue |
Rating |
Date |
|
Conference paper
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. 2011, Volume 41 |
 (0)
|
2011 |
|
|
Conference paper
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, IEEE International Symposium on Policies for Distributed Systems and Networks, Pisa, Italy, 6-8 June 2011 2011 |
(0)
|
2011 |
|
|
Conference paper
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.
|
IEEE 16th Conference on Emerging Technologies Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011 2011 |
(0)
|
2011 |
|
|
Conference paper
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.
|
24th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2010, Perth, Australia, 20-13 April 2010 2010 |
(0)
|
2010 |
|
|
Journal article
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. 2010, Volume 9 |
(0)
|
2010 |
|
|
Conference paper
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.
|
Eigth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2010, March 29 - April 2, 2010, Mannheim, Germany, Workshop Proceedings 2010 |
(0)
|
2010 |
|
|
Conference paper
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, IEEE International Symposium on Policies for Distributed Systems and Networks, Fairfax, VA, USA, 21-23 July 2010 2010 |
(0)
|
2010 |
|
|
Conference paper
Sascha Feldhorst, Sergey Libert, Michael ten Hompel, Heiko Krumm.
Integration of a Legacy Automation System into a SOA for Devices.
|
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2009, September 22-25, 2008, Palma de Mallorca, Spain 2009 |
(0)
|
2009 |
|
|
Conference paper
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.
|
23rd International Conference on Advanced Information Networking and Applications, AINA 2009, Workshops Proceedings, Bradford, United Kingdom, May 26-29, 2009 2009 |
(0)
|
2009 |
|
|
Conference paper
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.
|
Informatik 2009: Im Focus das Leben, Beiträge der 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 28.9.-2.10.2009, Lübeck, Proceedings 2009 |
(0)
|
2009 |
|
|
Conference paper
Andre Pohl, Heiko Krumm, Felix Holland, Franz-Josef Stewing, Ingo Lück.
Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems.
|
22nd International Conference on Advanced Information Networking and Applications, AINA 2008, Workshops Proceedings, GinoWan, Okinawa, Japan, March 25-28, 2008 2008 |
(0)
|
2008 |
|
|
Conference paper
João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus.
Model-based management of security services in complex network environments.
|
IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, NOMS 2008, 7-11 April 2008, Salvador, Bahia, Brazil 2008 |
(0)
|
2008 |
|
|
Conference paper
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.
|
20th International Conference on Advanced Information Networking and Applications (AINA 2006), 18-20 April 2006, Vienna, Austria 2006 |
(0)
|
2006 |
|
|
Conference paper
João Porto de Albuquerque, Holger Isenberg, Heiko Krumm, Paulo Lício de Geus.
Improving the Configuration Management of Large Network Security Systems.
|
Ambient Networks, 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings 2005 |
(0)
|
2005 |
|
|
Conference paper
João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus.
On Scalability and Modularisation in the Modelling of Network Security Systems.
|
Computer Security - ESORICS 2005, 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings 2005 |
(0)
|
2005 |
|
|
Conference paper
Gerrit Rothmaier, Heiko Krumm.
A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks.
|
Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings 2005 |
(0)
|
2005 |
|
|
Conference paper
João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus.
Modellierung von Netzsicherheitsystemen umfangreicher vernetzter IT-Infrastrukturen.
|
INFORMATIK 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn, 19. bis 22. September 2005 2005 |
(0)
|
2005 |
|
|
Conference paper
Stefan Illner, Heiko Krumm, Andre Pohl, Ingo Lück, Darius Manka, Thomas Sparenberg.
Policy Controlled Automated Management of Distributed and Embedded Service Systems.
|
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005 2005 |
(0)
|
2005 |
|
|
Conference paper
João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus.
Policy Modeling and Refinement for Network Security Systems.
|
6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 6-8 June 2005, Stockholm, Sweden 2005 |
(0)
|
2005 |
|
|
Conference paper
Gerrit Rothmaier, Heiko Krumm.
Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP.
|
Sicherheit 2005: Sicherheit - Schutz und Zuverlässigkeit, Beiträge der 2. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.v. (GI), 5.-8. April 2005 in Regensburg 2005 |
(0)
|
2005 |
|
|
Conference paper
Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm.
Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.
|
Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings 2005 |
(0)
|
2005 |
|
|
Journal article
Peter Herrmann, Heiko Krumm.
Trust-Based Monitoring of Component-Structured Software.
|
Praxis der Informationsverarbeitung und Kommunikation 2004, Volume 27 |
(0)
|
2004 |
|
|
Conference paper
Peter Herrmann, Lars Wiebusch, Heiko Krumm.
Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software.
|
Detection of Intrusions and Malware Vulnerability Assessment, GI SIG SIDAR Workshop, DIMVA 2004, Dortmund, Germany, July 6.7, 2004, Proceedings 2004 |
(0)
|
2004 |
|
|
Conference paper
Gerrit Rothmaier, Andre Pohl, Heiko Krumm.
Analyzing Network Management Effects with SPIN and cTLA.
|
Security and Protection in Information Processing Systems, IFIP 18th WorldComputer Congress, TC11 19th International Information Security Conference, 22-27 August 2004, Toulouse, France 2004 |
(0)
|
2004 |
|
|
Conference paper
Peter Herrmann, Lars Wiebusch, Heiko Krumm.
State-Based Security Policy Enforcement in Component-Based E-Commerce Applications.
|
Towards The Knowledge Society: eCommerce, eBusiness, and eGovernment, The Second IFIP Conference on E-Commerce, E-Business, E-Government (I3E 2002), October 7-9, 2002, Lisbon, Portugal 2002 |
(0)
|
2002 |
|
|
Conference paper
Ingo Lück, Sebastian Vogel, Heiko Krumm.
Model-based configuration of VPNs.
|
Management Solutions for the New Communications World, 8th IEEE/IFIP Network Operations and Management Symposium, NOMS 2002, Florence, Italy, April 15-19, 2002. Proceedings 2002 |
(0)
|
2002 |
|
|
Conference paper
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, Walter Geisselhardt.
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs.
|
Telecommunication Systems 2002, Volume 20 |
(0)
|
2002 |
|
|
Conference paper
Peter Herrmann, Lars Wiebusch, Heiko Krumm.
Tool-Assisted Security Assessment of Distributed Applications.
|
New Developments in Distributed Applications and Interoperable Systems, IFIP TC6 / WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems, September 17-19, 2001, Kraków, Poland 2001 |
(0)
|
2001 |
|
|
Conference paper
Peter Herrmann, Heiko Krumm.
Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications.
|
Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 3-5 July 2001, Hammamet, Tunisia 2001 |
(0)
|
2001 |
|
|
Conference paper
Ingo Lück, Christian Schäfer, Heiko Krumm.
Model-Based Tool-Assistance for Packet-Filter Design.
|
Policies for Distributed Systems and Networks, International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001, Proceedings 2001 |
(0)
|
2001 |
|
|
Conference paper
Günter Graw, Peter Herrmann, Heiko Krumm.
Verification of UML-Based Real-Time System Designs by Means of cTLA.
|
3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA 2000 |
(0)
|
2000 |
|
|
Conference paper
Peter Herrmann, Heiko Krumm.
A framework for modeling transfer protocols.
|
Computer Networks 2000, Volume 34 |
(0)
|
2000 |
|
|
Conference paper
Hartmut König, Peter Langendörfer, Heiko Krumm.
Improving the efficiency of automated protocol implementations using a configurable FDT compiler.
|
Computer Communications 2000, Volume 23 |
(0)
|
2000 |
|
|
Conference paper
Günter Graw, Peter Herrmann, Heiko Krumm.
Constraint-oriented formal modelling of OO-systems.
|
Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28 - July 1, 1999, Helsinki, Finland 1999 |
(0)
|
1999 |
|
|
Conference paper
Michael Wimmers, Arnulf Mester, Heiko Krumm.
A Component framework for the configuration management of networks.
|
Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28 - July 1, 1999, Helsinki, Finland 1999 |
(0)
|
1999 |
|
|
Conference paper
Ingo Lück, Marcus Schönbach, Arnulf Mester, Heiko Krumm.
Derivation of Backup Service Management Applications from Service and System Models.
|
Active Technologies for Network and Service Management, 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM '99, Zurich, Switzerland, October 11-13, 1999, Proceedings 1999 |
(0)
|
1999 |
|
|
Conference paper
Günter Graw, Peter Herrmann, Heiko Krumm.
Composing Object-Oriented Specifications and Verifications with cTLA.
|
Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings 1999 |
(0)
|
1999 |
|
|
Conference paper
Peter Herrmann, Heiko Krumm.
Formal Hazard Analysis of Hybrid Systems in cTLA.
|
SRDS 1999 |
(0)
|
1999 |
|
|
Conference paper
Volker Gruhn, Peter Herrmann, Heiko Krumm.
User-Defined Telecooperation Services.
|
ICPADS 1998 |
(0)
|
1998 |
|
|
Conference paper
Peter Herrmann, Günter Graw, Heiko Krumm.
Compositional Specification and Structured Verification of Hybrid Systems in cTLA.
|
1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 20-22 April 1998, Kyoto, Japan 1998 |
(0)
|
1998 |
|
|
Conference paper
Peter Herrmann, Heiko Krumm.
Modular specification and verification of XTP.
|
Telecommunication Systems 1998, Volume 9 |
(0)
|
1998 |
|
|
Conference paper
Arnulf Mester, Heiko Krumm.
Formal Behavioural Patterns for the Tool-assisted Design of Distributed Applications.
|
Distributed Applications and Interoperable Systems, Proceedings IFIP TC 6.1 Working Conference DAIS'97, Cottbus, Germany, September 30 - October 2, 1997 1997 |
(0)
|
1997 |
|
|
Conference paper
Günter Graw, Volker Gruhn, Heiko Krumm.
Support of cooperating and distributed business processes.
|
1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings 1996 |
(0)
|
1996 |
|
|
Conference paper
Carsten Heyl, Arnulf Mester, Heiko Krumm.
cTc - A Tool Supporting the Construction of cTLA-Specifications.
|
Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings 1996 |
(0)
|
1996 |
|
|
Conference paper
Hartmut König, Heiko Krumm.
Implementierung von Kommunikationsprotokollen.
|
Informatik Spektrum 1996, Volume 19 |
(0)
|
1996 |
|
|
Conference paper
Peter Herrmann, Heiko Krumm.
Re-usable verification elements for high-speed transfer protocol configurations.
|
Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 1996 |
(0)
|
1995 |
|
|
Conference paper
Peter Herrmann, Heiko Krumm.
Compositional specification and verification of high-speed transfer protocols.
|
Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994 1995 |
(0)
|
1994 |
|
|
Conference paper
Heiko Krumm.
Projections of the Reachability Graph and Environment Models.
|
Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings 1990 |
(0)
|
1989 |
|
|
Conference paper
Heiko Krumm.
Offener Zugang zu abgesetzten Daten im Bürosystem.
|
GI Jahrestagung 1987 |
(0)
|
1987 |
|
|
Conference paper
Heiko Krumm.
Logische Verifikation nebenläufiger Programme.
|
Angewandte Informatik 1987, Volume 29 |
(0)
|
1987 |
|
|
Conference paper
Heiko Krumm, Oswald Drobnik.
Problem-Oriented Logical Specifications of Communication Services and Protocols.
|
ICCC 1986 |
(0)
|
1986 |
|
|
Conference paper
Heiko Krumm, Oswald Drobnik.
Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL.
|
Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984 1985 |
(0)
|
1984 |
|
|
Conference paper
Heiko Krumm, Oswald Drobnik.
Interactive verification of communication software on the basis of CIL.
|
Computer Communication Review 1984, Volume 14 |
(0)
|
1984 |
|
|
Conference paper
Heiko Krumm, Oswald Drobnik.
Specification, Implementation, and Verification of Communication Services on the Basis of CIL.
|
Protocol Specification, Testing, and Verification 1983 |
(0)
|
1983 |
|
|
Conference paper
Oswald Drobnik, Heiko Krumm.
CIL - Eine Sprache zur Implementierung von Kommunikationsdiensten.
|
Kommunikation in Verteilten Systemen - Anwendungen und Betrieb, GI/ITG-Fachtagung, Berlin, 19-21 Januar 1983, Proceedings 1983 |
(0)
|
1983 |
k/HeikoKrumm