Leonardo Cipriani

According to our database, Leonardo Cipriani authored at least 4 papers between 2009 and 2022.

Collaborative distances:

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

2022

Urban Seismic Network Based on MEMS Sensors: The Experience of the Seismic Observatory in Camerino (Marche, Italy).

Giovanni Vitale, Antonino D'Alessandro, Andrea Di Benedetto, Anna Figlioli, Antonio Costanzo, Stefano Speciale, Quintilio Piattoni, Leonardo Cipriani

Sensors, 2022

2013

Validation of Railway Interlocking Systems by Formal Verification, A Case Study.

Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani

Proceedings of the Software Engineering and Formal Methods, 2013

2012

A GUI Testability Problem: A Case Study in the Railway Signaling Domain.

Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani

Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

2009

A New Modulation for Intrinsically Secure Radio Channel in Wireless Systems.

Lorenzo Mucchi, Luca Simone Ronga, Leonardo Cipriani

Wirel. Pers. Commun., 2009