Matteo Camilli

According to our database1, Matteo Camilli authored at least 31 papers between 2012 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Towards Risk Modeling for Collaborative AI.
CoRR, 2021

Risk-Driven Compliance Assurance for Collaborative AI Systems: A Vision Paper.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021

2020
Model-based hypothesis testing of uncertain software systems.
Softw. Test. Verification Reliab., 2020

Model-Based Testing Under Parametric Variability of Uncertain Beliefs.
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Domain Metric Driven Decomposition of Data-Intensive Applications.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Continuous Formal Verification of Microservice-Based Process Flows.
Proceedings of the Software Architecture - 14th European Conference, 2020

2019
Formalizing distributed self-adaptive systems using high-level petri nets.
Proceedings of the 2019 Summer Simulation Conference, 2019

HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Emulating Self-adaptive Stochastic Petri Nets.
Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

PNemu: An Extensible Modeling Library for Adaptable Distributed Systems.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018
Zone-based formal specification and timing analysis of real-time self-adaptive systems.
Sci. Comput. Program., 2018

A Symmetric Nets Emulator for Adaptive P/T Nets.
Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

Online Model-Based Testing under Uncertainty.
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

A high-level petri net-based formal model of distributed self-adaptive systems.
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

2017
Towards Inverse Uncertainty Quantification in Software Development (Short Paper).
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

A Formal Framework for Specifying and Verifying Microservices Based Process Flows.
Proceedings of the Software Engineering and Formal Methods, 2017

Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper).
Proceedings of the Software Engineering and Formal Methods, 2017

Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016
Distributed CTL model checking using MapReduce: theory and practice.
Concurr. Comput. Pract. Exp., 2016

Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior.
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

2015
Specifying and verifying real-time self-adaptive systems.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014
Constructing Coverability Graphs for Time Basic Petri Nets.
CoRR, 2014

Verification of Reachability Problems for Time Basic Petri Nets.
CoRR, 2014

CTL Model Checking in the Cloud Using MapReduce.
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

Formal verification problems in a big data world: towards a mighty synergy.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Distributed CTL Model Checking in the Cloud.
CoRR, 2013

MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters.
Proceedings of the Reachability Problems - 7th International Workshop, 2013

2012
State Space Exploration of RT Systems in the Cloud
CoRR, 2012

Preserving Co-Location Privacy in Geo-Social Networks
CoRR, 2012

Symbolic State Space Exploration of RT Systems in the Cloud.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Petri nets state space analysis in the cloud.
Proceedings of the 34th International Conference on Software Engineering, 2012


  Loading...