Erika Ábrahám

Erika Ábrahám-Mumm

	2009
22		Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker: Picoso - A Parallel Interval Constraint Solver. PDPTA 2009: 473-479
	2008
21		Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Inform. 82(4): 391-463 (2008)
20		Erika Ábrahám, Andreas Grüner, Martin Steffen: Heap-abstraction for an object-oriented calculus with thread classes. Software and System Modeling 7(2): 177-208 (2008)
	2007
19		Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde: On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. DDECS 2007: 391-396
18		Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen: Bounded Model Checking with Parametric Data Structures. Electr. Notes Theor. Comput. Sci. 174(3): 3-16 (2007)
	2006
17		Erika Ábrahám, Andreas Grüner, Martin Steffen: Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. CiE 2006: 1-10
16		Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde: Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC 2006: 301-315
15		Erika Ábrahám, Andreas Grüner, Martin Steffen: Abstract Interface Behavior of Object-Oriented Languages with Monitors. FMOODS 2006: 218-232
14		Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Exceptions in Multithreaded Java. Electr. Notes Theor. Comput. Sci. 159: 281-297 (2006)
	2005
13		Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen: Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI 2005: 396-412
12		Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: An assertion-based proof system for multithreaded Java. Theor. Comput. Sci. 331(2-3): 251-290 (2005)
	2004
11		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. FMCO 2004: 296-316
10		Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám: A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69
9		Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen: Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. ICTAC 2004: 37-51
	2003
8		Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Monitors in Java. FMOODS 2003: 155-169
7		Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Compositional Operational Semantics for JavaMT. Verification: Theory and Practice 2003: 290-303
	2002
6		Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Tool-Supported Proof System for Multithreaded Java. FMCO 2002: 1-32
5		Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Verification for Java's Reentrant Multithreading Concept. FoSSaCS 2002: 5-20
	2001
4		Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen: Assertion-Based Analysis of Hybrid Systems with PVS. EUROCAST 2001: 94-109
3		Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann: Verification of Hybrid Systems: Formalization and Proof Rules in PVS. ICECCS 2001: 48-57
	2000
2		Erika Ábrahám-Mumm, Frank S. de Boer: Proof-Outlines for Threads in Java. CONCUR 2000: 229-242
1		Jan de Meer, Erika Ábrahám-Mumm: Formal Methods for Reflective System Specification. FBT 2000: 51-57

Coauthor Index

1	Bernd Becker	[13] [16] [18] [19] [22]
2	Frank S. de Boer	[2] [5] [6] [7] [8] [9] [10] [11] [12] [14] [21]
3	Marcello M. Bonsangue	[9] [10] [11]
4	Martin Fränzle	[16]
5	Andreas Grüner	[11] [15] [17] [20]
6	Ulrich Hannemann	[3] [4]
7	Marc Herbstritt	[18] [19]
8	Christian Herde	[16] [19]
9	Natalia Kalinnik	[22]
10	Felix Klaedtke	[13]
11	Jan de Meer	[1]
12	Willem P. de Roever	[5] [6] [7] [8] [12] [14] [21]
13	Tobias Schubert	[16] [22]
14	Martin Steffen	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [18] [20] [21]
15	Ralf Wimmer	[22]

Colors in the list of coauthors