Giorgio Oronzo Spagnolo

According to our database, Giorgio Oronzo Spagnolo authored at least 31 papers between 2012 and 2023.

Collaborative distances:

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

2023

Digitalisation of Agriculture: Development and Evaluation of a Model-based Requirements Engineering Process.

Chiara Mannari, Giorgio Oronzo Spagnolo, Manlio Bacco, Alessio Malizia

Proceedings of the Joint Proceedings of REFSQ-2023 Workshops, 2023

2022

Smart Railway Infrastructures: Efficiency, Reliability and Safety.

Alessio Bechini, Giulio Masetti, Giorgio Oronzo Spagnolo, Carlo Vallati

ERCIM News, 2022

A Lightweight Software Product Quality Evaluation Method.

Giuseppe Lami, Giorgio Oronzo Spagnolo

Proceedings of the 17th International Conference on Software Technologies, 2022

Technical Debt Management in Automotive Software Industry.

Giuseppe Lami, Giorgio Oronzo Spagnolo

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

2021

Spatial Model Checking for Smart Stations - Research Challenges.

Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2020

30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC.

Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2019

Smart Services for Railways.

Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi

ERCIM News, 2019

QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions.

Alessio Ferrari, Giorgio Oronzo Spagnolo, Antonella Fiscella, Guido Parente

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Towards formal methods diversity in railways: an experience report with seven frameworks.

Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo

Int. J. Softw. Tools Technol. Transf., 2018

A Guidelines framework for understandable BPMN models.

Flavio Corradini, Alessio Ferrari, Fabrizio Fornari, Stefania Gnesi, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo

Data Knowl. Eng., 2018

Improving the quality of business process descriptions of public administrations: Resources and research challenges.

Alessio Ferrari, Hans Friedrich Witschel, Giorgio Oronzo Spagnolo, Stefania Gnesi

Bus. Process. Manag. J., 2018

2017

The KandISTI/UMC Online Open-Access Verification Framework.

Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo

ERCIM News, 2017

Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles.

Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo

ERCIM News, 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

Proceedings of the Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies, 2017

Towards a Dataset for Natural Language Requirements Processing.

Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi

Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017

PURE: A Dataset of Public Requirements Documents.

Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Checking Business Process Modeling Guidelines in Apromore.

Fabrizio Fornari, Stefania Gnesi, Marcello La Rosa, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo

Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

2016

Agile processes and formal methods in railway systems.

Giorgio Oronzo Spagnolo

PhD thesis, 2016

Modelling and Validating an Import/Export Shipping Process.

Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Stefania Gnesi

ERCIM News, 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

Proceedings of the Software Quality. The Future of Systems- and Software Development, 2016

Enhancing Business Process Performance Analysis through Coverage-Based Monitoring.

Antonello Calabrò, Francesca Lonetti, Eda Marchetti, Giorgio Oronzo Spagnolo

Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System.

Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams.

Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi, Felice Dell'Orletta

Proceedings of the 19th International Conference on Software Product Line, 2015

2014

From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions.

Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni

Int. J. Softw. Tools Technol. Transf., 2014

Measuring and Improving the Completeness of Natural Language Requirements.

Alessio Ferrari, Felice Dell'Orletta, Giorgio Oronzo Spagnolo, Stefania Gnesi

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

Pragmatic ambiguity detection in natural language requirements.

Alessio Ferrari, Giuseppe Lipari, Stefania Gnesi, Giorgio Oronzo Spagnolo

Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014

Designing a Deadlock-Free Train Scheduler: A Model Checking Approach.

Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Deadlock Avoidance in Train Scheduling: A Model Checking Approach.

Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013

Mining commonalities and variabilities from natural language documents.

Alessio Ferrari, Giorgio Oronzo Spagnolo, Felice Dell'Orletta

Proceedings of the 17th International Software Product Line Conference, 2013

2012

Model-Based Evaluation of the Availability of a CBTC System.

Alessio Ferrari, Massimiliano Leone Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo

Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

Product Line Engineering Applied to CBTC Systems Development.

Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012