Supporting Requirements Validation: The EuRailCheck Tool. - Roberto Cavada; Alessandro Cimatti; Alessandro Mariotti; Cristian Mattarei; Andrea Micheli; Sergio Mover; Marco Pensallorto; Marco Roveri; Angelo Susi; Stefano Tonetta (ASE, 2009)

The nuXmv Symbolic Model Checker. - Roberto Cavada; Alessandro Cimatti; Michele Dorigatti; Alberto Griggio; Alessandro Mariotti; Andrea Micheli; Sergio Mover; Marco Roveri; Stefano Tonetta (CAV, 2014)

Effects of the Distribution in Space of the Velocity-Inlet Condition in Hemodynamic Simulations of the Thoracic Aorta. - Maria Nicole Antonuccio; Alessandro Mariotti; Simona Celi; Maria-Vittoria Salvetti (IWBBIO, 2020)

Integrating in-vivo Data in CFD Simulations and in in-vitro Experiments of the Hemodynamic in Healthy and Pathologic Thoracic Aorta. - Alessandro Mariotti; Emanuele Gasparotti; Emanuele Vignali; Pietro Marchese; Simona Celi; Maria-Vittoria Salvetti (IWBBIO (2), 2022)

Predicting Atherosclerotic Plaque Onset and Growth in Carotid Arteries: A CFD-Driven Approach. - Jaskaran Singh; Katia Capellini; Alessandro Mariotti; Maria-Vittoria Salvetti; Simona Celi (IWBBIO (1), 2024)