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

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)., , , , und . CoRR, (2023)Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems., , und . FORMATS, Volume 12860 von Lecture Notes in Computer Science, Seite 50-66. Springer, (2021)A Predictable Execution Model for COTS-Based Embedded Systems., , , , , , und . IEEE Real-Time and Embedded Technology and Applications Symposium, Seite 269-279. IEEE Computer Society, (2011)A generalized model for preventing information leakage in hard real-time systems., , , , , und . RTAS, Seite 271-282. IEEE Computer Society, (2015)Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization., und . RTSS, Seite 195-205. IEEE Computer Society, (2015)Real-Time Reachability for Verified Simplex Design., , , und . RTSS, Seite 138-148. IEEE Computer Society, (2014)Numerical Verification of 10000-dimensional Linear Systems 10000x Faster.. ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 135-144. EasyChair, (2018)Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization., , , , und . ADHS, Volume 54 von IFAC-PapersOnLine, Seite 253-258. Elsevier, (2021)Numerical verification of affine systems with up to a billion dimensions., , und . HSCC, Seite 23-32. ACM, (2019)HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems., und . HSCC, Seite 173-178. ACM, (2017)