Concepedia

Matteo Camilli

MC

24

Publications

395

Citations

14

H-Index

2012

Active since

Affiliations

University of Milan(Current)

Free University of Bozen-Bolzano

University of Bergamo

Politecnico di Milano

Matteo Camilli is an author at University of Milan specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationVerificationComputer EngineeringCloud ComputingCluster ComputingSoftware Analysis

Publications per year

2012–2023

24

Publications

24

Specifying and verifying real-time self-adaptive systems

Matteo Camilli, Angelo Gargantini, Patrizia Scandurra · 2015 · 28 citations

Petri Net, Engineering, Verification +19

Online Model-Based Testing under Uncertainty

Matteo Camilli, Carlo Bellettini, Angelo Gargantini et al. · 2018 · 23 citations · Full text

Software Maintenance, Engineering, Verification +22

Distributed CTL Model Checking in the Cloud

Carlo Bellettini, Matteo Camilli, Lorenzo Capra et al. · arXiv (Cornell University) · 2013 · 22 citations · Full text

Microservices integrated performance and reliability testing

Matteo Camilli, Antonio Guerriero, Andrea Janes et al. · 2022 · 22 citations · Full text

Software Maintenance, Engineering, Service Assurance +21

Actor-Driven Decomposition of Microservices through Multi-level Scalability Assessment

Matteo Camilli, Carmine Colarusso, Barbara Russo et al. · ACM Transactions on Software Engineering and Methodology · 2023 · 22 citations · Full text

Cluster Computing, Engineering, Actor-driven Decomposition +20

Rows per page

1–5 of 24