Autor der Publikation

An Attack-Resilient CPS Architecture for Hierarchical Control: A Case Study on Train Control Systems.

, , , , , , , , , , und . Computer, 51 (11): 46-55 (2018)

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

Verisim: Formal Analysis of Network Simulations., , , , , , und . IEEE Trans. Software Eng., 28 (2): 129-145 (2002)PAC Confidence Predictions for Deep Neural Network Classifiers., , , und . ICLR, OpenReview.net, (2021)Guaranteed Conformance of Neurosymbolic Models to Natural Constraints., , , und . L4DC, Volume 211 von Proceedings of Machine Learning Research, Seite 76-89. PMLR, (2023)Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control., , , , , und . CPSW@CISS, Volume 449 von Lecture Notes in Control and Information Sciences, Seite 197-216. Springer, (2013)A Semantic Framework for Mode Change Protocols., , und . IEEE Real-Time and Embedded Technology and Applications Symposium, Seite 91-100. IEEE Computer Society, (2011)Realizing Compositional Scheduling through Virtualization., , , , , , , und . IEEE Real-Time and Embedded Technology and Applications Symposium, Seite 13-22. IEEE Computer Society, (2012)Strong and Weak Policy Relations., , , und . POLICY, Seite 33-36. IEEE Computer Society, (2009)Evaluation of a smart alarm for intensive care using clinical data., , , , , und . EMBC, Seite 166-169. IEEE, (2012)Trapfetch: A breakpoint-based prefetcher for both launch and run-time., , , , , und . SMC, Seite 2766-2771. IEEE, (2017)ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities., , und . CONCUR, Volume 715 von Lecture Notes in Computer Science, Seite 417-431. Springer, (1993)