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] [issue]	Andreas Gabriel Klinger, Anton Pirogov, Benjamin Lucien Kaminski, Björn Frederik Tauer, Daxin Liu, Dennis Fischer, Helene-Maria Bolke-Hermanns, Janosch Fuchs, Jip Josephine Spel, Joost-Pieter Katoen, Katrin Dannert, Laura Vargas Koch, Marcel Hark, Martin Comis, Martin Ritzert, Matthias Volk, Nadine Friesen, Norman Weik, Peter Lindner, Rebecca Haehn, Richard Wilke, Sebastian Junges, Stefan Schupp, Stephan Zieger, Tabea Claudia Krabs, Till Hofmann, Vipin Ravindran Vijayalakshmi. UnRAVeL - Research Training Group, 2020.
2019
[bibtex] [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.
[bibtex] [issue]	Armando Tacchella, Erika Ábrahám, Francesco Leofante, Stefan Schupp. 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
[bibtex] [issue]	Erika Ábrahám, Justin Winkens, Stefan Schupp. 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.
[bibtex] [issue]	Erika Ábrahám, Stefan Schupp. Spread the Work, 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, 89-104, Springer, 2018.
[bibtex] [issue]	Erika Ábrahám, Stefan Schupp. 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.
[bibtex] [issue]	Erika Ábrahám, Stefan Schupp. The HyDRA Tool, PhD Symposium at iFM’18 on Formal Methods (PhD-iFM’18), Volume 483 of Research report, 2 Seiten, Oslo University, 2018.
2017
[bibtex] [issue]	Erika Ábrahám, Johanna Nellen, Stefan Schupp. Divide and Conquer, 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2017), Volume 250 of EPTCS, 1-14, [Open Publishing Association], 2017.
[bibtex] [issue]	Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski, Stefan Schupp. HyPro, NASA Formal Methods (NFM) Symposium (NFM 2017), Volume 10227 of LNCS, 288-294, Springer, 2017.
2015
[bibtex] [issue]	Erika Ábrahám, Goran Frehse, Ibtissem Ben Makhlouf, Stefan Kowalewski, Stefan Schupp, Xin Chen. A Benchmark Suite for Hybrid Systems Reachability Analysis, Volume 9058 of LNCS, 408-414, Springer, 2015.
[bibtex] [issue]	Erika Ábrahám, Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp. SMT-RAT, International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), Volume 9340 of LNCS, 360-368, Springer, 2015.
[bibtex] [issue]	Erika Ábrahám, Goran Frehse, Ibtissem Ben Makhlouf, Sriram Sankaranarayanan, Stefan Kowalewski, Stefan Schupp, Xin Chen. 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.
2011
[bibtex] [issue]	Christoph Wollgarten, Jó Ágila Bitsch, Klaus Wehrle, Stefan Schupp. Perfect Difference Sets for Neighbor Discovery, 3rd Extreme Conference on Communication (ExtremeCom 2011), 1-6, ACM, 2011.