default search action

combined dblp search
author search
venue search
publication search

ask others

Giorgio Oronzo Spagnolo

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2016
[b1]
- view
  - electronic edition @ sbn.it
  - details & citations
- export record
  dblp key:
  - phd/it/Spagnolo16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/it/Spagnolo16
Giorgio Oronzo Spagnolo:
Agile processes and formal methods in railway systems. University of Florence, Italy, 2016

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/bpmj/FerrariWSG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bpmj/FerrariWSG18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/dke/CorradiniFFGPRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dke/CorradiniFFGPRS18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MazzantiFS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MazzantiFS18
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)
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/FerrariSMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FerrariSMM14
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerdousSBRF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerdousSBRF24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MannariBSMF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MannariBSMF24
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/refsq/MannariSBM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/MannariSBM23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/LamiS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/LamiS22
Giuseppe Lami, Giorgio Oronzo Spagnolo:
Technical Debt Management in Automotive Software Industry. SEAA 2022: 294-297
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/LamiS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/LamiS22
Giuseppe Lami, Giorgio Oronzo Spagnolo:
A Lightweight Software Product Quality Evaluation Method. ICSOFT 2022: 524-531
2021
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BeekCLMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BeekCLMS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BasileBGFGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BasileBGFGS20
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
2019
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FerrariSFP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FerrariSFP19
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
2017
[c15]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/bpm/FornariGRPRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/FornariGRPRS17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariSG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariSG17
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi:
PURE: A Dataset of Public Requirements Documents. RE 2017: 502-505
[c13]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/refsq/FerrariSG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FerrariSG17
Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi:
Towards a Dataset for Natural Language Requirements Processing. REFSQ Workshops 2017
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/swqd/CalabroMSCMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swqd/CalabroMSCMP17
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
2016
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/MazzantiFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/MazzantiFS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/CalabroLMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/CalabroLMS16
Antonello Calabrò, Francesca Lonetti, Eda Marchetti, Giorgio Oronzo Spagnolo:
Enhancing Business Process Performance Analysis through Coverage-Based Monitoring. QUATIC 2016: 35-43
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/swqd/SpagnoloMCSQFG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swqd/SpagnoloMCSQFG16
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
2015
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/FerrariSGD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/FerrariSGD15
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
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/MazzantiSLF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/MazzantiSLF14
Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari:
Deadlock Avoidance in Train Scheduling: A Model Checking Approach. FMICS 2014: 109-123
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MazzantiSF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MazzantiSF14
Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari:
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach. NASA Formal Methods 2014: 264-269
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FerrariLGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FerrariLGS14
Alessio Ferrari, Giuseppe Lipari, Stefania Gnesi, Giorgio Oronzo Spagnolo:
Pragmatic ambiguity detection in natural language requirements. AIRE 2014: 1-8
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/FerraridSG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FerraridSG14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/FerrariSd13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/FerrariSd13
Alessio Ferrari, Giorgio Oronzo Spagnolo, Felice Dell'Orletta:
Mining commonalities and variabilities from natural language documents. SPLC 2013: 116-120
2012
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FerrariSMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FerrariSMM12
Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni:
Product Line Engineering Applied to CBTC Systems Development. ISoLA (2) 2012: 216-230
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/FerrariICS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/FerrariICS12
Alessio Ferrari, Massimiliano Leone Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo:
Model-Based Evaluation of the Availability of a CBTC System. SERENE 2012: 165-179

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i5]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/BechiniMSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/BechiniMSV22
Alessio Bechini, Giulio Masetti, Giorgio Oronzo Spagnolo, Carlo Vallati:
Smart Railway Infrastructures: Efficiency, Reliability and Safety. ERCIM News 2022(130) (2022)
2019
[i4]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/GiandomenicoGSF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/GiandomenicoGSF19
Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi:
Smart Services for Railways. ERCIM News 2019(117) (2019)
2017
[i3]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/MazzantiFS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/MazzantiFS17
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]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/MazzantiFS17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/MazzantiFS17a
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo:
The KandISTI/UMC Online Open-Access Verification Framework. ERCIM News 2017(109) (2017)
2016
[i1]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/SpagnoloMCG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/SpagnoloMCG16
Giorgio Oronzo Spagnolo, Eda Marchetti, Alessandro Coco, Stefania Gnesi:
Modelling and Validating an Import/Export Shipping Process. ERCIM News 2016(105) (2016)

Coauthor Index

see FAQ

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.