Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. - Job Zwiers; Ulrich Hannemann; Yassine Lakhnech; Willem P. de Roever (FSTTCS, 1995)

Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. - Job Zwiers; Ulrich Hannemann; Yassine Lakhnech; Willem P. de Roever; Frank A. Stomp (FME, 1996)

A Compositional Proof System for Shared Variable Concurrency. - Frank S. de Boer; Ulrich Hannemann; Willem P. de Roever (FME, 1997)

Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. - Frank S. de Boer; Ulrich Hannemann; Willem P. de Roever (FSTTCS, 1997)

Automatic control of mechanical ventilation by means of a fuzzy logic expert system. - U. Pilz; Ulrich Hannemann; Martin Brauer (ECC, 1999)

Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. - Frank S. de Boer; Ulrich Hannemann; Willem P. de Roever (World Congress on Formal Methods, 1999)

The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. - Frank S. de Boer; Willem P. de Roever; Ulrich Hannemann (MFCS, 1999)

Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. - Willem P. de Roever; Frank S. de Boer; Ulrich Hannemann; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers (FBT, 2000)

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 (Cambridge University Press, 2001)

Formal Design of Real-Time Components on a Shared Data Space Architecture. - Ulrich Hannemann; Jozef Hooman (COMPSAC, 2001)

Assertion-Based Analysis of Hybrid Systems with PVS. - Erika Ábrahám-Mumm; Ulrich Hannemann; Martin Steffen (EUROCAST, 2001)

Verification of Hybrid Systems: Formalization and Proof Rules in PVS. - Erika Ábrahám-Mumm; Martin Steffen; Ulrich Hannemann (ICECCS, 2001)

Executable HybridUML and Its Application to Train Control Systems. - Kirsten Berkenkötter; Stefan Bisanz; Ulrich Hannemann; Jan Peleska 001 (SoftSpez Final Report, 2004)

Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. - Kirsten Berkenkötter; Ulrich Hannemann (SAFECOMP, 2006)

The HybridUML profile for UML 2.0. - Kirsten Berkenkötter; Stefan Bisanz; Ulrich Hannemann; Jan Peleska 001 (Int. J. Softw. Tools Technol. Transf., 2006)

Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. - Stefan Bisanz; Ulrich Hannemann; Jan Peleska 001 (COMPSAC, 2008)

A Bibliography of Willem-Paul de Roever. - Dennis Dams; Ulrich Hannemann; Martin Steffen (Concurrency, Compositionality, and Correctness, 2010)