Matteo Camilli
TitoloCitata daAnno
MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters
C Bellettini, M Camilli, L Capra, M Monga
International workshop on reachability problems, 83-95, 2013
182013
Specifying and verifying real-time self-adaptive systems
M Camilli, A Gargantini, P Scandurra
2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015
172015
Distributed CTL model checking in the cloud
C Bellettini, M Camilli, L Capra, M Monga
arXiv preprint arXiv:1310.6670, 2013
142013
Formal verification problems in a big data world: towards a mighty synergy
M Camilli
Companion Proceedings of the 36th International Conference on Software …, 2014
132014
Petri nets state space analysis in the cloud
M Camilli
Proceedings of the 34th International Conference on Software Engineering …, 2012
122012
Symbolic state space exploration of RT systems in the cloud
C Bellettini, M Camilli, L Capra, M Monga
2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012
112012
CTL model checking in the cloud using MapReduce
M Camilli, C Bellettini, L Capra, M Monga
2014 16th International Symposium on Symbolic and Numeric Algorithms for …, 2014
82014
A formal framework for specifying and verifying microservices based process flows
M Camilli, C Bellettini, L Capra, M Monga
International Conference on Software Engineering and Formal Methods, 187-202, 2017
62017
Preserving co-location privacy in geo-social networks
M Camilli
arXiv preprint arXiv:1203.3946, 2012
62012
Zone-based formal specification and timing analysis of real-time self-adaptive systems
M Camilli, A Gargantini, P Scandurra
Science of Computer Programming 159, 28-57, 2018
52018
Event-based runtime verification of temporal properties using time basic Petri nets
M Camilli, A Gargantini, P Scandurra, C Bellettini
NASA Formal Methods Symposium, 115-130, 2017
42017
Distributed CTL model checking using MapReduce: theory and practice
C Bellettini, M Camilli, L Capra, M Monga
Concurrency and Computation: Practice and Experience 28 (11), 3025-3041, 2016
42016
Towards inverse uncertainty quantification in software development (short paper)
M Camilli, A Gargantini, P Scandurra, C Bellettini
International Conference on Software Engineering and Formal Methods, 375-381, 2017
22017
Coverability analysis of time basic Petri nets with non-urgent behavior
M Camilli, C Bellettini, L Capra, M Monga
2016 18th International Symposium on Symbolic and Numeric Algorithms for …, 2016
22016
Coping with the State Explosion Problem in Formal Methods: Advanced Abstraction Techniques and Big Data Approaches.
M Camilli
Università degli Studi di Milano, 2015
22015
Verification of Reachability Problems for Time Basic Petri Nets
M Camilli
arXiv preprint arXiv:1409.2778, 2014
22014
State space exploration of RT systems in the cloud
C Bellettini, M Camilli, L Capra, M Monga
arXiv preprint arXiv:1203.6806, 2012
22012
A high-level petri net-based formal model of distributed self-adaptive systems
M Camilli, C Bellettini, L Capra
Proceedings of the 12th European Conference on Software Architecture …, 2018
12018
Towards Evolving Petri Nets: a Symmetric Nets-based Framework
L Capra, M Camilli
IFAC-PapersOnLine 51 (7), 480-485, 2018
12018
Design-time to run-time verification of microservices based applications
M Camilli, C Bellettini, L Capra
International Conference on Software Engineering and Formal Methods, 168-173, 2017
12017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20