Valeria Vittorini

发表

On synergies of cyber and physical security modelling in vulnerability assessment of railway systems

Stefano Marrone, Ricardo J. Rodríguez, Roberto Nardone, 2015, Comput. Electr. Eng..

Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways

Francesco Flammini, Valeria Vittorini, Ruth Dirnfeld, 2020, 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).

Solution Workflows for Model-Based Analysis of Complex Systems

Valeria Vittorini, Flora Amato, Francesco Moscato, 2012, IEEE Transactions on Automation Science and Engineering.

A Study on Multiformalism Modeling of Critical Infrastructures

Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, 2008, CRITIS.

A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS

Stefano Marrone, Roberto Nardone, Valeria Vittorini, 2017, RSSRail.

DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems

Valeria Vittorini, Mauro Iacono, Giuliana Franceschinis, 2002, Computer Performance Evaluation / TOOLS.

Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection

Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, 2011, ARES.

Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications

Roberto Nardone, Francesco Flammini, Valeria Vittorini, 2015 .

Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example

Valeria Vittorini, Francesco Moscato, Nicola Mazzocca, 2005, HPCC.

Turning Web Applications into Web Services by Wrapping Techniques

Valeria Vittorini, Porfirio Tramontana, Giusy Di Lorenzo, 2007, 14th Working Conference on Reverse Engineering (WCRE 2007).

Towards Railway Virtual Coupling

Roberto Nardone, Francesco Flammini, Valeria Vittorini, 2018, 2018 IEEE International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles & International Transportation Electrification Conference (ESARS-ITEC).

Efficient model checking of properties of a distributed application: a multimedia case study

Valeria Vittorini, Antonella Santone, Gigliola Vaglini, 2002, Softw. Test. Verification Reliab..

A Systematic Approach to the Petri Net Based Specification of Concurrent Systems

Valeria Vittorini, Stefano Russo, Antonino Mazzeo, 1997, Real-Time Systems.

A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework

Stefano Marrone, Roberto Nardone, Valeria Vittorini, 2012, Trans. Petri Nets Other Model. Concurr..

The software architecture of the OsMoSys multisolution framework

Francesco Flammini, Valeria Vittorini, Mauro Iacono, 2007, Valuetools 2007.

Railway Infrastructure Security

Valeria Vittorini, Concetta Pragliola, Roberto Setola, 2015 .

GAUSS - Governing Adaptive and Unplanned Systems of Systems

Valeria Vittorini, Stefano Russo, 2016 .

SWN client-server composition operators in the OsMoSys framework

Stefano Marrone, Valeria Vittorini, Giuliana Franceschinis, 2003, 10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings..

A model driven approach for assessing survivability requirements of critical infrastructures

Stefano Marrone, Valeria Vittorini, Simona Bernardi, 2017, J. High Speed Networks.

Proceedings of the 30th international conference on Computer safety, reliability, and security

Francesco Flammini, Valeria Vittorini, Sandro Bologna, 2002 .

A Mapping Method for Distributed Hetergoneous Systems

Valeria Vittorini, Stefano Russo, Antonino Mazzeo, 1994, EUROSIM.

Evaluating the Hazardous Failure Rate of majority voting computer architectures by means of Bayesian Network models

Francesco Flammini, Valeria Vittorini, Stefano Marrone, 2007 .

Information fusion and surveillance : Information Fusion e sorveglianza

Francesco Flammini, Valeria Vittorini, Alfio Pappalardo, 2013 .

Petri Net Modelling of Physical Vulnerability

Stefano Marrone, Francesco Flammini, Valeria Vittorini, 2011, CRITIS.

Dynamic State Machines for Formalizing Railway Control System Specifications

Stefano Marrone, Roberto Nardone, Valeria Vittorini, 2014, FTSCS.

Efficient Model Checking of Properties of a Multimedia Application

Valeria Vittorini, Antonella Santone, Gigliola Vaglini, 1999, AAAI 1999.

Roadmaps for AI Integration in the Rail Sector - RAILS

Francesco Flammini, Valeria Vittorini, Zhiyuan Lin, 2020, ERCIM News.

Formal Specification of Concurrent Systems: A Structured Approach

Valeria Vittorini, Stefano Russo, Antonino Mazzeo, 1998, Comput. J..

Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism

Stefano Marrone, Roberto Nardone, Valeria Vittorini, 2018, Software & Systems Modeling.

Workflow principles applied to multi-solution analysis of dependable distributed systems

