( en | de | ru )

 

Disambiguierung von "Camilli, Matteo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters.

, , , und . RP, Volume 8169 von Lecture Notes in Computer Science, Seite 83-95. Springer, (2013)

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.

Matteo Garavoglia

Matteo Rini

Marco Matteo

Matteo Bertini

Matteo Gabba

 

Weitere Publikationen von Autoren mit dem selben Namen

Formalizing distributed self-adaptive systems using high-level petri nets., und . SummerSim, Seite 28:1-28:12. ACM, (2019)PPTAMλ: What, Where, and How of Cross-domain Scalability Assessment., , , , , , , und . ICSA Companion, Seite 62-69. IEEE, (2021)Towards Better Trust in Human-Machine Teaming through Explainable Dependability., , , , , und . ICSA-C, Seite 86-90. IEEE, (2023)Formal verification problems in a big data world: towards a mighty synergy.. ICSE Companion, Seite 638-641. ACM, (2014)Engineering Self-adaptive Microservice Applications: An Experience Report., , , , und . ICSOC (1), Volume 14419 von Lecture Notes in Computer Science, Seite 227-242. Springer, (2023)Model-Based Testing Under Parametric Variability of Uncertain Beliefs., und . SEFM, Volume 12310 von Lecture Notes in Computer Science, Seite 175-192. Springer, (2020)Modeling Performance of Microservices Systems with Growth Theory., und . Empir. Softw. Eng., 27 (2): 39 (2022)Explanation-driven Self-adaptation using Model-agnostic Interpretable Machine Learning., , , und . SEAMS@ICSE, Seite 189-199. ACM, (2024)MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters., , , und . RP, Volume 8169 von Lecture Notes in Computer Science, Seite 83-95. Springer, (2013)A Formal Framework for Specifying and Verifying Microservices Based Process Flows., , , und . SEFM Workshops, Volume 10729 von Lecture Notes in Computer Science, Seite 187-202. Springer, (2017)