( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.

, , , , и . FormaliSE, стр. 18-28. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alfredo Marcello Marcello

Marcello Andrea

Marcello Mariucci

Marcello Bisotti

Maresca Marcello

 

Другие публикации лиц с тем же именем

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