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

Benchmarks for cyber-physical systems: A modular model library for building automation systems., und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 49-54. Elsevier, (2018)Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , und . CoRR, (2018)Automatic verification of stochastic processes: certification of building automation systems.. University of Oxford, UK, (2020)British Library, EThOS.Analyzing Occupancy-Driven Thermal Dynamics in Smart Buildings., , und . CoRR, (2019)Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems., , , , , und . HSCC, Seite 240-251. ACM, (2019)StocHy : Automated Verification and Synthesis of Stochastic Processes., und . TACAS (2), Volume 11428 von Lecture Notes in Computer Science, Seite 247-264. Springer, (2019)ARCH-COMP23 Category Report: Stochastic Models., , , , , , , , , und 4 andere Autor(en). ARCH, Volume 96 von EPiC Series in Computing, Seite 126-150. EasyChair, (2023)ARCH-COMP20 Category Report: Stochastic Models., , , , , , , , , und 6 andere Autor(en). ARCH, Volume 74 von EPiC Series in Computing, Seite 76-106. EasyChair, (2020)ARCH-COMP21 Category Report: Stochastic Models., , , , , , , , , und 10 andere Autor(en). ARCH@ADHS, Volume 80 von EPiC Series in Computing, Seite 55-89. EasyChair, (2021)StocHy - automated verification and synthesis of stochastic processes: poster abstract., und . HSCC, Seite 258-259. ACM, (2019)