CAMILLI, MATTEO

CAMILLI, MATTEO  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 22 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A Formal Framework for Specifying and Verifying Microservices Based Process Flows 2018 M. CamilliC. BellettiniL. CapraM. Monga Book Part (author) -
A high-level petri net-based formal model of distributed self-adaptive systems 2018 Matteo CamilliCarlo BellettiniLorenzo Capra Book Part (author) -
A Symmetric Nets Emulator for Adaptive P/T Nets 2018 Capra, LorenzoCamilli, Matteo Book Part (author) -
Coping with the State Explosion Problem in Formal Methods: Advanced Abstraction Techniques and Big Data Approaches. 2015 M. Camilli Doctoral Thesis -
Coverability analysis of time basic petri nets with non-urgent behavior 2016 CAMILLI, MATTEOC. BellettiniL. CapraM. Monga Book Part (author) -
CTL model checking in the cloud using MapReduce 2015 M. CamilliC. BellettiniL. CapraM. Monga Book Part (author) -
Design-Time to Run-Time Verification of Microservices Based Applications 2018 M. CamilliC. BellettiniL. Capra Book Part (author) -
Distributed CTL model checking using MapReduce : theory and practice 2016 C. BellettiniM. CamilliL. CapraM. Monga Article (author) -
Emulating Self-adaptive Stochastic Petri Nets 2020 Capra L.Camilli M. Book Part (author) -
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets 2017 M. CamilliP. ScandurraC. Bellettini + Book Part (author) -
Formal specification and verification of decentralized self-adaptive systems using symmetric nets 2021 Camilli, MCapra, L Article (author) -
Formal verification problems in a big data world : towards a mighty synergy 2014 M. Camilli Book Part (author) -
Formalizing distributed self-adaptive systems using high-level petri nets 2019 Capra, LCamilli, M Book Part (author) -
MaRDiGraS : simplified building of reachability graphs on large clusters 2013 C. BellettiniM. CamilliL. CapraM. Monga Book Part (author) -
Online Model-Based Testing under Uncertainty 2018 Camilli, MatteoBellettini, CarloScandurra, Patrizia + Book Part (author) -
Petri nets state space analysis in the cloud 2012 M. Camilli Book Part (author) -
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems 2019 Camilli, MatteoCapra, LorenzoBellettini, Carlo Book Part (author) -
Specifying and verifying real-time self-adaptive systems 2015 M. CamilliP. Scandurra + Book Part (author) -
Symbolic state space exploration of RT systems in the cloud 2012 C. BellettiniM. CamilliL. CapraM. Monga Book Part (author) -
Towards Evolving Petri Nets: a Symmetric Nets-based Framework 2018 Capra, LorenzoCamilli, Matteo Book Part (author) -