Francesco Flammini

发表

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..

A Study on Multiformalism Modeling of Critical Infrastructures

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

Reliability, safety and security of innovative command/control systems : Model-based approaches and related industrial applications

Francesco Flammini, Concetta Pragliola, L. Impagliazzo, 2010 .

UML Based Reverse Engineering for the Verification of Railway Control Logics

Francesco Flammini, Nicola Mazzocca, Pietro Marmo, 2006, 2006 International Conference on Dependability of Computer Systems.

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 .

On the development of intelligent railway information and safety systems: an overview of current research

Francesco Flammini, Laszlo Barna Iantovics, Daniel Tokody, 2018 .

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).

The intelligent railway system theory : The European railway research perspectiveand the development of the European digital railway strategy

Francesco Flammini, Daniel Tokody, 2017 .

Dependable integrated surveillance systems for the physical security of metro railways

Francesco Flammini, Concetta Pragliola, Alfio Pappalardo, 2009, 2009 Third ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC).

The software architecture of the OsMoSys multisolution framework

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

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

Francesco Flammini, Valeria Vittorini, Sandro Bologna, 2002 .

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 .

MODElINg OF RAIlWAY lOgIcS FOR REVERSE ENgINEERINg, VERIFIcATION AND REFAcTORINg

Francesco Flammini, Nicola Mazzocca, Armando Lazzaro, 2011 .

Petri Net Modelling of Physical Vulnerability

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

Resilience of Cyber-Physical Systems

Francesco Flammini, Francesco Flammini, 2019, Advanced Sciences and Technologies for Security Applications.

Model-Based Dependability Evaluation of Critical Control Systems

Francesco Flammini, 2009 .

Model-Based Early Warning and Decision Support to Improve Infrastructure Surveillance

Francesco Flammini, Concetta Pragliola, Andrea Gaglione, 2009, ERCIM News.

Roadmaps for AI Integration in the Rail Sector - RAILS

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

On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report

Francesco Flammini, 2012, Int. J. Crit. Comput. Based Syst..

ERTMS/ETCS : working principles and validation

Francesco Flammini, Antonio Orazzo, P. Marmo, 2005 .

Towards Automated Drone Surveillance in Railways: State-of-the-Art and Future Directions

Francesco Flammini, Concetta Pragliola, Riccardo Naddei, 2016, ACIVS.

Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study

Roberto Nardone, Francesco Flammini, Mauro Caporuscio, 2020, Future Gener. Comput. Syst..

Model-based dependability evaluation of complex critical control systems

Francesco Flammini, Francesco Flammini, 2007 .

Automatic Train Protection Systems

Francesco Flammini, 2013 .

From traditional manufacturing and automation systems to holonic intelligent systems

Francesco Flammini, Daniel Tokody, Jozsef Papp, 2018 .

Model-Based Analysis of ‘k out of m’ Correlation Techniques for Diverse Redundant Detectors

Francesco Flammini, 2013 .

Automatic instantiation of abstract tests on specific configurations for large critical control systems

Francesco Flammini, Nicola Mazzocca, Antonio Orazzo, 2009 .

Artificial Intelligence (AI) applicata agli Autonomous Systems

Francesco Flammini, 2018 .

A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems

Francesco Flammini, Pietro Marmo, Antonio Orazzo, 2005, EDCC.

Model-Driven Availability Evaluation of Railway Control Systems

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

Performance Evaluation of Video Analytics for Surveillance On-Board Trains

Francesco Flammini, Nicola Mazzocca, Concetta Pragliola, 2013, ACIVS.

Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures

Francesco Flammini, Nicola Mazzocca, Concetta Pragliola, 2009, CRITIS.

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.

Automatic instantiation of abstract tests on specific configurations for large critical control systems

Francesco Flammini, Nicola Mazzocca, Antonio Orazzo, 2009, Softw. Test. Verification Reliab..

On-line integration and reasoning of multi-sensor data to enhance infrastructure surveillance

Francesco Flammini, Vincenzo Moscato, Nicola Mazzocca, 2009 .

Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

Francesco Flammini, Frédéric Lang, 2014 .

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

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

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

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

On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems

Francesco Flammini, Vincenzo Suraci, Andi Palo, 2011, SAFECOMP.

Evaluating the Effects of MJPEG Compression on Motion Tracking in Metro Railway Surveillance

Francesco Flammini, Concetta Pragliola, Giovanni Poggi, 2012, ACIVS.

Smart Systems for the Protection of Individuals

Francesco Flammini, Daniel Tokody, 2017 .

Technical Committee Reports: The Future of Homeland Security

Francesco Flammini, 2016 .

Effective Surveillance for Homeland Security: Balancing Technology and Social Issues

Francesco Flammini, 2013 .

Formal methods for railway control systems

Francesco Flammini, Stefania Gnesi, Alessandro Fantechi, 2014, International Journal on Software Tools for Technology Transfer.

