Autor der Publikation

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.

, , , , und . FORTE, Volume 11535 von Lecture Notes in Computer Science, Seite 261-277. Springer, (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)Cyber-Physical Specification Mismatches., , , , und . ACM Trans. Cyber Phys. Syst., 2 (4): 23:1-23:26 (2018)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)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)