Person

Dr.

Stefan Schupp

M. Sc. RWTH

Assoziierter Postdoc

Stefan Schupp
Lehr- und Forschungsgebiet Theorie Hybrider Systeme

Adresse

Gebäude: 2353 Informatikzentrum E1, 2OG

Raum: 4227

Ahornstr. 55

52056 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21244
Fax: +49 241 80 22217

Sprechstunde

n.V.
 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[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