Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles., , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 763-775. Springer, (2021)Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development., , , , , und . CoRR, (2019)Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis., , , , und . ACC, Seite 1839-1846. IEEE, (2017)On the applicability of hybrid systems safety verification tools from the automotive perspective., , , , und . Int. J. Softw. Tools Technol. Transf., 26 (1): 49-78 (Februar 2024)A survey of timed automata for the development of real-time systems., , und . Comput. Sci. Rev., (2013)Learning Density Distribution of Reachable States for Autonomous Systems., , , , und . CoRL, Volume 164 von Proceedings of Machine Learning Research, Seite 124-136. PMLR, (2021)Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report., , , und . FACS, Volume 8997 von Lecture Notes in Computer Science, Seite 162-180. Springer, (2014)Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development., , , , , und . FMICS, Volume 11687 von Lecture Notes in Computer Science, Seite 59-75. Springer, (2019)Controller synthesis for dynamic hierarchical real-time plants using timed automata., , , und . Discret. Event Dyn. Syst., 27 (2): 407-441 (2017)A Model for Hierarchical Open Real-Time Systems.. Queen's University at Kingston, Ontario, Canada, (2015)