Segui
Erika Abraham
Erika Abraham
Professor, Computer Science Department, RWTH Aachen University
Email verificata su cs.rwth-aachen.de
Titolo
Citata da
Citata da
Anno
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
7032013
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
6782010
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
2722012
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
1602015
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
1292015
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
952017
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
952008
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
822014
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
722002
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
702010
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
672021
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
64*2019
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
622015
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
612001
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
602014
Building bridges between symbolic computation and satisfiability checking
E Ábrahám
Proceedings of the 2015 ACM on International Symposium on Symbolic and …, 2015
582015
: 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
552016
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
552012
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
542012
HyperPCTL: A temporal logic for probabilistic hyperproperties
E Ábrahám, B Bonakdarpour
International Conference on Quantitative Evaluation of Systems, 20-35, 2018
522018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20