# Ulrich Hannemann

According to our database

Collaborative distances:

^{1}, Ulrich Hannemann authored at least 17 papers between 1995 and 2010.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2010

Proceedings of the Concurrency, 2010

2008

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

2006

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

Proceedings of the Computer Safety, 2006

2004

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

2001

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

Proceedings of the Computer Aided Systems Theory, 2001

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

2000

Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.

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

1999

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

1997

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

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.

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.

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