Stefan Schupp

According to our database, Stefan Schupp authored at least 34 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., February, 2024

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories.

Till Hofmann, Stefan Schupp, Gerhard Lakemeyer

CoRR, 2024

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., October, 2023

Controlling timed automata against MTL specifications with TACoS.

Till Hofmann, Stefan Schupp

Sci. Comput. Program., 2023

RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.

Joanna Delicaris, Jonas Stübbe, Stefan Schupp, Anne Remke

Proceedings of the Performance Evaluation Methodologies and Tools, 2023

Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.

Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.

Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer

Proceedings of the Model Checking Software - 29th International Symposium, 2023

Lightweight Verification of Hyperproperties.

Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Recent developments in theory and tool support for hybrid systems verification with HyPro.

Stefan Schupp, Erika Ábrahám, Tristan Ebert

Inf. Comput., 2022

Controlling Golog Programs against MTL Constraints.

Till Hofmann, Stefan Schupp

CoRR, 2022

2021

Robot Swarms as Hybrid Systems: Modelling and Verification.

Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella

Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

TACoS: A Tool for MTL Controller Synthesis.

Till Hofmann, Stefan Schupp

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Controller verification meets controller code: a case study.

Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 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, Stefan Schupp, Mark Wetzlinger

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

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, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

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, Christian Schilling, Stefan Schupp, Mark Wetzlinger

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

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, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.

Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella

Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, 2019

ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.

Lei Bu, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis.

Stefan Schupp, Erika Ábrahám

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems.

Stefan Schupp, Erika Ábrahám

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Context-Dependent Reachability Analysis for Hybrid Systems.

Stefan Schupp, Justin Winkens, Erika Ábrahám

Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018

ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.

Lei Bu, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis.

Stefan Schupp, Johanna Nellen, Erika Ábrahám

Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.

Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis.

Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.

Lei Bu, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

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

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

A Benchmark Suite for Hybrid Systems Reachability Analysis.

Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Current Challenges in the Verification of Hybrid Systems.

Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

2011

Perfect difference sets for neighbor discovery: energy efficient and fair.

Jó Ágila Bitsch Link, Christoph Wollgarten, Stefan Schupp, Klaus Wehrle

Proceedings of the 3rd Extreme Conference on Communication - The Amazon Expedition, 2011