×
Compute Distance To:
Author ID: abraham.erika Recent zbMATH articles by "Ábrahám, Erika"
Published as: Ábrahám, Erika; Ábrahám-Mumm, Erika; Ábrahám, E.; Abraham, Erika
Homepage: https://ths.rwth-aachen.de/people/erika-abraham/
External Links: MGP · ORCID · Google Scholar · dblp

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 121 times in 80 Documents Cited by Year
Building bridges between symbolic computation and satisfiability checking. Zbl 1345.68279
Abraham, Erika
12
2015
SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
11
2016
SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving. Zbl 1471.68241
Corzilius, Florian; Kremer, Gereon; Junges, Sebastian; Schupp, Stefan; Ábrahám, Erika
10
2015
An assertion-based proof system for multithreaded Java. Zbl 1070.68016
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
8
2005
Behavioral interface description of an object-oriented language with futures and promises. Zbl 1187.68130
Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin
6
2009
Verification for Java’s reentrant multithreading concept. Zbl 1077.68552
Ábrahám-Mumm, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
6
2002
A symbiosis of interval constraint propagation and cylindrical algebraic decomposition. Zbl 1381.68274
Loup, Ulrich; Scheibler, Karsten; Corzilius, Florian; Ábrahám, Erika; Becker, Bernd
6
2013
Optimizing bounded model checking for linear hybrid systems. Zbl 1111.68493
Ábrahám, Erika; Becker, Bernd; Klaedtke, Felix; Steffen, Martin
5
2005
Virtual substitution for SMT-solving. Zbl 1342.68282
Corzilius, Florian; Ábrahám, Erika
5
2011
A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic. Zbl 1453.90186
Kremer, Gereon; Corzilius, Florian; Ábrahám, Erika
4
2016
Minimal critical subsystems for discrete-time Markov models. Zbl 1352.68167
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Becker, Bernd; Katoen, Joost-Pieter
4
2012
Counterexample generation for discrete-time Markov models: an introductory survey. Zbl 1445.68130
Ábrahám, Erika; Becker, Bernd; Dehnert, Christian; Jansen, Nils; Katoen, Joost-Pieter; Wimmer, Ralf
4
2014
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. Zbl 1397.93189
Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram; Chen, Xin; Ábrahám, Erika
4
2016
Inductive proof outlines for monitors in Java. Zbl 1253.68080
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
3
2003
Abstract interface behavior of object-oriented languages with monitors. Zbl 1162.68475
Ábrahám, Erika; Grüner, Andreas; Steffen, Martin
3
2008
On Gröbner bases in the context of satisfiability-modulo-theories solving over the real numbers. Zbl 1398.68696
Junges, Sebastian; Loup, Ulrich; Corzilius, Florian; Ábrahám, Erika
3
2013
Hierarchical counterexamples for discrete-time Markov chains. Zbl 1348.68139
Jansen, Nils; Ábrahám, Erika; Katelaan, Jens; Wimmer, Ralf; Katoen, Joost-Pieter; Becker, Bernd
3
2011
Minimal counterexamples for linear-time probabilistic verification. Zbl 1360.68604
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd
3
2014
High-level counterexamples for probabilistic automata. Zbl 1347.68211
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter
2
2015
Parallel SAT solving in bounded model checking. Zbl 1213.68359
Ábrahám, Erika; Schubert, Tobias; Becker, Bernd; Fränzle, Martin; Herde, Christian
2
2011
Object connectivity and full abstraction for a concurrent calculus of classes. Zbl 1108.68538
Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Steffen, Martin
2
2005
Fast debugging of PRISM models. Zbl 1448.68295
Dehnert, Christian; Jansen, Nils; Wimmer, Ralf; Ábrahám, Erika; Katoen, Joost-Pieter
2
2014
Fully incremental cylindrical algebraic decomposition. Zbl 1432.68601
Kremer, Gereon; Ábrahám, Erika
2
2020
A tool-supported proof system for multithreaded Java. Zbl 1254.68055
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
1
2003
Proof-outlines for threads in Java. Zbl 0999.68504
Ábrahám-Mumm, Erika; de Boer, Frank S.
1
2000
A compositional operational semantics for Java\(_{\text{MT}}\). Zbl 1274.68037
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
1
2003
Observability, connectivity, and replay in a sequential calculus of classes. Zbl 1143.68359
Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Grüner, Andreas; Steffen, Martin
1
2005
Tools and algorithms for the construction and analysis of systems. 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Zbl 1301.68010
1
2014
Assertion-based analysis of hybrid systems with PVS. Zbl 1023.93510
Ábrahám-Mumm, Erika; Hannemann, Ulrich; Steffen, Martin
1
2001
Modular strategic SMT solving with SMT-RAT. Zbl 1412.68270
Kremer, Gereon; Ábrahám, Erika
1
2018
Timed CTL model checking in Real-Time Maude. Zbl 1366.68176
Lepri, Daniela; Ábrahám, Erika; Ölveczky, Peter Csaba
1
2012
A deductive proof system for multithreaded Java with exceptions. Zbl 1144.68012
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
1
2008
Efficient dynamic error reduction for hybrid systems reachability analysis. Zbl 1423.68290
Schupp, Stefan; Ábrahám, Erika
1
2018
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. Zbl 07316066
Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon
1
2021
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. Zbl 07316066
Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon
1
2021
Fully incremental cylindrical algebraic decomposition. Zbl 1432.68601
Kremer, Gereon; Ábrahám, Erika
2
2020
Modular strategic SMT solving with SMT-RAT. Zbl 1412.68270
Kremer, Gereon; Ábrahám, Erika
1
2018
Efficient dynamic error reduction for hybrid systems reachability analysis. Zbl 1423.68290
Schupp, Stefan; Ábrahám, Erika
1
2018
SC\(^2\): satisfiability checking meets symbolic computation. (Project paper). Zbl 1344.68198
Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
11
2016
A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic. Zbl 1453.90186
Kremer, Gereon; Corzilius, Florian; Ábrahám, Erika
4
2016
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. Zbl 1397.93189
Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram; Chen, Xin; Ábrahám, Erika
4
2016
Building bridges between symbolic computation and satisfiability checking. Zbl 1345.68279
Abraham, Erika
12
2015
SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving. Zbl 1471.68241
Corzilius, Florian; Kremer, Gereon; Junges, Sebastian; Schupp, Stefan; Ábrahám, Erika
10
2015
High-level counterexamples for probabilistic automata. Zbl 1347.68211
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter
2
2015
Counterexample generation for discrete-time Markov models: an introductory survey. Zbl 1445.68130
Ábrahám, Erika; Becker, Bernd; Dehnert, Christian; Jansen, Nils; Katoen, Joost-Pieter; Wimmer, Ralf
4
2014
Minimal counterexamples for linear-time probabilistic verification. Zbl 1360.68604
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter; Becker, Bernd
3
2014
Fast debugging of PRISM models. Zbl 1448.68295
Dehnert, Christian; Jansen, Nils; Wimmer, Ralf; Ábrahám, Erika; Katoen, Joost-Pieter
2
2014
Tools and algorithms for the construction and analysis of systems. 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Zbl 1301.68010
1
2014
A symbiosis of interval constraint propagation and cylindrical algebraic decomposition. Zbl 1381.68274
Loup, Ulrich; Scheibler, Karsten; Corzilius, Florian; Ábrahám, Erika; Becker, Bernd
6
2013
On Gröbner bases in the context of satisfiability-modulo-theories solving over the real numbers. Zbl 1398.68696
Junges, Sebastian; Loup, Ulrich; Corzilius, Florian; Ábrahám, Erika
3
2013
Minimal critical subsystems for discrete-time Markov models. Zbl 1352.68167
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Becker, Bernd; Katoen, Joost-Pieter
4
2012
Timed CTL model checking in Real-Time Maude. Zbl 1366.68176
Lepri, Daniela; Ábrahám, Erika; Ölveczky, Peter Csaba
1
2012
Virtual substitution for SMT-solving. Zbl 1342.68282
Corzilius, Florian; Ábrahám, Erika
5
2011
Hierarchical counterexamples for discrete-time Markov chains. Zbl 1348.68139
Jansen, Nils; Ábrahám, Erika; Katelaan, Jens; Wimmer, Ralf; Katoen, Joost-Pieter; Becker, Bernd
3
2011
Parallel SAT solving in bounded model checking. Zbl 1213.68359
Ábrahám, Erika; Schubert, Tobias; Becker, Bernd; Fränzle, Martin; Herde, Christian
2
2011
Behavioral interface description of an object-oriented language with futures and promises. Zbl 1187.68130
Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin
6
2009
Abstract interface behavior of object-oriented languages with monitors. Zbl 1162.68475
Ábrahám, Erika; Grüner, Andreas; Steffen, Martin
3
2008
A deductive proof system for multithreaded Java with exceptions. Zbl 1144.68012
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
1
2008
An assertion-based proof system for multithreaded Java. Zbl 1070.68016
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
8
2005
Optimizing bounded model checking for linear hybrid systems. Zbl 1111.68493
Ábrahám, Erika; Becker, Bernd; Klaedtke, Felix; Steffen, Martin
5
2005
Object connectivity and full abstraction for a concurrent calculus of classes. Zbl 1108.68538
Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Steffen, Martin
2
2005
Observability, connectivity, and replay in a sequential calculus of classes. Zbl 1143.68359
Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Grüner, Andreas; Steffen, Martin
1
2005
Inductive proof outlines for monitors in Java. Zbl 1253.68080
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
3
2003
A tool-supported proof system for multithreaded Java. Zbl 1254.68055
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
1
2003
A compositional operational semantics for Java\(_{\text{MT}}\). Zbl 1274.68037
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
1
2003
Verification for Java’s reentrant multithreading concept. Zbl 1077.68552
Ábrahám-Mumm, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
6
2002
Assertion-based analysis of hybrid systems with PVS. Zbl 1023.93510
Ábrahám-Mumm, Erika; Hannemann, Ulrich; Steffen, Martin
1
2001
Proof-outlines for threads in Java. Zbl 0999.68504
Ábrahám-Mumm, Erika; de Boer, Frank S.
1
2000
all top 5

Cited by 166 Authors

15 Ábrahám, Erika
7 Davenport, James Harold
6 Bright, Curtis
6 England, Matthew
6 Ganesh, Vijay
6 Kotsireas, Ilias S.
6 Kremer, Gereon
6 Owe, Olaf
6 Steffen, Martin
5 Cimatti, Alessandro
5 Sturm, Thomas
4 Becker, Bernd
4 Griggio, Alberto
4 Jansen, Nils
4 Johnsen, Einar Broch
4 Junges, Sebastian
4 Katoen, Joost-Pieter
3 Abbott, John A.
3 Bigatti, Anna Maria
3 Corzilius, Florian
3 de Boer, Frank S.
3 Din, Crystal Chang
3 Eggers, Andreas
3 Teige, Tino
2 Brain, Martin
2 Buchberger, Bruno
2 Češka, Milan
2 Cheung, Kevin K. H.
2 Dehnert, Christian
2 Dovland, Johan
2 Fontaine, Pascal
2 Forrest, Stephen
2 Fränzle, Martin
2 Grabe, Immo
2 Grüner, Andreas
2 Heinle, Albert
2 Kröning, Daniel
2 Mover, Sergio
2 Olderog, Ernst-Rüdiger
2 Poetzsch-Heffter, Arnd
2 Sankaranarayanan, Sriram
2 Seiler, Werner M.
2 Seshia, Sanjit Arunkumar
2 Stevens, Brett
2 Tonetta, Stefano
2 Wimmer, Ralf D.
1 Agarwal, Shivali
1 Ahrendt, Wolfgang
1 Andriushchenko, Roman
1 Apt, Krzysztof Rafal
1 Aspinall, David
1 Basagiannis, Stylianos
1 Becker, Stephen R.
1 Beckert, Bernhard
1 Ben Sassi, Mohamed Amin
1 Beringer, Lennart
1 Bigarella, Filippo
1 Bonchi, Filippo
1 Bradford, Russell J.
1 Bridge, James P.
1 Brown, Christopher W.
1 Bu, Lei
1 Carr, Steven
1 Clarke, Dave
1 Colvin, Robert J.
1 Czarnecki, Krzysztof
1 Dams, Dennis René
1 de Roever, Willem-Paul
1 Đoković, Dragomir Ž.
1 Dylla, Maximilian
1 Eraşcu, Mădălina
1 Flanagan, Cormac
1 Freund, Stephen Neal
1 Gange, Graeme
1 Garoche, Pierre-Loïc
1 Gebler, Daniel E.
1 Giantamidis, Georgios
1 Goldman, Max
1 Grigor’ev, Dmitriĭ Yur’evich
1 Gronski, Jessica A.
1 Hannemann, Ulrich
1 He, Jifeng
1 Henrio, Ludovic
1 Henrion, Didier
1 Hensel, Christian
1 Hofmann, Martin
1 Huang, Chengchao
1 Huang, Zongyan
1 Huerta y Munive, Jonathan Julián
1 Iosif, Alexandru
1 Irfan, Ahmed
1 Jansen, David N.
1 Jonáš, Martin
1 Jovanović, Dejan
1 Kalinnik, Natalia
1 Kammüller, Florian
1 Katz, Emilia
1 Katz, Shmuel
1 Khanh, To Van
1 Klebanov, Vladimir
...and 66 more Authors

Citations by Year