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

WiP abstract: Conformance testing as falsification for cyber-physical systems., , , , , und . ICCPS, Seite 211. IEEE Computer Society, (2014)Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)., , und . Dagstuhl Reports, 9 (2): 48-72 (2019)Joint Probability Distribution of Prediction Errors of ARIMA., und . CoRR, (2018)Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software., , , und . HSCC, Seite 135-144. ACM, (2016)Nondeterministic Streaming String Transducers., und . ICALP (2), Volume 6756 von Lecture Notes in Computer Science, Seite 1-20. Springer, (2011)Time-Series Learning Using Monotonic Logical Properties., , , , und . RV, Volume 11237 von Lecture Notes in Computer Science, Seite 389-405. Springer, (2018)Stochastic Temporal Logic Abstractions: Challenges and Opportunities., , und . FORMATS, Volume 11022 von Lecture Notes in Computer Science, Seite 3-16. Springer, (2018)A trajectory splicing approach to concretizing counterexamples for hybrid systems., , , und . CDC, Seite 3918-3925. IEEE, (2013)Powertrain control verification benchmark., , , , und . HSCC, Seite 253-262. ACM, (2014)Simulation-guided lyapunov analysis for hybrid dynamical systems., , , und . HSCC, Seite 133-142. ACM, (2014)