SPAGNOLO, GIORGIO ORONZO
SPAGNOLO, GIORGIO ORONZO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
‘Freeze the measles’: how to improve backward tracing with a new digital tool
2024 Daole, A.; Giorgi, S.; Bonaldo, L.; Cruschelli, G.; Spagnolo, G.; Gallo, A.; Rizzo, C.
Smart railway infrastructures: efficiency, reliability and safety
2022 Bechini, A.; Masetti, G.; Spagnolo, G. O.; Vallati, C.
Smart Services for Railways
2019 Di Giandomenico F.; Gnesi S; Spagnolo G. O.; Fantechi A.
A Guidelines framework for understandable BPMN models
2018 Corradini, F; Ferrari, A; Fornari, F; Gnesi, S; Polini, A; Re, B; Spagnolo, G O
Improving the quality of business process descriptions of public administrations: resources and research challenges
2018 Ferrari, A; Witschel, Hf; Spagnolo, Go; Gnesi, S
Towards formal methods diversity in railways: an experience report with seven frameworks
2018 Mazzanti, F; Ferrari, A; Spagnolo, Go
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles
2017 Mazzanti F.; Ferrari A.; Spagnolo G. O.
The KandIStI/UMC Online Open-Access Verification Framework
2017 Mazzanti, F; Ferrari, A; Spagnolo, G O
Modelling and Validating an Import/Export Shipping Process
2016 Spagnolo, GIORGIO ORONZO; Marchetti, E; Coco, A; Gnesi, S
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions
2014 Ferrari A.; Spagnolo G.O.; Menabeni S.; Martelli G.