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 PhD student at the Theory of Hybrid Systems Group headed by Professor Dr. Erika Ábrahám. My research topics are related to SMT solving, in particular interval constraint propagation (ICP). Furthermore my research includes state set representations of hybrid systems in the context of the project Hypro.

Teaching Assistance

Summer 2016

Winter 2015/16

Summer 2015

Winter 2014/15

Summer 2014

Winter 2013/14

Summer 2013

Activities

Publications

2017
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.
DownloadStefan Schupp, Johanna Nellen, Erika Abraham. Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. Proc. of the Fifteenth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'17), To appear, 2017.
Show all

Selected Talks

2015
Stefan Schupp. A benchmark suite for hybrid systems reachability analysis, Talk at NFM'15, 2015.