Probabilistic tsunami hazard analysis: high performance computing for massive scale inundation simulations SJ Gibbons, S Lorito, J Macías, F Løvholt, J Selva, M Volpe, ... Frontiers in Earth Science 8, 591549, 2020 | 36 | 2020 |
The EU Center of Excellence for Exascale in Solid Earth (ChEESE): Implementation, results, and roadmap for the second phase A Folch, C Abril, M Afanasiev, G Amati, M Bader, RM Badia, HB Bayraktar, ... Future Generation Computer Systems 146, 47-61, 2023 | 7 | 2023 |
COMPASTA: extending TASTE with formal design and verification functionality A Bombardelli, M Bozzano, R Cavada, A Cimatti, A Griggio, M Nazaria, ... International Symposium on Model-Based Safety and Assessment, 21-27, 2022 | 4 | 2022 |
COMPASTA: Integrating COMPASS Functionality into TASTE A Bombardelli, A Bonizzi, M Bozzano, R Cavada, A Cimatti, A Griggio, ... ACM SIGAda Ada Letters 43 (1), 54-57, 2023 | 1 | 2023 |
Multidimensional framework for characterizing verification and validation of automated systems JA Agirre, A Yazici, K Di Blasio, JL De la Vara, B Sangchoolie, U Yayan, ... 2022 18th European Dependable Computing Conference (EDCC), 41-48, 2022 | 1 | 2022 |
COMPASTA: Integration of the COMPASS and TASTE toolsets M Bozzano, R Cavada, A Cimatti, A Griggio, M Nazaria, S Tonetta MBSE2021, 2021 | 1 | 2021 |
Predicting the Accuracy of Early-est Earthquake Magnitude Estimates with an LSTM Neural Network: A Preliminary Analysis M Nazaria arXiv preprint arXiv:2104.05712, 2021 | | 2021 |
Probabilistic Tsunami Hazard Analysis: High Performance Computing for Massive Scale Monte Carlo type Inundation Simulations SJ Gibbons, MJ Castro Díaz, S Glimsdal, C Bonnevie Harbitz, ... EGU General Assembly Conference Abstracts, 8041, 2020 | | 2020 |
Simulation Based Formal Verification of Cyber-Physical Systems M Nazaria Sapienza University of Rome, 2018 | | 2018 |
The COMPASTA Approach for MBSE A Bombardelli, M Bozzano, R Cavada, A Cimatti, A Griggio, M Nazaria, ... | | |