( en | de | ru )

 

Disambiguierung von "Bersani, Marcello M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.

, , , , und . FormaliSE, Seite 18-28. IEEE, (2023)

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.

Alfredo Marcello Marcello

Marcello Andrea

Marcello Mariucci

Marcello Bisotti

Maresca Marcello

 

Weitere Publikationen von Autoren mit dem selben Namen

A Timed Semantics of Workflows., , , und . ICSOFT (Selected Papers), Volume 555 von Communications in Computer and Information Science, Seite 365-383. Springer, (2014)Towards DevOps for Privacy-by-Design in Data-Intensive Applications: A Research Roadmap., , , , , und . ICPE Companion, Seite 139-144. ACM, (2017)Improved Bounded Model Checking of Timed Automata., , , und . FormaliSE@ICSE, Seite 97-110. IEEE, (2021)The Complexity of Reversal-Bounded Model-Checking., und . FroCoS, Volume 6989 von Lecture Notes in Computer Science, Seite 71-86. Springer, (2011)RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , und 3 andere Autor(en). SEAMS@ICSE, Seite 245-251. IEEE, (2021)A tool for verification of big-data applications., , , und . QUDOS@ISSTA, Seite 44-45. ACM, (2016)Trace Checking of Streaming Applications through DICE-TraCT., , und . ICPE Companion, Seite 159-160. ACM, (2018)DevOps Service Observability By-Design: Experimenting with Model-View-Controller., , , und . ESOCC, Volume 11116 von Lecture Notes in Computer Science, Seite 49-64. Springer, (2018)Architecting Explainable Service Robots., , , , , und . ECSA, Volume 14212 von Lecture Notes in Computer Science, Seite 153-169. Springer, (2023)Engineering of Trust Analysis-Driven Digital Twins for a Medical Device., , , , , und . ECSA (Tracks and Workshops), Volume 13928 von Lecture Notes in Computer Science, Seite 467-482. Springer, (2022)