Valeria Vittorini
Orcid: 0000-0002-0451-9593
According to our database1,
Valeria Vittorini
authored at least 80 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Integrating AI and DTs: challenges and opportunities in railway maintenance application and beyond.
Simul., 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
2023
Towards AI-assisted digital twins for smart railways: preliminary guideline and reference architecture.
J. Reliab. Intell. Environ., September, 2023
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance.
Eng. Appl. Artif. Intell., 2023
Advanced AI-based approaches in Industry 4.0 of the University of Naples Federico II node of the CINI-AIIS Lab.
Proceedings of the Italia Intelligenza Artificiale, 2023
2022
Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications.
IEEE Trans. Intell. Transp. Syst., 2022
A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance.
IEEE Access, 2022
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems.
Proceedings of the 6th International Conference on System Reliability and Safety, 2022
Proceedings of the Dependable Computing - EDCC 2022 Workshops, 2022
2021
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks.
Formal Aspects Comput., 2021
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review.
IEEE Access, 2021
2020
IEEE Trans. Intell. Transp. Syst., 2020
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers.
J. Syst. Softw., 2020
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020
2019
A model-driven approach for vulnerability evaluation of modern physical protection systems.
Softw. Syst. Model., 2019
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism.
Softw. Syst. Model., 2019
Proceedings of the Model Checking Software - 26th International Symposium, 2019
2018
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
2017
Sci. Comput. Program., 2017
A model driven approach for assessing survivability requirements of critical infrastructures.
J. High Speed Networks, 2017
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
2016
Proceedings of the Recent Advances in Computational Intelligence in Defense and Security, 2016
2015
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems.
Comput. Electr. Eng., 2015
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015
2014
Int. J. Softw. Tools Technol. Transf., 2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation.
Proceedings of the WISE'14, 2014
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project.
Proceedings of the European Project Space on Computational Intelligence, 2014
2013
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach.
Reliab. Eng. Syst. Saf., 2013
Vulnerability modeling and analysis for critical infrastructure protection applications.
Int. J. Crit. Infrastructure Prot., 2013
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013
Proceedings of the 2nd IEEE International Workshop on Measurements & Networking, 2013
Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios.
Proceedings of the Security Engineering and Intelligence Informatics, 2013
2012
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework.
Trans. Petri Nets Other Model. Concurr., 2012
IEEE Trans Autom. Sci. Eng., 2012
Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
2011
Proceedings of the Computer Safety, Reliability, and Security, 2011
Proceedings of the Critical Information Infrastructure Security, 2011
A robust approach for on-line and off-line threat detection based on event tree similarity analysis.
Proceedings of the 8th IEEE International Conference on Advanced Video and Signal-Based Surveillance, 2011
Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection.
Proceedings of the Availability, Reliability and Security for Business, Enterprise and Health Information Systems, 2011
2010
Int. J. Syst. Syst. Eng., 2010
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
2009
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance.
Reliab. Eng. Syst. Saf., 2009
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009
2008
Proceedings of the Critical Information Infrastructure Security, 2008
Proceedings of the The Third International Conference on Availability, 2008
2007
J. Softw., 2007
A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures.
J. Comput. Secur., 2007
Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007
Proceedings of the 15th Euromicro International Conference on Parallel, 2007
2005
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005
Proceedings of the High Performance Computing and Communications, 2005
2004
Softw. Syst. Model., 2004
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks.
J. Intell. Manuf., 2004
Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems.
Proceedings of the 12th Euromicro Workshop on Parallel, 2004
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.
Proceedings of the Applied Parallel Computing, 2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
2003
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003
Policy based interoperability in distributed security infrastructures.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003
2002
Efficient model checking of properties of a distributed application: a multimedia case study.
Softw. Test. Verification Reliab., 2002
Policy formalization to combine separate systems into larger connected network of trust.
Proceedings of the Network Control and Engineering for QoS, 2002
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
Proceedings of the Computer Performance Evaluation, 2002
1999
Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999
1998
1997
Simul. Pract. Theory, 1997
Real Time Syst., 1997
J. Syst. Archit., 1997
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997
1994
A Mapping Method for Distributed Hetergoneous Systems.
Proceedings of the Massively Parallel Processing Applications and Develompent, 1994