NARDONE, ROBERTO

NARDONE, ROBERTO  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.169 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling 2.1 Contributo in volume (Capitolo o Saggio) 2013 Stefano, Marrone; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 1.1 Articolo in rivista 2013 S., Bernardi; F., Flammini; S., Marrone; Mazzocca, Nicola; J., Merseguer; Nardone, Roberto; Vittorini, Valeria
Towards a hybrid mesoscopic-microscopic railway simulation model 4.1 Articoli in Atti di convegno 2011 Quaglietta, Egidio; Punzo, Vincenzo; Montella, Bruno; Nardone, Roberto; Mazzocca, Nicola
Vulnerability analysis and modeling for critical infrastructure protection 2.1 Contributo in volume (Capitolo o Saggio) 2013 Marrone, S.; Nardone, Roberto; Tedesco, A.; D'Amore, P.; Vittorini, Valeria; Setola, R.; Cillis, F. D.; Mazzocca, Nicola
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 2.1 Contributo in volume (Capitolo o Saggio) 2012 S., Marrone; Mazzocca, Nicola; Nardone, Roberto; R., Presta; Romano, SIMON PIETRO; Vittorini, Valeria
Model-driven V&V processes for computer based control systems: A unifying perspective 2.1 Contributo in volume (Capitolo o Saggio) 2012 Flammini, Francesco; Stefano, Marrone; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
A simulation framework for supporting design and real-time decisional phases in railway systems 4.1 Articoli in Atti di convegno 2011 Quaglietta, Egidio; D'Acierno, Luca; Punzo, Vincenzo; Nardone, Roberto; Mazzocca, Nicola
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 model-driven process for physical protection system design and vulnerability evaluation 2.1 Contributo in volume (Capitolo o Saggio) 2015 Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Drago, Annarita
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
Vulnerability modeling and analysis for critical infrastructure protection applications 1.1 Articolo in rivista 2013 Marrone, S.; Nardone, Roberto; Tedesco, A.; D'Amore, P.; Vittorini, Valeria; Setola, R.; Cillis, F. D.; Mazzocca, Nicola
An integrated approach for availability and QoS evaluation In railway systems 4.1 Articoli in Atti di convegno 2011 Mazzeo, Antonino; Mazzocca, Nicola; Nardone, Roberto; D'Acierno, Luca; Montella, Bruno; Punzo, Vincenzo; Quaglietta, Egidio; Lamberti, I.; Marmo, P.
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
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 2.1 Contributo in volume (Capitolo o Saggio) 2015 Marrone, S.; Nardone, Roberto; Rinaldi, ANTONIO MARIA; Vittorini, Valeria
Towards model-driven assessment of clinical processes 2.1 Contributo in volume (Capitolo o Saggio) 2015 Amato, Flora; Cozzolino, Giovanni; D'Alessio, Alessandra; Marrone, Stefano; Mazzocca, Nicola; Mele, Gianluca; Nardone, Roberto
Dynamic state machines for modelling railway control systems 1.1 Articolo in rivista 2017 Benerecetti, Massimo; DE GUGLIELMO, MARIA LUISA; Gentile, U.; Marrone, S.; Mazzocca, Nicola; Nardone, Roberto; Peron, Adriano; Velardi, L.; Vittorini, Valeria
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
Towards model-based security assessment of cloud applications 2.1 Contributo in volume (Capitolo o Saggio) 2017 Casola, Valentina; DE BENEDICTIS, Alessandra; Nardone, Roberto
An integrated lifetime and network quality model of large WSNs. 4.1 Articoli in Atti di convegno 2013 Battista, Ermanno; Casola, Valentina; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria