Maria Rosaria Cefaloni

According to our database, Maria Rosaria Cefaloni authored at least 2 papers in 2025.

Collaborative distances:

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

2025

An Experience Report on Leveraging LLMs for GUI Generation: Automating Coding to Prioritise Creativity.

Giovanna Broccia, Alessandro Borselli, Maria Rosaria Cefaloni, Franco Delcorno, Alessio Ferrari

Proceedings of the Joint Proceedings of REFSQ 2025 Workshops, 2025

Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles.

Laura Carnevali, Alessandro Fantechi, Gloria Gori, Denis Vreshtazi, Alessandro Borselli, Maria Rosaria Cefaloni, Lucio Rota

Proceedings of the Formal Methods for Industrial Critical Systems, 2025