×

zbMATH — the first resource for mathematics

Ábrahám, Erika

Compute Distance To:
Author ID: abraham.erika Recent zbMATH articles by "Ábrahám, Erika"
Published as: Abraham, Erika; Ábrahám, E.; Ábrahám, Erika; Ábrahám-Mumm, Erika
Homepage: https://ths.rwth-aachen.de/people/erika-abraham/
External Links: MGP · ORCID · dblp
Documents Indexed: 46 Publications since 2000, including 4 Books

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 109 times in 72 Documents Cited by Year
Building bridges between symbolic computation and satisfiability checking. Zbl 1345.68279
Abraham, Erika
11
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
10
2016
SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving. Zbl 06512585
Corzilius, Florian; Kremer, Gereon; Junges, Sebastian; Schupp, Stefan; Ábrahám, Erika
9
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
9
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
7
2009
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
6
2005
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
Virtual substitution for SMT-solving. Zbl 1342.68282
Corzilius, Florian; Ábrahám, Erika
5
2011
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
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
3
2016
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
3
2012
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
Abstract interface behavior of object-oriented languages with monitors. Zbl 1162.68475
Ábrahám, Erika; Grüner, Andreas; Steffen, Martin
3
2008
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
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
A tool-supported proof system for multithreaded Java. Zbl 1254.68055
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
2
2003
Fully incremental cylindrical algebraic decomposition. Zbl 1432.68601
Kremer, Gereon; Ábrahám, Erika
1
2020
Efficient dynamic error reduction for hybrid systems reachability analysis. Zbl 1423.68290
Schupp, Stefan; Ábrahám, Erika
1
2018
Modular strategic SMT solving with SMT-RAT. Zbl 1412.68270
Kremer, Gereon; Ábrahám, Erika
1
2018
High-level counterexamples for probabilistic automata. Zbl 1347.68211
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter
1
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
1
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
Ábrahám, Erika (ed.); Havelund, Klaus (ed.)
1
2014
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
Heap-abstraction for an object-oriented calculus with thread classes. Zbl 1145.68380
Ábrahám, Erika; Grüner, Andreas; Steffen, Martin
1
2006
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
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
Proof-outlines for threads in Java. Zbl 0999.68504
Ábrahám-Mumm, Erika; de Boer, Frank S.
1
2000
Fully incremental cylindrical algebraic decomposition. Zbl 1432.68601
Kremer, Gereon; Ábrahám, Erika
1
2020
Efficient dynamic error reduction for hybrid systems reachability analysis. Zbl 1423.68290
Schupp, Stefan; Ábrahám, Erika
1
2018
Modular strategic SMT solving with SMT-RAT. Zbl 1412.68270
Kremer, Gereon; Á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
10
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
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
3
2016
Building bridges between symbolic computation and satisfiability checking. Zbl 1345.68279
Abraham, Erika
11
2015
SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving. Zbl 06512585
Corzilius, Florian; Kremer, Gereon; Junges, Sebastian; Schupp, Stefan; Ábrahám, Erika
9
2015
High-level counterexamples for probabilistic automata. Zbl 1347.68211
Wimmer, Ralf; Jansen, Nils; Ábrahám, Erika; Katoen, Joost-Pieter
1
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
1
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
Ábrahám, Erika (ed.); Havelund, Klaus (ed.)
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
3
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
7
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
Heap-abstraction for an object-oriented calculus with thread classes. Zbl 1145.68380
Ábrahám, Erika; Grüner, Andreas; Steffen, Martin
1
2006
An assertion-based proof system for multithreaded Java. Zbl 1070.68016
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin
9
2005
Optimizing bounded model checking for linear hybrid systems. Zbl 1111.68493
Ábrahám, Erika; Becker, Bernd; Klaedtke, Felix; Steffen, Martin
6
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
2
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
Proof-outlines for threads in Java. Zbl 0999.68504
Ábrahám-Mumm, Erika; de Boer, Frank S.
1
2000
all top 5

Cited by 145 Authors

16 Ábrahám, Erika
7 Davenport, James Harold
7 Steffen, Martin
6 England, Matthew
6 Kremer, Gereon
6 Owe, Olaf
5 Becker, Bernd
5 Bright, Curtis
5 Ganesh, Vijay
5 Kotsireas, Ilias S.
4 Cimatti, Alessandro
4 de Boer, Frank S.
4 Johnsen, Einar Broch
3 Abbott, John A.
3 Bigatti, Anna Maria
3 Corzilius, Florian
3 Din, Crystal Chang
3 Eggers, Andreas
3 Griggio, Alberto
3 Teige, Tino
2 Brain, Martin
2 Buchberger, Bruno
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 Jansen, Nils
2 Katoen, Joost-Pieter
2 Kröning, Daniel
2 Mover, Sergio
2 Olderog, Ernst-Rüdiger
2 Poetzsch-Heffter, Arnd
2 Sankaranarayanan, Sriram
2 Seiler, Werner M.
2 Sturm, Thomas P.
2 Tonetta, Stefano
2 Wimmer, Ralf D.
1 Agarwal, Shivali
1 Ahrendt, Wolfgang
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 Bonchi, Filippo
1 Bradford, Russell J.
1 Bridge, James P.
1 Brown, Christopher W.
1 Bu, Lei
1 Cheung, Kevin K. H.
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 Gronski, Jessica A.
1 Hannemann, Ulrich
1 He, Jifeng
1 Henrio, Ludovic
1 Henrion, Didier
1 Herbstritt, Marc
1 Hofmann, Martin
1 Huang, Chengchao
1 Huang, Zongyan
1 Jansen, David N.
1 Jovanović, Dejan
1 Junges, Sebastian
1 Kalinnik, Natalia
1 Kammüller, Florian
1 Katz, Emilia
1 Katz, Shmuel
1 Klebanov, Vladimir
1 Kouramas, Kostas
1 Kupferman, Orna
1 Kupferschmid, Stefan
1 Laud, Peeter
1 Li, Xiaoshan
1 Li, Xuandong
1 Li, Zhibin
1 Lincoln, Patrick D.
1 Liu, Zhiming
1 Loidl, Hans-Wolfgang
1 Lutz, Bianca
1 Magron, Victor
...and 45 more Authors

Citations by Year