Erika Abraham

Cited by

	All	Since 2018
Citations	4627	2506
h-index	33	25
i10-index	88	54

480

240

120

360

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 47 29 53 62 29 61 40 77 113 143 169 227 338 333 319 446 416 417 412 468 344

Public access

View all

56 articles

8 articles

available

not available

Based on funding mandates

Co-authors

Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Nils JansenFull Professor, Ruhr-University BochumVerified email at science.ru.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerified email at informatik.uni-freiburg.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Gereon KremerCertora LtdVerified email at cs.stanford.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Ulrich LoupRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Peter Csaba OlveczkyProfessor of Computer Science, University of OsloVerified email at ifi.uio.no
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
Thomas SturmResearch Director, CNRSVerified email at loria.fr
Goran FrehseProfessor of Computer Science, ENSTA ParisVerified email at ensta-paris.fr
Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityVerified email at embedded.rwth-aachen.de
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Benedikt Christoph WoltersCloudflare, Inc.Verified email at rwth-aachen.de
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
Samir GenaimUniversidad Complutense de MadridVerified email at fdi.ucm.es
Ivona BrandicFull Professor for High Performance Computing Systems, Vienna University of TechnologyVerified email at tuwien.ac.at

Erika Abraham

Professor, Computer Science Department, RWTH Aachen University

Verified email at cs.rwth-aachen.de

Formal Methods Decision Procedures Hybrid Systems Probabilistic Systems Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The Scalasca performance toolset architecture M Geimer, F Wolf, BJN Wylie, E Ábrahám, D Becker, B Mohr Concurrency and computation: Practice and experience 22 (6), 702-719, 2010	665	2010
Flow*: An analyzer for non-linear hybrid systems X Chen, E Ábrahám, S Sankaranarayanan Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	636	2013
Taylor model flowpipe construction for non-linear hybrid systems X Chen, E Abraham, S Sankaranarayanan 2012 IEEE 33rd Real-Time Systems Symposium, 183-192, 2012	255	2012
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ... Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015	149	2015
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving F Corzilius, G Kremer, S Junges, S Schupp, E Ábrahám Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015	113	2015
Usage of the SCALASCA toolset for scalable performance analysis of large-scale parallel applications F Wolf, BJN Wylie, E Abraham, D Becker, W Frings, K Fürlinger, M Geimer, ... Tools for High Performance Computing: Proceedings of the 2nd International …, 2008	91	2008
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis S Schupp, E Ábrahám, IB Makhlouf, S Kowalewski NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017	82	2017
Accelerating parametric probabilistic verification N Jansen, F Corzilius, M Volk, R Wimmer, E Ábrahám, JP Katoen, ... International Conference on Quantitative Evaluation of Systems, 404-420, 2014	76	2014
Verification for Java’s reentrant multithreading concept E Abrahám-Mumm, FS De Boer, WP de Roever, M Steffen Foundations of Software Science and Computation Structures: 5th …, 2002	73	2002
DTMC model checking by SCC reduction E Abrahám, N Jansen, R Wimmer, JP Katoen, B Becker 2010 Seventh International Conference on the Quantitative Evaluation of …, 2010	62	2010
A greedy approach for the efficient repair of stochastic models S Pathak, E Ábrahám, N Jansen, A Tacchella, JP Katoen NASA Formal Methods Symposium, 295-309, 2015	59	2015
Verification of hybrid systems: Formalization and proof rules in PVS E Abrahám-Mumm, U Hannemann, M Steffen Proceedings Seventh IEEE International Conference on Engineering of Complex …, 2001	57	2001
Counterexample generation for discrete-time Markov models: An introductory survey E Ábrahám, B Becker, C Dehnert, N Jansen, JP Katoen, R Wimmer Formal Methods for Executable Software Models: 14th International School on …, 2014	54	2014
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox: (Tool Presentation) F Corzilius, U Loup, S Junges, E Ábrahám International Conference on Theory and Applications of Satisfiability …, 2012	54	2012
Building bridges between symbolic computation and satisfiability checking E Ábrahám Proceedings of the 2015 ACM on International Symposium on Symbolic and …, 2015	51	2015
: Satisfiability Checking Meets Symbolic Computation: (Project Paper) E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ... International Conference on Intelligent Computer Mathematics, 28-43, 2016	50	2016
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings E Ábrahám, JH Davenport, M England, G Kremer Journal of Logical and Algebraic Methods in Programming 119, 100633, 2021	49	2021
Optimizing bounded model checking for linear hybrid systems E Abrahám, B Becker, F Klaedtke, M Steffen International Workshop on Verification, Model Checking, and Abstract …, 2005	49	2005
Minimal critical subsystems for discrete-time Markov models R Wimmer, N Jansen, E Ábrahám, B Becker, JP Katoen International Conference on Tools and Algorithms for the Construction and …, 2012	48	2012
HyperPCTL: A temporal logic for probabilistic hyperproperties E Ábrahám, B Bonakdarpour International Conference on Quantitative Evaluation of Systems, 20-35, 2018	46	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors