Roberto Nardone

71 papers B 5C 7Misc 1Journal 28Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	μTEE: Certification-ready RISC-V platform for secure IIoT lifecycle management. Internet Things Alessandro Cilardo, Jesús García-Rodríguez, Jose Manuel Merlos Espín, Roberto Nardone
2025	B	`conf`	A Multilayer Approach for Statistical-Based Anomaly Detection in Cyber-Physical Systems. SMC Antonio Iannaccone, Roberto Nardone, Alfredo Petruolo
2025	—	`conf`	Enhanced Cybersecurity Monitoring in Multi-Plant Flexible Manufacturing Environments. DSN-S Antonio Iannaccone, Roberto Nardone
2025	J	`jnl`	Increasing the Cybersecurity of Smart Grids by Prosumer Monitoring. IEEE Trans. Ind. Informatics Luigi Coppolino, Roberto Nardone, Alfredo Petruolo, Luigi Romano
2025	—	`conf`	Real-Time Detection of Social Media Disinformation Using DISARM: Twitter Case Study. ITADATA Daniele Granata, Roberto Nardone
2025	—	`conf`	Regulating Prosumer Device Security: a Key Priority in Power Grid Protection. DSN-S Alfredo Petruolo, Luigi Coppolino, Roberto Nardone, Luigi Romano
2025	J	`jnl`	WASMBOX: A Lightweight Wasm-Based Runtime for Trustworthy Multi-Tenant Embedded Systems. IEEE Trans. Emerg. Top. Comput. Luigi Coppolino, Salvatore D'Antonio, Giovanni Mazzeo, Roberto Nardone, Luigi Romano, Mathieu Schmitt
2024	J	`jnl`	Enabling secure health information sharing among healthcare organizations by public blockchain. Multim. Tools Appl. Gianluca Lax, Roberto Nardone, Antonia Russo
2024	—	`conf`	Exploiting Data Spaces to Enable Privacy Preserving Data Exchange in the Energy Supply Chain. ITASEC Luigi Coppolino, Alessandro De Crecchio, Roberto Nardone, Alfredo Petruolo, Luigi Romano, Federica Uccello
2024	—	`conf`	Railway Switch Control Modeling in European Train Control System Level 3. ISoLA (5) Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini
2024	Misc	`conf`	Secure and Transparent Data Sharing Among Connected Devices: Integrating Data Spaces and Provenance. CSR Roberto Nardone, Alfredo Petruolo, Federica Uccello
2023	C	`conf`	A Tamper-Resistant Storage Framework for Smart Grid security. PDP Salvatore D'Antonio, Roberto Nardone, Nicola Russo, Federica Uccello
2023	B	`conf`	Exploiting Digital Twin technology for Cybersecurity Monitoring in Smart Grids. ARES Luigi Coppolino, Roberto Nardone, Alfredo Petruolo, Luigi Romano, Andrej Souvent
2023	J	`jnl`	Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance. Eng. Appl. Artif. Intell. Lorenzo De Donato, Stefano Marrone, Francesco Flammini, Carlo Sansone, Valeria Vittorini, Roberto Nardone, Claudio Mazzariello, Frédéric Bernaudin
2023	C	`conf`	Securing FIWARE with TEE Technology. SoMeT Luigi Coppolino, Roberto Nardone, Luigi Romano
2022	J	`jnl`	A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance. IEEE Access Lorenzo De Donato, Francesco Flammini, Stefano Marrone, Claudio Mazzariello, Roberto Nardone, Carlo Sansone, Valeria Vittorini
2022	J	`jnl`	Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications. IEEE Trans. Intell. Transp. Syst. Nikola Besinovic, Lorenzo De Donato, Francesco Flammini, Rob M. P. Goverde, Zhiyuan Lin, Ronghui Liu, Stefano Marrone, Roberto Nardone, Tianli Tang, Valeria Vittorini
2022	—	`conf`	Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. ISoLA (4) Roberto Canonico, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
2022	—	`ed.`	Dependable Computing - EDCC 2022 Workshops - SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings EDCC Workshops Stefano Marrone, Martina De Sanctis, Imre Kocsis, Rasmus Adler, Richard Hawkins, Philipp Schleiß, Stefano Marrone, Roberto Nardone, Francesco Flammini, Valeria Vittorini
2022	—	`conf`	Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems. ICSRS Joelle Aoun, Rob M. P. Goverde, Roberto Nardone, Egidio Quaglietta, Valeria Vittorini
2021	J	`jnl`	CAN-Bus Attack Detection With Deep Learning. IEEE Trans. Intell. Transp. Syst. Flora Amato, Luigi Coppolino, Francesco Mercaldo, Francesco Moscato, Roberto Nardone, Antonella Santone
2021	J	`jnl`	Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. Formal Aspects Comput. Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
2021	J	`jnl`	Enhancing random forest classification with NLP in DAMEH: A system for DAta Management in eHealth Domain. Neurocomputing Flora Amato, Luigi Coppolino, Giovanni Cozzolino, Giovanni Mazzeo, Francesco Moscato, Roberto Nardone
2021	J	`jnl`	Security modelling and formal verification of survivability properties: Application to cyber-physical systems. J. Syst. Softw. Simona Bernardi, Ugo Gentile, Stefano Marrone, José Merseguer, Roberto Nardone
2021	J	`jnl`	Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review. IEEE Access Nijat Rajabli, Francesco Flammini, Roberto Nardone, Valeria Vittorini
2020	J	`jnl`	Advancements in knowledge elicitation for computer-based critical systems. Future Gener. Comput. Syst. Simona Bernardi, Ugo Gentile, Roberto Nardone, Stefano Marrone
2020	J	`jnl`	An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. J. Syst. Softw. Roberto Nardone, Stefano Marrone, Ugo Gentile, Aniello Amato, Gregorio Barberio, Massimo Benerecetti, Renato De Guglielmo, Beniamino Di Martino, Nicola Mazzocca, Adriano Peron, Gaetano Pisani, Luigi Velardi, Valeria Vittorini
2020	J	`jnl`	Computer-aided security assessment of water networks monitoring platforms. Int. J. Crit. Infrastructure Prot. Ugo Gentile, Stefano Marrone, Roberto Nardone, Emanuele Bellini
2020	—	`ed.`	Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings EDCC Workshops Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci
2020	J	`jnl`	ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis. IEEE Trans. Intell. Transp. Syst. Carlo Di Meo, Marco Di Vaio, Francesco Flammini, Roberto Nardone, Stefania Santini, Valeria Vittorini
2020	—	`conf`	Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways. ITSC Ruth Dirnfeld, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
2020	J	`jnl`	Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study. Future Gener. Comput. Syst. Francesco Flammini, Stefano Marrone, Roberto Nardone, Mauro Caporuscio, Mirko D'Angelo
2020	J	`jnl`	Securing MQTT by Blockchain-Based OTP Authentication. Sensors Francesco Buccafurri, Vincenzo De Angelis, Roberto Nardone
2019	C	`conf`	A Novel Query Language for Data Extraction from Social Networks. WEBIST Francesco Buccafurri, Gianluca Lax, Lorenzo Musarella, Roberto Nardone
2019	J	`jnl`	A model-driven approach for vulnerability evaluation of modern physical protection systems. Softw. Syst. Model. Annarita Drago, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Annarita Tedesco, Valeria Vittorini
2019	—	`conf`	A routing algorithm increasing the transmission availability in smart grids. SummerSim Francesco Buccafurri, Lorenzo Musarella, Roberto Nardone
2019	C	`conf`	Enabling propagation in web of trust by Ethereum. IDEAS Francesco Buccafurri, Lorenzo Musarella, Roberto Nardone
2019	—	`conf`	From Dynamic State Machines to Promela. SPIN Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini
2019	J	`jnl`	Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. Softw. Syst. Model. Simona Bernardi, Stefano Marrone, José Merseguer, Roberto Nardone, Valeria Vittorini
2018	B	`conf`	A Model-Based Evaluation Methodology for Smart Energy Systems. SMARTCOMP Alessandra De Benedictis, Nicola Mazzocca, Roberto Nardone, Salvatore Venticinque
2018	—	`conf`	A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. ISoLA (4) Rupert Schlick, Michael Felderer, István Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini
2018	C	`conf`	Automatic generation of formal models for diagnosability of DES. ETFA Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti, Valeria Vittorini
2017	—	`conf`	A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS. RSSRail Roberto Canonico, Stefano Marrone, Roberto Nardone, Valeria Vittorini
2017	J	`jnl`	Dynamic state machines for modelling railway control systems. Sci. Comput. Program. Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini
2017	C	`conf`	Towards Model-Based Security Assessment of Cloud Applications. GPC Valentina Casola, Alessandra De Benedictis, Roberto Nardone
2016	J	`jnl`	Cost-energy modelling and profiling of smart domestic grids. Int. J. Grid Util. Comput. Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
2016	—	`conf`	Formal security assessment of Modbus protocol. ICITST Roberto Nardone, Ricardo J. Rodríguez, Stefano Marrone
2015	—	`conf`	Automatic Resource Allocation for High Availability Cloud Services. ANT/SEIT Stefano Marrone, Roberto Nardone
2015	—	`conf`	Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems. 3PGCIC Ugo Gentile, Stefano Marrone, Francesco M. De Paola, Roberto Nardone, Nicola Mazzocca, Maurizio Giugni
2015	—	`conf`	Modeling Railway Control Systems in Promela. FTSCS Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
2015	J	`jnl`	On synergies of cyber and physical security modelling in vulnerability assessment of railway systems. Comput. Electr. Eng. Stefano Marrone, Ricardo J. Rodríguez, Roberto Nardone, Francesco Flammini, Valeria Vittorini
2014	—	`conf`	A Cost-Energy Trade-Off Model in Smart Energy Grids. 3PGCIC Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone
2014	B	`conf`	A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. SAFECOMP Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini
2014	—	`conf`	An Interoperable Testing Environment for ERTMS/ETCS Control Systems. SAFECOMP Workshops Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini
2014	—	`conf`	Dynamic State Machines for Formalizing Railway Control System Specifications. FTSCS Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi
2014	—	`conf`	Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project. EPS Valeria Vittorini, Roberto Nardone, Antonio M. Rinaldi, Stefano Marrone
2014	—	`conf`	Improving code coverage in android apps testing by exploiting patterns and automatic test case generation. WISE@ASE Domenico Amalfitano, Nicola Amatucci, Anna Rita Fasolino, Ugo Gentile, Gianluca Mele, Roberto Nardone, Valeria Vittorini, Stefano Marrone
2014	C	`conf`	Test Specification Patterns for Automatic Generation of Test Sequences. FMICS Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron
2014	J	`jnl`	Towards Model-Driven V&V assessment of railway control systems. Int. J. Softw. Tools Technol. Transf. Stefano Marrone, Francesco Flammini, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
2013	—	`conf`	A Compositional Modelling Approach for Large Sensor Networks Design. 3PGCIC Ermanno Battista, Valentina Casola, Nicola Mazzocca, Roberto Nardone, Stefano Marrone
2013	—	`—`	A Model-Driven Approach to Quantitative Analysis of Critical Systems. Roberto Nardone
2013	—	`conf`	An integrated lifetime and network quality model of large WSNs. M&N Ermanno Battista, Valentina Casola, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
2013	J	`jnl`	Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliab. Eng. Syst. Saf. Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini
2013	—	`conf`	Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications. AINA Workshops Maurizio D'Arienzo, Mauro Iacono, Stefano Marrone, Roberto Nardone
2013	J	`jnl`	Petri net based evaluation of energy consumption in wireless sensor nodes. J. High Speed Networks Maurizio D'Arienzo, Mauro Iacono, Stefano Marrone, Roberto Nardone
2013	J	`jnl`	Vulnerability modeling and analysis for critical infrastructure protection applications. Int. J. Crit. Infrastructure Prot. Stefano Marrone, Roberto Nardone, Annarita Tedesco, Pasquale D'Amore, Valeria Vittorini, Roberto Setola, Francesca De Cillis, Nicola Mazzocca
2012	J	`jnl`	A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework. Trans. Petri Nets Other Model. Concurr. Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Roberta Presta, Simon Pietro Romano, Valeria Vittorini
2012	—	`conf`	Improving Verification Process in Driverless Metro Systems: The MBAT Project. ISoLA (2) Stefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi
2012	—	`conf`	Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. ISoLA (2) Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
2011	—	`conf`	A simulation framework for supporting design and real-time decisional phases in railway systems. ITSC Egidio Quaglietta, Luca D'Acierno, Vincenzo Punzo, Roberto Nardone, Nicola Mazzocca
2011	B	`conf`	An Integrated Approach for Availability and QoS Evaluation in Railway Systems. SAFECOMP Antonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D'Acierno, Bruno Montella, Vincenzo Punzo, Egidio Quaglietta, Immacolata Lamberti, Pietro Marmo