Erika Abraham

Cited by

	All	Since 2018
Citations	4426	2291
h-index	32	23
i10-index	85	52

500

250

125

375

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202318 46 29 57 63 29 59 40 78 111 141 174 230 347 327 318 444 415 410 415 483 122

Public access

View all

54 articles

7 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 JansenAssociate Professor, Radboud University NijmegenVerified 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
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Concept Engineering GmbH, Freiburg, GermanyVerified email at informatik.uni-freiburg.de
Sriram SankaranarayananProfessor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
Gereon KremerStanford UniversityVerified email at cs.stanford.edu
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Ulrich LoupRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
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
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
Marc-Andre HermannsRWTH Aachen UniversityVerified email at itc.rwth-aachen.de
Samir GenaimUniversidad Complutense de MadridVerified email at fdi.ucm.es

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	646	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	609	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	243	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	144	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	101	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	89	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	74	2017
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	74	2002
Accelerating parametric probabilistic verification N Jansen, F Corzilius, M Volk, R Wimmer, E Ábrahám, JP Katoen, ... Quantitative Evaluation of Systems: 11th International Conference, QEST 2014 …, 2014	70	2014
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	61	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: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015	56	2015
Verification of hybrid systems: Formalization and proof rules in PVS E Ábrahám-Mumm, U Hannemann, M Steffen Proceedings Seventh IEEE International Conference on Engineering of Complex …, 2001	55	2001
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox: (Tool Presentation) F Corzilius, U Loup, S Junges, E Ábrahám Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012	54	2012
: Satisfiability Checking Meets Symbolic Computation: (Project Paper) E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ... Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016	51	2016
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	51	2014
Building bridges between symbolic computation and satisfiability checking E Ábrahám Proceedings of the 2015 ACM on International Symposium on Symbolic and …, 2015	50	2015
Minimal critical subsystems for discrete-time Markov models R Wimmer, N Jansen, E Ábrahám, B Becker, JP Katoen Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012	49	2012
Optimizing bounded model checking for linear hybrid systems E Abrahám, B Becker, F Klaedtke, M Steffen Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005	49	2005
A benchmark suite for hybrid systems reachability analysis X Chen, S Schupp, IB Makhlouf, E Ábrahám, G Frehse, S Kowalewski NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015	47	2015
Behavioral interface description of an object-oriented language with futures and promises E Ábrahám, I Grabe, A Grüner, M Steffen The Journal of Logic and Algebraic Programming 78 (7), 491-518, 2009	46	2009

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