Erika Ábrahám

Erika Ábrahám-Mumm

	2012
42		Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen: Minimal Critical Subsystems for Discrete-Time Markov Models. TACAS 2012: 299-314
	2011
41		Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker: Hierarchical Counterexamples for Discrete-Time Markov Chains. ATVA 2011: 443-452
40		Ulrich Loup, Erika Ábrahám: I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra. CAI 2011: 230-246
39		Xin Chen, Erika Ábrahám: Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. EUROCAST (1) 2011: 535-542
38		Florian Corzilius, Erika Ábrahám: Virtual Substitution for SMT-Solving. FCT 2011: 360-371
37		Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám: Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. FMOODS/FORTE 2011: 75-89
36		Pascal Richter, Erika Ábrahám, Gabriel Morin: Optimisation of Concentrating Solar Thermal Power Plants with Neural Networks. ICANNGA (1) 2011: 190-199
35		Ulrich Loup, Erika Ábrahám: GiNaCRA: A C++ Library for Real Algebraic Computations. NASA Formal Methods 2011: 512-517
34		Xin Chen, Erika Ábrahám, Goran Frehse: Efficient Bounded Reachability Computation for Rectangular Automata. RP 2011: 139-152
33		Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám: Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. SEFM 2011: 415-430
32		Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám: Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. Electr. Notes Theor. Comput. Sci. 274: 17-32 (2011)
31		Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde: Parallel SAT Solving in Bounded Model Checking. J. Log. Comput. 21(1): 5-21 (2011)
	2010
30		Erika Ábrahám, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder: Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. DeLFI 2010: 239-251
29		Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker: DTMC Model Checking by SCC Reduction. QEST 2010: 37-46
28		Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám: Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications RTRTS 2010: 117-136
27		Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky: A Rewriting-Logic-Based Technique for Modeling Thermal Systems RTRTS 2010: 82-100
26		Markus Geimer, Felix Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, Bernd Mohr: The Scalasca performance toolset architecture. Concurrency and Computation: Practice and Experience 22(6): 702-719 (2010)
	2009
25		Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker: Picoso - A Parallel Interval Constraint Solver. PDPTA 2009: 473-479
24		Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen: Behavioral interface description of an object-oriented language with futures and promises. J. Log. Algebr. Program. 78(7): 491-518 (2009)
	2008
23		Felix Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, Wolfgang Frings, Karl Fürlinger, Markus Geimer, Marc-André Hermanns, Bernd Mohr, Shirley Moore, Matthias Pfeifer, Zoltán Szebenyi: Usage of the SCALASCA toolset for scalable performance analysis of large-scale parallel applications. Parallel Tools Workshop 2008: 157-167
22		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)
21		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)
20		Erika Ábrahám, Andreas Grüner, Martin Steffen: Abstract Interface Behavior of Object-Oriented Languages with Monitors. Theory Comput. Syst. 43(3-4): 322-361 (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] [25] [29] [31] [37] [41] [42]
2	Daniel Becker	[23] [26]
3	Frank S. de Boer	[2] [5] [6] [7] [8] [9] [10] [11] [12] [14] [22]
4	Marcello M. Bonsangue	[9] [10] [11]
5	Bettina Braitling	[37]
6	Philipp Brauner	[30]
7	Xin Chen	[34] [39]
8	Florian Corzilius	[38]
9	Muhammad Fadlisyah	[27] [32] [33]
10	Martin Fränzle	[16] [31]
11	Goran Frehse	[34]
12	Wolfgang Frings	[23]
13	Karl Fürlinger	[23]
14	Markus Geimer	[23] [26]
15	Immo Grabe	[24]
16	Andreas Grüner	[11] [15] [17] [20] [21] [24]
17	Ulrich Hannemann	[3] [4]
18	Marc Herbstritt	[18] [19]
19	Christian Herde	[16] [19] [31]
20	Marc-André Hermanns	[23]
21	Nils Jansen	[29] [30] [37] [41] [42]
22	Natalia Kalinnik	[25]
23	Jens Katelaan	[41]
24	Joost-Pieter Katoen	[29] [41] [42]
25	Felix Klaedtke	[13]
26	Thiemo Leonhardt	[30]
27	Daniela Lepri	[27] [28]
28	Ulrich Loup	[30] [35] [40]
29	Jan de Meer	[1]
30	Bernd Mohr	[23] [26]
31	Shirley Moore	[23]
32	Gabriel Morin	[36]
33	Peter Csaba Ölveczky	[27] [28] [32] [33]
34	Matthias Pfeifer	[23]
35	Pascal Richter	[36]
36	Willem P. de Roever (Willem-Paul de Roever)	[5] [6] [7] [8] [12] [14] [22]
37	Ulrik Schroeder	[30]
38	Tobias Schubert	[16] [25] [31]
39	Martin Steffen	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [18] [20] [21] [22] [24]
40	Zoltán Szebenyi	[23]
41	Ralf Wimmer	[25] [29] [37] [41] [42]
42	Felix Wolf	[23] [26]
43	Brian J. N. Wylie	[23] [26]

Colors in the list of coauthors

Last update Fri May 25 03:49:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page