Daniele Trentini

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 4

Top Topics

Provably Correct

Safety Critical

Top Venues

Publications

Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi
The 4SECURail Case Study on Rigorous Standard Interface Specifications. FMICS (2023)
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) (2020)
Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail (2019)
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. IFM (2018)