Papers

• A. Ferrari, G. O. Spagnolo, G. Martelli, S. Menabeni, “CBTC Vendors Evaluation Techical Report” Technical report, 2012
• A. Ferrari, G. O. Spagnolo, G. Martelli, S. Menabeni, “Product Line Engineering Applied to CBTC Systems Development”, 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2012
• A. Ferrari, M. L. Itria, S. Chiaradonna, G. O. Spagnolo, “Model-based Evaluation of the Availability of a CBTC System” Software Engineering for Resilient Systems – 4th International Workshop, SERENE 2012
• A. Ferrari, G. O. Spagnolo, F. Dell’Orletta “Mining commonalities and variabilities from natural language documents” ACM Proceedings of 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan
• F. Mazzanti, G. O. Spagnolo and A. Ferrari “Design of a Deadlock-free Train Scheduler: a Model Checking Approach” LNCS – NASA Formal Methods 2014 – Springer
• A. Ferrari, dell’Orletta, F., Spagnolo, G. O., Gnesi, S. “Measuring and Improving the Completeness of Natural Language Requirements” Requirements Engineering: Foundation for Software Quality. Springer International Publishing, 2014. 23-38.
• Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa and Alessio Ferrari “Deadlock Avoidance in Train Scheduling: a Model Checking Approach“. 19th International Workshop on  Formal Methods for Industrial Critical Systems, LNCS 8718, pp. 109–123, 2014

Journal

• A. Ferrari, G.O. Spagnolo, G. Martelli, S. Menabeni “From Commercial Documents to System Requirements: an Approach for the Engineering of Novel CBTC Solutions” to International Journal on Software Tools for Technology Transfer special issue on “Formal Methods for Railway Control Systems” (FMRCS), Springer 2014.