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 | 116 | 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: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 83 | 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: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015 | 48 | 2015 |
Current challenges in the verification of hybrid systems S Schupp, E Ábrahám, X Chen, I Ben Makhlouf, G Frehse, ... Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International …, 2015 | 46 | 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 | 25 | 2011 |
Efficient dynamic error reduction for hybrid systems reachability analysis S Schupp, E Ábrahám Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 17 | 2018 |
{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 | 17 | 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 | 16 | 2017 |
Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction C Pilch, S Schupp, A Remke International Conference on Quantitative Evaluation of Systems, 435-456, 2021 | 15 | 2021 |
State set representations and their usage in the reachability analysis of hybrid systems S Schupp Dissertation, RWTH Aachen University, 2019, 2019 | 15 | 2019 |
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 | 15 | 2019 |
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 | 14 | 2017 |
ARCH-COMP20 Category Report: Stochastic Models. A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ... ARCH, 76-106, 2020 | 13 | 2020 |
Arch-comp21 category report: Stochastic models A Abate, H Blom, M Bouissou, N Cauchi, H Chraibi, J Delicaris, ... 8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021 | 10 | 2021 |
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 | 10 | 2018 |
Interval constraint propagation in SMT compliant decision procedures S Schupp, E Ábrahám, P Rossmanith, DIU Loup Master’s thesis, RWTH Aachen, 2013 | 10 | 2013 |
Maximizing reachability probabilities in rectangular automata with random clocks J Delicaris, S Schupp, E Ábrahám, A Remke International Symposium on Theoretical Aspects of Software Engineering, 164-182, 2023 | 8 | 2023 |
ARCH-COMP21 category report: continuous and hybrid systems with linear continuous dynamics M Althoff, E Ábrahám, M Forets, G Frehse, D Freire, C Schilling, S Schupp, ... Proc. of the 8th International Workshop on Applied Verification of …, 2021 | 8 | 2021 |
Electron‐Rich Diruthenium Complexes with π‐Extended Alkenyl Ligands and Their F4TCNQ Charge‐Transfer Salts** R Das, M Linseis, SM Schupp, L Schmidt‐Mende, RF Winter Chemistry–A European Journal 28 (23), e202104403, 2022 | 7 | 2022 |
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, ... Proc. of the 7th International Workshop on Applied Verification of …, 2020 | 7 | 2020 |