The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Erika Ábrahám-Mumm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Erika Ábrahám-Mumm, Frank S. de Boer
    Proof-Outlines for Threads in Java. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:229-242 [Conf]
  2. 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]
  3. Jan de Meer, Erika Ábrahám-Mumm
    Formal Methods for Reflective System Specification. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:51-57 [Conf]
  4. Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    A Tool-Supported Proof System for Multithreaded Java. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:1-32 [Conf]
  5. Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    Verification for Java's Reentrant Multithreading Concept. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:5-20 [Conf]
  6. 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]

Search in 0.003secs, 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