A simulation framework for supporting design and real-time decisional phases in railway systems. - Egidio Quaglietta; Luca D'Acierno; Vincenzo Punzo; Roberto Nardone; Nicola Mazzocca (ITSC, 2011)

An Integrated Approach for Availability and QoS Evaluation in Railway Systems. - Antonino Mazzeo; Nicola Mazzocca; Roberto Nardone; Luca D'Acierno; Bruno Montella; Vincenzo Punzo; Egidio Quaglietta; Immacolata Lamberti; Pietro Marmo (SAFECOMP, 2011)

Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. - Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone; Valeria Vittorini (ISoLA (2), 2012)

Improving Verification Process in Driverless Metro Systems: The MBAT Project. - Stefano Marrone 001; Roberto Nardone; Antonio Orazzo; Ida Petrone; Luigi Velardi (ISoLA (2), 2012)

A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework. - Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone; Roberta Presta; Simon Pietro Romano; Valeria Vittorini (Trans. Petri Nets Other Model. Concurr., 2012)

A Compositional Modelling Approach for Large Sensor Networks Design. - Ermanno Battista; Valentina Casola; Nicola Mazzocca; Roberto Nardone; Stefano Marrone 001 (3PGCIC, 2013)

Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications. - Maurizio D'Arienzo; Mauro Iacono; Stefano Marrone 001; Roberto Nardone (AINA Workshops, 2013)

An integrated lifetime and network quality model of large WSNs. - Ermanno Battista; Valentina Casola; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone; Valeria Vittorini (M&N, 2013)

Vulnerability modeling and analysis for critical infrastructure protection applications. - Stefano Marrone 001; Roberto Nardone; Annarita Tedesco; Pasquale D'Amore; Valeria Vittorini; Roberto Setola; Francesca De Cillis; Nicola Mazzocca (Int. J. Crit. Infrastructure Prot., 2013)

Petri net based evaluation of energy consumption in wireless sensor nodes. - Maurizio D'Arienzo; Mauro Iacono; Stefano Marrone 001; Roberto Nardone (J. High Speed Networks, 2013)

Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. - Simona Bernardi 001; Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; José Merseguer; Roberto Nardone; Valeria Vittorini (Reliab. Eng. Syst. Saf., 2013)

A Model-Driven Approach to Quantitative Analysis of Critical Systems. - Roberto Nardone (2013)

A Cost-Energy Trade-Off Model in Smart Energy Grids. - Ugo Gentile; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone (3PGCIC, 2014)

Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project. - Valeria Vittorini; Roberto Nardone; Antonio M. Rinaldi; Stefano Marrone 001 (EPS, 2014)

Test Specification Patterns for Automatic Generation of Test Sequences. - Ugo Gentile; Stefano Marrone 001; Gianluca Mele; Roberto Nardone; Adriano Peron (FMICS, 2014)

Dynamic State Machines for Formalizing Railway Control System Specifications. - Roberto Nardone; Ugo Gentile; Adriano Peron; Massimo Benerecetti; Valeria Vittorini; Stefano Marrone 001; Renato De Guglielmo; Nicola Mazzocca; Luigi Velardi (FTSCS, 2014)

Improving code coverage in android apps testing by exploiting patterns and automatic test case generation. - Domenico Amalfitano; Nicola Amatucci; Anna Rita Fasolino; Ugo Gentile; Gianluca Mele; Roberto Nardone; Valeria Vittorini; Stefano Marrone 001 (WISE@ASE, 2014)

An Interoperable Testing Environment for ERTMS/ETCS Control Systems. - Gregorio Barberio; Beniamino Di Martino; Nicola Mazzocca; Luigi Velardi; Aniello Amato; Renato De Guglielmo; Ugo Gentile; Stefano Marrone 001; Roberto Nardone; Adriano Peron; Valeria Vittorini (SAFECOMP Workshops, 2014)

A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. - Francesco Flammini; Ugo Gentile; Stefano Marrone 001; Roberto Nardone; Valeria Vittorini (SAFECOMP, 2014)

Towards Model-Driven V&V assessment of railway control systems. - Stefano Marrone 001; Francesco Flammini; Nicola Mazzocca; Roberto Nardone; Valeria Vittorini (Int. J. Softw. Tools Technol. Transf., 2014)

Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems. - Ugo Gentile; Stefano Marrone 001; Francesco M. De Paola; Roberto Nardone; Nicola Mazzocca; Maurizio Giugni (3PGCIC, 2015)

Automatic Resource Allocation for High Availability Cloud Services. - Stefano Marrone 001; Roberto Nardone (ANT/SEIT, 2015)

