Erika Ábrahám-Mumm

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

Publications

Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
Verification for Java's Reentrant Multithreading Concept. FoSSaCS (2002)
Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen
Assertion-Based Analysis of Hybrid Systems with PVS. EUROCAST (2001)
Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann
Verification of Hybrid Systems: Formalization and Proof Rules in PVS. ICECCS (2001)
Jan de Meer, Erika Ábrahám-Mumm
Formal Methods for Reflective System Specification. FBT (2000)
Erika Ábrahám-Mumm, Frank S. de Boer
Proof-Outlines for Threads in Java. CONCUR (2000)