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

Interface-aware signal temporal logic., , , , und . HSCC, Seite 57-66. ACM, (2019)Forward invariant cuts to simplify proofs of safety., , , , und . EMSOFT, Seite 227-236. IEEE, (2015)Locally optimal reach set over-approximation for nonlinear systems., , , und . EMSOFT, Seite 6:1-6:10. ACM, (2016)Simulation-Driven Reachability Using Matrix Measures., , , und . ACM Trans. Embedded Comput. Syst., 17 (1): 21:1-21:28 (2018)Stochastic Local Search for Falsification of Hybrid Systems., , , und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 500-517. Springer, (2015)Abnormal Data Classification Using Time-Frequency Temporal Logic., , , , , und . HSCC, Seite 237-242. ACM, (2017)Automatic Trace Generation for Signal Temporal Logic., , und . RTSS, Seite 208-217. IEEE Computer Society, (2018)Multiple shooting, CEGAR-based falsification for hybrid systems., , , und . EMSOFT, Seite 5:1-5:10. ACM, (2014)Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems., , , , , und . NFM, Volume 9058 von Lecture Notes in Computer Science, Seite 127-142. Springer, (2015)Position paper on the challenges posed by modern applications to cyber-physical systems theory, , , , , , , , , und . Nonlinear Analysis, (2019)