| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
refinement, policy, model-based management |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
policy, device, model-based management |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
SOA, Policies, OSGi, Policy-based Management, MBM, Model-based Management |
| 1 | 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 |
DBLP DOI BibTeX RDF |
JMEDS, WS4D, Distributed OSGi, Web Services, SOA, OSGi, Distributed Object Systems, DPWS |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Sascha Feldhorst, Sergey Libert, Michael ten Hompel, Heiko Krumm |
Integration of a Legacy Automation System into a SOA for Devices. |
ETFA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus |
Model-based management of security services in complex network environments. |
NOMS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerrit Rothmaier, Heiko Krumm |
A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus |
Policy Modeling and Refinement for Network Security Systems. |
POLICY |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm |
Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerrit Rothmaier, Heiko Krumm |
Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP. |
Sicherheit |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus |
Modellierung von Netzsicherheitsystemen umfangreicher vernetzter IT-Infrastrukturen. |
GI Jahrestagung |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Herrmann, Heiko Krumm |
Trust-Based Monitoring of Component-Structured Software. |
Praxis der Informationsverarbeitung und Kommunikation |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerrit Rothmaier, Andre Pohl, Heiko Krumm |
Analyzing Network Management Effects with SPIN and cTLA. |
SEC |
2004 |
DBLP BibTeX RDF |
|
| 1 | Peter Herrmann, Lars Wiebusch, Heiko Krumm |
Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software. |
DIMVA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Peter Herrmann, Heiko Krumm, Olaf Drögehorn, Walter Geisselhardt |
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs. |
Telecommunication Systems |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Lück, Sebastian Vogel, Heiko Krumm |
Model-based configuration of VPNs. |
NOMS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Herrmann, Lars Wiebusch, Heiko Krumm |
State-Based Security Policy Enforcement in Component-Based E-Commerce Applications. |
I3E |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ingo Lück, Christian Schäfer, Heiko Krumm |
Model-Based Tool-Assistance for Packet-Filter Design. |
POLICY |
2001 |
DBLP DOI BibTeX RDF |
policy hierarchy, firewall design, packet filter, model-based management |
| 1 | Peter Herrmann, Lars Wiebusch, Heiko Krumm |
Tool-Assisted Security Assessment of Distributed Applications. |
DAIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Peter Herrmann, Heiko Krumm |
Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications. |
ISCC |
2001 |
DBLP DOI BibTeX RDF |
security policy enforcement, trust information service, Software components, trust management, wrappers |
| 1 | Hartmut König, Peter Langendörfer, Heiko Krumm |
Improving the efficiency of automated protocol implementations using a configurable FDT compiler. |
Computer Communications |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Herrmann, Heiko Krumm |
A framework for modeling transfer protocols. |
Computer Networks |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Graw, Peter Herrmann, Heiko Krumm |
Verification of UML-Based Real-Time System Designs by Means of cTLA. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Graw, Peter Herrmann, Heiko Krumm |
Composing Object-Oriented Specifications and Verifications with cTLA. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ingo Lück, Marcus Schönbach, Arnulf Mester, Heiko Krumm |
Derivation of Backup Service Management Applications from Service and System Models. |
DSOM |
1999 |
DBLP DOI BibTeX RDF |
derivation of management systems, model-based development of management systems, IT-service management, model-based management |
| 1 | Peter Herrmann, Heiko Krumm |
Formal Hazard Analysis of Hybrid Systems in cTLA. (PDF / PS) |
SRDS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Graw, Peter Herrmann, Heiko Krumm |
Constraint-oriented formal modelling of OO-systems. |
DAIS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Michael Wimmers, Arnulf Mester, Heiko Krumm |
A Component framework for the configuration management of networks. |
DAIS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Peter Herrmann, Heiko Krumm |
Modular specification and verification of XTP. |
Telecommunication Systems |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Gruhn, Peter Herrmann, Heiko Krumm |
User-Defined Telecooperation Services. (PDF / PS) |
ICPADS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Herrmann, Günter Graw, Heiko Krumm |
Compositional Specification and Structured Verification of Hybrid Systems in cTLA. |
ISORC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnulf Mester, Heiko Krumm |
Formal Behavioural Patterns for the Tool-assisted Design of Distributed Applications. |
DAIS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Hartmut König, Heiko Krumm |
Implementierung von Kommunikationsprotokollen. |
Informatik Spektrum |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Heyl, Arnulf Mester, Heiko Krumm |
cTc - A Tool Supporting the Construction of cTLA-Specifications. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Graw, Volker Gruhn, Heiko Krumm |
Support of cooperating and distributed business processes. (PDF / PS) |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
distributed business processes, cooperating business processes, business process management systems, computer-based information processing, personal activities, business procedures, computer-based business process assistance, dynamic naming, object trading, distributed databases, workflow management systems, binding, management information systems |
| 1 | Peter Herrmann, Heiko Krumm |
Re-usable verification elements for high-speed transfer protocol configurations. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Peter Herrmann, Heiko Krumm |
Compositional specification and verification of high-speed transfer protocols. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | Peter C. Lockemann, Gerhard Krüger, Heiko Krumm |
Telekommunikation und Datenhaltung. |
|
1993 |
RDF |
|
| 1 | Heiko Krumm |
Funktionelle Analyse von Kommunikationsprotokollen |
|
1990 |
RDF |
|
| 1 | Heiko Krumm |
Projections of the Reachability Graph and Environment Models. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Krumm |
Logische Verifikation nebenläufiger Programme. |
Angewandte Informatik |
1987 |
DBLP BibTeX RDF |
|
| 1 | Heiko Krumm |
Offener Zugang zu abgesetzten Daten im Bürosystem. |
GI Jahrestagung |
1987 |
DBLP BibTeX RDF |
|
| 1 | Heiko Krumm, Oswald Drobnik |
Problem-Oriented Logical Specifications of Communication Services and Protocols. |
ICCC |
1986 |
DBLP BibTeX RDF |
|
| 1 | Heiko Krumm, Oswald Drobnik |
Interactive verification of communication software on the basis of CIL. |
Computer Communication Review |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Krumm, Oswald Drobnik |
Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
| 1 | Heiko Krumm, Oswald Drobnik |
Specification, Implementation, and Verification of Communication Services on the Basis of CIL. |
Protocol Specification, Testing, and Verification |
1983 |
DBLP BibTeX RDF |
|
| 1 | Oswald Drobnik, Heiko Krumm |
CIL - Eine Sprache zur Implementierung von Kommunikationsdiensten. |
Kommunikation in Verteilten Systemen |
1983 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")