Valeria Vittorini

86 papers A* 1A 2B 7C 6Journal 35Unranked 32
YearRankTypeTitle / Venue / Authors
2026 J jnl
A material-aware, multi-modal synthetic dataset for smart city applications: Design and construction.
Inf. Sci.
Debora Russo, Domenico Amalfitano, Gerardo Di Martino, Nicola Mazzocca, Valeria Vittorini
2025 A* conf
UR-MAT: A Multimodal, Material-Aware Synthetic Dataset of Urban Scenarios.
ACM Multimedia
Debora Russo, Nicola Mazzocca, Valeria Vittorini
2024 J jnl
Integrating AI and DTs: challenges and opportunities in railway maintenance application and beyond.
Simul.
Ruth Dirnfeld, Lorenzo De Donato, Alessandra Somma, Mehdi Saman Azari, Stefano Marrone, Francesco Flammini, Valeria Vittorini
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
2023 — conf
Advanced AI-based approaches in Industry 4.0 of the University of Naples Federico II node of the CINI-AIIS Lab.
Ital-IA
Lorenzo De Donato, Antonino Ferraro, Antonio Galli, Michela Gravina, Stefano Marrone, Vincenzo Moscato, Giancarlo Sperlì, Valeria Vittorini, Carlo Sansone
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 J jnl
Towards AI-assisted digital twins for smart railways: preliminary guideline and reference architecture.
J. Reliab. Intell. Environ.
Lorenzo De Donato, Ruth Dirnfeld, Alessandra Somma, Alessandra De Benedictis, Francesco Flammini, Stefano Marrone, Mehdi Saman Azari, Valeria Vittorini
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 — conf
A Vision of Intelligent Train Control.
RSSRail
Francesco Flammini, Lorenzo De Donato, Alessandro Fantechi, 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
Railway Digital Twins and Artificial Intelligence: Challenges and Design Guidelines.
EDCC Workshops
Ruth Dirnfeld, Lorenzo De Donato, Francesco Flammini, Mehdi Saman Azari, 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
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks.
Formal Aspects Comput.
Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini
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
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 — 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
Roadmaps for AI Integration in the Rail Sector - RAILS.
ERCIM News
Francesco Flammini, Valeria Vittorini, Zhiyuan Lin
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
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 — 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
A model driven approach for assessing survivability requirements of critical infrastructures.
J. High Speed Networks
Ugo Gentile, Simona Bernardi, Stefano Marrone, José Merseguer, 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
2016 — ch.
Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring.
Recent Advances in Computational Intelligence in Defense and Security
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
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 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 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 J jnl
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance
CoRR
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
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
Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks.
UIC/ATC
Annarita Drago, Stefano Marrone, Nicola Mazzocca, Annarita Tedesco, Valeria Vittorini
2013 J jnl
SAFECOMP'11 post-conference special issue.
Reliab. Eng. Syst. Saf.
Francesco Flammini, Valeria Vittorini
2013 — conf
Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios.
CD-ARES Workshops
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini
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
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
2012 J jnl
Solution Workflows for Model-Based Analysis of Complex Systems.
IEEE Trans Autom. Sci. Eng.
Francesco Moscato, Valeria Vittorini, Flora Amato, Antonino Mazzeo, Nicola Mazzocca
2011 B conf
A robust approach for on-line and off-line threat detection based on event tree similarity analysis.
AVSS
Francesco Flammini, Concetta Pragliola, Alfio Pappalardo, Valeria Vittorini
2011 B conf
Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection.
ARES
Francesco Flammini, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini
2011 B ed.
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
SAFECOMP
Francesco Flammini, Sandro Bologna, Valeria Vittorini
2011 B conf
Model-Driven Availability Evaluation of Railway Control Systems.
SAFECOMP
Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini
2011 C conf
Petri Net Modelling of Physical Vulnerability.
CRITIS
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2010 B conf
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems.
IFM
Stefano Marrone, Camilla Papa, Valeria Vittorini
2010 J jnl
Multiformalism techniques for critical infrastructure modelling.
Int. J. Syst. Syst. Eng.
Francesco Flammini, Nicola Mazzocca, Francesco Moscato, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini
2009 J jnl
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance.
Reliab. Eng. Syst. Saf.
Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2009 — conf
Interfaces and binding in component based development of formal models.
VALUETOOLS
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini
2008 C conf
A Study on Multiformalism Modeling of Critical Infrastructures.
CRITIS
Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola
2008 J jnl
New Paradigms and Tools for High-Assurance Systems Modelling.
ERCIM News
Francesco Flammini, Nicola Mazzocca, Valeria Vittorini
2008 B conf
The REM Framework for Security Evaluation.
ARES
Flora Amato, Valentina Casola, Antonino Mazzeo, Valeria Vittorini
2007 J jnl
A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures.
J. Comput. Secur.
Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini
2007 C conf
Automatic Analysis of Control Flow inWeb Services Composition Processes.
PDP
Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
2007 — conf
The software architecture of the OsMoSys multisolution framework.
VALUETOOLS
Francesco Moscato, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone, Mauro Iacono
2007 J jnl
Towards Semantics Driven Generation of Executable Web Services Compositions.
J. Softw.
Giusy Di Lorenzo, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini
2007 — conf
Turning Web Applications into Web Services by Wrapping Techniques.
WCRE
Giusy Di Lorenzo, Anna Rita Fasolino, Lorenzo Melcarne, Porfirio Tramontana, Valeria Vittorini
2005 — conf
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework.
QEST
Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
2005 C conf
Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example.
HPCC
Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, Giusy Di Lorenzo, Paola Mosca, Massimo Magaldi
2004 — conf
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.
PARA
Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini
2004 — conf
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys.
ICATPN
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2004 J jnl
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks.
J. Intell. Manuf.
Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca
2004 A conf
Repairable Fault Tree for the Automatic Evaluation of Repair Policies.
DSN
Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini
2004 J jnl
The OsMoSys approach to multi-formalism modeling of systems.
Softw. Syst. Model.
Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis
2004 C conf
Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems.
PDP
Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
2003 — conf
Policy based interoperability in distributed security infrastructures.
CE
Valentina Casola, Nicola Mazzocca, Antonino Mazzeo, Valeria Vittorini
2003 — conf
SWN client-server composition operators in the OsMoSys framework.
PNPM
Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
2002 — conf
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.
Computer Performance Evaluation / TOOLS
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini
2002 A conf
DrawNet++: A Flexible Framework for Building Dependability Models.
DSN
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, Claudio Bertoncello
2002 J jnl
Efficient model checking of properties of a distributed application: a multimedia case study.
Softw. Test. Verification Reliab.
Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Valeria Vittorini
2002 — conf
Policy formalization to combine separate systems into larger connected network of trust.
Net-Con
Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini
1999 — conf
Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks.
PDSE
Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca
1998 J jnl
Formal Specification of Concurrent Systems: A Structured Approach.
Comput. J.
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Carlo Savy, Valeria Vittorini
1997 J jnl
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems.
Real Time Syst.
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini
1997 J jnl
A method for predictive performance of distributed programs.
Simul. Pract. Theory
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini
1997 J jnl
Formal methods integration for the specification of dependable distributed systems.
J. Syst. Archit.
Nicola Mazzocca, Stefano Russo, Valeria Vittorini
1997 — conf
Integrating Trace Logic and Petri Nets Specifications.
HICSS (1)
Nicola Mazzocca, Stefano Russo, Valeria Vittorini
1994 — conf
A Mapping Method for Distributed Hetergoneous Systems.
EUROSIM
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini