Ulrich Hannemann

Publication Activity (10 Years)

Years Active: 1995-2010
Publications (10 Years): 0

Publications

Dennis Dams, Ulrich Hannemann, Martin Steffen
A Bibliography of Willem-Paul de Roever. Concurrency, Compositionality, and Correctness (2010)
Stefan Bisanz, Ulrich Hannemann, Jan Peleska
Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. COMPSAC (2008)
Kirsten Berkenkötter, Ulrich Hannemann
Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. SAFECOMP (2006)
Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
The HybridUML profile for UML 2.0. Int. J. Softw. Tools Technol. Transf. 8 (2) (2006)
Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
Executable HybridUML and Its Application to Train Control Systems. SoftSpez Final Report (2004)
Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen
Assertion-Based Analysis of Hybrid Systems with PVS. EUROCAST (2001)
Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann
Verification of Hybrid Systems: Formalization and Proof Rules in PVS. ICECCS (2001)
Ulrich Hannemann, Jozef Hooman
Formal Design of Real-Time Components on a Shared Data Space Architecture. COMPSAC (2001)
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)
U. Pilz, Ulrich Hannemann, Martin Brauer
Automatic control of mechanical ventilation by means of a fuzzy logic expert system. ECC (1999)
Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann
The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. MFCS (1999)
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)
Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
A Compositional Proof System for Shared Variable Concurrency. FME (1997)
Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. FSTTCS (1997)
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)
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)