2008 |
15 | EE | Stefan Bisanz,
Ulrich Hannemann,
Jan Peleska:
Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework.
COMPSAC 2008: 64-67 |
2006 |
14 | EE | Kirsten Berkenkötter,
Ulrich Hannemann:
Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile.
SAFECOMP 2006: 398-411 |
13 | EE | Kirsten Berkenkötter,
Stefan Bisanz,
Ulrich Hannemann,
Jan Peleska:
The HybridUML profile for UML 2.0.
STTT 8(2): 167-176 (2006) |
2004 |
12 | EE | Kirsten Berkenkötter,
Stefan Bisanz,
Ulrich Hannemann,
Jan Peleska:
Executable HybridUML and Its Application to Train Control Systems.
SoftSpez Final Report 2004: 145-173 |
2001 |
11 | | Willem P. de Roever,
Frank S. de Boer,
Ulrich Hannemann,
Jozef Hooman,
Yassine Lakhnech,
Mannes Poel,
Job Zwiers:
Concurrency Verification: Introduction to Compositional and Noncompositional Methods
Cambridge University Press 2001 |
10 | EE | Ulrich Hannemann,
Jozef Hooman:
Formal Design of Real-Time Components on a Shared Data Space Architecture.
COMPSAC 2001: 143-150 |
9 | EE | Erika Ábrahám-Mumm,
Ulrich Hannemann,
Martin Steffen:
Assertion-Based Analysis of Hybrid Systems with PVS.
EUROCAST 2001: 94-109 |
8 | EE | Erika Ábrahám-Mumm,
Martin Steffen,
Ulrich Hannemann:
Verification of Hybrid Systems: Formalization and Proof Rules in PVS.
ICECCS 2001: 48-57 |
2000 |
7 | | Willem P. de Roever,
Frank S. de Boer,
Ulrich Hannemann,
Jozef Hooman,
Yassine Lakhnech,
Mannes Poel,
Job Zwiers:
Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.
FBT 2000: 3-5 |
1999 |
6 | | Frank S. de Boer,
Willem P. de Roever,
Ulrich Hannemann:
The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes.
MFCS 1999: 343-353 |
5 | EE | Frank S. de Boer,
Ulrich Hannemann,
Willem P. de Roever:
Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach.
World Congress on Formal Methods 1999: 1245-1265 |
1997 |
4 | | Frank S. de Boer,
Ulrich Hannemann,
Willem P. de Roever:
A Compositional Proof System for Shared Variable Concurrency.
FME 1997: 515-532 |
3 | EE | Frank S. de Boer,
Ulrich Hannemann,
Willem P. de Roever:
Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency.
FSTTCS 1997: 267-283 |
1996 |
2 | | Job Zwiers,
Ulrich Hannemann,
Yassine Lakhnech,
Willem P. de Roever,
Frank A. Stomp:
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development.
FME 1996: 595-608 |
1995 |
1 | | Job Zwiers,
Ulrich Hannemann,
Yassine Lakhnech,
Willem P. de Roever:
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems.
FSTTCS 1995: 80-95 |