Modeling Railway Control Systems in Promela. - Roberto Nardone; Ugo Gentile; Massimo Benerecetti; Adriano Peron; Valeria Vittorini; Stefano Marrone 001; Nicola Mazzocca (FTSCS, 2015)

On synergies of cyber and physical security modelling in vulnerability assessment of railway systems. - Stefano Marrone 001; Ricardo J. Rodríguez; Roberto Nardone; Francesco Flammini; Valeria Vittorini (Comput. Electr. Eng., 2015)

Formal security assessment of Modbus protocol. - Roberto Nardone; Ricardo J. Rodríguez; Stefano Marrone 001 (ICITST, 2016)

Cost-energy modelling and profiling of smart domestic grids. - Ugo Gentile; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone (Int. J. Grid Util. Comput., 2016)

Towards Model-Based Security Assessment of Cloud Applications. - Valentina Casola; Alessandra De Benedictis; Roberto Nardone (GPC, 2017)

A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS. - Roberto Canonico; Stefano Marrone 001; Roberto Nardone; Valeria Vittorini (RSSRail, 2017)

Dynamic state machines for modelling railway control systems. - Massimo Benerecetti; Renato De Guglielmo; Ugo Gentile; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone; Adriano Peron; Luigi Velardi; Valeria Vittorini (Sci. Comput. Program., 2017)

Automatic generation of formal models for diagnosability of DES. - Roberto Nardone; Gianmaria De Tommasi; Nicola Mazzocca; Alfredo Pironti 002; Valeria Vittorini (ETFA, 2018)

A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. - Rupert Schlick; Michael Felderer; István Majzik; Roberto Nardone; Alexander Raschke; Colin F. Snook; Valeria Vittorini (ISoLA (4), 2018)

A Model-Based Evaluation Methodology for Smart Energy Systems. - Alessandra De Benedictis; Nicola Mazzocca; Roberto Nardone; Salvatore Venticinque (SMARTCOMP, 2018)

Enabling propagation in web of trust by Ethereum. - Francesco Buccafurri; Lorenzo Musarella; Roberto Nardone (IDEAS, 2019)

A routing algorithm increasing the transmission availability in smart grids. - Francesco Buccafurri; Lorenzo Musarella; Roberto Nardone (SummerSim, 2019)

From Dynamic State Machines to Promela. - Massimo Benerecetti; Ugo Gentile; Stefano Marrone 001; Roberto Nardone; Adriano Peron; Luigi L. L. Starace; Valeria Vittorini (SPIN, 2019)

A Novel Query Language for Data Extraction from Social Networks. - Francesco Buccafurri; Gianluca Lax; Lorenzo Musarella; Roberto Nardone (WEBIST, 2019)

Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. - Simona Bernardi 001; Stefano Marrone 001; José Merseguer; Roberto Nardone; Valeria Vittorini (Softw. Syst. Model., 2019)

A model-driven approach for vulnerability evaluation of modern physical protection systems. - Annarita Drago; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone; Annarita Tedesco; Valeria Vittorini (Softw. Syst. Model., 2019)

Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways. - Ruth Dirnfeld; Francesco Flammini; Stefano Marrone 002; Roberto Nardone; Valeria Vittorini (ITSC, 2020)

Advancements in knowledge elicitation for computer-based critical systems. - Simona Bernardi 001; Ugo Gentile; Roberto Nardone; Stefano Marrone 001 (Future Gener. Comput. Syst., 2020)

Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study. - Francesco Flammini; Stefano Marrone 001; Roberto Nardone; Mauro Caporuscio; Mirko D'Angelo (Future Gener. Comput. Syst., 2020)

Computer-aided security assessment of water networks monitoring platforms. - Ugo Gentile; Stefano Marrone 001; Roberto Nardone; Emanuele Bellini 001 (Int. J. Crit. Infrastructure Prot., 2020)

An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. - Roberto Nardone; Stefano Marrone 001; Ugo Gentile; Aniello Amato; Gregorio Barberio; Massimo Benerecetti; Renato De Guglielmo; Beniamino Di Martino; Nicola Mazzocca; Adriano Peron; Gaetano Pisani; Luigi Velardi; et al. (J. Syst. Softw., 2020)

Securing MQTT by Blockchain-Based OTP Authentication. - Francesco Buccafurri; Vincenzo De Angelis; Roberto Nardone (Sensors, 2020)

ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis. - Carlo Di Meo; Marco Di Vaio; Francesco Flammini; Roberto Nardone; Stefania Santini; Valeria Vittorini (IEEE Trans. Intell. Transp. Syst., 2020)

Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review. - Nijat Rajabli; Francesco Flammini; Roberto Nardone; Valeria Vittorini (IEEE Access, 2021)

Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. - Francesco Flammini; Stefano Marrone 001; Roberto Nardone; Valeria Vittorini (Formal Aspects Comput., 2021)

