Erika Abraham

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

Позовавания

	Всички	От 2019
Позовавания	5004	2442
h-индекс	35	24
i10-индекс	94	56

480

240

120

360

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202450 29 55 62 28 61 40 79 111 144 170 225 335 325 318 440 429 417 419 464 404 305

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

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

64 статии

8 статии

налични

неналични

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

Съавтори

Bernd BeckerProfessor of Computer Science, University of FreiburgПотвърден имейл адрес: informatik.uni-freiburg.de
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumПотвърден имейл адрес: rub.de
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteПотвърден имейл адрес: cs.rwth-aachen.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyПотвърден имейл адрес: informatik.uni-freiburg.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Потвърден имейл адрес: cwi.nl
Gereon KremerCertora LtdПотвърден имейл адрес: cs.stanford.edu
Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderПотвърден имейл адрес: colorado.edu
Sebastian JungesAssistant Professor, Radboud University, NijmegenПотвърден имейл адрес: ru.nl
Ulrich LoupRWTH Aachen UniversityПотвърден имейл адрес: cs.rwth-aachen.de
Peter Csaba OlveczkyProfessor of Computer Science, University of OsloПотвърден имейл адрес: ifi.uio.no
Armando TacchellaProfessor, Information Processing Systems, University of GenoaПотвърден имейл адрес: unige.it
Marcello BonsangueProfessor of Computer Science, Leiden UniversityПотвърден имейл адрес: liacs.leidenuniv.nl
Thomas SturmResearch Director, CNRSПотвърден имейл адрес: loria.fr
Stefan KowalewskiProfessor of Computer Science, RWTH Aachen UniversityПотвърден имейл адрес: embedded.rwth-aachen.de
Goran FrehseProfessor of Computer Science, ENSTA ParisПотвърден имейл адрес: ensta-paris.fr
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


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
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	689	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	672	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	270	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	155	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	128	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	95	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	91	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	79	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	72	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	68	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	64	2021
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	60	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	60	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	59	2014
Building bridges between symbolic computation and satisfiability checking E Ábrahám Proceedings of the 2015 ACM on International Symposium on Symbolic and …, 2015	58	2015
Parameter Synthesis for Markov Models: Covering the Parameter Space S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ... arXiv preprint arXiv:1903.07993, 2019	56	2019
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
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	53	2012
HyperPCTL: A temporal logic for probabilistic hyperproperties E Ábrahám, B Bonakdarpour International Conference on Quantitative Evaluation of Systems, 20-35, 2018	51	2018

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

Статии 1–20

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

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

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

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

Следене

Позовавания

Съавтори