NARDONE, ROBERTO
NARDONE, ROBERTO
Towards a hybrid mesoscopic-microscopic railway simulation model
2011 Quaglietta, Egidio; Punzo, Vincenzo; Montella, Bruno; Nardone, Roberto; Mazzocca, Nicola
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling
2013 Stefano, Marrone; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Vulnerability analysis and modeling for critical infrastructure protection
2013 Marrone, S.; Nardone, Roberto; Tedesco, A.; D'Amore, P.; Vittorini, Valeria; Setola, R.; Cillis, F. D.; Mazzocca, Nicola
Model-driven V&V processes for computer based control systems: A unifying perspective
2012 Flammini, Francesco; Stefano, Marrone; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework
2012 S., Marrone; Mazzocca, Nicola; Nardone, Roberto; R., Presta; Romano, SIMON PIETRO; Vittorini, Valeria
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach
2013 S., Bernardi; F., Flammini; S., Marrone; Mazzocca, Nicola; J., Merseguer; Nardone, Roberto; Vittorini, Valeria
A simulation framework for supporting design and real-time decisional phases in railway systems
2011 Quaglietta, Egidio; D'Acierno, Luca; Punzo, Vincenzo; Nardone, Roberto; Mazzocca, Nicola
Dynamic State Machines for Formalizing Railway Control System Specifications
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
2015 Vittorini, Valeria; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Drago, Annarita
A cost-energy trade-off model in smart energy grids
2014 Gentile, Ugo; Mazzocca, Nicola; Nardone, Roberto; Marrone, Stefano
Vulnerability modeling and analysis for critical infrastructure protection applications
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
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
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
2015 Marrone, S.; Nardone, Roberto; Rinaldi, ANTONIO MARIA; Vittorini, Valeria
Towards model-driven assessment of clinical processes
2015 Amato, Flora; Cozzolino, Giovanni; D'Alessio, Alessandra; Marrone, Stefano; Mazzocca, Nicola; Mele, Gianluca; Nardone, Roberto
Dynamic state machines for modelling railway control systems
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
2014 Flammini, Francesco; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Vittorini, Valeria
An interoperable testing environment for ERTMS/ETCS control systems
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
2017 Casola, Valentina; DE BENEDICTIS, Alessandra; Nardone, Roberto
An integrated lifetime and network quality model of large WSNs.
2013 Battista, Ermanno; Casola, Valentina; Marrone, Stefano; Mazzocca, Nicola; Nardone, Roberto; Vittorini, Valeria
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
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 | |
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 | |
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 | |
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 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 | |
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 | |
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 |