Valeria Vittorini, Francesco Moscato, Nicola Mazzocca, 2004, 12th Euromicro Conference on Parallel, Distributed and Network-Based Processing, 2004. Proceedings..

DrawNET Xe!: GUI and Formalism Definition Language

Valeria Vittorini, Mauro Iacono, Giuliana Franceschinis, 2003 .

Model-Driven Availability Evaluation of Railway Control Systems

Stefano Marrone, Francesco Flammini, Valeria Vittorini, 2011, SAFECOMP.

The METRIP Tool

Claudio Sterle, Valeria Vittorini, Stefano Marrone, 2015 .

DrawNet++: a flexible framework for building dependability models

Valeria Vittorini, Mauro Iacono, Giuliana Franceschinis, 2002, Proceedings International Conference on Dependable Systems and Networks.

An Interoperable Testing Environment for ERTMS/ETCS Control Systems

Stefano Marrone, Roberto Nardone, Valeria Vittorini, 2014, SAFECOMP Workshops.

Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys

Stefano Marrone, Valeria Vittorini, Mauro Iacono, 2004, ICATPN.

A method for predictive performance of distributed programs

Valeria Vittorini, Stefano Russo, Antonino Mazzeo, 1997, Simul. Pract. Theory.

Policy formalization to combine separate systems into larger connected network of trust

Valeria Vittorini, Antonino Mazzeo, Nicola Mazzocca, 2002, Net-Con.

A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems

Stefano Marrone, Roberto Nardone, Francesco Flammini, 2014, SAFECOMP.

Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings

Francesco Flammini, Valeria Vittorini, Sandro Bologna, 2011, SAFECOMP.

A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods

Roberto Nardone, Valeria Vittorini, Colin F. Snook, 2018, ISoLA.

Integrating trace logic and Petri nets specifications

Valeria Vittorini, Stefano Russo, Nicola Mazzocca, 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

Multisolution of complex performability models in the OsMoSys/DrawNET framework

Valeria Vittorini, Marco Gribaudo, Francesco Moscato, 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective

Stefano Marrone, Roberto Nardone, Francesco Flammini, 2012, ISoLA.

The REM Framework for Security Evaluation

Valeria Vittorini, Flora Amato, Antonino Mazzeo, 2008, 2008 Third International Conference on Availability, Reliability and Security.

Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios

Stefano Marrone, Francesco Flammini, Valeria Vittorini, 2013, CD-ARES Workshops.

Automatic generation of formal models for diagnosability of DES

Gianmaria De Tommasi, Alfredo Pironti, Roberto Nardone, 2018, 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA).

Building formal models of concurrent and distributed systems: an experience in applicability with two different Petri nets approaches

Valeria Vittorini, Stefano Russo, Nicola Mazzocca, 1999 .

Interfaces and binding in component based development of formal models

Stefano Marrone, Valeria Vittorini, Mauro Iacono, 2009, VALUETOOLS.

Modeling Railway Control Systems in Promela

Stefano Marrone, Roberto Nardone, Valeria Vittorini, 2015, FTSCS.

Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling

Roberto Nardone, Valeria Vittorini, Stefano Marrone, 2014 .

An integrated lifetime and network quality model of large WSNs

Roberto Nardone, Valeria Vittorini, Stefano Marrone, 2013, 2013 IEEE International Workshop on Measurements & Networking (M&N).

A Model-Driven Process for Physical Protection System Design and Vulnerability Evaluation

Roberto Nardone, Valeria Vittorini, Stefano Marrone, 2015 .

Improving code coverage in android apps testing by exploiting patterns and automatic test case generation

Stefano Marrone, Roberto Nardone, Valeria Vittorini, 2014, WISE@ASE.

SAFECOMP'11 post-conference special issue

Francesco Flammini, Valeria Vittorini, 2013, Reliab. Eng. Syst. Saf..

Vulnerability modeling and analysis for critical infrastructure protection applications

Roberto Nardone, Valeria Vittorini, Nicola Mazzocca, 2013, Int. J. Crit. Infrastructure Prot..

Dependable Computing - EDCC 2020 Workshops: AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings

Francesco Flammini, Krishna M. Sivalingam, Alfredo Cuzzocrea, 2020, EDCC Workshops.

Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks

Valeria Vittorini, Francesco Basile, Pasquale Chiacchio, 2004, J. Intell. Manuf..

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) : Preface

