
- stefan.schupp at cs.rwth-aachen.de
- Phone
- +49 241 80 21244
- Address
- Room 4227
Ahornstraße 55
D-52074 Aachen
Research
I am a postdoctoral researcher at the Theory of Hybrid Systems Group headed by Professor Dr. Erika Ábrahám. Currently I am woking in the group AG Sicherheitskritische Systeme led by Anne Remke in Münster but plan to rejoin THS next year.
My research focuses on reachability analysis for linear hybrid systems based on flowpipe construction. I am developing a C++ library for state set representations in the context of the project Hypro, which is also available at github. Furthermore I am interested in SMT-solving, where I am contributing to the development of SMT-RAT by maintaining the Interval Constraint Propagation (ICP) module.
I am also a complementary researcher in the research training group UnRAVeL working on state set representations for the analysis of hybrid systems.
Teaching Assistance
Lecture: Modelling and Analysis of Hybrid Systems (SS15, SS16, SS17, SS18, SS19)
Lecture: Datenstrukturen und Algorithmen (SS14)
Seminars & practical terms
- Practical term: State set representation techniques for hybrid sytems (WS15/16)
- Practical term: Software-Projektpraktikum: Explorative Suche mit Lego Mindstorms Robotern (WS14/15)
- Practical term: Heliostat Calibration with Drones in Solar Tower Power Plants (SS19)
- Practical term: Web Application for Exercise Generation (WS19/20)
- Proseminar: Algorithms and Tools for Verification (WS13/14, WS14/15, WS15/16)
- Proseminar: State set representations (WS19/20)
- Proseminar: Wurzeln der Informatik (SS14)
- Satisfiability checking (SS13, SS15, SS16)
Activities
- Co-Organization Schüleruni 2013
- Co-Organization MINT Camp: Aachener Informatiktage (2014, 2015)
2021 | |
---|---|
![]() |
Stefan Schupp, , Erika Ábrahám. Controller verification meets controller code: a case study, 19th International Conference on Formal Methods and Models for System Design (MEMOCODE 21), 98-103, ACM, 2021. | ,
![]() |
Erika Ábrahám, , , , , Stefan Schupp, . ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Volume 80 of EPiC Series in Computing, 1-31, 2021. | ,
2020 | |
![]() |
Joost-Pieter Katoen, Martin Ritzert, Richard Wilke, Katrin M. Dannert, Peter Lindner, Dennis Fischer, Janosch Fuchs, Björn Frederik Tauer, Vipin Ravindran Vijayalakshmi, Laura Vargas Koch, Nadine Friesen, Andreas Gabriel Klinger, Marcel Tobias Hark, Benjamin Lucien Kaminski, Sebastian Junges, Jip Josephine Spel, Anton Pirogov, Stefan Schupp, Till Hofmann, Daxin Liu, Martin Comis, Tabea Claudia Krabs, Stephan Zieger, Rebecca Haehn, Matthias Volk, Norman Weik, Helene-Maria Bolke-Hermanns. UnRAVeL Research Training Group: Uncertainty and Randomness in Algorithms, Verification, and Logic, 85 Seiten, 2020. |
2019 | |
![]() ![]() |
Stefan Schupp. State set representations and their usage in the reachability analysis of hybrid systems, PhD Thesis, RWTH Aachen University, 1 Online-Ressource (217 Seiten) : Illustrationen, Diagramme, 2019. |
![]() |
Stefan Schupp. ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics, 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH19), Volume 61 of EPiC series in computing, 120-128, EasyChair, 2019. | , ,
![]() |
Stefan Schupp. ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH19), Volume 61 of EPiC series in computing, 14-40, EasyChair, 2019. | , , , , , , ,
![]() |
Francesco Leofante, Stefan Schupp, Erika Ábrahám, . Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems, 33rd International ECMS Conference on Modelling and Simulation (ECMS 2019), 7 Seiten, European Council for Modelling and Simulation, 2019. |
2018 | |
![]() |
Stefan Schupp. ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH18), Volume 54 of EPiC series in computing, 23-52, EasyChair, 2018. | , , , , , , , , , , ,
![]() |
Stefan Schupp, Erika Ábrahám. The HyDRA Tool: A Playground for the Development of Hybrid Systems Reachability Analysis Methods, PhD Symposium at iFM’18 on Formal Methods (PhD-iFM’18), Volume 483 of Research report, 2 Seiten, Oslo University, 2018. |
![]() ![]() |
Stefan Schupp, Erika Ábrahám. Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis, 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Volume 10806, Part 2 of LNCS, 287-302, Springer, 2018. |
![]() |
Stefan Schupp, Erika Ábrahám. Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems, 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, 89-104, Springer, 2018. |
![]() |
Stefan Schupp, Justin Winkens, Erika Ábrahám. Context-Dependent Reachability Analysis for Hybrid Systems, 2018 IEEE International Conference on Information Reuse and Integration for Data Science (IRI 2018), 518-525, IEEE, 2018. |
2017 | |
![]() |
Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski. HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis, NASA Formal Methods (NFM) Symposium (NFM 2017), Volume 10227 of LNCS, 288-294, Springer, 2017. |
![]() |
Stefan Schupp, Johanna Nellen, Erika Ábrahám. Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis, 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2017), Volume 250 of EPTCS, 1-14, [Open Publishing Association], 2017. |
![]() |
Stefan Schupp, , Erika Ábrahám. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro, 11th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2017), ICPS: ACM international conference proceeding series, 178-185, ACM, 2017. | ,
2015 | |
![]() |
Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski. A Benchmark Suite for Hybrid Systems Reachability Analysis, 7th International Symposium Formal Methods (NFM 2015), Volume 9058 of LNCS, 408-414, Springer, 2015. |
![]() |
Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski. Current Challenges in the Verification of Hybrid Systems, 5th Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2015), Volume 9361 of LNCS, 8-24, Springer, 2015. |
![]() |
Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám. SMT-RAT: an Open Source C++ Toolbox for Strategic and Parallel SMT Solving, International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), Volume 9340 of LNCS, 360-368, Springer, 2015. |
2011 | |
![]() |
Jó Ágila Bitsch, Christoph Wollgarten, Stefan Schupp, Klaus Wehrle. Perfect Difference Sets for Neighbor Discovery, 3rd Extreme Conference on Communication (ExtremeCom 2011), 1-6, ACM, 2011. |
Selected Talks
2019 | |
---|---|
Stefan Schupp. State Set Representations and their Usage in the Reachability Analysis of Hybrid Systems, Talk at PhD defense, Aachen, 2019. | |
2015 | |
Stefan Schupp. A benchmark suite for hybrid systems reachability analysis, Talk at NFM'15, 2015. |