default search action
Valeria Vittorini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j31]Ruth Dirnfeld, Lorenzo De Donato, Alessandra Somma
, Mehdi Saman Azari, Stefano Marrone
Integrating AI and DTs: challenges and opportunities in railway maintenance application and beyond. Simul. 100(9): 903-917 (2024) - [c46]Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini:
Railway Switch Control Modeling in European Train Control System Level 3. ISoLA (5) 2024: 174-189 - 2023
- [j30]Lorenzo De Donato
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance. Eng. Appl. Artif. Intell. 123(Part C): 106405 (2023) - [j29]Lorenzo De Donato, Ruth Dirnfeld, Alessandra Somma
Towards AI-assisted digital twins for smart railways: preliminary guideline and reference architecture. J. Reliab. Intell. Environ. 9(3): 303-317 (2023) - [c45]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: 1-6 - 2022
- [j28]Lorenzo De Donato
A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance. IEEE Access 10: 65376-65400 (2022) - [j27]Nikola Besinovic
Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications. IEEE Trans. Intell. Transp. Syst. 23(9): 14011-14024 (2022) - [c44]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: 102-113 - [c43]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: 69-74 - [c42]Roberto Canonico
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. ISoLA (4) 2022: 308-320 - [c41]Francesco Flammini
A Vision of Intelligent Train Control. RSSRail 2022: 192-208 - [e3]Stefano Marrone
Dependable Computing - EDCC 2022 Workshops - SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings. Communications in Computer and Information Science 1656, Springer 2022, ISBN 978-3-031-16244-2 [contents] - 2021
- [j26]Nijat Rajabli, Francesco Flammini
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review. IEEE Access 9: 4797-4819 (2021) - [j25]Francesco Flammini
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. Formal Aspects Comput. 33(6): 989-1007 (2021) - 2020
- [j24]Roberto Nardone
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. J. Syst. Softw. 161 (2020) - [j23]Carlo Di Meo, Marco Di Vaio
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis. IEEE Trans. Intell. Transp. Syst. 21(6): 2545-2556 (2020) - [c40]Ruth Dirnfeld, Francesco Flammini, Stefano Marrone
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways. ITSC 2020: 1-7 - [e2]Simona Bernardi
Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings. Communications in Computer and Information Science 1279, Springer 2020, ISBN 978-3-030-58461-0 [contents] - [i3]Francesco Flammini, Valeria Vittorini, Zhiyuan Lin:
Roadmaps for AI Integration in the Rail Sector - RAILS. ERCIM News 2020(121) (2020)
2010 – 2019
- 2019
- [j22]Annarita Drago, Stefano Marrone
A model-driven approach for vulnerability evaluation of modern physical protection systems. Softw. Syst. Model. 18(1): 523-556 (2019) - [j21]Simona Bernardi
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism. Softw. Syst. Model. 18(3): 2241-2264 (2019) - [c39]Massimo Benerecetti, Ugo Gentile
From Dynamic State Machines to Promela. SPIN 2019: 56-73 - 2018
- [c38]Roberto Nardone, Gianmaria De Tommasi
Automatic generation of formal models for diagnosability of DES. ETFA 2018: 43-48 - [c37]Rupert Schlick
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. ISoLA (4) 2018: 249-272 - 2017
- [j20]Ugo Gentile
A model driven approach for assessing survivability requirements of critical infrastructures. J. High Speed Networks 23(2): 175-186 (2017) - [j19]Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile
Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133: 116-153 (2017) - [c36]Roberto Canonico
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS. RSSRail 2017: 34-50 - 2016
- [p1]Francesco Flammini
Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring. Recent Advances in Computational Intelligence in Defense and Security 2016: 71-100 - 2015
- [j18]Stefano Marrone
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems. Comput. Electr. Eng. 47: 275-285 (2015) - [c35]Roberto Nardone
Modeling Railway Control Systems in Promela. FTSCS 2015: 121-136 - 2014
- [j17]Stefano Marrone
Towards Model-Driven V&V assessment of railway control systems. Int. J. Softw. Tools Technol. Transf. 16(6): 669-683 (2014) - [c34]Valeria Vittorini, Roberto Nardone, Antonio M. Rinaldi, Stefano Marrone:
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project. EPS 2014 - [c33]Roberto Nardone
Dynamic State Machines for Formalizing Railway Control System Specifications. FTSCS 2014: 93-109 - [c32]Domenico Amalfitano
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation. WISE@ASE 2014: 29-34 - [c31]Gregorio Barberio, Beniamino Di Martino
An Interoperable Testing Environment for ERTMS/ETCS Control Systems. SAFECOMP Workshops 2014: 147-156 - [c30]Francesco Flammini
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. SAFECOMP 2014: 230-245 - 2013
- [j16]Stefano Marrone
Vulnerability modeling and analysis for critical infrastructure protection applications. Int. J. Crit. Infrastructure Prot. 6(3-4): 217-227 (2013) - [j15]Francesco Flammini
SAFECOMP'11 post-conference special issue. Reliab. Eng. Syst. Saf. 120: 111 (2013) - [j14]Simona Bernardi
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliab. Eng. Syst. Saf. 120: 112-126 (2013) - [c29]Francesco Flammini
Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios. CD-ARES Workshops 2013: 442-456 - [c28]Ermanno Battista, Valentina Casola
An integrated lifetime and network quality model of large WSNs. M&N 2013: 132-137 - [c27]Annarita Drago, Stefano Marrone
Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks. UIC/ATC 2013: 380-387 - [i2]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 abs/1304.6656 (2013) - 2012
- [j13]Francesco Moscato, Valeria Vittorini, Flora Amato
Solution Workflows for Model-Based Analysis of Complex Systems. IEEE Trans Autom. Sci. Eng. 9(1): 83-95 (2012) - [j12]Stefano Marrone
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework. Trans. Petri Nets Other Model. Concurr. 6: 308-333 (2012) - [c26]Francesco Flammini
Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. ISoLA (2) 2012: 190-204 - 2011
- [c25]Francesco Flammini
Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection. ARES 2011: 191-204 - [c24]Francesco Flammini
A robust approach for on-line and off-line threat detection based on event tree similarity analysis. AVSS 2011: 414-419 - [c23]Francesco Flammini
Petri Net Modelling of Physical Vulnerability. CRITIS 2011: 128-139 - [c22]Simona Bernardi
Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP 2011: 15-28 - [e1]Francesco Flammini
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings. Lecture Notes in Computer Science 6894, Springer 2011, ISBN 978-3-642-24269-4 [contents] - 2010
- [j11]Francesco Flammini
Multiformalism techniques for critical infrastructure modelling. Int. J. Syst. Syst. Eng. 2(1): 19-37 (2010) - [c21]Stefano Marrone
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. IFM 2010: 215-228
2000 – 2009
- 2009
- [j10]Francesco Flammini
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): 1422-1432 (2009) - [c20]Giuliana Franceschinis, Marco Gribaudo
Interfaces and binding in component based development of formal models. VALUETOOLS 2009: 44 - 2008
- [c19]Flora Amato
The REM Framework for Security Evaluation. ARES 2008: 1097-1103 - [c18]Francesco Flammini
A Study on Multiformalism Modeling of Critical Infrastructures. CRITIS 2008: 336-343 - [i1]Francesco Flammini, Nicola Mazzocca, Valeria Vittorini:
New Paradigms and Tools for High-Assurance Systems Modelling. ERCIM News 2008(75) (2008) - 2007
- [j9]Valentina Casola
A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures. J. Comput. Secur. 15(2): 197-229 (2007) - [j8]Giusy Di Lorenzo, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini:
Towards Semantics Driven Generation of Executable Web Services Compositions. J. Softw. 2(5): 1-15 (2007) - [c17]Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca
Automatic Analysis of Control Flow inWeb Services Composition Processes. PDP 2007: 299-306 - [c16]Francesco Moscato, Francesco Flammini
The software architecture of the OsMoSys multisolution framework. VALUETOOLS 2007: 51 - [c15]Giusy Di Lorenzo, Anna Rita Fasolino
Turning Web Applications into Web Services by Wrapping Techniques. WCRE 2007: 199-208 - 2005
- [c14]Francesco Moscato, Nicola Mazzocca
Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. HPCC 2005: 395-400 - [c13]Marco Gribaudo
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. QEST 2005: 85-94 - 2004
- [j7]Francesco Basile
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks. J. Intell. Manuf. 15(3): 351-371 (2004) - [j6]Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis:
The OsMoSys approach to multi-formalism modeling of systems. Softw. Syst. Model. 3(1): 68-81 (2004) - [c12]Giuliana Franceschinis, Marco Gribaudo
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN 2004: 177-196 - [c11]Daniele Codetta Raiteri
Repairable Fault Tree for the Automatic Evaluation of Repair Policies. DSN 2004: 659-668 - [c10]Mauro Iacono
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. PARA 2004: 499-508 - [c9]Francesco Moscato, Nicola Mazzocca
Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. PDP 2004: 134- - 2003
- [c8]Valentina Casola, Nicola Mazzocca, Antonino Mazzeo, Valeria Vittorini:
Policy based interoperability in distributed security infrastructures. CE 2003: 1027-1034 - [c7]Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca:
SWN client-server composition operators in the OsMoSys framework. PNPM 2003: 52-61 - 2002
- [j5]Nicola Mazzocca
Efficient model checking of properties of a distributed application: a multimedia case study. Softw. Test. Verification Reliab. 12(1): 3-21 (2002) - [c6]Giuliana Franceschinis, Marco Gribaudo
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. Computer Performance Evaluation / TOOLS 2002: 233-238 - [c5]Giuliana Franceschinis, Marco Gribaudo
DrawNet++: A Flexible Framework for Building Dependability Models. DSN 2002: 540 - [c4]Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Valeria Vittorini:
Policy formalization to combine separate systems into larger connected network of trust. Net-Con 2002: 425-430
1990 – 1999
- 1999
- [c3]Francesco Basile
Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks. PDSE 1999: 110-123 - 1998
- [j4]Antonino Mazzeo, Nicola Mazzocca
Formal Specification of Concurrent Systems: A Structured Approach. Comput. J. 41(3): 145-162 (1998) - 1997
- [j3]Nicola Mazzocca
Formal methods integration for the specification of dependable distributed systems. J. Syst. Archit. 43(10): 671-685 (1997) - [j2]Antonino Mazzeo
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems. Real Time Syst. 13(3): 219-236 (1997) - [j1]Antonino Mazzeo, Nicola Mazzocca
A method for predictive performance of distributed programs. Simul. Pract. Theory 5(1): 65-82 (1997) - [c2]Nicola Mazzocca
Integrating Trace Logic and Petri Nets Specifications. HICSS (1) 1997: 443-451 - 1994
- [c1]Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini:
A Mapping Method for Distributed Hetergoneous Systems. EUROSIM 1994: 143-151
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: