Ulrich Hannemann

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

Coauthor Index

1	Erika Ábrahám (Erika Ábrahám-Mumm)	[8] [9]
2	Kirsten Berkenkötter	[12] [13] [14]
3	Stefan Bisanz	[12] [13] [15]
4	Frank S. de Boer	[3] [4] [5] [6] [7] [11]
5	Jozef Hooman	[7] [10] [11]
6	Yassine Lakhnech	[1] [2] [7] [11]
7	Jan Peleska	[12] [13] [15]
8	Mannes Poel	[7] [11]
9	Willem P. de Roever	[1] [2] [3] [4] [5] [6] [7] [11]
10	Martin Steffen	[8] [9]
11	Frank A. Stomp	[2]
12	Job Zwiers	[1] [2] [7] [11]