Source: http://www.unirc.it/didattica/scheda_persona.php?id=1027
Timestamp: 2019-04-23 16:06:45+00:00

Document:
Studio del docente (3 piano, scala E).
Inviare preventivamente una mail al docente per comunicare la presenza. In caso di necessità, è possibile richiedere un diverso giorno o orario.
1. Valentina Casola, Alessandra De Benedictis, Roberto Nardone, Towards model-based security assessment of cloud applications, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2017, ISBN: 9783319571850.
2. Benerecetti Massimo, De Guglielmo Maria Luisa, Gentile U., Marrone S., Mazzocca Nicola, Nardone Roberto, Peron Adriano, Velardi L., Vittorini Valeria, Dynamic state machines for modelling railway control systems, "Science of computer programming", Articolo in rivista, n. 133, 2017, pp. 116-153, ISSN: 0167-6423.
3. Canonico R., Marrone S., Nardone R., Vittorini V., A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS, in: Lecomte T. Romanovsky A. Fantechi A., Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Springer, Cham -, 2017, ISBN: 978-3-319-68498-7.
4. Nardone Roberto, Gentile Ugo, Benerecetti Massimo, Peron Adriano, Vittorini Valeria, Marrone Stefano, Mazzocca Nicola, Modeling railway control systems in promela, in: Cyrille Artho Peter Csaba ölveczky, Communications in Computer and Information Science, Springer Verlag, 2016, ISBN: 9783319295091.
5. Gentile U, Marrone S, Mazzocca N, Nardone R, Cost-energy modelling and profiling of smart domestic grids, "International journal of grid and utility computing", Articolo in rivista, n. 7, 2016, pp. 257-271, ISSN: 1741-847X.
6. Gentile U., Marrone S., De Paola F., Nardone R., Mazzocca N., Giugni M., Model-based water quality assurance in ground and surface provisioning systems, Proceedings - 2015 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2015, Messina F.,Xhafa F.,Ogiela M.R.,Barolli L., 2016, pp. 527-532.
7. Drago Annarita, Marrone Stefano, Mazzocca Nicola, Nardone Roberto, Tedesco Annarita, Vittorini Valeria, A model-driven approach for vulnerability evaluation of modern physical protection systems, "Software and systems modeling", Articolo in rivista, 2016, pp. 1-34, ISSN: 1619-1366.
8. Marrone Stefano, Rodríguez Ricardo J., Nardone Roberto, Flammini Francesco, Vittorini Valeria, On synergies of cyber and physical security modelling in vulnerability assessment of railway systems, "Computers & electrical engineering", Articolo in rivista, n. 47, 2015, pp. 275-285, ISSN: 0045-7906.
9. Marrone S, Nardone R, Automatic Resource Allocation for High Availability Cloud Services, "Procedia computer science", Articolo in rivista, n. 52, 2015, pp. 980-987, ISSN: 1877-0509.
10. Marrone S, Rodriguez Rj, Nardone R, Flammini F, Vittorini V, On synergies of cyber and physical security modelling in vulnerability assessment of railway systems, "Computers & electrical engineering", Articolo in rivista, n. 47, 2015, pp. 275-285, ISSN: 0045-7906.
11. Marrone S., Nardone R., Rinaldi A. M., Vittorini V., Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project, in: Antonello, Antonio Pedotti, European Project Space on Computational Intelligence, Knowledge Discovery and Systems Engineering for Health and Sports, SCITEPRESS, 2015, ISBN: 978-989-758-154-0.
12. Amato Flora, Cozzolino Giovanni, D?alessio Alessandra, Marrone Stefano, Mazzocca Nicola, Mele Gianluca, Nardone Roberto, Towards model-driven assessment of clinical processes, Smart Innovation, Systems and Technologies, Contributo in volume (Capitolo o Saggio), 2015, ISBN: 978-331919829-3.
13. Nardone Roberto, Gentile Ugo, Peron Adriano, Benerecetti Massimo, Vittorini Valeria, Marrone Stefano, De Guglielmo Renato, Mazzocca Nicola, Velardi Luigi, Dynamic State Machines for Formalizing Railway Control System Specifications, Communications in Computer and Information Science, Springer Verlag, Vol. 476, 2015, pp. 93-109, ISBN: 9783319175805.
14. Vittorini Valeria, Marrone Stefano, Mazzocca Nicola, Nardone Roberto, Drago Annarita, A model-driven process for physical protection system design and vulnerability evaluation, Topics in Safety, Risk, Reliability and Quality, Contributo in volume (Capitolo o Saggio), 2015.
15. S. Marrone, F. Flammini, N. Mazzocca, R. Nardone, V. Vittorini, Towards Model-Driven V&V assessment of railway control systems, "International journal on software tools for technology transfer", Articolo in rivista, n. 16, 2014, pp. 669-683, ISSN: 1433-2779.
16. Marrone S, Flammini F, Mazzocca N, Nardone R, Vittorini V, Towards Model-Driven V&V assessment of railway control systems, "International journal on software tools for technology transfer", Articolo in rivista, n. 16, 2014, pp. 669-683, ISSN: 1433-2779.
17. Gentile Ugo, Mazzocca Nicola, Nardone Roberto, Marrone Stefano, A cost-energy trade-off model in smart energy grids, Proceedings - 2014 9th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2014, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 394-399, ISBN: 9781479941711.
18. Flammini Francesco, Gentile Ugo, Marrone Stefano, Nardone Roberto, Vittorini Valeria, A Petri Net pattern-oriented approach for the design of physical protection systems, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2014, ISBN: 9783319105055.
19. 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 interoperable testing environment for ERTMS/ETCS control systems, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2014, ISBN: 9783319105567.
20. S. Marrone, R. Nardone, A. Tedesco, P. D?amore, V. Vittorini, R. Setola, F. D. Cillis, N. Mazzocca, Vulnerability modeling and analysis for critical infrastructure protection applications, "International journal of critical infrastructure protection", Articolo in rivista, n. 6, 2013, pp. 217-227, ISSN: 1874-5482.
21. Ermanno Battista, Valentina Casola, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini, An integrated lifetime and network quality model of large WSNs., Proceedings of Measurement & Networking 2013, IEEE, 2013, pp. 132-137, ISBN: 9781467328739.
22. S. Marrone, R. Nardone, A. Tedesco, P. D?amore, V. Vittorini, R. Setola, F. D. Cillis, N. Mazzocca, Vulnerability analysis and modeling for critical infrastructure protection, Seventh Annual IFIP Working Group 11.10 International Conference on Critical Infrastructure Protection, Contributo in volume (Capitolo o Saggio), 2013.
23. Ermanno Battista, Valentina Casola, Nicola Mazzocca, Roberto Nardone, Marrone Stefano, A compositional modelling approach for large Sensor Networks design, in: Fatos Xhafa Leonard Barolli Dritan Nace Salvatore Venticinque Alain Bui, P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC), 2013 Eighth International Conference on, IEEE Computer Society, Compiegne -, 2013, pp. 422-429.
24. S. Bernardi, F. Flammini, S. Marrone, N. Mazzocca, J. Merseguer, R. Nardone, V. Vittorini, Enabling the usage of UML in the verification of railway systems, "Reliability engineering & system safety", Articolo in rivista, n. 120, 2013, pp. 112-126, ISSN: 0951-8320.
25. Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini, Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling, Theory and Application of Multi-Formalism Modeling, Contributo in volume (Capitolo o Saggio), 2013, ISBN: 9781466646599.
26. S. Marrone, N. Mazzocca, R. Nardone, R. Presta, S. P. Romano, V. Vittorini, A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework, in: Jensen Kurt, Transactions on Petri Nets and Other Models of Concurrency VI, springer, Berlino - Deu, 2012.
27. Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini, Model-driven V&V processes for computer based control systems, Lecture Notes in Computer ScienceLeveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, Contributo in volume (Capitolo o Saggio), 2012, ISBN: 9783642340314.
28. E. Quaglietta, V. Punzo, B. Montella, R. Nardone, N. Mazzocca, Towards a hybrid mesoscopic-microscopic railway simulation model, Proceedings of the International Conference on Models and Technologies for ITS, Contributo in Atti di convegno, 2011, pp. 1-5.
29. Quaglietta Egidio, D?acierno Luca, Punzo Vincenzo, Nardone Roberto, Mazzocca Nicola, A simulation framework for supporting design and real-time decisional phases in railway systems, Proceedings of the 14th International IEEE Annual Conference on Intelligent Transportation Systems, IEEE - Intelligent Transportation Systems Society, 2011, pp. 846-851, ISBN: 9781457721960.
30. Mazzeo Antonino, Mazzocca Nicola, Nardone Roberto, D?acierno Luca, Montella Bruno, Punzo Vincenzo, Quaglietta Egidio, Lamberti I., Marmo P., An integrated approach for availability and QoS evaluation In railway systems, Computer Safety, Reliability and Security, Springer-Verlag, Berlino - Deu, Vol. 6894, 2011, pp. 171-184, ISBN: 9783642242694.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V.