|
Search the dblp DataBase
Erika Ábrahám:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
A Compositional Operational Semantics for JavaMT. [Citation Graph (0, 0)][DBLP] Verification: Theory and Practice, 2003, pp:290-303 [Conf]
- Erika Ábrahám, Andreas Grüner, Martin Steffen
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. [Citation Graph (0, 0)][DBLP] CiE, 2006, pp:1-10 [Conf]
- Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde
On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. [Citation Graph (0, 0)][DBLP] DDECS, 2007, pp:391-396 [Conf]
- Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen
Observability, Connectivity, and Replay in a Sequential Calculus of Classes. [Citation Graph (0, 0)][DBLP] FMCO, 2004, pp:296-316 [Conf]
- Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám
A Fully Abstract Semantics for UML Components. [Citation Graph (0, 0)][DBLP] FMCO, 2004, pp:49-69 [Conf]
- Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
Inductive Proof Outlines for Monitors in Java. [Citation Graph (0, 0)][DBLP] FMOODS, 2003, pp:155-169 [Conf]
- Erika Ábrahám, Andreas Grüner, Martin Steffen
Abstract Interface Behavior of Object-Oriented Languages with Monitors. [Citation Graph (0, 0)][DBLP] FMOODS, 2006, pp:218-232 [Conf]
- Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. [Citation Graph (0, 0)][DBLP] ICTAC, 2004, pp:37-51 [Conf]
- Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen
Optimizing Bounded Model Checking for Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP] VMCAI, 2005, pp:396-412 [Conf]
- Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
Inductive Proof Outlines for Exceptions in Multithreaded Java. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:281-297 [Journal]
- Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen
Bounded Model Checking with Parametric Data Structures. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:3, pp:3-16 [Journal]
- Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
An assertion-based proof system for multithreaded Java. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:331, n:2-3, pp:251-290 [Journal]
- Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde
Parallel SAT Solving in Bounded Model Checking. [Citation Graph (0, 0)][DBLP] FMICS/PDMC, 2006, pp:301-315 [Conf]
Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. [Citation Graph (, )][DBLP]
Picoso - A Parallel Interval Constraint Solver. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.004secs
|