The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ulrich Hannemann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002