MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Heiko Krumm" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

19 documents found, showing 1 through 10. Next 10 →

ATOM

A Framework for the Hazard Analysis of Chemical Plants
by Peter Herrmann, Heiko Krumm — 2000 — In Proceedings of the 11th IEEE International Symposium on Computer-Aided Control System Design (CACSD2000
… Plants’ Peter Herrmann and Heiko Krumm Universitat Dortmund, Fachbereich Informatik, D-44221 Dortmund…
Cited by 9 (7 self) – Add To MetaCart

Framework and Tool Support for Formal Verification of High Speed Transfer Protocol Designs
by Peter Herrmann, Heiko Krumm — 2002 — Telecommunication Systems
… HERRMANN and HEIKO KRUMM {peter.herrmann;krumm}@(email omitted); University of Dortmund, Department…
Cited by 4 (2 self) – Add To MetaCart

Formal Hazard Analysis of Hybrid Systems in cTLA
by Peter Herrmann, Heiko Krumm — 1999 — In Proc. 18th IEEE Symposium on Reliable Distributed Systems
… Herrmann and Heiko Krumm Universitat Dortmund, Fachbereich Informatik, D-44221 Dortmund fherrmannjkrummg…
Cited by 5 (5 self) – Add To MetaCart

Composition and Refinement Mapping based Construction of Distributed Applications
by Arnulf Mester, Heiko Krumm — 1995
…, Heiko Krumm Universitat Dortmund, Fachbereich Informatik, D-44221 Dortmund, Germany Phone +49 231 755…
Cited by 7 (4 self) – Add To MetaCart

Report on Analysis and Verification Techniques
by Peter Herrmann, Heiko Krumm — 1992
… and Verification Techniques Peter Herrmann, Heiko Krumm November, 1992 Contents 1 Introduction 2 2 Survey…
Add To MetaCart

Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications
by Peter Herrmann, Heiko Krumm — 2001
… component-structured applications Peter Herrmann and Heiko Krumm Universitat Dortmund, Fachbereich…
Cited by 10 (3 self) – Add To MetaCart

Model-driven Security Management of Embedded Service Systems
by Stefan Illner, Andre Pohl, Heiko Krumm — 2005
…-weight, but functionally powerful run-time management. For that purpose Stefan Illner, Andre Pohl, and Heiko Krumm…
Add To MetaCart

State-Based Security Policy Enforcement in Component-Based E-Commerce Applications
by Peter Herrmann, Lars Wiebusch, Heiko Krumm — 2002 — Proceedings of the 2nd IFIP Conference on ECommerce, E-Business, and E-Government (I3E
…, Lars Wiebusch, and Heiko Krumm Universität Dortmund, FB Informatik, LS IV, 44221 Dortmund, Germany…
Cited by 5 (2 self) – Add To MetaCart

Verification of UML-based real-time system designs by means of cTLA
by Günter Graw, Peter Herrmann, Heiko Krumm — 2000 — In Proceedings 3 rd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC 2000), IEEE Computer
…-based real-time system designs by means of cTLA Gunter Graw, Peter Herrmann, and Heiko Krumm Universitat…
Cited by 6 (3 self) – Add To MetaCart

Compositional Specification and Structured Verification of Hybrid Systems in cTLA
by Peter Herrmann, Günter Graw, Heiko Krumm — 1998 — In Proc. 1st IEEE International Symposium on Object-oriented Real-time distributed Computing
… Verification of Hybrid Systems in cTLA Peter Herrmann, Gunter Graw, and Heiko Krumm Universitat Dortmund…
Cited by 7 (6 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB