Publications

Publications for Alessandro Cimatti

2019
DownloadLink
[bibtex]
Harold Bruintjes. Model-Based Reliability Analysis of Aerospace Systems. Phd Thesis at RWTH Aachen University, 2019.
DOI
[bibtex]
Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. COMPASS 3.0 (Tool paper). TACAS 2019, Volume 11427 of LNCS, pages 379–385, Springer, 2019.
Show all