Ulrich Hannemann

18 papers B 5Journal 1Unranked 10
YearRankTypeTitle / Venue / Authors
2010 — conf
A Bibliography of Willem-Paul de Roever.
Concurrency, Compositionality, and Correctness
Dennis Dams, Ulrich Hannemann, Martin Steffen
2010 — ed.
Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever
Concurrency, Compositionality, and Correctness
Dennis Dams, Ulrich Hannemann, Martin Steffen
2008 B conf
Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework.
COMPSAC
Stefan Bisanz, Ulrich Hannemann, Jan Peleska
2006 B conf
Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile.
SAFECOMP
Kirsten Berkenkötter, Ulrich Hannemann
2006 J jnl
The HybridUML profile for UML 2.0.
Int. J. Softw. Tools Technol. Transf.
Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
2004 — conf
Executable HybridUML and Its Application to Train Control Systems.
SoftSpez Final Report
Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
2001 — conf
Assertion-Based Analysis of Hybrid Systems with PVS.
EUROCAST
Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen
2001 — book
Concurrency Verification: Introduction to Compositional and Noncompositional Methods
Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
2001 B conf
Formal Design of Real-Time Components on a Shared Data Space Architecture.
COMPSAC
Ulrich Hannemann, Jozef Hooman
2001 B conf
Verification of Hybrid Systems: Formalization and Proof Rules in PVS.
ICECCS
Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann
2000 — conf
Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.
FBT
Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
1999 — conf
Automatic control of mechanical ventilation by means of a fuzzy logic expert system.
ECC
U. Pilz, Ulrich Hannemann, Martin Brauer
1999 — conf
Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach.
World Congress on Formal Methods
Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
1999 B conf
The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes.
MFCS
Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann
1997 — conf
A Compositional Proof System for Shared Variable Concurrency.
FME
Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
1997 — conf
Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency.
FSTTCS
Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
1996 — conf
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development.
FME
Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp
1995 — conf
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems.
FSTTCS
Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever