CAMILLI, MATTEO
CAMILLI, MATTEO
Dipartimento di Informatica Giovanni Degli Antoni
A Conceptual Framework for Quality Assurance of LLM-based Socio-critical Systems
2024 L. Baresi, M. Camilli, T. Dolci, G. Quattrocchi
Cancer survivorship at heart: a multidisciplinary cardio-oncology roadmap for healthcare professionals
2023 I. Bisceglia, M.L. Canale, N. Silvestris, G. Gallucci, A. Camerini, A. Inno, M. Camilli, F.M. Turazza, G. Russo, A. Paccone, R. Mistrulli, L. De Luca, S.A. Di Fusco, L. Tarantini, F. Luca, S. Oliva, A. Moreo, N. Maurea, V. Quagliariello, G.R. Ricciardi, C. Lestuzzi, D. Fiscella, I. Parrini, V. Racanelli, A. Russo, L. Incorvaia, F. Calabro, G. Curigliano, S. Cinieri, M.M. Gulizia, D. Gabrielli, F. Oliva, F. Colivicchi
Formal specification and verification of decentralized self-adaptive systems using symmetric nets
2021 M. Camilli, L. Capra
Emulating Self-adaptive Stochastic Petri Nets
2020 L. Capra, M. Camilli
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems
2019 M. Camilli, L. Capra, C. Bellettini
Formalizing distributed self-adaptive systems using high-level petri nets
2019 L. Capra, M. Camilli
Online Model-Based Testing under Uncertainty
2018 M. Camilli, C. Bellettini, A. Gargantini, P. Scandurra
A Symmetric Nets Emulator for Adaptive P/T Nets
2018 L. Capra, M. Camilli
A Formal Framework for Specifying and Verifying Microservices Based Process Flows
2018 M. Camilli, C. Bellettini, L. Capra, M. Monga
A high-level petri net-based formal model of distributed self-adaptive systems
2018 M. Camilli, C.N.M. Bellettini, L. Capra
Towards Evolving Petri Nets: a Symmetric Nets-based Framework
2018 L. Capra, M. Camilli
Design-Time to Run-Time Verification of Microservices Based Applications
2018 M. Camilli, C. Bellettini, L. Capra
Zone-based formal specification and timing analysis of real-time self-adaptive systems
2018 M. Camilli, A. Gargantini, P. Scandurra
Towards Inverse Uncertainty Quantification in Software Development (Short Paper)
2017 M. Camilli, A. Gargantini, P. Scandurra, C. Bellettini
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets
2017 M. Camilli, A. Gargantini, P. Scandurra, C. Bellettini
Coverability analysis of time basic petri nets with non-urgent behavior
2016 M. Camilli, C. Bellettini, L. Capra, M. Monga
Distributed CTL model checking using MapReduce : theory and practice
2016 C. Bellettini, M. Camilli, L. Capra, M. Monga
CTL model checking in the cloud using MapReduce
2015 M. Camilli, C. Bellettini, L. Capra, M. Monga
Coping with the State Explosion Problem in Formal Methods: Advanced Abstraction Techniques and Big Data Approaches.
2015 M. Camilli
Specifying and verifying real-time self-adaptive systems
2015 M. Camilli, A. Gargantini, P. Scandurra