A Mapping Method for Distributed Hetergoneous Systems. - Antonino Mazzeo; Nicola Mazzocca; Stefano Russo 001; Valeria Vittorini (EUROSIM, 1994)

Integrating Trace Logic and Petri Nets Specifications. - Nicola Mazzocca; Stefano Russo 001; Valeria Vittorini (HICSS (1), 1997)

Formal methods integration for the specification of dependable distributed systems. - Nicola Mazzocca; Stefano Russo 001; Valeria Vittorini (J. Syst. Archit., 1997)

A Systematic Approach to the Petri Net Based Specification of Concurrent Systems. - Antonino Mazzeo; Nicola Mazzocca; Stefano Russo 001; Valeria Vittorini (Real Time Syst., 1997)

A method for predictive performance of distributed programs. - Antonino Mazzeo; Nicola Mazzocca; Stefano Russo 001; Valeria Vittorini (Simul. Pract. Theory, 1997)

Formal Specification of Concurrent Systems: A Structured Approach. - Antonino Mazzeo; Nicola Mazzocca; Stefano Russo 001; Carlo Savy; Valeria Vittorini (Comput. J., 1998)

Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. - Francesco Basile; Pasquale Chiacchio; Valeria Vittorini; Nicola Mazzocca (PDSE, 1999)

DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Nicola Mazzocca; Valeria Vittorini (Computer Performance Evaluation / TOOLS, 2002)

DrawNet++: A Flexible Framework for Building Dependability Models. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Valeria Vittorini; Claudio Bertoncello (DSN, 2002)

Policy formalization to combine separate systems into larger connected network of trust. - Valentina Casola; Antonino Mazzeo; Nicola Mazzocca; Valeria Vittorini (Net-Con, 2002)

Efficient model checking of properties of a distributed application: a multimedia case study. - Nicola Mazzocca; Antonella Santone; Gigliola Vaglini; Valeria Vittorini (Softw. Test. Verification Reliab., 2002)

Policy based interoperability in distributed security infrastructures. - Valentina Casola; Nicola Mazzocca; Antonino Mazzeo; Valeria Vittorini (CE, 2003)

SWN client-server composition operators in the OsMoSys framework. - Giuliana Franceschinis; Valeria Vittorini; Stefano Marrone 001; Nicola Mazzocca (PNPM, 2003)

Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Stefano Marrone 001; Nicola Mazzocca; Valeria Vittorini (ICATPN, 2004)

Repairable Fault Tree for the Automatic Evaluation of Repair Policies. - Daniele Codetta Raiteri; Mauro Iacono; Giuliana Franceschinis; Valeria Vittorini (DSN, 2004)

A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. - Mauro Iacono; Stefano Marrone 001; Nicola Mazzocca; Francesco Moscato 001; Valeria Vittorini (PARA, 2004)

Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. - Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini (PDP, 2004)

Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks. - Francesco Basile; Pasquale Chiacchio; Valeria Vittorini; Nicola Mazzocca (J. Intell. Manuf., 2004)

The OsMoSys approach to multi-formalism modeling of systems. - Valeria Vittorini; Mauro Iacono; Nicola Mazzocca; Giuliana Franceschinis (Softw. Syst. Model., 2004)

Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. - Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini; Giusy Di Lorenzo; Paola Mosca; Massimo Magaldi (HPCC, 2005)

Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. - Marco Gribaudo; Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini (QEST, 2005)

Automatic Analysis of Control Flow inWeb Services Composition Processes. - Giusy Di Lorenzo; Francesco Moscato 001; Nicola Mazzocca; Valeria Vittorini (PDP, 2007)

The software architecture of the OsMoSys multisolution framework. - Francesco Moscato 001; Francesco Flammini; Giusy Di Lorenzo; Valeria Vittorini; Stefano Marrone 001; Mauro Iacono (VALUETOOLS, 2007)

Turning Web Applications into Web Services by Wrapping Techniques. - Giusy Di Lorenzo; Anna Rita Fasolino; Lorenzo Melcarne; Porfirio Tramontana; Valeria Vittorini (WCRE, 2007)

A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures. - Valentina Casola; Antonino Mazzeo; Nicola Mazzocca; Valeria Vittorini (J. Comput. Secur., 2007)

Towards Semantics Driven Generation of Executable Web Services Compositions. - Giusy Di Lorenzo; Nicola Mazzocca; Francesco Moscato 001; Valeria Vittorini (J. Softw., 2007)

The REM Framework for Security Evaluation. - Flora Amato; Valentina Casola; Antonino Mazzeo; Valeria Vittorini (ARES, 2008)

