Papers

Molnár Vince; Graics Bence; Vörös András; Tonetta Stefano; Cristoforetti Luca; Kimberly Greg; Dyer Pamela; Giammarco Kristin; Koethe Manfred; Hester John; Smith Jamie; and Grimm Christoph. 2024. Towards the Formal Verification of SysML v2 Models. In Proceedings of the ACM/IEEE 27𝑡ℎ International Conference on Model Driven Engineering Languages and Systems. MODELS Companion '24. 1086–1095.
BibTeX Entry, PDF

Bibliography

Alberto Debiasi; Felicien Ihirwe; Pierluigi Pierini; Silvia Mazzini; and Stefano Tonetta. 2021. Model-based Analysis Support for Dependable Complex Systems in CHESS. In Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - MODELSWARD. INSTICC, SciTePress, 262–269.
Alessandro Cimatti, Michele Dorigatti, and Stefano Tonetta. 2013. OCRA: A Tool for Checking the Refinement of Temporal Contracts. In 28𝑡ℎ IEEE/ACM International Conference on Automated Software Engineering (ASE), Ewen Denney, Tevfik Bultan, and Andreas Zeller (Eds.). IEEE, 702–705.
Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, and Stefano Tonetta. 2014. The nuXmv Symbolic Model Checker. In Computer Aided Verification, Armin Biere and Roderick Bloem (Eds.). Springer International Publishing, Cham, 334–342.
M. Bozzano, A. Cimatti, M. Gario, D. Jones, and C. Mattarei. 2021. Model-based Safety Assessment of a Triple Modular Generator with xSAP. Formal Aspects of Computing 33, 2 (2021), 251–295.