Perfect difference sets for neighbor discovery: energy efficient and fair. - Jó Ágila Bitsch Link; Christoph Wollgarten; Stefan Schupp; Klaus Wehrle (ExtremeCom, 2011)

Current Challenges in the Verification of Hybrid Systems. - Stefan Schupp; Erika Ábrahám; Xin Chen 002; Ibtissem Ben Makhlouf; Goran Frehse; Sriram Sankaranarayanan 001; Stefan Kowalewski (CyPhy, 2015)

A Benchmark Suite for Hybrid Systems Reachability Analysis. - Xin Chen 002; Stefan Schupp; Ibtissem Ben Makhlouf; Erika Ábrahám; Goran Frehse; Stefan Kowalewski (NFM, 2015)

SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. - Florian Corzilius; Gereon Kremer; Sebastian Junges; Stefan Schupp; Erika Ábrahám (SAT, 2015)

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Dario Cattaruzza; Xin Chen 002; Goran Frehse; Rajarshi Ray 001; Stefan Schupp (ARCH@CPSWeek, 2017)

ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. - Lei Bu; Rajarshi Ray 001; Stefan Schupp (ARCH@CPSWeek, 2017)

HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. - Stefan Schupp; Erika Ábrahám; Ibtissem Ben Makhlouf; Stefan Kowalewski (NFM, 2017)

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. - Jannik Hüls; Stefan Schupp; Anne Remke; Erika Ábrahám (VALUETOOLS, 2017)

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

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Xin Chen 002; Chuchu Fan; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp (ARCH@ADHS, 2018)

ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. - Lei Bu; Rajarshi Ray 001; Stefan Schupp (ARCH@ADHS, 2018)

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

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

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

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp (ARCH@CPSIoTWeek, 2019)

ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. - Lei Bu; Rajarshi Ray 001; Stefan Schupp (ARCH@CPSIoTWeek, 2019)

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

ARCH-COMP20 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Carina Pilch; Anne Remke; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2020)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Zongnan Bao; Marcelo Forets; Goran Frehse; Daniel Freire; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp; et al. (ARCH, 2020)

ARCH-COMP21 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Marc Bouissou; Nathalie Cauchi; Hassane Chraibi; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Hao Ma; Kaushik Mallik; et al. (ARCH@ADHS, 2021)

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Erika Ábrahám; Marcelo Forets; Goran Frehse; Daniel Freire; Christian Schilling 001; Stefan Schupp; Mark Wetzlinger (ARCH@ADHS, 2021)

Controller verification meets controller code: a case study. - Felix Freiberger; Stefan Schupp; Holger Hermanns; Erika Ábrahám (MEMOCODE, 2021)

TACoS: A Tool for MTL Controller Synthesis. - Till Hofmann; Stefan Schupp (SEFM, 2021)

Robot Swarms as Hybrid Systems: Modelling and Verification. - Stefan Schupp; Francesco Leofante; Leander Behr; Erika Ábrahám; Armando Tacchella (SNR, 2021)

ARCH-COMP22 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Joanna Delicaris; Sofie Haesaert; Arnd Hartmanns; Birgit van Huijgevoort; Abolfazl Lavaei; Hao Ma; Mathis Niehage; Anne Remke; Oliver Schön; Stefan Schupp; et al. (ARCH@SAFECOMP, 2022)

Controlling Golog Programs against MTL Constraints. - Till Hofmann; Stefan Schupp (CoRR, 2022)

Recent developments in theory and tool support for hybrid systems verification with HyPro. - Stefan Schupp; Erika Ábrahám; Tristan Ebert (Inf. Comput., 2022)

ARCH-COMP23 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Sofie Haesaert; Birgit van Huijgevoort; Abolfazl Lavaei; Anne Remke; Oliver Schön; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2023)

Lightweight Verification of Hyperproperties. - Oyendrila Dobe; Stefan Schupp; Ezio Bartocci; Borzoo Bonakdarpour; Axel Legay; Miroslav Pajic; Yu Wang 044 (ATVA, 2023)

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. - Benedikt Maderbacher; Stefan Schupp; Ezio Bartocci; Roderick Bloem; Dejan Nickovic; Bettina Könighofer (SPIN, 2023)

Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. - Joanna Delicaris; Stefan Schupp; Erika Ábrahám; Anne Remke (TASE, 2023)

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. - Alessandro Abate; Matthias Althoff; Lei Bu; Gidon Ernst; Goran Frehse; Luca Geretti; Taylor T. Johnson; Claudio Menghi; Stefan Mitsch; Stefan Schupp; Sadegh Soudjani (TOOLympics@ETAPS, 2023)

RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems. - Joanna Delicaris; Jonas Stübbe; Stefan Schupp; Anne Remke (VALUETOOLS, 2023)

Controlling timed automata against MTL specifications with TACoS. - Till Hofmann; Stefan Schupp (Sci. Comput. Program., 2023)

Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction. - Carina da Silva; Stefan Schupp; Anne Remke (ACM Trans. Model. Comput. Simul., 2023)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories. - Till Hofmann; Stefan Schupp; Gerhard Lakemeyer (CoRR, 2024)

On the applicability of hybrid systems safety verification tools from the automotive perspective. - Stefan Schupp; Erika Ábrahám; Md Tawhid Bin Waez; Thomas Rambow; Zeng Qiu (Int. J. Softw. Tools Technol. Transf., 2024)

Maximizing reachability probabilities in rectangular automata with random events. - Joanna Delicaris; Anne Remke; Erika Ábrahám; Stefan Schupp; Jonas Stübbe (Sci. Comput. Program., 2025)