A Study on Multiformalism Modeling of Critical Infrastructures. - Francesco Flammini; Valeria Vittorini; Nicola Mazzocca; Concetta Pragliola (CRITIS, 2008)

New Paradigms and Tools for High-Assurance Systems Modelling. - Francesco Flammini; Nicola Mazzocca; Valeria Vittorini (ERCIM News, 2008)

Interfaces and binding in component based development of formal models. - Giuliana Franceschinis; Marco Gribaudo; Mauro Iacono; Stefano Marrone 001; Francesco Moscato 001; Valeria Vittorini (VALUETOOLS, 2009)

A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance. - Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; Valeria Vittorini (Reliab. Eng. Syst. Saf., 2009)

Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. - Stefano Marrone 001; Camilla Papa; Valeria Vittorini (IFM, 2010)

Multiformalism techniques for critical infrastructure modelling. - Francesco Flammini; Nicola Mazzocca; Francesco Moscato 001; Alfio Pappalardo; Concetta Pragliola; Valeria Vittorini (Int. J. Syst. Syst. Eng., 2010)

Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection. - Francesco Flammini; Nicola Mazzocca; Alfio Pappalardo; Concetta Pragliola; Valeria Vittorini (ARES, 2011)

A robust approach for on-line and off-line threat detection based on event tree similarity analysis. - Francesco Flammini; Concetta Pragliola; Alfio Pappalardo; Valeria Vittorini (AVSS, 2011)

Petri Net Modelling of Physical Vulnerability. - Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; Valeria Vittorini (CRITIS, 2011)

Model-Driven Availability Evaluation of Railway Control Systems. - Simona Bernardi 001; Francesco Flammini; Stefano Marrone 001; José Merseguer; Camilla Papa; Valeria Vittorini (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)

Solution Workflows for Model-Based Analysis of Complex Systems. - Francesco Moscato 001; Valeria Vittorini; Flora Amato; Antonino Mazzeo; Nicola Mazzocca (IEEE Trans Autom. Sci. Eng., 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)

Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios. - Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; Alfio Pappalardo; Concetta Pragliola; Valeria Vittorini (CD-ARES 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)

Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks. - Annarita Drago; Stefano Marrone 001; Nicola Mazzocca; Annarita Tedesco; Valeria Vittorini (UIC/ATC, 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)

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)

SAFECOMP'11 post-conference special issue. - Francesco Flammini; Valeria Vittorini (Reliab. Eng. Syst. Saf., 2013)

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)

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)

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)

Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring. - Francesco Flammini; Stefano Marrone 001; Nicola Mazzocca; Valeria Vittorini (Recent Advances in Computational Intelligence in Defense and Security, 2016)

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)

A model driven approach for assessing survivability requirements of critical infrastructures. - Ugo Gentile; Simona Bernardi 001; Stefano Marrone 001; José Merseguer; Valeria Vittorini (J. High Speed Networks, 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)

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)

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)

Roadmaps for AI Integration in the Rail Sector - RAILS. - Francesco Flammini; Valeria Vittorini; Zhiyuan Lin 002 (ERCIM News, 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)

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)

Railway Digital Twins and Artificial Intelligence: Challenges and Design Guidelines. - Ruth Dirnfeld; Lorenzo De Donato; Francesco Flammini; Mehdi Saman Azari; Valeria Vittorini (EDCC Workshops, 2022)

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 Vision of Intelligent Train Control. - Francesco Flammini; Lorenzo De Donato; Alessandro Fantechi; Valeria Vittorini (RSSRail, 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)

Advanced AI-based approaches in Industry 4.0 of the University of Naples Federico II node of the CINI-AIIS Lab. - Lorenzo De Donato; Antonino Ferraro; Antonio Galli; Michela Gravina; Stefano Marrone 002; Vincenzo Moscato; Giancarlo Sperlì; Valeria Vittorini; Carlo Sansone (Ital-IA, 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)

Towards AI-assisted digital twins for smart railways: preliminary guideline and reference architecture. - Lorenzo De Donato; Ruth Dirnfeld; Alessandra Somma; Alessandra De Benedictis; Francesco Flammini; Stefano Marrone 002; Mehdi Saman Azari; Valeria Vittorini (J. Reliab. Intell. Environ., 2023)

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)

Integrating AI and DTs: challenges and opportunities in railway maintenance application and beyond. - Ruth Dirnfeld; Lorenzo De Donato; Alessandra Somma; Mehdi Saman Azari; Stefano Marrone 002; Francesco Flammini; Valeria Vittorini (Simul., 2024)