SPAGNOLO, GIORGIO ORONZO
SPAGNOLO, GIORGIO ORONZO
Ingegneria dell'Informazione
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC
2020 Basile D.; ter Beek M.H.; Di Giandomenico F.; Fantechi A.; Gnesi S.; Spagnolo G.O.
Agile Processes and Formal Methods in Railway Systems
2016 Spagnolo, Giorgio Oronzo
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams
2015 Ferrari, Alessio; Spagnolo, Giorgio O.; Gnesi, Stefania; Dell'Orletta, Felice
Deadlock Avoidance in Train Scheduling: A Model Checking Approach
2014 Franco Mazzanti;Giorgio Oronzo Spagnolo;Simone Della Longa;Alessio Ferrari
Designing a Deadlock-Free Train Scheduler: A Model Checking Approach
2014 Franco Mazzanti;Giorgio Oronzo Spagnolo;Alessio Ferrari
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions
2014 Alessio Ferrari;Giorgio O. Spagnolo;Giacomo Martelli;Simone Menabeni
Measuring and Improving the Completeness of Natural Language Requirements
2014 Alessio Ferrari;Felice dell’Orletta;Giorgio Oronzo Spagnolo;Stefania Gnesi
Mining commonalities and variabilities from natural language documents
2013 Alessio Ferrari;Giorgio O. Spagnolo;Felice Dell'Orletta
Model-Based Evaluation of the Availability of a CBTC System
2012 A. Ferrari;M. Itria;S. Chiaradonna;Giorgio Oronzo Spagnolo
Pragmatic ambiguity detection in natural language requirements
2014 Alessio Ferrari;Giuseppe Lipari;Stefania Gnesi;Giorgio O. Spagnolo
Product Line Engineering Applied to CBTC Systems Development
2012 Alessio Ferrari; Giorgio Oronzo Spagnolo; Giacomo Martelli; Simone Menabeni
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC | 2020 | Basile D.; ter Beek M.H.; Di Giandomenico F.; Fantechi A.; Gnesi S.; Spagnolo G.O. | |
| Agile Processes and Formal Methods in Railway Systems | 2016 | Spagnolo, Giorgio Oronzo | |
| CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams | 2015 | Ferrari, Alessio; Spagnolo, Giorgio O.; Gnesi, Stefania; Dell'Orletta, Felice | |
| Deadlock Avoidance in Train Scheduling: A Model Checking Approach | 2014 | Franco Mazzanti;Giorgio Oronzo Spagnolo;Simone Della Longa;Alessio Ferrari | |
| Designing a Deadlock-Free Train Scheduler: A Model Checking Approach | 2014 | Franco Mazzanti;Giorgio Oronzo Spagnolo;Alessio Ferrari | |
| From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions | 2014 | Alessio Ferrari;Giorgio O. Spagnolo;Giacomo Martelli;Simone Menabeni | |
| Measuring and Improving the Completeness of Natural Language Requirements | 2014 | Alessio Ferrari;Felice dell’Orletta;Giorgio Oronzo Spagnolo;Stefania Gnesi | |
| Mining commonalities and variabilities from natural language documents | 2013 | Alessio Ferrari;Giorgio O. Spagnolo;Felice Dell'Orletta | |
| Model-Based Evaluation of the Availability of a CBTC System | 2012 | A. Ferrari;M. Itria;S. Chiaradonna;Giorgio Oronzo Spagnolo | |
| Pragmatic ambiguity detection in natural language requirements | 2014 | Alessio Ferrari;Giuseppe Lipari;Stefania Gnesi;Giorgio O. Spagnolo | |
| Product Line Engineering Applied to CBTC Systems Development | 2012 | Alessio Ferrari; Giorgio Oronzo Spagnolo; Giacomo Martelli; Simone Menabeni |