Person
Dr.Stefan Schupp
Ehem. Assoziierter Postdoc
Adresse
Publikationen im Rahmen von UnRAVeL
Quelle | Autor(en) |
---|---|
[Bericht] UnRAVeL - Research Training Group, 2020 | Katoen, Joost-Pieter Ritzert, Martin Alexander Felix Wilke, Richard Dannert, Katrin Lindner, Peter 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 |
[Doktorarbeit] State set representations and their usage in the reachability analysis of hybrid systems, 1 Online-Ressource (217 Seiten) : Illustrationen, Diagramme, 2019 | Schupp, Stefan |
[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 Á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 Á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 / edited by Einar Broch Johnsen, Ina Schaefer, 89-104, 2018 [DOI: 10.1007/978-3-319-92970-5_6] | Schupp, Stefan Ábrahám, Erika |
[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 Winkens, Justin Ábrahám, Erika |
[Buchbeitrag, Beitrag zu einem Tagungsband] HyPro : A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis In: NASA formal methods : 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings / Clark Barrett, Misty Davies, Temesghen Kahsai (eds.), 288-294, 2017 [DOI: 10.1007/978-3-319-57288-8_20] | Schupp, Stefan Ábrahám, Erika Ben Makhlouf, Ibtissem Kowalewski, Stefan |
[Buchbeitrag, Beitrag zu einem Tagungsband] Divide and Conquer : Variable Set Separation in Hybrid Systems Reachability Analysis In: Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems : Uppsala, Sweden, 23rd April 2017 / edited by: Herbert Wiklicky and Erik de Vink, 1-14, 2017 [DOI: 10.4204/EPTCS.250.1] | Schupp, Stefan Nellen, Johanna Ábrahám, Erika |
Verwandte Themen
- Promotionsprojekt: State Set Representations for Hybrid Systems Reachability Analysis (abgeschlossen)
- Informatik-Oberseminar: 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 mit Auszeichnung: Stefan Schupp