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

Safe and stabilizing distributed multi-path cellular flows., und . Theor. Comput. Sci., (2015)Decoupling Abstractions of Non-linear Ordinary Differential Equations., , und . FM, Volume 9995 von Lecture Notes in Computer Science, Seite 628-644. (2016)Abstraction-Based Guided Search for Hybrid Systems., , , , , , , und . SPIN, Volume 7976 von Lecture Notes in Computer Science, Seite 117-134. Springer, (2013)Scalable Static Hybridization Methods for Analysis of Nonlinear Systems., , , , und . HSCC, Seite 155-164. ACM, (2016)Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry., , , , , , und . ICCPS, Seite 340-341. ACM, (2019)ARCH-COMP19 Repeatability Evaluation Report.. ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 162-169. EasyChair, (2019)Probabilistic Formal Verification of the SATS Concept of Operation., , , , und . NFM, Volume 9690 von Lecture Notes in Computer Science, Seite 191-205. Springer, (2016)A curated corpus of simulink models for model-based empirical studies., , , , und . SEsCPS@ICSE, Seite 45-48. ACM, (2018)Hyperproperties of real-valued signals., , , , und . MEMOCODE, Seite 104-113. ACM, (2017)Model-based design and analysis of a reconfigurable continuous-culture bioreactor., , , , , , und . CyPhy, Seite 48-51. ACM, (2014)