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
Zone-based formal specification and timing analysis of real-time self-adaptive systems
2018 M. Camilli, A. Gargantini, P. Scandurra
Online Model-Based Testing under Uncertainty
2018 M. Camilli, C. Bellettini, A. Gargantini, P. Scandurra
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
A Symmetric Nets Emulator for Adaptive P/T Nets
2018 L. Capra, M. Camilli
Design-Time to Run-Time Verification of Microservices Based Applications
2018 M. Camilli, C. Bellettini, L. Capra
Towards Evolving Petri Nets: a Symmetric Nets-based Framework
2018 L. Capra, M. Camilli
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
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
Specifying and verifying real-time self-adaptive systems
2015 M. Camilli, A. Gargantini, P. Scandurra
CTL model checking in the cloud using MapReduce
2015 M. Camilli, C. Bellettini, L. Capra, M. Monga
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