Stefan Schupp

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 37

Top Topics

Stochastic Models

Recent Developments

Benchmark Suite

Bounded Model Checking

Top Venues

ARCH@CPSIoTWeek

Publications

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