IRIS

GENTILE, UGO

GENTILE, UGO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.02 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Dynamic State Machines for Formalizing Railway Control System Specifications 4.1 Articoli in Atti di convegno 2015 Nardone, Roberto; Gentile, Ugo; Peron, Adriano; Benerecetti, Massimo; Vittorini, Valeria; Marrone, Stefano; De Guglielmo, Renato; Mazzocca, Nicola; Velardi, Luigi
A cost-energy trade-off model in smart energy grids 4.1 Articoli in Atti di convegno 2014 Gentile, Ugo; Mazzocca, Nicola; Nardone, Roberto; Marrone, Stefano
Modeling railway control systems in promela 2.1 Contributo in volume (Capitolo o Saggio) 2016 Nardone, Roberto; Gentile, Ugo; Benerecetti, Massimo; Peron, Adriano; Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola
Automatic generation of optimization problems in water provisioning systems 4.1 Articoli in Atti di convegno 2015 Gentile, Ugo; S., Marrone; DE PAOLA, Francesco; R., Nardone; Mazzocca, Nicola; Giugni, Maurizio
A Petri Net pattern-oriented approach for the design of physical protection systems 2.1 Contributo in volume (Capitolo o Saggio) 2014 Flammini, Francesco; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Vittorini, Valeria
An interoperable testing environment for ERTMS/ETCS control systems 2.1 Contributo in volume (Capitolo o Saggio) 2014 Barberio, Gregorio; Di Martino, Beniamino; Mazzocca, Nicola; Velardi, Luigi; Amato, Aniello; De Guglielmo, Renato; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Peron, Adriano; Vittorini, Valeria
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 1.1 Articolo in rivista 2020 Nardone, R.; Marrone, S.; Gentile, U.; Amato, A.; Barberio, G.; Benerecetti, M.; De Guglielmo, R.; Di Martino, B.; Mazzocca, N.; Peron, A.; Pisani, G.; Velardi, L.; Vittorini, V.
From Dynamic State Machines to Promela 2.1 Contributo in volume (Capitolo o Saggio) 2019 Benerecetti, Massimo; Gentile, Ugo; Nardone, Roberto; Peron, Adriano; Starace, LUIGI LIBERO LUCIO; Vittorini, Valeria; Marrone, Stefano
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 4.1 Articoli in Atti di convegno 2014 Amalfitano, D.; Amatucci, N.; Fasolino, A. R.; Gentile, U.; Mele, G.; Nardone, R.; Vittorini, V.; Marrone, S.