Franco Mazzanti

22 papers and 129 indexed citations i.

About

Franco Mazzanti has authored 22 papers that have received a total of 129 indexed citations. This includes 17 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 13 papers in Software. The topics of these papers are Formal Methods in Verification (15 papers), Advanced Software Engineering Methodologies (14 papers) and Model-Driven Software Engineering Techniques (10 papers). Franco Mazzanti is often cited by papers focused on Formal Methods in Verification (15 papers), Advanced Software Engineering Methodologies (14 papers) and Model-Driven Software Engineering Techniques (10 papers) and collaborates with scholars based in Italy and France. Franco Mazzanti's co-authors include Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Alessio Ferrari and Ferruccio Damiani and has published in prestigious journals such as IEEE Transactions on Software Engineering, Empirical Software Engineering and Software Practice and Experience

In The Last Decade

Rankless by CCL
2025