Product Line Engineering Applied to CBTC Systems Development. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Giacomo Martelli; Simone Menabeni (ISoLA (2), 2012)

Model-Based Evaluation of the Availability of a CBTC System. - Alessio Ferrari 001; Massimiliano Leone Itria; Silvano Chiaradonna; Giorgio Oronzo Spagnolo (SERENE, 2012)

Mining commonalities and variabilities from natural language documents. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Felice Dell'Orletta (SPLC, 2013)

Deadlock Avoidance in Train Scheduling: A Model Checking Approach. - Franco Mazzanti; Giorgio Oronzo Spagnolo; Simone Della Longa; Alessio Ferrari 001 (FMICS, 2014)

Designing a Deadlock-Free Train Scheduler: A Model Checking Approach. - Franco Mazzanti; Giorgio Oronzo Spagnolo; Alessio Ferrari 001 (NASA Formal Methods, 2014)

Pragmatic ambiguity detection in natural language requirements. - Alessio Ferrari 001; Giuseppe Lipari; Stefania Gnesi; Giorgio Oronzo Spagnolo (AIRE, 2014)

Measuring and Improving the Completeness of Natural Language Requirements. - Alessio Ferrari 001; Felice Dell'Orletta; Giorgio Oronzo Spagnolo; Stefania Gnesi (REFSQ, 2014)

From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Giacomo Martelli; Simone Menabeni (Int. J. Softw. Tools Technol. Transf., 2014)

CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Stefania Gnesi; Felice Dell'Orletta (SPLC, 2015)

Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. - Franco Mazzanti; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (ISoLA (2), 2016)

Enhancing Business Process Performance Analysis through Coverage-Based Monitoring. - Antonello Calabrò; Francesca Lonetti; Eda Marchetti; Giorgio Oronzo Spagnolo (QUATIC, 2016)

An Experience on Applying Process Mining Techniques to the Tuscan Port Community System. - Giorgio Oronzo Spagnolo; Eda Marchetti; Alessandro Coco; Paolo Scarpellini; Antonella Querci; Fabrizio Fabbrini; Stefania Gnesi (SWQD, 2016)

Modelling and Validating an Import/Export Shipping Process. - Giorgio Oronzo Spagnolo; Eda Marchetti; Alessandro Coco; Stefania Gnesi (ERCIM News, 2016)

Agile processes and formal methods in railway systems. - Giorgio Oronzo Spagnolo (2016)

Checking Business Process Modeling Guidelines in Apromore. - Fabrizio Fornari 001; Stefania Gnesi; Marcello La Rosa; Andrea Polini; Barbara Re 001; Giorgio Oronzo Spagnolo (BPM (Demos), 2017)

PURE: A Dataset of Public Requirements Documents. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Stefania Gnesi (RE, 2017)

Towards a Dataset for Natural Language Requirements Processing. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Stefania Gnesi (REFSQ Workshops, 2017)

Towards the Automation of the Travel Management Procedure of an Italian Public Administration. - Antonello Calabrò; Eda Marchetti; Giorgio Oronzo Spagnolo; Pierangela Cempini; Luca Mancini; Serena Paoletti (SWQD, 2017)

Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles. - Franco Mazzanti; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (ERCIM News, 2017)

The KandISTI/UMC Online Open-Access Verification Framework. - Franco Mazzanti; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (ERCIM News, 2017)

Improving the quality of business process descriptions of public administrations: Resources and research challenges. - Alessio Ferrari 001; Hans Friedrich Witschel; Giorgio Oronzo Spagnolo; Stefania Gnesi (Bus. Process. Manag. J., 2018)

A Guidelines framework for understandable BPMN models. - Flavio Corradini; Alessio Ferrari 001; Fabrizio Fornari 001; Stefania Gnesi; Andrea Polini; Barbara Re 001; Giorgio Oronzo Spagnolo (Data Knowl. Eng., 2018)

Towards formal methods diversity in railways: an experience report with seven frameworks. - Franco Mazzanti; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (Int. J. Softw. Tools Technol. Transf., 2018)

QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions. - Alessio Ferrari 001; Giorgio Oronzo Spagnolo; Antonella Fiscella; Guido Parente (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Smart Services for Railways. - Felicita Di Giandomenico; Stefania Gnesi; Giorgio Oronzo Spagnolo; Alessandro Fantechi (ERCIM News, 2019)

30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. - Davide Basile 001; Maurice H. ter Beek; Felicita Di Giandomenico; Alessandro Fantechi; Stefania Gnesi; Giorgio Oronzo Spagnolo (ISoLA (1), 2020)

Spatial Model Checking for Smart Stations - Research Challenges. - Maurice H. ter Beek; Vincenzo Ciancia; Diego Latella; Mieke Massink; Giorgio Oronzo Spagnolo (FMICS, 2021)

Technical Debt Management in Automotive Software Industry. - Giuseppe Lami; Giorgio Oronzo Spagnolo (SEAA, 2022)

A Lightweight Software Product Quality Evaluation Method. - Giuseppe Lami; Giorgio Oronzo Spagnolo (ICSOFT, 2022)

Smart Railway Infrastructures: Efficiency, Reliability and Safety. - Alessio Bechini; Giulio Masetti; Giorgio Oronzo Spagnolo; Carlo Vallati (ERCIM News, 2022)

Digitalisation of Agriculture: Development and Evaluation of a Model-based Requirements Engineering Process. - Chiara Mannari; Giorgio Oronzo Spagnolo; Manlio Bacco; Alessio Malizia (REFSQ Workshops, 2023)

Identifying Maintenance Needs with Machine Learning: a Case Study in Railways. - Raihana Ferdous; Giorgio Oronzo Spagnolo; Alessandro Borselli; Lucio Rota; Alessio Ferrari 001 (RE Workshops, 2024)

Towards a Method for Modelling Socio-Technical Process Transformation in Digital Agriculture. - Chiara Mannari; Manlio Bacco; Giorgio Oronzo Spagnolo; Alessio Malizia; Alessio Ferrari 001 (RE Workshops, 2024)

Data Mining in Railway Diagnostic Data for Predictive Maintenance. - Giulia Millitarì; Alessio Ferrari 001; Giorgio Oronzo Spagnolo (ERCIM News, 2025)