| 2023 | ATVA | Lightweight Verification of Hyperproperties. | Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang |
| 2023 | TASE | Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. | Joanna Delicaris, Stefan Schupp, Erika brahm, Anne Remke |
| 2021 | MEMOCODE | Controller verification meets controller code: a case study. | Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika brahm |
| 2021 | SEFM | TACoS: A Tool for MTL Controller Synthesis. | Till Hofmann, Stefan Schupp |
| 2019 | ECMS | Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. | Francesco Leofante, Stefan Schupp, Erika brahm, Armando Tacchella |
| 2018 | IRI | Context-Dependent Reachability Analysis for Hybrid Systems. | Stefan Schupp, Justin Winkens, Erika brahm |
| 2018 | SEFM | Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. | Stefan Schupp, Erika brahm |
| 2018 | TACAS | Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis. | Stefan Schupp, Erika brahm |
| 2015 | SAT | SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. | Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika brahm |