| Flow*: An analyzer for non-linear hybrid systems X Chen, E Ábrahám, S Sankaranarayanan International Conference on Computer Aided Verification, 258-263, 2013 | 763 | 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 | 706 | 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 | 279 | 2012 |
| PROPhESY: A PRObabilistic ParamEter SYnthesis Tool C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ... International Conference on Computer Aided Verification, 214-231, 2015 | 170 | 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 International conference on theory and applications of satisfiability …, 2015 | 147 | 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 | 101 | 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 Symposium, 288-294, 2017 | 98 | 2017 |
| 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 | 82* | 2019 |
| 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 | 80 | 2021 |
| 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 | 80 | 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 | 75 | 2010 |
| Verification for Java’s reentrant multithreading concept E Abrahám-Mumm, FS De Boer, WP de Roever, M Steffen International Conference on Foundations of Software Science and Computation …, 2002 | 74 | 2002 |
| 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 | 64 | 2014 |
| HyperPCTL: A temporal logic for probabilistic hyperproperties E Ábrahám, B Bonakdarpour International Conference on Quantitative Evaluation of Systems, 20-35, 2018 | 63 | 2018 |
| 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 | 63 | 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 | 62 | 2001 |
| 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 | 61 | 2014 |
| Building bridges between symbolic computation and satisfiability checking E Ábrahám Proceedings of the 2015 ACM International Symposium on Symbolic and …, 2015 | 60 | 2015 |
| 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 | 60 | 2012 |
| ARCH-COMP23 category report: Continuous and hybrid systems with linear continuous dynamics M Althoff, M Forets, Y Li, S Mitra, C Schilling, M Wetzlinger, D Zhuang 10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023 | 58 | 2023 |
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
