Stefan Schupp

stefan.schupp at
+49 241 80 21244
Room 4227
Ahornstraße 55
D-52074 Aachen


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


DOI [bibtex]
title = {Controller verification meets controller code: a case study},
author = {Felix Freiberger and Stefan Schupp and Holger Hermanns and Erika Ábrahám},
publisher = {ACM},
pages = {98-103},
type = {Conference Paper},
year = {2021},
doi = {10.1145/3487212.3487337},
url = {},
Felix Freiberger, Stefan Schupp, Holger Hermanns, 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.
DOI [bibtex]
title = {ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
author = {Matthias Althoff and Erika Ábrahám and Marcelo Forets and Goran Frehse and Daniel Freire and Christian Schilling and Stefan Schupp and Mark Wetzlinger},
booktitle = {EPiC Series in Computing},
volume = {80},
pages = {1-31},
type = {Conference Paper},
year = {2021},
doi = {10.29007/lhbw},
url = {},
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger. 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.
fulltext PDF [bibtex]
title = {UnRAVeL Research Training Group: Uncertainty and Randomness in Algorithms, Verification, and Logic},
author = {Joost-Pieter Katoen and Martin Ritzert and Richard 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 = {},
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.
Show all

Selected Talks

Stefan Schupp. State Set Representations and their Usage in the Reachability Analysis of Hybrid Systems, Talk at PhD defense, Aachen, 2019.
Stefan Schupp. A benchmark suite for hybrid systems reachability analysis, Talk at NFM'15, 2015.