Michele Cipriani

According to our database, Michele Cipriani authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata.

Daniele Nicoletti, Samuele Germiniani, Alessandro Aldegheri, Michele Cipriani, Davide Venturi, Tommaso Vilotto, Graziano Pravadelli

Proceedings of the 26th IEEE Latin American Test Symposium, 2025