Enhancing random forest classification with NLP in DAMEH: A system for DAta Management in eHealth Domain. - Flora Amato; Luigi Coppolino; Giovanni Cozzolino; Giovanni Mazzeo; Francesco Moscato 001; Roberto Nardone (Neurocomputing, 2021)

Security modelling and formal verification of survivability properties: Application to cyber-physical systems. - Simona Bernardi 001; Ugo Gentile; Stefano Marrone 001; José Merseguer; Roberto Nardone (J. Syst. Softw., 2021)

CAN-Bus Attack Detection With Deep Learning. - Flora Amato; Luigi Coppolino; Francesco Mercaldo; Francesco Moscato 001; Roberto Nardone; Antonella Santone (IEEE Trans. Intell. Transp. Syst., 2021)

Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems. - Joelle Aoun; Rob M. P. Goverde; Roberto Nardone; Egidio Quaglietta; Valeria Vittorini (ICSRS, 2022)

Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. - Roberto Canonico; Francesco Flammini; Stefano Marrone 001; Roberto Nardone; Valeria Vittorini (ISoLA (4), 2022)

A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance. - Lorenzo De Donato; Francesco Flammini; Stefano Marrone 002; Claudio Mazzariello; Roberto Nardone; Carlo Sansone; Valeria Vittorini (IEEE Access, 2022)

Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications. - Nikola Besinovic; Lorenzo De Donato; Francesco Flammini; Rob M. P. Goverde; Zhiyuan Lin 002; Ronghui Liu; Stefano Marrone 002; Roberto Nardone; Tianli Tang; Valeria Vittorini (IEEE Trans. Intell. Transp. Syst., 2022)

Exploiting Digital Twin technology for Cybersecurity Monitoring in Smart Grids. - Luigi Coppolino; Roberto Nardone; Alfredo Petruolo; Luigi Romano; Andrej Souvent (ARES, 2023)

A Tamper-Resistant Storage Framework for Smart Grid security. - Salvatore D'Antonio; Roberto Nardone; Nicola Russo; Federica Uccello (PDP, 2023)

Securing FIWARE with TEE Technology. - Luigi Coppolino; Roberto Nardone; Luigi Romano (SoMeT, 2023)

Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance. - Lorenzo De Donato; Stefano Marrone 002; Francesco Flammini; Carlo Sansone; Valeria Vittorini; Roberto Nardone; Claudio Mazzariello; Frédéric Bernaudin (Eng. Appl. Artif. Intell., 2023)

Secure and Transparent Data Sharing Among Connected Devices: Integrating Data Spaces and Provenance. - Roberto Nardone; Alfredo Petruolo; Federica Uccello (CSR, 2024)

Railway Switch Control Modeling in European Train Control System Level 3. - Francesco Flammini; Stefano Marrone 001; Roberto Nardone; Usman Sanwal; Cristina Seceleanu; Laura Verde; Valeria Vittorini (ISoLA (5), 2024)

Exploiting Data Spaces to Enable Privacy Preserving Data Exchange in the Energy Supply Chain. - Luigi Coppolino; Alessandro De Crecchio; Roberto Nardone; Alfredo Petruolo; Luigi Romano; Federica Uccello (ITASEC, 2024)

Enabling secure health information sharing among healthcare organizations by public blockchain. - Gianluca Lax; Roberto Nardone; Antonia Russo (Multim. Tools Appl., 2024)

Enhanced Cybersecurity Monitoring in Multi-Plant Flexible Manufacturing Environments. - Antonio Iannaccone; Roberto Nardone (DSN-S, 2025)

Regulating Prosumer Device Security: a Key Priority in Power Grid Protection. - Alfredo Petruolo; Luigi Coppolino; Roberto Nardone; Luigi Romano (DSN-S, 2025)

WASMBOX: A Lightweight Wasm-Based Runtime for Trustworthy Multi-Tenant Embedded Systems. - Luigi Coppolino; Salvatore D'Antonio; Giovanni Mazzeo; Roberto Nardone; Luigi Romano; Mathieu Schmitt (IEEE Trans. Emerg. Top. Comput., 2025)

Increasing the Cybersecurity of Smart Grids by Prosumer Monitoring. - Luigi Coppolino; Roberto Nardone; Alfredo Petruolo; Luigi Romano (IEEE Trans. Ind. Informatics, 2025)