IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

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