Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Erika Ábrahám
Erika Ábrahám-Mumm
2010 – today
- 2013
[c45]Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker: A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. CADE 2013: 193-207- [c44]Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám: Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. MBMV 2013: 243-254
- [i2]Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker: High-level Counterexamples for Probabilistic Automata. CoRR abs/1305.5055 (2013)
- 2012
- [c43]Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker: The COMICS Tool - Computing Minimal Counterexamples for DTMCs. ATVA 2012: 349-353
- [c42]Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker: Symbolic Counterexample Generation for Discrete-Time Markov Chains. FACS 2012: 134-151
- [c41]
- [c40]Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen: Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. MBMV 2012: 169-180
- [c39]Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan: Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. RTSS 2012: 183-192
- [c38]Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám: SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). SAT 2012: 442-448
- [c37]Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen: Minimal Critical Subsystems for Discrete-Time Markov Models. TACAS 2012: 299-314
- [c36]Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám: Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude. WRLA 2012: 139-161
- [c35]Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky: Timed CTL Model Checking in Real-Time Maude. WRLA 2012: 182-200
- [i1]Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker: The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains. CoRR abs/1206.0603 (2012)
- 2011
- [j10]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)
- [j9]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)
- [c34]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
- [c33]Ulrich Loup, Erika Ábrahám: I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra. CAI 2011: 230-246
- [c32]Xin Chen, Erika Ábrahám: Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. EUROCAST (1) 2011: 535-542
- [c31]
- [c30]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
- [c29]Pascal Richter, Erika Ábrahám, Gabriel Morin: Optimisation of Concentrating Solar Thermal Power Plants with Neural Networks. ICANNGA (1) 2011: 190-199
- [c28]Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám: SMT-based Counterexample Generation for Markov Chains. MBMV 2011: 19-28
- [c27]Ulrich Loup, Erika Ábrahám: GiNaCRA: A C++ Library for Real Algebraic Computations. NASA Formal Methods 2011: 512-517
- [c26]Xin Chen, Erika Ábrahám, Goran Frehse: Efficient Bounded Reachability Computation for Rectangular Automata. RP 2011: 139-152
- [c25]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
- 2010
- [j8]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)
- [c24]Erika Ábrahám, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder: Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. DeLFI 2010: 239-251
- [c23]Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker: Exploiting Different Strategies for the Parallelization of an SMT Solver. MBMV 2010: 97-106
- [c22]Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker: DTMC Model Checking by SCC Reduction. QEST 2010: 37-46
- [c21]Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky: A Rewriting-Logic-Based Technique for Modeling Thermal Systems. RTRTS 2010: 82-100
- [c20]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
2000 – 2009
- 2009
- [j7]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)
- [c19]Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker: Picoso - A Parallel Interval Constraint Solver. PDPTA 2009: 473-479
- 2008
- [j6]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)
- [j5]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)
- [j4]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)
- [c18]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
- 2007
- [j3]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)
- [c17]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
- 2006
- [j2]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)
- [c16]Erika Ábrahám, Andreas Grüner, Martin Steffen: Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. CiE 2006: 1-10
- [c15]Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde: Parallel SAT Solving in Bounded Model Checking. FMICS/PDMC 2006: 301-315
- [c14]Erika Ábrahám, Andreas Grüner, Martin Steffen: Abstract Interface Behavior of Object-Oriented Languages with Monitors. FMOODS 2006: 218-232
- [c13]Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen: Memory-aware Bounded Model Checking for Linear Hybrid Systems. MBMV 2006: 153-162
- 2005
- [j1]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)
- [c12]Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen: Optimizing Bounded Model Checking for Linear Hybrid Systems. VMCAI 2005: 396-412
- 2004
- [c11]Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen, Erika Ábrahám: A Fully Abstract Semantics for UML Components. FMCO 2004: 49-69
- [c10]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
- [c9]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
- [c8]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
- [c7]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Monitors in Java. FMOODS 2003: 155-169
- 2002
- [c6]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
- [c5]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
- [c4]Erika Ábrahám-Mumm, Ulrich Hannemann, Martin Steffen: Assertion-Based Analysis of Hybrid Systems with PVS. EUROCAST 2001: 94-109
- [c3]Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann: Verification of Hybrid Systems: Formalization and Proof Rules in PVS. ICECCS 2001: 48-57
- 2000
- [c2]
- [c1]Jan de Meer, Erika Ábrahám-Mumm: Formal Methods for Reflective System Specification. FBT 2000: 51-57
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18 22:43 CEST by the dblp team