Valeria Vittorini

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 23

Top Topics

Reference Architecture

Top Venues

Softw. Syst. Model.

Publications

Lorenzo De Donato, Stefano Marrone, Francesco Flammini, Carlo Sansone, Valeria Vittorini, Roberto Nardone, Claudio Mazzariello, Frédéric Bernaudin
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance. Eng. Appl. Artif. Intell. 123 (Part C) (2023)
Lorenzo De Donato, Ruth Dirnfeld, Alessandra Somma, Alessandra De Benedictis, Francesco Flammini, Stefano Marrone, Mehdi Saman Azari, Valeria Vittorini
Towards AI-assisted digital twins for smart railways: preliminary guideline and reference architecture. J. Reliab. Intell. Environ. 9 (3) (2023)
Lorenzo De Donato, Antonino Ferraro, Antonio Galli, Michela Gravina, Stefano Marrone, Vincenzo Moscato, Giancarlo Sperlì, Valeria Vittorini, Carlo Sansone
Advanced AI-based approaches in Industry 4.0 of the University of Naples Federico II node of the CINI-AIIS Lab. Ital-IA (2023)
Lorenzo De Donato, Francesco Flammini, Stefano Marrone, Claudio Mazzariello, Roberto Nardone, Carlo Sansone, Valeria Vittorini
A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance. IEEE Access 10 (2022)
Roberto Canonico, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. ISoLA (4) (2022)
Joelle Aoun, Rob M. P. Goverde, Roberto Nardone, Egidio Quaglietta, Valeria Vittorini
Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems. ICSRS (2022)
Francesco Flammini, Lorenzo De Donato, Alessandro Fantechi, Valeria Vittorini
A Vision of Intelligent Train Control. RSSRail (2022)
Nikola Besinovic, Lorenzo De Donato, Francesco Flammini, Rob M. P. Goverde, Zhiyuan Lin, Ronghui Liu, Stefano Marrone, Roberto Nardone, Tianli Tang, Valeria Vittorini
Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications. IEEE Trans. Intell. Transp. Syst. 23 (9) (2022)
Ruth Dirnfeld, Lorenzo De Donato, Francesco Flammini, Mehdi Saman Azari, Valeria Vittorini
Railway Digital Twins and Artificial Intelligence: Challenges and Design Guidelines. EDCC Workshops (2022)
Nijat Rajabli, Francesco Flammini, Roberto Nardone, Valeria Vittorini
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review. IEEE Access 9 (2021)
Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. Formal Aspects Comput. 33 (6) (2021)
Carlo Di Meo, Marco Di Vaio, Francesco Flammini, Roberto Nardone, Stefania Santini, Valeria Vittorini
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis. IEEE Trans. Intell. Transp. Syst. 21 (6) (2020)
Ruth Dirnfeld, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways. ITSC (2020)
Francesco Flammini, Valeria Vittorini, Zhiyuan Lin
Roadmaps for AI Integration in the Rail Sector - RAILS. ERCIM News 2020 (121) (2020)
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
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. J. Syst. Softw. 161 (2020)
Simona Bernardi, Stefano Marrone, José Merseguer, Roberto Nardone, Valeria Vittorini
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. Softw. Syst. Model. 18 (3) (2019)
Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini
From Dynamic State Machines to Promela. SPIN (2019)
Annarita Drago, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Annarita Tedesco, Valeria Vittorini
A model-driven approach for vulnerability evaluation of modern physical protection systems. Softw. Syst. Model. 18 (1) (2019)
Rupert Schlick, Michael Felderer, István Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. ISoLA (4) (2018)
Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti, Valeria Vittorini
Automatic generation of formal models for diagnosability of DES. ETFA (2018)
Ugo Gentile, Simona Bernardi, Stefano Marrone, José Merseguer, Valeria Vittorini
A model driven approach for assessing survivability requirements of critical infrastructures. J. High Speed Networks 23 (2) (2017)
Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini
Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133 (2017)
Roberto Canonico, Stefano Marrone, Roberto Nardone, Valeria Vittorini
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS. RSSRail (2017)
Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
Modeling Railway Control Systems in Promela. FTSCS (2015)
Stefano Marrone, Ricardo J. Rodríguez, Roberto Nardone, Francesco Flammini, Valeria Vittorini
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems. Comput. Electr. Eng. 47 (2015)
Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. SAFECOMP (2014)
Stefano Marrone, Francesco Flammini, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
Towards Model-Driven V&V assessment of railway control systems. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Valeria Vittorini, Roberto Nardone, Antonio M. Rinaldi, Stefano Marrone
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project. EPS (2014)
Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi
Dynamic State Machines for Formalizing Railway Control System Specifications. FTSCS (2014)
Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini
An Interoperable Testing Environment for ERTMS/ETCS Control Systems. SAFECOMP Workshops (2014)
Domenico Amalfitano, Nicola Amatucci, Anna Rita Fasolino, Ugo Gentile, Gianluca Mele, Roberto Nardone, Valeria Vittorini, Stefano Marrone
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation. WISE@ASE (2014)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini
Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios. CD-ARES Workshops (2013)
Francesco Flammini, Valeria Vittorini
SAFECOMP'11 post-conference special issue. Reliab. Eng. Syst. Saf. 120 (2013)
Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliab. Eng. Syst. Saf. 120 (2013)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance CoRR (2013)
Stefano Marrone, Roberto Nardone, Annarita Tedesco, Pasquale D'Amore, Valeria Vittorini, Roberto Setola, Francesca De Cillis, Nicola Mazzocca
Vulnerability modeling and analysis for critical infrastructure protection applications. Int. J. Crit. Infrastructure Prot. 6 (3-4) (2013)
Ermanno Battista, Valentina Casola, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
An integrated lifetime and network quality model of large WSNs. M&N (2013)
Annarita Drago, Stefano Marrone, Nicola Mazzocca, Annarita Tedesco, Valeria Vittorini
Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks. UIC/ATC (2013)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini
Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. ISoLA (2) (2012)
Francesco Moscato, Valeria Vittorini, Flora Amato, Antonino Mazzeo, Nicola Mazzocca
Solution Workflows for Model-Based Analysis of Complex Systems. IEEE Trans Autom. Sci. Eng. 9 (1) (2012)
Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Roberta Presta, Simon Pietro Romano, Valeria Vittorini
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini
Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP (2011)
Francesco Flammini, Concetta Pragliola, Alfio Pappalardo, Valeria Vittorini
A robust approach for on-line and off-line threat detection based on event tree similarity analysis. AVSS (2011)
Francesco Flammini, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini
Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection. ARES (2011)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
Petri Net Modelling of Physical Vulnerability. CRITIS (2011)
Francesco Flammini, Nicola Mazzocca, F. Moscato, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini
Multiformalism techniques for critical infrastructure modelling. Int. J. Syst. Syst. Eng. 2 (1) (2010)
Stefano Marrone, Camilla Papa, Valeria Vittorini
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. IFM (2010)
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance. Reliab. Eng. Syst. Saf. 94 (9) (2009)
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini
Interfaces and binding in component based development of formal models. VALUETOOLS (2009)
Flora Amato, Valentina Casola, Antonino Mazzeo, Valeria Vittorini
The REM Framework for Security Evaluation. ARES (2008)
Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola
A Study on Multiformalism Modeling of Critical Infrastructures. CRITIS (2008)
Francesco Flammini, Nicola Mazzocca, Valeria Vittorini
New Paradigms and Tools for High-Assurance Systems Modelling. ERCIM News 2008 (75) (2008)
Giusy Di Lorenzo, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini
Towards Semantics Driven Generation of Executable Web Services Compositions. J. Softw. 2 (5) (2007)
Giusy Di Lorenzo, Anna Rita Fasolino, Lorenzo Melcarne, Porfirio Tramontana, Valeria Vittorini
Turning Web Applications into Web Services by Wrapping Techniques. WCRE (2007)
Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini
A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures. J. Comput. Secur. 15 (2) (2007)
Francesco Moscato, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone, Mauro Iacono
The software architecture of the OsMoSys multisolution framework. VALUETOOLS (2007)
Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
Automatic Analysis of Control Flow inWeb Services Composition Processes. PDP (2007)
Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, Giusy Di Lorenzo, Paola Mosca, Massimo Magaldi
Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. HPCC (2005)
Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. QEST (2005)
Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. PARA (2004)
Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis
The OsMoSys approach to multi-formalism modeling of systems. Softw. Syst. Model. 3 (1) (2004)
Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks. J. Intell. Manuf. 15 (3) (2004)
Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. PDP (2004)
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN (2004)
Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini
Repairable Fault Tree for the Automatic Evaluation of Repair Policies. DSN (2004)
Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
SWN client-server composition operators in the OsMoSys framework. PNPM (2003)
Valentina Casola, Nicola Mazzocca, Antonino Mazzeo, Valeria Vittorini
Policy based interoperability in distributed security infrastructures. ISPE CE (2003)
Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini
Policy formalization to combine separate systems into larger connected network of trust. Net-Con (2002)
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, Claudio Bertoncello
DrawNet++: A Flexible Framework for Building Dependability Models. DSN (2002)
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. Computer Performance Evaluation / TOOLS (2002)
Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini
Efficient model checking of properties of a distributed application: a multimedia case study. Softw. Test. Verification Reliab. 12 (1) (2002)
Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca
Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. PDSE (1999)
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Carlo Savy, Valeria Vittorini
Formal Specification of Concurrent Systems: A Structured Approach. Comput. J. 41 (3) (1998)
Nicola Mazzocca, Stefano Russo, Valeria Vittorini
Integrating Trace Logic and Petri Nets Specifications. HICSS (1) (1997)
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems. Real Time Syst. 13 (3) (1997)
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini
A method for predictive performance of distributed programs. Simul. Pract. Theory 5 (1) (1997)
Nicola Mazzocca, Stefano Russo, Valeria Vittorini
Formal methods integration for the specification of dependable distributed systems. J. Syst. Archit. 43 (10) (1997)
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini
A Mapping Method for Distributed Hetergoneous Systems. EUROSIM (1994)