Alessandro Mariotti

According to our database, Alessandro Mariotti authored at least 4 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

Proceedings of the Bioinformatics and Biomedical Engineering, 2022

2020

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

Proceedings of the Bioinformatics and Biomedical Engineering, 2020

2014

The nuXmv Symbolic Model Checker.

Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2009

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

Proceedings of the ASE 2009, 2009