Cristian Mattarei
Orcid: 0000-0001-5050-896X
According to our database1,
Cristian Mattarei
authored at least 15 papers
between 2009 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
0
1
2
3
4
1
1
1
1
2
2
2
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Formal Aspects Comput., 2021
2019
Formal Aspects Comput., 2019
2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
2016
Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications.
PhD thesis, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Sci. Comput. Program., 2015
Proceedings of the Formal Methods in Computer-Aided Design, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Proceedings of the Hardware and Software: Verification and Testing, 2013
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
2009
Proceedings of the ASE 2009, 2009