( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters.

, , , и . RP, том 8169 из Lecture Notes in Computer Science, стр. 83-95. Springer, (2013)

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.

Matteo Garavoglia

Matteo Gabba

Matteo Rini

Matteo Bertini

Marco Matteo

 

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

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