Erika Abraham

Citeret af

	Alle	Siden 2020
Henvisninger	5207	2191
h-index	36	23
i10-indeks	101	58

480

240

120

360

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 47 29 56 63 29 63 38 86 112 144 172 225 341 334 312 451 428 421 414 462 412 432 49

Offentlig adgang

Se alle

66 artikler

8 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Bernd BeckerProfessor of Computer Science, University of FreiburgVerificeret mail på informatik.uni-freiburg.de
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerificeret mail på rub.de
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerificeret mail på cs.rwth-aachen.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerificeret mail på informatik.uni-freiburg.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verificeret mail på cwi.nl
Gereon KremerCertora LtdVerificeret mail på cs.stanford.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerificeret mail på colorado.edu
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerificeret mail på ru.nl
Ulrich LoupRWTH Aachen UniversityVerificeret mail på cs.rwth-aachen.de
Peter Csaba OlveczkyProfessor of Computer Science, University of OsloVerificeret mail på ifi.uio.no
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerificeret mail på unige.it
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerificeret mail på liacs.leidenuniv.nl
Thomas SturmResearch Director, CNRSVerificeret mail på loria.fr
Goran FrehseProfessor of Computer Science, ENSTA ParisVerificeret mail på ensta-paris.fr
Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityVerificeret mail på embedded.rwth-aachen.de
Einar Broch JohnsenProfessor, University of OsloVerificeret mail på ifi.uio.no
Benedikt Christoph WoltersCloudflare, Inc.Verificeret mail på rwth-aachen.de
Martin FränzleProfessor of Computer Science, University of OldenburgVerificeret mail på informatik.uni-oldenburg.de
Marc-Andre HermannsRWTH Aachen UniversityVerificeret mail på itc.rwth-aachen.de
Samir GenaimUniversidad Complutense de MadridVerificeret mail på fdi.ucm.es

Følg

Erika Abraham

Professor, Computer Science Department, RWTH Aachen University

Verificeret mail på cs.rwth-aachen.de

Formal Methods Decision Procedures Hybrid Systems Probabilistic Systems Programming Languages


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
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	716	2013
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	682	2010
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	266	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	165	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	132	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	98	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	89	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	78	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	71	2010
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	68	2021
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	62	2001
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	61	2015
Building bridges between symbolic computation and satisfiability checking E Ábrahám Proceedings of the 2015 ACM International Symposium on Symbolic and …, 2015	59	2015
Counterexample generation for discrete-time Markov models: An introductory survey E Ábrahám, B Becker, C Dehnert, N Jansen, JP Katoen, R Wimmer International School on Formal Methods for the Design of Computer …, 2014	59	2014
Under-approximate flowpipes for non-linear continuous systems XC Rwth, S Sankaranarayanan, E Ábrahám 2014 Formal Methods in Computer-Aided Design (FMCAD), 59-66, 2014	57	2014
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	57	2012
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	55	2012
: 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	54	2016
HyperPCTL: A temporal logic for probabilistic hyperproperties E Ábrahám, B Bonakdarpour International Conference on Quantitative Evaluation of Systems, 20-35, 2018	52	2018

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere