Person

Dr.

Stefan Schupp

Former associate Postdoc

Stefan Schupp
Computer Science Departement, RTG UnRAVeL

Address

Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
 

 

Publications related to UnRAVeL

Source Author(s)
[Journal Article]
Controlling timed automata against MTL specifications with TACoS
In: Science of computer programming, 225, 102898, 2022
[DOI: 10.1016/j.scico.2022.102898]
Hofmann, Till (Corresponding author)
Schupp, Stefan
[Contribution to a book, Contribution to a conference proceedings]
TACoS : A Tool for MTL Controller Synthesis
In: Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings / edited by Radu Calinescu, Corina S. Păsăreanu, 372-379, 2021
[DOI: 10.1007/978-3-030-92124-8_21]
Hofmann, Till
Schupp, Stefan
[Report]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard Marlon
Dannert, Katrin M.
Lindner, Peter
et al.
[Contribution to a book, Contribution to a conference proceedings]
ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
In: ARCH19 : 6th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse and Matthias Althoff, 120-128, 2019
[DOI: 10.29007/g965]
Bu, Lei (Corresponding author)
Ray, Rajarshi (Corresponding author)
Schupp, Stefan (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
In: ARCH19 : 6th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse and Matthias Althoff, 14-40, 2019
[DOI: 10.29007/bj1w]
Althoff, Matthias (Corresponding author)
Bak, Stanley (Corresponding author)
Forets, Marcelo (Corresponding author)
Frehse, Goran (Corresponding author)
Kochdumper, Niklas
et al.
[Contribution to a book, Contribution to a conference proceedings]
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems
In: Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, ECMS 2019 : June 11th-June 14th, 2019, Caserta, Italy : communications of the ECMS, volume 33, issue 1, June 2019 / edited by: Mauro Iacono, Francesco Palmieri, Marco Gribaudo, Massimo Ficco ; organized by: ECMS - European Council for Modelling and Simulation ; hosted by: Università degli Studi della Campania "Luigi Vanvitelli", 7 Seiten, 2019
[DOI: 10.7148/2019-0407]
Leofante, Francesco
Schupp, Stefan
Ábrahám, Erika
Tacchella, Armando (Corresponding author)
[Dissertation / PhD Thesis]
State set representations and their usage in the reachability analysis of hybrid systems, 2019
[DOI: 10.18154/RWTH-2019-08875]
Schupp, Stefan
[Contribution to a book, Contribution to a conference proceedings]
ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics
In: ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse, 14-22, 2018
[DOI: 10.29007/q5tq]
Bu, Lei (Corresponding author)
Ray, Rajarshi (Corresponding author)
Schupp, Stefan (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
In: ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse, 23-52, 2018
[DOI: 10.29007/73mb]
Althoff, Matthias (Corresponding author)
Bak, Stanley (Corresponding author)
Chen, Xin (Corresponding author)
Fan, Chuchu (Corresponding author)
Forets, Marcelo (Corresponding author)
et al.
[Contribution to a book, Contribution to a conference proceedings]
The HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods
In: Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18) : Research report 483, August 2018 / Erika Ábrahám and Silvia Lizeth Tapia Tarifa (eds.), 2 Seiten, 2018
Schupp, Stefan (Corresponding author)
Ábrahám, Erika
[Contribution to a book, Contribution to a conference proceedings]
Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis
In: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman, 287-302, 2018
[DOI: 10.1007/978-3-319-89963-3_17]
Schupp, Stefan (Corresponding author)
Ábrahám, Erika
[Contribution to a book, Contribution to a conference proceedings]
Spread the Work : Multi-threaded Safety Analysis for Hybrid Systems
In: Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / Einar Broch Johnsen, Ina Schaefer (eds.), 89-104, 2018
[DOI: 10.1007/978-3-319-92970-5_6]
Schupp, Stefan
Ábrahám, Erika (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Context-Dependent Reachability Analysis for Hybrid Systems
In: 2018 IEEE 19th International Conference on Information Reuse and Integration for Data Science : IRI 2018 : 7-9 July 2018, Salt Lake City, Utah, USA : proceedings / publisher: IEEE, 518-525, 2018
[DOI: 10.1109/IRI.2018.00082]
Schupp, Stefan (Corresponding author)
Winkens, Justin (Corresponding author)
Ábrahám, Erika (Corresponding author)
[Contribution to a book, Contribution to a conference proceedings]
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro
In: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools : VALUETOOLS 2017 : 5-7 December 2017, Venice, Italy / general co-chairs: Andrea Marin, University of Venice - Ca', Foscari, Italy, Benny Van Houdt, University of Antwerp, Belgium ; technical programme committe chairs: Giuliano Casale, Imperial College London, United Kingdom, Dorina Petriu, Carleton University, Canada, Sabina Rossi, University of Venice - Ca', Foscari, Italy, 178-185, 2017
[DOI: 10.1145/3150928.3150938]
Hüls, Jannik (Corresponding author)
Schupp, Stefan (Corresponding author)
Remke, Anne (Corresponding author)
Ábrahám, Erika (Corresponding author)