Stefan Schupp

40 papers A 1B 3C 2Misc 2Journal 8Unranked 24
YearRankTypeTitle / Venue / Authors
2025 J jnl
Maximizing reachability probabilities in rectangular automata with random events.
Sci. Comput. Program.
Joanna Delicaris, Anne Remke, Erika Ábrahám, Stefan Schupp, Jonas Stübbe
2024 J jnl
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories.
CoRR
Till Hofmann, Stefan Schupp, Gerhard Lakemeyer
2024 J jnl
On the applicability of hybrid systems safety verification tools from the automotive perspective.
Int. J. Softw. Tools Technol. Transf.
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
2023 — conf
ARCH-COMP23 Category Report: Stochastic Models.
ARCH
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, Lisa Willemsen, Paolo Zuliani
2023 J jnl
Controlling timed automata against MTL specifications with TACoS.
Sci. Comput. Program.
Till Hofmann, Stefan Schupp
2023 B conf
Lightweight Verification of Hyperproperties.
ATVA
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
2023 Misc conf
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.
TASE
Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
2023 J jnl
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.
CoRR
Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
2023 J jnl
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction.
ACM Trans. Model. Comput. Simul.
Carina da Silva, Stefan Schupp, Anne Remke
2023 — conf
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.
SPIN
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
2023 — conf
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.
VALUETOOLS
Joanna Delicaris, Jonas Stübbe, Stefan Schupp, Anne Remke
2023 — conf
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems.
TOOLympics@ETAPS
Alessandro Abate, Matthias Althoff, Lei Bu, Gidon Ernst, Goran Frehse, Luca Geretti, Taylor T. Johnson, Claudio Menghi, Stefan Mitsch, Stefan Schupp, Sadegh Soudjani
2022 — conf
ARCH-COMP22 Category Report: Stochastic Models.
ARCH@SAFECOMP
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, Sadegh Soudjani, Lisa Willemsen
2022 J jnl
Controlling Golog Programs against MTL Constraints.
CoRR
Till Hofmann, Stefan Schupp
2022 J jnl
Recent developments in theory and tool support for hybrid systems verification with HyPro.
Inf. Comput.
Stefan Schupp, Erika Ábrahám, Tristan Ebert
2021 — conf
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@ADHS
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger
2021 — conf
ARCH-COMP21 Category Report: Stochastic Models.
ARCH@ADHS
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, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani
2021 C conf
Controller verification meets controller code: a case study.
MEMOCODE
Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám
2021 — conf
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.
QEST
Carina Pilch, Stefan Schupp, Anne Remke
2021 — conf
Robot Swarms as Hybrid Systems: Modelling and Verification.
SNR
Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella
2021 B conf
TACoS: A Tool for MTL Controller Synthesis.
SEFM
Till Hofmann, Stefan Schupp
2020 — conf
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH
Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger
2020 — conf
ARCH-COMP20 Category Report: Stochastic Models.
ARCH
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, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani
2019 — conf
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
ARCH@CPSIoTWeek
Lei Bu, Rajarshi Ray, Stefan Schupp
2019 — conf
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@CPSIoTWeek
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp
2019 C conf
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.
ECMS
Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella
2018 — conf
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
ARCH@ADHS
Lei Bu, Rajarshi Ray, Stefan Schupp
2018 — conf
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@ADHS
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
2018 Misc conf
Context-Dependent Reachability Analysis for Hybrid Systems.
IRI
Stefan Schupp, Justin Winkens, Erika Ábrahám
2018 — conf
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis.
TACAS (2)
Stefan Schupp, Erika Ábrahám
2018 B conf
Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems.
SEFM
Stefan Schupp, Erika Ábrahám
2017 — conf
ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
ARCH@CPSWeek
Lei Bu, Rajarshi Ray, Stefan Schupp
2017 — conf
ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
ARCH@CPSWeek
Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp
2017 — conf
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.
VALUETOOLS
Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám
2017 — conf
Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis.
QAPL
Stefan Schupp, Johanna Nellen, Erika Ábrahám
2017 — conf
HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis.
NFM
Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski
2015 — conf
A Benchmark Suite for Hybrid Systems Reachability Analysis.
NFM
Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski
2015 — conf
Current Challenges in the Verification of Hybrid Systems.
CyPhy
Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski
2015 A conf
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving.
SAT
Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám
2011 — conf
Perfect difference sets for neighbor discovery: energy efficient and fair.
ExtremeCom
Jó Ágila Bitsch Link, Christoph Wollgarten, Stefan Schupp, Klaus Wehrle