Ulrich Hannemann

	2010
17		Dennis Dams, Ulrich Hannemann, Martin Steffen: Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever Springer 2010
16		Dennis Dams, Ulrich Hannemann, Martin Steffen: A Bibliography of Willem-Paul de Roever. Concurrency, Compositionality, and Correctness 2010: 1-9
	2008
15		Stefan Bisanz, Ulrich Hannemann, Jan Peleska: Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. COMPSAC 2008: 64-67
	2006
14		Kirsten Berkenkötter, Ulrich Hannemann: Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. SAFECOMP 2006: 398-411
13		Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska: The HybridUML profile for UML 2.0. STTT 8(2): 167-176 (2006)
	2004
12		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		Ulrich Hannemann, Jozef Hooman: Formal Design of Real-Time Components on a Shared Data Space Architecture. COMPSAC 2001: 143-150
9		Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen: Assertion-Based Analysis of Hybrid Systems with PVS. EUROCAST 2001: 94-109
8		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		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		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	Dennis Dams	[16] [17]
6	Jozef Hooman	[7] [10] [11]
7	Yassine Lakhnech	[1] [2] [7] [11]
8	Jan Peleska	[12] [13] [15]
9	Mannes Poel	[7] [11]
10	Willem P. de Roever (Willem-Paul de Roever)	[1] [2] [3] [4] [5] [6] [7] [11]
11	Martin Steffen	[8] [9] [16] [17]
12	Frank A. Stomp	[2]
13	Job Zwiers	[1] [2] [7] [11]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page