default search action
Giorgio Oronzo Spagnolo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c23]Raihana Ferdous, Giorgio Oronzo Spagnolo, Alessandro Borselli, Lucio Rota, Alessio Ferrari:
Identifying Maintenance Needs with Machine Learning: a Case Study in Railways. RE Workshops 2024: 22-25 - [c22]Chiara Mannari, Manlio Bacco, Giorgio Oronzo Spagnolo, Alessio Malizia, Alessio Ferrari:
Towards a Method for Modelling Socio-Technical Process Transformation in Digital Agriculture. RE Workshops 2024: 306-315 - 2023
- [c21]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 - 2022
- [c20]Giuseppe Lami, Giorgio Oronzo Spagnolo:
Technical Debt Management in Automotive Software Industry. SEAA 2022: 294-297 - [c19]Giuseppe Lami, Giorgio Oronzo Spagnolo:
A Lightweight Software Product Quality Evaluation Method. ICSOFT 2022: 524-531 - [i5]Alessio Bechini, Giulio Masetti, Giorgio Oronzo Spagnolo, Carlo Vallati:
Smart Railway Infrastructures: Efficiency, Reliability and Safety. ERCIM News 2022(130) (2022) - 2021
- [c18]Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo:
Spatial Model Checking for Smart Stations - Research Challenges. FMICS 2021: 39-47 - 2020
- [c17]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: 368-384
2010 – 2019
- 2019
- [c16]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: 267-281 - [i4]Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi:
Smart Services for Railways. ERCIM News 2019(117) (2019) - 2018
- [j4]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): 49-66 (2018) - [j3]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: 129-154 (2018) - [j2]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): 263-288 (2018) - 2017
- [c15]Fabrizio Fornari, Stefania Gnesi, Marcello La Rosa, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo:
Checking Business Process Modeling Guidelines in Apromore. BPM (Demos) 2017 - [c14]Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi:
PURE: A Dataset of Public Requirements Documents. RE 2017: 502-505 - [c13]Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi:
Towards a Dataset for Natural Language Requirements Processing. REFSQ Workshops 2017 - [c12]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: 175-187 - [i3]Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo:
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles. ERCIM News 2017(109) (2017) - [i2]Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo:
The KandISTI/UMC Online Open-Access Verification Framework. ERCIM News 2017(109) (2017) - 2016
- [b1]Giorgio Oronzo Spagnolo:
Agile processes and formal methods in railway systems. University of Florence, Italy, 2016 - [c11]Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo:
Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. ISoLA (2) 2016: 297-314 - [c10]Antonello Calabrò, Francesca Lonetti, Eda Marchetti, Giorgio Oronzo Spagnolo:
Enhancing Business Process Performance Analysis through Coverage-Based Monitoring. QUATIC 2016: 35-43 - [c9]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: 49-60 - [i1]Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Stefania Gnesi:
Modelling and Validating an Import/Export Shipping Process. ERCIM News 2016(105) (2016) - 2015
- [c8]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: 402-410 - 2014
- [j1]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): 647-667 (2014) - [c7]Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari:
Deadlock Avoidance in Train Scheduling: A Model Checking Approach. FMICS 2014: 109-123 - [c6]Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari:
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach. NASA Formal Methods 2014: 264-269 - [c5]Alessio Ferrari, Giuseppe Lipari, Stefania Gnesi, Giorgio Oronzo Spagnolo:
Pragmatic ambiguity detection in natural language requirements. AIRE 2014: 1-8 - [c4]Alessio Ferrari, Felice Dell'Orletta, Giorgio Oronzo Spagnolo, Stefania Gnesi:
Measuring and Improving the Completeness of Natural Language Requirements. REFSQ 2014: 23-38 - 2013
- [c3]Alessio Ferrari, Giorgio Oronzo Spagnolo, Felice Dell'Orletta:
Mining commonalities and variabilities from natural language documents. SPLC 2013: 116-120 - 2012
- [c2]Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni:
Product Line Engineering Applied to CBTC Systems Development. ISoLA (2) 2012: 216-230 - [c1]Alessio Ferrari, Massimiliano Leone Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo:
Model-Based Evaluation of the Availability of a CBTC System. SERENE 2012: 165-179
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-05 23:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint