CAMILLI, MATTEO
CAMILLI, MATTEO
Dipartimento di Informatica Giovanni Degli Antoni
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
Formalizing distributed self-adaptive systems using high-level petri nets
2019 L. Capra, M. Camilli
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems
2019 M. Camilli, L. Capra, C. Bellettini
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 Evolving Petri Nets: a Symmetric Nets-based Framework
2018 L. Capra, M. Camilli
A high-level petri net-based formal model of distributed self-adaptive systems
2018 M. Camilli, C.N.M. Bellettini, L. Capra
A Formal Framework for Specifying and Verifying Microservices Based Process Flows
2018 M. Camilli, C. Bellettini, L. Capra, M. Monga
A Symmetric Nets Emulator for Adaptive P/T Nets
2018 L. Capra, M. Camilli
Online Model-Based Testing under Uncertainty
2018 M. Camilli, C. Bellettini, A. Gargantini, P. Scandurra
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets
2017 M. Camilli, A. Gargantini, P. Scandurra, C. Bellettini
Towards Inverse Uncertainty Quantification in Software Development (Short Paper)
2017 M. Camilli, A. Gargantini, P. Scandurra, C. Bellettini
Distributed CTL model checking using MapReduce : theory and practice
2016 C. Bellettini, M. Camilli, L. Capra, M. Monga
Coverability analysis of time basic petri nets with non-urgent behavior
2016 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
CTL model checking in the cloud using MapReduce
2015 M. Camilli, C. Bellettini, L. Capra, M. Monga
Specifying and verifying real-time self-adaptive systems
2015 M. Camilli, A. Gargantini, P. Scandurra
Formal verification problems in a big data world : towards a mighty synergy
2014 M. Camilli
MaRDiGraS : simplified building of reachability graphs on large clusters
2013 C. Bellettini, M. Camilli, L. Capra, M. Monga