Follow
Stefan Schupp
Stefan Schupp
University Assistant at TU Wien
Verified email at tuwien.ac.at - 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
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
962015
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
702017
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
472015
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
402015
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
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
172018
Divide and conquer: variable set separation in hybrid systems reachability analysis
S Schupp, J Nellen, E Ábrahám
arXiv preprint arXiv:1707.04851, 2017
152017
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
132019
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
132017
{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
ARCH-COMP20 Category Report: Stochastic Models.
A Abate, H Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, A Lavaei, ...
ARCH, 76-106, 2020
122020
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
92018
Interval constraint propagation in SMT compliant decision procedures
S Schupp, E Ábrahám, P Rossmanith, DIU Loup
Master's thesis, RWTH Aachen, 2013
92013
Arch-comp21 category report: Stochastic models
A Abate, HAP Blom, M Bouissou, N Cauchi, H Chraibi, J Delicaris, ...
72021
State set representations and their usage in the reachability analysis of hybrid systems
S Schupp
Dissertation, RWTH Aachen University, 2019, 2019
72019
Spread the work: Multi-threaded safety analysis for hybrid systems
S Schupp, E Ábrahám
Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018
62018
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
52018
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
42021
TACoS: a tool for MTL controller synthesis
T Hofmann, S Schupp
Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021
42021
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
42020
The system can't perform the operation now. Try again later.
Articles 1–20