Skip to content
cs-conference-ranking.org

Ulrich Hannemann

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

5

Active years

1996–2008

Best venue rank

B

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2008COMPSACExecutable Semantics for Hybrid Systems - The Hybrid Low-Level Framework.Stefan Bisanz, Ulrich Hannemann, Jan Peleska
2006SAFECOMPModeling the Railway Control Domain Rigorously with a UML 2.0 Profile.Kirsten Berkenktter, Ulrich Hannemann
2001COMPSACFormal Design of Real-Time Components on a Shared Data Space Architecture.Ulrich Hannemann, Jozef Hooman
2001ICECCSVerification of Hybrid Systems: Formalization and Proof Rules in PVS.Erika brahm-Mumm, Martin Steffen, Ulrich Hannemann
1999FMFormal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach.Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
1999MFCSThe Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes.Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann
1997FMA Compositional Proof System for Shared Variable Concurrency.Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
1996FMModular 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