Sfoglia per Autore
Symbolic state space exploration of RT systems in the cloud
2012 C. Bellettini, M. Camilli, L. Capra, M. Monga
Petri nets state space analysis in the cloud
2012 M. Camilli
MaRDiGraS : simplified building of reachability graphs on large clusters
2013 C. Bellettini, M. Camilli, L. Capra, M. Monga
Formal verification problems in a big data world : towards a mighty synergy
2014 M. Camilli
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
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
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
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
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
Online Model-Based Testing under Uncertainty
2018 M. Camilli, C. Bellettini, A. Gargantini, P. Scandurra
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
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile