Autor der Publikation

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)

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)Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis., , , , und . ACC, Seite 1839-1846. IEEE, (2017)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)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)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)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)Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning., , , und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 251-271. Springer, (2022)A Model for Industrial Real-Time Systems., , , und . VMCAI, Volume 8931 von Lecture Notes in Computer Science, Seite 153-171. Springer, (2015)