( en | de | ru )

 

Disambiguation of "Camilli, Matteo"

Author of the publication

copydeleteadd this publication to your clipboard
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters.

, , , and . RP, volume 8169 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Matteo Garavoglia

Matteo Gabba

Matteo Bertini

Matteo Rini

Marco Matteo

 

Other publications of authors with the same name

Formalizing distributed self-adaptive systems using high-level petri nets., and . SummerSim, page 28:1-28:12. ACM, (2019)Formal verification problems in a big data world: towards a mighty synergy.. ICSE Companion, page 638-641. ACM, (2014)Verification of Reachability Problems for Time Basic Petri Nets.. CoRR, (2014)Distributed CTL model checking using MapReduce: theory and practice., , , and . Concurr. Comput. Pract. Exp., 28 (11): 3025-3041 (2016)Model-Based Testing Under Parametric Variability of Uncertain Beliefs., and . SEFM, volume 12310 of Lecture Notes in Computer Science, page 175-192. Springer, (2020)Modeling Performance of Microservices Systems with Growth Theory., and . Empir. Softw. Eng., 27 (2): 39 (2022)Collaborative AI Needs Stronger Assurances Driven by Risks., , , , , , , and . CoRR, (2021)PPTAMλ: What, Where, and How of Cross-domain Scalability Assessment., , , , , , , and . ICSA Companion, page 62-69. IEEE, (2021)Towards Better Trust in Human-Machine Teaming through Explainable Dependability., , , , , and . ICSA-C, page 86-90. IEEE, (2023)Engineering Self-adaptive Microservice Applications: An Experience Report., , , , and . ICSOC (1), volume 14419 of Lecture Notes in Computer Science, page 227-242. Springer, (2023)