|
Search the dblp DataBase
Erika Ábrahám-Mumm:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- Jan de Meer, Erika Ábrahám-Mumm
Formal Methods for Reflective System Specification. [Citation Graph (0, 0)][DBLP] FBT, 2000, pp:51-57 [Conf]
- 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]
- 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]
- 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
|