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 PhD student at the Theory of Hybrid Systems Group headed by Professor Dr. Erika Ábrahám. 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.

Teaching Assistance

Summer 2016

• Lecture: Lecture: Modelling and Analysis of Hybrid Systems
• Seminar: Satisfiability checking

Winter 2015/16

• Practical term: State set representation techniques for hybrid sytems
• Proseminar: Algorithms and Tools for Verification

Summer 2015

• Lecture: Modelling and analysis of hybrid systems
• Seminar: Satisfiability checking

Winter 2014/15

• Proseminar: Algorithms and Tools for Verification
• Software internship: Software-Projektpraktikum: Explorative Suche mit Lego Mindstorms Robotern

Summer 2014

• Lecture: Datenstrukturen und Algorithmen
• Proseminar: Wurzeln der Informatik
• Thesis: “A polytope library for the reachability analysis of hybrid systems“

• Seminar: Satisfiability checking

Activities

Publications

2018
[bibtex]	Stefan Schupp, Erika Abraham. Efficient dynamic error reduction for hybrid systems reachability analysis. Proc. of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18), Volume of LNCS, Springer, 2018.
[bibtex]	Stefan Schupp, Francesco Leofante, Erika Abraham, Armando Tacchella. Robot Swarms as Hybrid Systems. Proceedings 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2018, , 2018.
[bibtex]	Stefan Schupp, Erika Abraham. Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. Software Engineering and Formal Methods (SEFM'18), Volume 10886 of LNCS, pages 89–104, Springer, 2018.
2017
[bibtex]	Stefan Schupp, Erika Abraham, Ibtissem Ben Makhlouf, Stefan Kowalewski. HyPro: A C++ Library for State Set Representations for Hybrid Systems Reachability Analysis. Proc. of the 9th NASA Formal Methods Symposium (NFM'17), Volume 10227 of LNCS, pages 288–294, Springer International Publishing, 2017.
[bibtex]	Stefan Schupp, Johanna Nellen, Erika Abraham. Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. Proc. of the 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'17), Volume 250 of EPTCS, pages 1–14, Open Publishing Association, 2017.
[bibtex]	Jannik Hüls, Stefan Schupp, Anne Remke, Erika Abraham. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. Proc. of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'17), , 2017.
Show all