Daniele Trentini

According to our database, Daniele Trentini authored at least 4 papers between 2018 and 2023.

Collaborative distances:

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

2023

The 4SECURail Case Study on Rigorous Standard Interface Specifications.

Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2020

Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers.

Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019

Survey on Formal Methods and Tools in Railways: The ASTRail Approach.

Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

2018

On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders.

Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018