Giorgio Oronzo Spagnolo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
8
Active years
2012–2026
Best venue rank
B
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | REFSQ | Fairness as a First-Class Requirement: A Fairness Hazard Analysis Approach to Socio-Technical Processes. | Giovanna Broccia, Lucio Lelii, Roberto Cirillo, Dario Di Nucci, Samuel Fricker, Fabio Palomba, Giorgio Oronzo Spagnolo, Alessio Ferrari |
| 2024 | RE | Identifying Maintenance Needs with Machine Learning: a Case Study in Railways. | Raihana Ferdous, Giorgio Oronzo Spagnolo, Alessandro Borselli, Lucio Rota, Alessio Ferrari |
| 2024 | RE | Towards a Method for Modelling Socio-Technical Process Transformation in Digital Agriculture. | Chiara Mannari, Manlio Bacco, Giorgio Oronzo Spagnolo, Alessio Malizia, Alessio Ferrari |
| 2023 | REFSQ | Digitalisation of Agriculture: Development and Evaluation of a Model-based Requirements Engineering Process. | Chiara Mannari, Giorgio Oronzo Spagnolo, Manlio Bacco, Alessio Malizia |
| 2022 | ICSoft | A Lightweight Software Product Quality Evaluation Method. | Giuseppe Lami, Giorgio Oronzo Spagnolo |
| 2021 | FMICS | Spatial Model Checking for Smart Stations - Research Challenges. | Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo |
| 2020 | ISoLA | 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Mbius and Uppaal SMC. | Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo |
| 2017 | BPM | Checking Business Process Modeling Guidelines in Apromore. | Fabrizio Fornari, Stefania Gnesi, Marcello La Rosa, Andrea Polini, Barbara Re, Giorgio Oronzo Spagnolo |
| 2017 | RE | PURE: A Dataset of Public Requirements Documents. | Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi |
| 2017 | REFSQ | Towards a Dataset for Natural Language Requirements Processing. | Alessio Ferrari, Giorgio Oronzo Spagnolo, Stefania Gnesi |
| 2016 | ISoLA | Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. | Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo |
| 2016 | QUATIC | Enhancing Business Process Performance Analysis through Coverage-Based Monitoring. | Antonello Calabr, Francesca Lonetti, Eda Marchetti, Giorgio Oronzo Spagnolo |
| 2015 | SPLC | 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 |
| 2014 | FMICS | Deadlock Avoidance in Train Scheduling: A Model Checking Approach. | Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari |
| 2014 | RE | Pragmatic ambiguity detection in natural language requirements. | Alessio Ferrari, Giuseppe Lipari, Stefania Gnesi, Giorgio Oronzo Spagnolo |
| 2014 | REFSQ | Measuring and Improving the Completeness of Natural Language Requirements. | Alessio Ferrari, Felice Dell'Orletta, Giorgio Oronzo Spagnolo, Stefania Gnesi |
| 2013 | SPLC | Mining commonalities and variabilities from natural language documents. | Alessio Ferrari, Giorgio Oronzo Spagnolo, Felice Dell'Orletta |
| 2012 | ISoLA | Product Line Engineering Applied to CBTC Systems Development. | Alessio Ferrari, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni |