Stefan Schupp

schupp
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

Activities

2021
DOI [bibtex]
@conference{ACCRCHSLCD2021,
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 = { https://publications.rwth-aachen.de/record/841832},
}×
[issue] 		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, 8. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Volume 80 of EPiC Series in Computing, 1-31, 2021.
DOI [bibtex]
@conference{C2021,
title = {Controller verification meets controller code: a case study},
author = {Felix Freiberger and Stefan Schupp and Holger Hermanns and Erika Ábrahám},
publisher = {Association for Computing Machinery},
booktitle = {ACM conferences},
pages = {98-103},
type = {Conference Paper},
year = {2021},
doi = {10.1145/3487212.3487337},
url = { https://publications.rwth-aachen.de/record/841835},
}×
[issue] 		Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám. Controller verification meets controller code: a case study, 19. International Conference on Formal Methods and Models for System Design (MEMOCODE 21), ACM conferences, 98-103, Association for Computing Machinery, 2021.
2020
fulltext PDF [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
DOI fulltext PDF [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.
DOI [bibtex]
@conference{ECFSRVRAIHS2019,
title = {Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems},
author = {Francesco Leofante and Stefan Schupp and Erika Ábrahám and Armando Tacchella},
publisher = {European Council for Modelling and Simulation},
pages = {7 Seiten},
type = {Conference Paper},
year = {2019},
doi = {10.7148/2019-0407},
url = { https://publications.rwth-aachen.de/record/771665},
}×
[issue] 		Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella. Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems, 33. International ECMS Conference on Modelling and Simulation (ECMS 2019), 7 Seiten, European Council for Modelling and Simulation, 2019.
DOI [bibtex]
@conference{ACCRCHSLCD2019,
title = {ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
author = {Matthias Althoff and Stanley Bak and Marcelo Forets and Goran Frehse and Niklas Kochdumper and Rajarshi Ray and Christian Schilling and Stefan Schupp},
publisher = {EasyChair},
booktitle = {EPiC series in computing},
volume = {61},
pages = {14-40},
type = {Conference Paper},
year = {2019},
doi = {10.29007/bj1w},
url = { https://publications.rwth-aachen.de/record/814248},
}×
[issue] 		Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp. ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, 6. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH19), Volume 61 of EPiC series in computing, 14-40, EasyChair, 2019.
DOI [bibtex]
@conference{ACCRBMCHSPCD2019,
title = {ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics},
author = {Lei Bu and Rajarshi Ray and Stefan Schupp},
publisher = {EasyChair},
booktitle = {EPiC series in computing},
volume = {61},
pages = {120-128},
type = {Conference Paper},
year = {2019},
doi = {10.29007/g965},
url = { https://publications.rwth-aachen.de/record/814251},
}×
[issue] 		Lei Bu, Rajarshi Ray, Stefan Schupp. ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics, 6. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH19), Volume 61 of EPiC series in computing, 120-128, EasyChair, 2019.
2018
DOI [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 International Conference on Information Reuse and Integration for Data Science (IRI 2018), 518-525, IEEE, 2018.
DOI [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.
DOI fulltext PDF [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.
fulltext PDF [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.
DOI [bibtex]
@conference{ACCRCHSLCD2018,
title = {ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics},
author = {Matthias Althoff and Stanley Bak and Xin Chen and Chuchu Fan and Marcelo Forets and Goran Frehse and Niklas Kochdumper and Yangge Li and Sayan Mitra and Rajarshi Ray and Christian Schilling and Stefan Schupp},
publisher = {EasyChair},
booktitle = {EPiC series in computing},
volume = {54},
pages = {23-52},
type = {Conference Paper},
year = {2018},
doi = {10.29007/73mb},
url = { https://publications.rwth-aachen.de/record/814244},
}×
[issue] 		Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp. ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, 5. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH18), Volume 54 of EPiC series in computing, 23-52, EasyChair, 2018.
2017
DOI [bibtex]
@conference{DCVSSHSRA2017,
title = {Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis},
author = {Stefan Schupp and Johanna Nellen and Erika Ábrahám},
publisher = {[Open Publishing Association]},
booktitle = {EPTCS},
volume = {250},
pages = {1-14},
type = {Conference Paper},
year = {2017},
doi = {10.4204/EPTCS.250.1},
url = { https://publications.rwth-aachen.de/record/696075},
}×
[issue] 		Stefan Schupp, Johanna Nellen, Erika Ábrahám. Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis, 15. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2017), Volume 250 of EPTCS, 1-14, [Open Publishing Association], 2017.
DOI [bibtex]
@conference{HACLSSRHSRA2017,
title = {HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis},
author = {Stefan Schupp and Erika Ábrahám and Ibtissem Ben Makhlouf and Stefan Kowalewski},
publisher = {Springer},
booktitle = {LNCS},
volume = {10227},
pages = {288-294},
type = {Conference Paper},
year = {2017},
doi = {10.1007/978-3-319-57288-8_20},
url = { https://publications.rwth-aachen.de/record/696076},
}×
[issue] 		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.
DOI [bibtex]
@conference{AHPH2017,
title = {Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro},
author = {Jannik Hüls and Stefan Schupp and Anne Remke and Erika Ábrahám},
publisher = {ACM},
booktitle = {ICPS: ACM international conference proceeding series},
pages = {178-185},
type = {Conference Paper},
year = {2017},
doi = {10.1145/3150928.3150938},
url = { https://publications.rwth-aachen.de/record/814253},
}×
[issue] 		Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro, 11. EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2017), ICPS: ACM international conference proceeding series, 178-185, ACM, 2017.
2015
DOI [bibtex]
@conference{ABSHSRA2015,
title = {A Benchmark Suite for Hybrid Systems Reachability Analysis},
author = {Xin Chen and Stefan Schupp and Ibtissem Ben Makhlouf and Erika Ábrahám and Goran Frehse and Stefan Kowalewski},
publisher = {Springer},
booktitle = {LNCS},
volume = {9058},
pages = {408-414},
type = {Conference Paper},
year = {2015},
doi = {10.1007/978-3-319-17524-9_29},
url = { https://publications.rwth-aachen.de/record/541100},
}×
[issue] 		Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski. A Benchmark Suite for Hybrid Systems Reachability Analysis, 7. International Symposium Formal Methods (NFM 2015), Volume 9058 of LNCS, 408-414, Springer, 2015.
DOI [bibtex]
@conference{SROSCTSPSS2015,
title = {SMT-RAT: an Open Source C++ Toolbox for Strategic and Parallel SMT Solving},
author = {Florian Corzilius and Gereon Kremer and Sebastian Junges and Stefan Schupp and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {9340},
pages = {360-368},
type = {Conference Paper},
year = {2015},
doi = {10.1007/978-3-319-24318-4_26},
url = { https://publications.rwth-aachen.de/record/561680},
}×
[issue] 		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.
DOI [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.
2011
DOI [bibtex]
@conference{PDSND2011,
title = {Perfect Difference Sets for Neighbor Discovery},
author = {Jó Ágila Bitsch and Christoph Wollgarten and Stefan Schupp and Klaus Wehrle},
publisher = {ACM},
pages = {1-6},
type = {Conference Paper},
year = {2011},
doi = {10.1145/2414393.2414398},
url = { https://publications.rwth-aachen.de/record/99764},
}×
[issue] 		Jó Ágila Bitsch, Christoph Wollgarten, Stefan Schupp, Klaus Wehrle. Perfect Difference Sets for Neighbor Discovery, 3. 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.