( en | de | ru )

 

Disambiguierung von "Bartocci, Ezio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CPSDebug: a tool for explanation of failures in cyber-physical systems.

, , , , , und . ISSTA, Seite 569-572. ACM, (2020)

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.

Ezio Iacono

Matthias Obanechem Ezioba

 

Weitere Publikationen von Autoren mit dem selben Namen

A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage., , , , , , und . QEST, Volume 10503 von Lecture Notes in Computer Science, Seite 123-139. Springer, (2017)A Robust Genetic Algorithm for Learning Temporal Specifications from Data., , , und . QEST, Volume 11024 von Lecture Notes in Computer Science, Seite 323-338. Springer, (2018)Monitoring Spatio-Temporal Properties (Invited Tutorial)., , , , und . RV, Volume 12399 von Lecture Notes in Computer Science, Seite 21-46. Springer, (2020)Progression for Monitoring in Temporal ASP., , , und . ECAI, Volume 372 von Frontiers in Artificial Intelligence and Applications, Seite 2170-2177. IOS Press, (2023)Moment-based analysis of Bayesian network properties., , und . Theor. Comput. Sci., (2022)Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home., , und . ISCT, Seite 97-102. IEEE, (2019)CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities., , , und . CoRR, (2020)CPSDebug: a tool for explanation of failures in cyber-physical systems., , , , , und . ISSTA, Seite 569-572. ACM, (2020)Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic., , , , und . HSB, Volume 9271 von Lecture Notes in Computer Science, Seite 156-172. Springer, (2015)Medical Cyber-Physical Systems - (Track Introduction)., , und . ISoLA (2), Volume 8803 von Lecture Notes in Computer Science, Seite 353-355. Springer, (2014)