Railway infrastructure monitoring by drones

Francesco Flammini, Concetta Pragliola, Giovanni Smarra, 2016, 2016 International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles & International Transportation Electrification Conference (ESARS-ITEC).

SAFECOMP'11 post-conference special issue

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

The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system

Francesco Flammini, Armando Lazzaro, Angela Sanseviero, 2005, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05).

Critical Infrastructure Security: Assessment, Prevention, Detection, Response

Francesco Flammini, 2012 .

Sistemi autonomi simbiotici e sicurezza

Francesco Flammini, 2019 .

Railway Safety, Reliability, and Security: Technologies and Systems Engineering

Francesco Flammini, 2012 .

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.

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).

Ensuring cyber-security in smart railway surveillance with SHIELD

Francesco Flammini, Concetta Pragliola, Francesco Delli Priscoli, 2017, Int. J. Crit. Comput. Based Syst..

Formal Evaluation of a Majority Voting Concept to Improve the Dependability of Multiple Technology Sensors

Francesco Flammini, 2010 .

A Hybrid Testing Methodology for Railway Control Systems

Francesco Flammini, Antonio Orazzo, Pasquale di Tommaso, 2004, SAFECOMP.

Formal Methods for Industrial Critical Systems

Francesco Flammini, Frédéric Lang, 2014, Lecture Notes in Computer Science.

ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis

Roberto Nardone, Francesco Flammini, Stefania Santini, 2020, IEEE Transactions on Intelligent Transportation Systems.

New Paradigms and Tools for High-Assurance Systems Modelling

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

Model-Based Approaches for Railway Safety, Reliability and Security: The Experience of Ansaldo STS

Francesco Flammini, 2009 .

Formal Methods for Intelligent Transportation Systems

Francesco Flammini, Stefania Gnesi, Alessandro Fantechi, 2012, ISoLA.

The software architecture of the OsMoSys multisolution framework

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

Model-based functional verification & validation of complex train control systems: an on-board system testing case-study

Francesco Flammini, Nicola Mazzocca, Antonio Orazzo, 2005 .

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 .

Towards Wireless Sensor Networks for railway infrastructure monitoring

Francesco Flammini, Andrea Gaglione, Alfio Pappalardo, 2010, Electrical Systems for Aircraft, Railway and Ship Propulsion.

The New SHIELD Architectural Framework

Francesco Flammini, Andrea Fiaschetti, Mariana Esposito, 2013, ERCIM News.

Wireless Sensor Data Fusion for Critical Infrastructure Security

Francesco Flammini, Vincenzo Moscato, Nicola Mazzocca, 2008, CISIS.

Freight Train monitoring: A Case-Study for the pSHIELD Project

Francesco Flammini, Nicola Mazzocca, Valentina Casola, 2012, 2012 Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing.

Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)

Francesco Flammini, Frédéric Lang, 2016, Sci. Comput. Program..

Optimisation of security system design by quantitative risk assessment and genetic algorithms

Francesco Flammini, Nicola Mazzocca, Concetta Pragliola, 2011 .

Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3

Laura Carnevali, Enrico Vicario, Francesco Flammini, 2015, EPEW.

Using repairable fault trees for the evaluation of design choices for critical repairable systems

Stefano Marrone, Francesco Flammini, Mauro Iacono, 2005, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05).

Smart-troubleshooting connected devices: Concept, challenges and opportunities

Francesco Flammini, Mauro Caporuscio, Narges Khakpour, 2020, Future Gener. Comput. Syst..

White Paper on Industrial Applications of Computer Vision and Pattern Recognition

Francesco Flammini, Alessandro Capra, Concetta Pragliola, 2013, ICIAP.

DETECT: a novel framework for the detection of attacks to critical infrastructures

Francesco Flammini, Concetta Pragliola, Andrea Gaglione, 2008 .

Complex, Resilient and Smart Systems

Francesco Flammini, Laszlo Barna Iantovics, Daniel Tokody, 2019, Resilience of Cyber-Physical Systems.

Empty Vehicle Detection with Video Analytics

Francesco Flammini, Nicola Mazzocca, Concetta Pragliola, 2013, ICIAP.

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..

Ensuring cyber-security in smart railway surveillance with SHIELD

Francesco Flammini, Concetta Pragliola, Alessandro Di Giorgio, 2017 .

Multiformalism techniques for critical infrastructure modelling

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

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..

An Efficient Machine Learning Approach to Nephrology Through Iris Recognition

Francesco Flammini, V Bhagyalakshmi, C D Divya, 2021 .

Machine Learning for Threat Recognition in Critical Cyber-Physical Systems

Francesco Flammini, Roberto Setola, Paola Perrone, 2021, 2021 IEEE International Conference on Cyber Security and Resilience (CSR).

A Systematic Review of Artificial Intelligence Public Datasets for Railway Applications

Mauro José Pappaterra, Francesco Flammini, Nikola Bešinović, 2021, Infrastructures.