| 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 | 83 | 2015 |
| 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 | 59 | 2017 |
| A benchmark suite for hybrid systems reachability analysis X Chen, S Schupp, IB Makhlouf, E Ábrahám, G Frehse, S Kowalewski NASA Formal Methods Symposium, 408-414, 2015 | 44 | 2015 |
| Current challenges in the verification of hybrid systems S Schupp, E Ábrahám, X Chen, IB Makhlouf, G Frehse, ... International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2015 | 38 | 2015 |
| Perfect difference sets for neighbor discovery: energy efficient and fair JAB Link, C Wollgarten, S Schupp, K Wehrle Proceedings of the 3rd Extreme Conference on Communication: The Amazon …, 2011 | 24 | 2011 |
| {ARCH-COMP17} Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics M Althoff, S Bak, D Cattaruzza, X Chen, G Frehse, R Ray, S Schupp Proc. of the 4th International Workshop on Applied Verification for …, 2017 | 14 | 2017 |
| ARCH-COMP19 category report: Continuous and hybrid systems with linear continuous dynamics M Althoff, S Bak, M Forets, G Frehse, N Kochdumper, R Ray, C Schilling, ... Proc. of the 6th International Workshop on Applied Verification of …, 2019 | 12 | 2019 |
| Efficient dynamic error reduction for hybrid systems reachability analysis S Schupp, E Ábrahám International Conference on Tools and Algorithms for the Construction and …, 2018 | 12 | 2018 |
| Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro J Hüls, S Schupp, A Remke, E Ábrahám Proceedings of the 11th EAI International Conference on Performance …, 2017 | 11 | 2017 |
| Divide and conquer: Variable set separation in hybrid systems reachability analysis S Schupp, J Nellen, E Ábrahám arXiv preprint arXiv:1707.04851, 2017 | 10 | 2017 |
| Interval constraint propagation in SMT compliant decision procedures S Schupp, E Ábrahám, P Rossmanith, DIU Loup Master's thesis, RWTH Aachen, 2013 | 9 | 2013 |
| Arch-comp20 category report: Stochastic models A Abate, H Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, A Lavaei, ... EPiC Series in Computing 74, 76-106, 2020 | 8 | 2020 |
| ARCH-COMP18 category report: Continuous and hybrid systems with linear continuous dynamics M Althoff, S Bak, X Chen, C Fan, M Forets, G Frehse, N Kochdumper, Y Li, ... Proc. of the 5th International Workshop on Applied Verification for …, 2018 | 8 | 2018 |
| State set representations and their usage in the reachability analysis of hybrid systems S Schupp Dissertation, RWTH Aachen University, 2019, 2019 | 5 | 2019 |
| Spread the work: Multi-threaded safety analysis for hybrid systems S Schupp, E Ábrahám International Conference on Software Engineering and Formal Methods, 89-104, 2018 | 5 | 2018 |
| Arch-comp20 category report: continuous and hybrid systems with linear continuous dynamics M Althoff, S Bak, Z Bao, M Forets, G Frehse, D Freire, N Kochdumper, Y Li, ... EPiC Series in Computing 74, 16-48, 2020 | 4 | 2020 |
| Context-dependent reachability analysis for hybrid systems S Schupp, J Winkens, E Ábrahám 2018 IEEE International Conference on Information Reuse and Integration (IRI …, 2018 | 3 | 2018 |
| Development of a modular approach for hybrid systems reachability analysis J Neuhaus, E Ábrahám, J Giesel, S Schupp MA thesis. RWTH Aachen University, 2016 | 3 | 2016 |
| Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. F Leofante, S Schupp, E Abraham, A Tacchella ECMS, 407-413, 2019 | 2 | 2019 |
| ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. L Bu, R Ray, S Schupp ARCH@ CPSWeek, 134-142, 2017 | 2 | 2017 |
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
