Matteo Camilli
According to our database^{1},
Matteo Camilli
authored at least 31 papers
between 2012 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2021
CoRR, 2021
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021
2020
Softw. Test. Verification Reliab., 2020
Proceedings of the Software Engineering and Formal Methods  18th International Conference, 2020
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
Proceedings of the Software Architecture  14th European Conference, 2020
2019
Proceedings of the 2019 Summer Simulation Conference, 2019
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain ServiceBased Web Applications.
Proceedings of the Integrated Formal Methods  15th International Conference, 2019
Proceedings of the Computer Performance Engineering  16th European Workshop, 2019
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2018
Zonebased formal specification and timing analysis of realtime selfadaptive systems.
Sci. Comput. Program., 2018
Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018
2017
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
DesignTime to RunTime Verification of Microservices Based Applications  (Short Paper).
Proceedings of the Software Engineering and Formal Methods, 2017
EventBased Runtime Verification of Temporal Properties Using Time Basic Petri Nets.
Proceedings of the NASA Formal Methods  9th International Symposium, 2017
2016
Concurr. Comput. Pract. Exp., 2016
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016
2015
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015
2014
CoRR, 2014
CoRR, 2014
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014
Proceedings of the 36th International Conference on Software Engineering, 2014
2013
CoRR, 2013
Proceedings of the Reachability Problems  7th International Workshop, 2013
2012
CoRR, 2012
CoRR, 2012
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012