Publications

Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám (2021). Controller Verification Meets Controller Code: A Case Study. Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design.

Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Others (2020). Arch-Comp20 Category Report.

Stefan Schupp (2019). State Set Representations and Their Usage in the Reachability Analysis of Hybrid Systems. Thesis..

Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella (2019). Engineering Controllers for Swarm Robotics Via Reachability Analysis in Hybrid Systems.. ECMS.

Lei Bu, Rajarshi Ray, Stefan Schupp (2019). Arch-Comp19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics..

Stefan Schupp, Erika Ábrahám (2018). The HyDRA Tool: A Playground for the Development of Hybrid Systems Reachability Analysis Methods.

Stefan Schupp, Justin Winkens, Erika Ábrahám (2018). Context-Dependent Reachability Analysis for Hybrid Systems.

Stefan Schupp, Erika Ábrahám (2018). Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. SEFM.

Stefan Schupp, Erika Ábrahám (2018). Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis.

Stefan Schupp, Johanna Nellen, Erika Ábrahám (2017). Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis.