Ulrich Hannemann

According to our database, Ulrich Hannemann authored at least 17 papers between 1995 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

A Bibliography of Willem-Paul de Roever.

Dennis Dams, Ulrich Hannemann, Martin Steffen

Proceedings of the Concurrency, 2010

2008

Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework.

Stefan Bisanz, Ulrich Hannemann, Jan Peleska

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2006

The HybridUML profile for UML 2.0.

Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska

Int. J. Softw. Tools Technol. Transf., 2006

Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile.

Kirsten Berkenkötter, Ulrich Hannemann

Proceedings of the Computer Safety, 2006

2004

Executable HybridUML and Its Application to Train Control Systems.

Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2001

Verification of Hybrid Systems: Formalization and Proof Rules in PVS.

Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

Assertion-Based Analysis of Hybrid Systems with PVS.

Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen

Proceedings of the Computer Aided Systems Theory, 2001

Formal Design of Real-Time Components on a Shared Data Space Architecture.

Ulrich Hannemann, Jozef Hooman

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

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 Tracts in Theoretical Computer Science 54, Cambridge University Press, ISBN: 0-521-80608-9, 2001

2000

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

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999

The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes.

Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann

Proceedings of the Mathematical Foundations of Computer Science 1999, 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

Proceedings of the FM'99 - Formal Methods, 1999

Automatic control of mechanical ventilation by means of a fuzzy logic expert system.

U. Pilz, Ulrich Hannemann, Martin Brauer

Proceedings of the 5th European Control Conference, 1999

1997

Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency.

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

A Compositional Proof System for Shared Variable Concurrency.

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996

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

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems.

Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995