Search the dblp DataBase

Publications of Author

1. Ulrich Hannemann, Jozef Hooman
   Formal Design of Real-Time Components on a Shared Data Space Architecture. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 2001, pp:143-150 [Conf]
   
2. Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
   Executable HybridUML and Its Application to Train Control Systems. [Citation Graph (0, 0)][DBLP]
   SoftSpez Final Report, 2004, pp:145-173 [Conf]
   
3. Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen
   Assertion-Based Analysis of Hybrid Systems with PVS. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 2001, pp:94-109 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   FBT, 2000, pp:3-5 [Conf]
   
5. Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
   A Compositional Proof System for Shared Variable Concurrency. [Citation Graph (0, 0)][DBLP]
   FME, 1997, pp:515-532 [Conf]
   
6. Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
   Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:1245-1265 [Conf]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   FME, 1996, pp:595-608 [Conf]
   
8. Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
   Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 1997, pp:267-283 [Conf]
   
9. Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever
   Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 1995, pp:80-95 [Conf]
   
10. Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann
    Verification of Hybrid Systems: Formalization and Proof Rules in PVS. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:48-57 [Conf]
    
11. Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann
    The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1999, pp:343-353 [Conf]
    
12. Kirsten Berkenkötter, Ulrich Hannemann
    Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2006, pp:398-411 [Conf]
    
13. Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
    The HybridUML profile for UML 2.0. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:2, pp:167-176 [Journal]
    
14. 
    A Bibliography of Willem-Paul de Roever. [Citation Graph (, )][DBLP]
    
    
15. 
    Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. [Citation Graph (, )][DBLP]