Erika Abraham

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2018
Позовавания	4422	2287
h-индекс	32	23
i10-индекс	85	52

480

240

120

360

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202318 46 29 57 63 29 59 40 78 111 141 174 230 347 327 318 444 415 411 414 480 121

Публичен достъп

Преглед на всички

53 статии

8 статии

налични

неналични

Въз основа на изисквания при финансирането

Съавтори

Bernd BeckerProfessor of Computer Science, University of FreiburgПотвърден имейл адрес: informatik.uni-freiburg.de
Nils JansenAssociate Professor, Radboud University NijmegenПотвърден имейл адрес: science.ru.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteПотвърден имейл адрес: cs.rwth-aachen.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Потвърден имейл адрес: cwi.nl
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Concept Engineering GmbH, Freiburg, GermanyПотвърден имейл адрес: informatik.uni-freiburg.de
Sriram SankaranarayananProfessor of Computer Science, University of Colorado, BoulderПотвърден имейл адрес: colorado.edu
Gereon KremerStanford UniversityПотвърден имейл адрес: cs.stanford.edu
Sebastian JungesAssistant Professor, Radboud University, NijmegenПотвърден имейл адрес: ru.nl
Ulrich LoupRWTH Aachen UniversityПотвърден имейл адрес: cs.rwth-aachen.de
Armando TacchellaProfessor, Information Processing Systems, University of GenoaПотвърден имейл адрес: unige.it
Peter Csaba OlveczkyProfessor of Computer Science, University of OsloПотвърден имейл адрес: ifi.uio.no
Marcello BonsangueProfessor of Computer Science, Leiden UniversityПотвърден имейл адрес: liacs.leidenuniv.nl
Thomas SturmResearch Director, CNRSПотвърден имейл адрес: loria.fr
Goran FrehseProfessor of Computer Science, ENSTA ParisПотвърден имейл адрес: ensta-paris.fr
Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityПотвърден имейл адрес: embedded.rwth-aachen.de
Einar Broch JohnsenProfessor, University of OsloПотвърден имейл адрес: ifi.uio.no
Benedikt Christoph WoltersCloudflare, Inc.Потвърден имейл адрес: rwth-aachen.de
Martin FränzleProfessor of Computer Science, University of OldenburgПотвърден имейл адрес: informatik.uni-oldenburg.de
Marc-Andre HermannsRWTH Aachen UniversityПотвърден имейл адрес: itc.rwth-aachen.de
Samir GenaimUniversidad Complutense de MadridПотвърден имейл адрес: fdi.ucm.es

Следене

Erika Abraham

Professor, Computer Science Department, RWTH Aachen University

Потвърден имейл адрес: cs.rwth-aachen.de

Formal Methods Decision Procedures Hybrid Systems Probabilistic Systems Programming Languages


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
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	645	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	608	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
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	52	2014
: 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
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

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори