| 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 | 38 | 2022 |
| 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 | 37 | 2017 |
| Formal verification problems in a big data world: towards a mighty synergy M Camilli Companion Proceedings of the 36th International Conference on Software …, 2014 | 32 | 2014 |
| Specifying and verifying real-time self-adaptive systems M Camilli, A Gargantini, P Scandurra 2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015 | 31 | 2015 |
| Modeling performance of microservices systems with growth theory M Camilli, B Russo Empirical Software Engineering 27 (2), 39, 2022 | 30 | 2022 |
| Online model-based testing under uncertainty M Camilli, C Bellettini, A Gargantini, P Scandurra 2018 IEEE 29th International Symposium on Software Reliability Engineering …, 2018 | 30 | 2018 |
| 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 | 30 | 2013 |
| 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 | 28 | 2023 |
| 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 | 28 | 2022 |
| 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 | 27 | 2016 |
| XSA: Explainable self-adaptation M Camilli, R Mirandola, P Scandurra Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 25 | 2022 |
| 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 | 25 | 2014 |
| 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 | 23 | 2021 |
| Distributed CTL model checking in the cloud C Bellettini, M Camilli, L Capra, M Monga arXiv preprint arXiv:1310.6670, 2013 | 22 | 2013 |
| Model‐based hypothesis testing of uncertain software systems M Camilli, A Gargantini, P Scandurra Software Testing, Verification and Reliability 30 (2), e1730, 2020 | 21 | 2020 |
| 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 | 19 | 2021 |
| 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 | 18 | 2023 |
| Petri nets state space analysis in the cloud M Camilli 2012 34th International Conference on Software Engineering (ICSE), 1638-1640, 2012 | 18 | 2012 |
| WeakSATD: Detecting weak self-admitted technical debt B Russo, M Camilli, M Mock Proceedings of the 19th International Conference on Mining Software …, 2022 | 17 | 2022 |
| 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 | 17 | 2021 |
patrizia scandurraUniversity of Bergamo (Italy)Verified email at unibg.it
