Ulrich Hannemann

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

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


A Bibliography of Willem-Paul de Roever.
Proceedings of the Concurrency, 2010

Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

The HybridUML profile for UML 2.0.
Int. J. Softw. Tools Technol. Transf., 2006

Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile.
Proceedings of the Computer Safety, 2006

Executable HybridUML and Its Application to Train Control Systems.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Verification of Hybrid Systems: Formalization and Proof Rules in PVS.
Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

Assertion-Based Analysis of Hybrid Systems with PVS.
Proceedings of the Computer Aided Systems Theory, 2001

Formal Design of Real-Time Components on a Shared Data Space Architecture.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Concurrency Verification: Introduction to Compositional and Noncompositional Methods
Cambridge Tracts in Theoretical Computer Science 54, Cambridge University Press, ISBN: 0-521-80608-9, 2001

Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes.
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach.
Proceedings of the FM'99 - Formal Methods, 1999

Automatic control of mechanical ventilation by means of a fuzzy logic expert system.
Proceedings of the 5th European Control Conference, 1999

Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

A Compositional Proof System for Shared Variable Concurrency.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995