AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Matteo Camilli

Matteo Camilli

Libera Università di Bolzano - Bolzano / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 4454701
Free University of Bozen
person_outline Matteo Camilli's MOST POPULAR ARTICLES
1-) A formal framework for specifying and verifying microservices based process flows International Conference on Software Engineering and Formal Methods, 187-202, 2017
2-) Microservices integrated performance and reliability testing Proceedings of the 3rd ACM/IEEE International Conference on Automation of …, 2022
3-) Formal verification problems in a big data world: towards a mighty synergy Companion Proceedings of the 36th International Conference on Software …, 2014
4-) Online model-based testing under uncertainty 2018 IEEE 29th International Symposium on Software Reliability Engineering …, 2018
5-) Specifying and verifying real-time self-adaptive systems 2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015