Person

Dr.

Stefan Schupp

Ehem. assoziierter Postdoc

Stefan Schupp

Adresse

 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Fachzeitschriftenartikel]
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
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Bericht]
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.
[Buchbeitrag, Beitrag zu einem Tagungsband]
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)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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.
[Buchbeitrag, Beitrag zu einem Tagungsband]
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)
[Doktorarbeit]
State set representations and their usage in the reachability analysis of hybrid systems, 2019
[DOI: 10.18154/RWTH-2019-08875]
Schupp, Stefan
[Buchbeitrag, Beitrag zu einem Tagungsband]
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)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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.
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Buchbeitrag, Beitrag zu einem Tagungsband]
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)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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)