Nicola Vetrini

According to our database, Nicola Vetrini authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Zephyr: An Ideal Platform for Introducing the Software Development Processes of Safety-Critical Embedded Systems.

Roberto Bagnara, Ayoub Bourjilat, Luca Ciucci, Roy Jamil, Nicola Vetrini

Proceedings of the Workshop at Zephyr in Science and Education 2025, 2025

2024

C-Rusted: Safe and Secure Programming in Standard C.

Roberto Bagnara, Abramo Bagnara, Federico Serafini, Nicola Vetrini

Proceedings of the 24th IEEE International Conference on Software Quality, 2024