Simulation based formal verification of cyber-physical systems. - Massimo Nazaria (2018)

Simulation Based Formal Verification of Cyber-Physical Systems. - Massimo Nazaria (CoRR, 2019)

Predicting the Accuracy of Early-est Earthquake Magnitude Estimates with an LSTM Neural Network: A Preliminary Analysis. - Massimo Nazaria (CoRR, 2021)

Multidimensional Framework for Characterizing Verification and Validation of Automated Systems. - Joseba Andoni Agirre; Ahmet Yazici; Katia Di Blasio; Jose Luis de la Vara; Behrooz Sangchoolie; Ugur Yayan; Raul Barbosa; Leire Etxeberria; Massimo Nazaria; Mustafa Karaca (EDCC, 2022)

COMPASTA: Extending TASTE with Formal Design and Verification Functionality. - Alberto Bombardelli; Marco Bozzano; Roberto Cavada; Alessandro Cimatti; Alberto Griggio; Massimo Nazaria; Edoardo Nicolodi; Stefano Tonetta (IMBSA, 2022)

The EU Center of Excellence for Exascale in Solid Earth (ChEESE): Implementation, results, and roadmap for the second phase. - Arnau Folch; Claudia Abril; Michael Afanasiev; Giorgio Amati; Michael Bader; Rosa M. Badia; Hafize B. Bayraktar; Sara Barsotti; Roberto Basili 002; Fabrizio Bernardi; Christian Boehm; Beatriz Brizuela; et al. (Future Gener. Comput. Syst., 2023)