( en | de | ru )

 

Disambiguierung von "Lanotte, Ruggero"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks.

, , , , und . CoRR, (2024)

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.

Cristina Ruggero

Ruggero Morselli

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Models of Timing Attacks on Web Privacy., , , , , , und . TOSCA, Volume 62 von Electronic Notes in Theoretical Computer Science, Seite 229-243. Elsevier, (2001)Privacy in Real-Time Systems., , und . MTCS, Volume 52 von Electronic Notes in Theoretical Computer Science, Seite 295-305. Elsevier, (2001)Measuring Robustness in Cyber-Physical Systems under Sensor Attacks., , , , und . CoRR, (2024)A Decidable Probability Logic for Timed Probabilistic Systems., und . Fundam. Informaticae, 96 (1-2): 127-151 (2009)Compositional Weak Metrics for Group Key Update., , und . MFCS, Volume 83 von LIPIcs, Seite 72:1-72:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Taylor Approximation for Hybrid Systems., und . HSCC, Volume 3414 von Lecture Notes in Computer Science, Seite 402-416. Springer, (2005)Hybrid and First-Order Complete Extensions of CaRet., und . TABLEAUX, Volume 6793 von Lecture Notes in Computer Science, Seite 58-72. Springer, (2011)A Formal Approach to Physics-based Attacks in Cyber-physical Systems., , , und . ACM Trans. Priv. Secur., 23 (1): 3:1-3:41 (2020)A Specification Format for Rooted Branching Bisimulation., , und . Fundam. Informaticae, 135 (4): 355-369 (2014)Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces., und . ICTAC, Volume 11187 von Lecture Notes in Computer Science, Seite 292-312. Springer, (2018)