Autor der Publikation

Parallelizable reachability analysis algorithms for feed-forward neural networks.

, , , , , , und . FormaliSE@ICSE, Seite 31-40. IEEE / ACM, (2019)

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

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)Hybrid automata: from verification to implementation., , , , , und . STTT, 21 (1): 87-104 (2019)Real-Time Verification for Distributed Cyber-Physical Systems., , , , und . CoRR, (2019)Runtime Verification for Hybrid Analysis Tools., , , und . RV, Volume 9333 von Lecture Notes in Computer Science, Seite 281-286. Springer, (2015)HyRG: a random generation tool for affine hybrid automata., , , und . HSCC, Seite 289-290. ACM, (2015)Towards a framework of enforcing resilient operation of cyber-physical systems with unknown dynamics., und . IET Cyper-Phys. Syst.: Theory & Appl., 6 (3): 125-138 (2021)Cyber-Physical Specification Mismatches., , , , und . ACM Trans. Cyber Phys. Syst., 2 (4): 23:1-23:26 (2018)Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters)., und . ARCH@CPSWeek, Volume 34 von EPiC Series in Computing, Seite 19-24. EasyChair, (2014)Abnormal Data Classification Using Time-Frequency Temporal Logic., , , , , und . HSCC, Seite 237-242. ACM, (2017)