Giorgio Oronzo Spagnolo

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 21

Top Topics

Business Process

Temporal Properties

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Chiara Mannari, Giorgio Oronzo Spagnolo, Manlio Bacco, Alessio Malizia
Digitalisation of Agriculture: Development and Evaluation of a Model-based Requirements Engineering Process. REFSQ Workshops (2023)
Giuseppe Lami, Giorgio Oronzo Spagnolo
Technical Debt Management in Automotive Software Industry. SEAA (2022)
Alessio Bechini, Giulio Masetti, Giorgio Oronzo Spagnolo, Carlo Vallati
Smart Railway Infrastructures: Efficiency, Reliability and Safety. ERCIM News 2022 (130) (2022)
Giuseppe Lami, Giorgio Oronzo Spagnolo
A Lightweight Software Product Quality Evaluation Method. ICSOFT (2022)
Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo
Spatial Model Checking for Smart Stations - Research Challenges. FMICS (2021)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) (2020)
Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi
Smart Services for Railways. ERCIM News 2019 (117) (2019)
Alessio Ferrari, Giorgio Oronzo Spagnolo, Antonella Fiscella, Guido Parente
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions. From Software Engineering to Formal Methods and Tools, and Back (2019)
Alessio Ferrari, Hans Friedrich Witschel, Giorgio Oronzo Spagnolo, Stefania Gnesi
Improving the quality of business process descriptions of public administrations: Resources and research challenges. Bus. Process. Manag. J. 24 (1) (2018)
Flavio Corradini, Alessio Ferrari, Fabrizio Fornari, Stefania Gnesi, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo
A Guidelines framework for understandable BPMN models. Data Knowl. Eng. 113 (2018)
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
Towards formal methods diversity in railways: an experience report with seven frameworks. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Antonello Calabrò, Eda Marchetti, Giorgio Oronzo Spagnolo, Pierangela Cempini, Luca Mancini, Serena Paoletti
Towards the Automation of the Travel Management Procedure of an Italian Public Administration. SWQD (2017)
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi
Towards a Dataset for Natural Language Requirements Processing. REFSQ Workshops (2017)
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
The KandISTI/UMC Online Open-Access Verification Framework. ERCIM News 2017 (109) (2017)
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi
PURE: A Dataset of Public Requirements Documents. RE (2017)
Fabrizio Fornari, Stefania Gnesi, Marcello La Rosa, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo
Checking Business Process Modeling Guidelines in Apromore. BPM (Demos) (2017)
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles. ERCIM News 2017 (109) (2017)
Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Stefania Gnesi
Modelling and Validating an Import/Export Shipping Process. ERCIM News 2016 (105) (2016)
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo
Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. ISoLA (2) (2016)
Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Paolo Scarpellini, Antonella Querci, Fabrizio Fabbrini, Stefania Gnesi
An Experience on Applying Process Mining Techniques to the Tuscan Port Community System. SWQD (2016)
Antonello Calabrò, Francesca Lonetti, Eda Marchetti, Giorgio Oronzo Spagnolo
Enhancing Business Process Performance Analysis through Coverage-Based Monitoring. QUATIC (2016)
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi, Felice Dell'Orletta
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams. SPLC (2015)
Alessio Ferrari, Felice Dell'Orletta, Giorgio Oronzo Spagnolo, Stefania Gnesi
Measuring and Improving the Completeness of Natural Language Requirements. REFSQ (2014)
Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari
Deadlock Avoidance in Train Scheduling: A Model Checking Approach. FMICS (2014)
Alessio Ferrari, Giuseppe Lipari, Stefania Gnesi, Giorgio Oronzo Spagnolo
Pragmatic ambiguity detection in natural language requirements. AIRE (2014)
Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach. NASA Formal Methods (2014)
Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Alessio Ferrari, Giorgio Oronzo Spagnolo, Felice Dell'Orletta
Mining commonalities and variabilities from natural language documents. SPLC (2013)
Alessio Ferrari, Massimiliano Leone Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo
Model-Based Evaluation of the Availability of a CBTC System. SERENE (2012)
Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni
Product Line Engineering Applied to CBTC Systems Development. ISoLA (2) (2012)