Email

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

2020
[bibtex] @techreport{URTGURAVL2020, title = {UnRAVeL Research Training Group: Uncertainty and Randomness in Algorithms, Verification, and Logic}, author = {Joost-Pieter Katoen and Martin Ritzert and Richard Marlon Wilke and Katrin M. Dannert and Peter Lindner and Dennis Fischer and Janosch Fuchs and Björn Frederik Tauer and Vipin Ravindran Vijayalakshmi and Laura Vargas Koch and Nadine Friesen and Andreas Gabriel Klinger and Marcel Tobias Hark and Benjamin Lucien Kaminski and Sebastian Junges and Jip Josephine Spel and Anton Pirogov and Stefan Schupp and Till Hofmann and Daxin Liu and Martin Comis and Tabea Claudia Krabs and Stephan Zieger and Rebecca Haehn and Matthias Volk and Norman Weik and Helene-Maria Bolke-Hermanns}, pages = {85 Seiten}, type = {Tech Report}, year = {2020}, url = { https://publications.rwth-aachen.de/record/807487}, }× [issue]	Joost-Pieter Katoen, Martin Ritzert, Richard Marlon 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
[bibtex] @phdthesis{S2019, title = {State set representations and their usage in the reachability analysis of hybrid systems}, author = {Stefan Schupp}, institution = {RWTH Aachen University}, pages = {1 Online-Ressource (217 Seiten) : Illustrationen, Diagramme}, type = {PhD Thesis}, year = {2019}, doi = {10.18154/RWTH-2019-08875}, url = { https://publications.rwth-aachen.de/record/767529}, }× [issue]	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.
2018
[bibtex] @conference{CDRAHS2018, title = {Context-Dependent Reachability Analysis for Hybrid Systems}, author = {Stefan Schupp and Justin Winkens and Erika Ábrahám}, publisher = {IEEE}, pages = {518-525}, type = {Conference Paper}, year = {2018}, doi = {10.1109/IRI.2018.00082}, url = { https://publications.rwth-aachen.de/record/735730}, }× [issue]	Stefan Schupp, Justin Winkens, Erika Ábrahám. Context-Dependent Reachability Analysis for Hybrid Systems, IEEE 19. International Conference on Information Reuse and Integration for Data Science (IRI 2018), 518-525, IEEE, 2018.
[bibtex] @conference{SWMSAHS2018, title = {Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems}, author = {Stefan Schupp and Erika Ábrahám}, publisher = {Springer}, booktitle = {LNCS}, volume = {10886}, pages = {89-104}, type = {Conference Paper}, year = {2018}, doi = {10.1007/978-3-319-92970-5_6}, url = { https://publications.rwth-aachen.de/record/741983}, }× [issue]	Stefan Schupp, Erika Ábrahám. Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems, 16. International Conference on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, 89-104, Springer, 2018.
[bibtex] @conference{EDERHSRA2018, title = {Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis}, author = {Stefan Schupp and Erika Ábrahám}, publisher = {Springer}, booktitle = {LNCS}, volume = {10806, Part 2}, pages = {287-302}, type = {Conference Paper}, year = {2018}, doi = {10.1007/978-3-319-89963-3_17}, url = { https://publications.rwth-aachen.de/record/745466}, }× [issue]	Stefan Schupp, Erika Ábrahám. Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis, 24. 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.
[bibtex] @conference{THTAPDHSRAM2018, title = {The HyDRA Tool: A Playground for the Development of Hybrid Systems Reachability Analysis Methods}, author = {Stefan Schupp and Erika Ábrahám}, publisher = {Oslo University}, booktitle = {Research report}, volume = {483}, pages = {2 Seiten}, type = {Conference Paper}, year = {2018}, url = { https://publications.rwth-aachen.de/record/767299}, }× [issue]	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.
2015
[bibtex] @conference{CCVHS2015, title = {Current Challenges in the Verification of Hybrid Systems}, author = {Stefan Schupp and Erika Ábrahám and Xin Chen and Ibtissem Ben Makhlouf and Goran Frehse and Sriram Sankaranarayanan and Stefan Kowalewski}, publisher = {Springer}, booktitle = {LNCS}, volume = {9361}, pages = {8-24}, type = {Conference Paper}, year = {2015}, doi = {10.1007/978-3-319-25141-7_2}, url = { https://publications.rwth-aachen.de/record/564375}, }× [issue]	Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski. Current Challenges in the Verification of Hybrid Systems, 5. Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2015), Volume 9361 of LNCS, 8-24, Springer, 2015.