Francesco Flammini, Valeria Vittorini, Sandro Bologna, 2011, SAFECOMP 2011.

The OsMoSys approach to multi-formalism modeling of systems

Valeria Vittorini, Mauro Iacono, Giuliana Franceschinis, 2004, Software & Systems Modeling.

A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach

Stefano Marrone, Valeria Vittorini, Mauro Iacono, 2004, PARA.

Improving the Dependability of Distributed Surveillance Systems Using Diverse Redundant Detectors

Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, 2015 .

A robust approach for on-line and off-line threat detection based on event tree similarity analysis

Francesco Flammini, Valeria Vittorini, Concetta Pragliola, 2011, 2011 8th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS).

Specification and modeling of flexible manufacturing systems using behaviours and Petri nets building blocks

Valeria Vittorini, Francesco Basile, Pasquale Chiacchio, 1999, 1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems.

Automatic Analysis of Control Flow inWeb Services Composition Processes

Valeria Vittorini, Francesco Moscato, Nicola Mazzocca, 2007, 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07).

The Modelling Process and Petri Nets: Reasoning on Different Approaches

Valeria Vittorini, Stefano Russo, Nicola Mazzocca, 1999 .

Automatic generation of context-aware web services compositions

Valeria Vittorini, Francesco Moscato, G. Di Lorenzo, 2007 .

New Paradigms and Tools for High-Assurance Systems Modelling

Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, 2008, ERCIM News.

The software architecture of the OsMoSys multisolution framework

Stefano Marrone, Francesco Flammini, Valeria Vittorini, 2007, ValueTools '07.

Modelling system reliability aspects of ERTMS/ETCS by fault trees and Bayesian networks

Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, 2006 .

Towards Model-Driven V&V assessment of railway control systems

Stefano Marrone, Roberto Nardone, Francesco Flammini, 2014, International Journal on Software Tools for Technology Transfer.

Challenges and emerging paradigms for augmented surveillance

Francesco Flammini, Valeria Vittorini, Alfio Pappalardo, 2013 .

Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems

Stefano Marrone, Valeria Vittorini, Camilla Papa, 2010, IFM.

Policy based interoperability in distributed security infrastructures

Valeria Vittorini, Antonino Mazzeo, Nicola Mazzocca, 2003, ISPE International Conference on Concurrent Engineering.

An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers

Roberto Nardone, Valeria Vittorini, Beniamino Di Martino, 2020, J. Syst. Softw..

Repairable fault tree for the automatic evaluation of repair policies

Valeria Vittorini, Mauro Iacono, Giuliana Franceschinis, 2004, International Conference on Dependable Systems and Networks, 2004.

A model-driven approach for vulnerability evaluation of modern physical protection systems

Stefano Marrone, Roberto Nardone, Valeria Vittorini, 2016, Software & Systems Modeling.

Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review

Francesco Flammini, Valeria Vittorini, Roberto Nardone, 2021, IEEE Access.

Towards Semantics Driven Generation of Executable Web Services Compositions

Valeria Vittorini, Francesco Moscato, Nicola Mazzocca, 2007, J. Softw..

A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures

Valeria Vittorini, Antonino Mazzeo, Nicola Mazzocca, 2007, J. Comput. Secur..

A MULTIFORMALISM MODULAR APPROACH TO ERTMS/ETCS FAILURE MODELING

Francesco Flammini, Valeria Vittorini, Mauro Iacono, 2014 .

Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring

Stefano Marrone, Francesco Flammini, Valeria Vittorini, 2016, Recent Advances in Computational Intelligence in Defense and Security.

Enabling the usage of UML in the verification of railway systems: The DAM-rail approach

Stefano Marrone, Roberto Nardone, Francesco Flammini, 2013, Reliab. Eng. Syst. Saf..

Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks

Stefano Marrone, Valeria Vittorini, Nicola Mazzocca, 2013, 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing.

Formal methods integration for the specification of dependable distributed systems

Valeria Vittorini, Stefano Russo, Nicola Mazzocca, 1997, J. Syst. Archit..

Multiformalism techniques for critical infrastructure modelling

Francesco Flammini, Valeria Vittorini, Francesco Moscato, 2010, Int. J. Syst. Syst. Eng..

From Dynamic State Machines to Promela

Roberto Nardone, Valeria Vittorini, Stefano Marrone, 2019, SPIN.

A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance pdf

Stefano Marrone, Francesco Flammini, Valeria Vittorini, 2009, Reliab. Eng. Syst. Saf..