Stefan Schupp
Stefan Schupp
Verified email at cs.rwth-aachen.de - Homepage
Title
Cited by
Cited by
Year
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
622015
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis
S Schupp, E Abraham, IB Makhlouf, S Kowalewski
NASA Formal Methods Symposium, 288-294, 2017
412017
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
392015
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
352015
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
242011
Modeling and analysis of hybrid systems
E Ábrahám
RWTH Aachen University, Lecture Notes, 2012
172012
{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
132017
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
112018
Divide and conquer: Variable set separation in hybrid systems reachability analysis
S Schupp, J Nellen, E Ábrahám
arXiv preprint arXiv:1707.04851, 2017
92017
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
72018
Analyzing hybrid petri nets with multiple stochastic firings using HyPro
J Hüls, S Schupp, A Remke, E Abraham
Proceedings of the 11th EAI International Conference on Performance …, 2017
72017
Interval constraint propagation in SMT compliant decision procedures
S Schupp, E Ábrahám, P Rossmanith, DIU Loup
Master's thesis, RWTH Aachen, 2013
72013
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, ...
ARCH@ CPSIoTWeek, 14-40, 2019
52019
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
32018
Development of a modular approach for hybrid systems reachability analysis
J Neuhaus, E Ábrahám, J Giesel, S Schupp
Bachelor’s thesis, RWTH Aachen University, 2016
32016
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
22018
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
22017
State set representations and their usage in the reachability analysis of hybrid systems
S Schupp, G Frehse, E Ábrahám
Fachgruppe Informatik, 2019
12019
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.
F Leofante, S Schupp, E Abraham, A Tacchella
ECMS, 407-413, 2019
12019
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
L Bu, R Ray, S Schupp
ARCH@ ADHS, 14-22, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20