Computer Science Departement, RTG UnRAVeL
Former associate Postdoc
Address
Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
Publications related to UnRAVeL
| Source | Author(s) |
|---|---|
| [Contribution to a book, 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) |
Similar Topics
- Dissertation Project: State Set Representations for Hybrid Systems Reachability Analysis (finished)
- Computer Science Graduate Seminar: Stefan Schupp: State Set Representations for Hybrid Systems Reachability Analysis
- Bi-Weekly Talk: Flowpipe construction-based reachability analysis for the safety verification of hybrid systems
- Promotion with Honors: Stefan Schupp
- Best Tool Paper Award at SEFM