[go: up one dir, main page]

Follow
Matteo Camilli
Matteo Camilli
Associate professor, Politecnico di Milano
Verified email at polimi.it - Homepage
Title
Cited by
Cited by
Year
Microservices integrated performance and reliability testing
M Camilli, A Guerriero, A Janes, B Russo, S Russo
Proceedings of the 3rd ACM/IEEE International Conference on Automation of …, 2022
382022
A formal framework for specifying and verifying microservices based process flows
M Camilli, C Bellettini, L Capra, M Monga
International Conference on Software Engineering and Formal Methods, 187-202, 2017
372017
Formal verification problems in a big data world: towards a mighty synergy
M Camilli
Companion Proceedings of the 36th International Conference on Software …, 2014
322014
Specifying and verifying real-time self-adaptive systems
M Camilli, A Gargantini, P Scandurra
2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015
312015
Modeling performance of microservices systems with growth theory
M Camilli, B Russo
Empirical Software Engineering 27 (2), 39, 2022
302022
Online model-based testing under uncertainty
M Camilli, C Bellettini, A Gargantini, P Scandurra
2018 IEEE 29th International Symposium on Software Reliability Engineering …, 2018
302018
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters
C Bellettini, M Camilli, L Capra, M Monga
International workshop on reachability problems, 83-95, 2013
302013
Actor-driven decomposition of microservices through multi-level scalability assessment
M Camilli, C Colarusso, B Russo, E Zimeo
ACM Transactions on Software Engineering and Methodology 32 (5), 1-46, 2023
282023
Automated test-based learning and verification of performance models for microservices systems
M Camilli, A Janes, B Russo
Journal of Systems and Software 187, 111225, 2022
282022
Distributed CTL model checking using MapReduce: theory and practice
C Bellettini, M Camilli, L Capra, M Monga
Concurrency and Computation: Practice and Experience 28 (11), 3025-3041, 2016
272016
XSA: Explainable self-adaptation
M Camilli, R Mirandola, P Scandurra
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
252022
CTL model checking in the cloud using mapreduce
M Camilli, C Bellettini, L Capra, M Monga
2014 16th International Symposium on Symbolic and Numeric Algorithms for …, 2014
252014
Formal specification and verification of decentralized self-adaptive systems using symmetric nets
M Camilli, L Capra
Discrete Event Dynamic Systems 31 (4), 609-657, 2021
232021
Distributed CTL model checking in the cloud
C Bellettini, M Camilli, L Capra, M Monga
arXiv preprint arXiv:1310.6670, 2013
222013
Model‐based hypothesis testing of uncertain software systems
M Camilli, A Gargantini, P Scandurra
Software Testing, Verification and Reliability 30 (2), e1730, 2020
212020
Risk-driven compliance assurance for collaborative ai systems: A vision paper
M Camilli, M Felderer, A Giusti, DT Matt, A Perini, B Russo, A Susi
international working conference on requirements engineering: foundation for …, 2021
192021
Enforcing resilience in cyber-physical systems via equilibrium verification at runtime
M Camilli, R Mirandola, P Scandurra
ACM Transactions on Autonomous and Adaptive Systems 18 (3), 1-32, 2023
182023
Petri nets state space analysis in the cloud
M Camilli
2012 34th International Conference on Software Engineering (ICSE), 1638-1640, 2012
182012
WeakSATD: Detecting weak self-admitted technical debt
B Russo, M Camilli, M Mock
Proceedings of the 19th International Conference on Mining Software …, 2022
172022
Uncertainty-aware exploration in model-based testing
M Camilli, A Gargantini, P Scandurra, C Trubiani
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021
172021
The system can't perform the operation now. Try again later.
Articles 1–20