FLAMMINI, FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.960
EU - Europa 800
AS - Asia 256
OC - Oceania 144
AF - Africa 12
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.175
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.953
RU - Federazione Russa 646
SG - Singapore 171
AU - Australia 144
IT - Italia 90
HK - Hong Kong 45
CN - Cina 30
IE - Irlanda 13
NL - Olanda 12
PL - Polonia 11
CI - Costa d'Avorio 9
DE - Germania 8
SE - Svezia 4
CA - Canada 3
CR - Costa Rica 3
FI - Finlandia 3
GB - Regno Unito 3
ID - Indonesia 3
AT - Austria 2
DK - Danimarca 2
ES - Italia 2
IR - Iran 2
JO - Giordania 2
PE - Perù 2
CY - Cipro 1
EU - Europa 1
LV - Lettonia 1
MA - Marocco 1
MY - Malesia 1
NO - Norvegia 1
PA - Panama 1
PT - Portogallo 1
SC - Seychelles 1
TM - Turkmenistan 1
UA - Ucraina 1
ZA - Sudafrica 1
Totale 4.175
Salva come PNG Salva come JPEG
Città #
Santa Clara 2.584
Melbourne 144
Singapore 126
Hong Kong 43
Florence 29
Moscow 22
Rome 21
Dublin 13
Fairfield 13
Gdansk 11
Saint Petersburg 10
Yubileyny 10
Abidjan 9
Ashburn 9
Woodbridge 9
Arezzo 8
Chandler 8
Seattle 8
Wilmington 6
Amsterdam 5
Cambridge 4
Houston 4
Los Angeles 4
Altamura 3
Beijing 3
Caserta 3
Helsinki 3
Lawrence 3
Parma 3
San José 3
Shanghai 3
Jakarta 2
Leioa 2
Lima 2
Medford 2
Nuremberg 2
Princeton 2
Toronto 2
Ann Arbor 1
Ashgabat 1
Astoria 1
Boardman 1
Boston 1
Buffalo 1
Chieti 1
Haltern am See 1
Hartenbos 1
Irkutsk 1
Kent 1
Kilburn 1
Lincoln 1
Malmo 1
Milan 1
Munich 1
Naples 1
Nicosia 1
Ottawa 1
Panama City 1
Prescot 1
Rabat 1
Riga 1
Sacramento 1
San Jose 1
Shah Alam 1
Tamm 1
Torre Annunziata 1
Vienna 1
Zhengzhou 1
Totale 3.168
Salva come PNG Salva come JPEG
Nome #
Non-Markovian performability evaluation of ERTMS/ETCS level 3 148
Resilience learning through self adaptation in digital twins of human-cyber-physical systems 83
Using log analytics and process mining to enable self-healing in the Internet of Things 44
AFFIDABILITA' E SICUREZZA DEI SISTEMI INNOVATIVI DI COMANDO/CONTROLLO. APPROCCI BASATI SU MODELLI E LORO APPLICAZIONI INDUSTRIALI 43
Advances in Physical Security Information Management 42
Software, Mathematics 41
A Flexible Simulation Environment for Railway Traffic Management Systems 40
Fuzzy decision fusion and multiformalism modeling in physical security monitoring 40
Model-Based Dependability Evaluation of Critical Control Systems 40
Affidabilità e sicurezza dei sistemi innovativi di comando/controllo. Approcci basati su modelli e loro applicazioni industriali 40
Introduzione ai concetti e alla modellistica dei sistemi dependable 40
Smart-troubleshooting connected devices: Concept, challenges and opportunities 40
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 39
Approcci Multi-Formalismo per la Valutazione di Affidabilità e Sicurezza di Sistemi Critici, Complessi ed Eterogenei 39
A multiformalism modular approach to ERTMS /ETCS failure modeling 39
Dependability Assurance of Real-time Embedded Control Systems 39
A hybrid testing methodology for railway control systems 39
Railway Infrastructure Monitoring by Drones 38
A literature review of Artificial Intelligence applications in railway systems 38
Trains 38
Resilience of Cyber-Physical Systems 38
A robust approach for on-line and off-line threat detection based on event tree similarity analysis 38
Complex, Resilient and Smart Systems 37
La security nei sistemi di trasporto a guida vincolata: analisi del rischio e strategie di protezione 37
‘Homeland Security': Today and Beyond 37
A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance 37
A Novel Methodology for the System Testing of Train Control Systems 37
Modeling of railway logics for reverse engineering, verification and refactoring 37
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study 37
Towards Trustworthy Autonomous Systems: Taxonomies and Future Perspectives 37
A Study on Multiformalism Modeling of Critical Infrastructures 36
An Experience in Validating Train Control Systems by a Grey Box Testing Approach 36
L'Informatica nell'era dell'Open Innovation 36
PREFACE - Workshop on Formal Methods for Industrial Critical Systems (FMICS'14) 36
Special Issue on the 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14) 36
Methods and Tools for Railway Safety, Reliability and Security 36
Model-driven V&V processes for computer based control systems: a unifying perspective 36
Towards Automated Drone Surveillance in Railways: State-of-the-Art and Future Directions 36
Reliability, safety and security of innovative command/control systems: model-based approaches and related industrial applications 36
The Intelligent Railway System Theory 36
Security Risk Management of Railway Transportation Systems 36
Towards Railway Virtual Coupling 36
Risk Management 35
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems 35
Augmenting surveillance system capabilities by exploiting event correlation and distributed attack detection 35
White Paper on Industrial Applications of Computer Vision and Pattern Recognition 35
Effective Surveillance for Homeland Security: Balancing Technology and Social Issues 35
Process Mining for Digital Twin Development of Industrial Cyber-Physical Systems 35
SMART-TROUBLESHOOTING SYMBIOTIC AUTONOMOUS SYSTEMS IN THE CONNECTED SOCIETY 35
A Hardware-in-the-Loop Water Distribution Testbed Dataset for Cyber-Physical Security Testing 35
Wireless sensor data fusion for critical infrastructure security 35
Challenges and Emerging Paradigms for Augmented Surveillance 35
A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems 35
Freight train monitoring: a case-study for the pSHIELD project 35
Proceedings of the 7th International Workshop on Verification and Evaluation of Computer and Communication Systems (VeCoS'13) 34
Model-Based Early Warning and Decision Support to Improve Infrastructure Surveillance 34
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 34
Optimisation of security system design by quantitative risk assessment and genetic algorithms 34
Automatic instantiation of abstract tests on specific configurations for large critical control systems 34
The Future of Homeland Security 34
New Paradigms and Tools for High-Assurance Systems Modelling 34
Formal Evaluation of a Majority Voting Concept to Improve the Dependability of Multiple Technology Sensors 34
Automatic Train Protection Systems 34
Multiformalism techniques for critical infrastructure modelling 34
Sistemi di controllo per l'Alta Velocità ferroviaria 34
Critical Infrastructure Security: Assessment, Prevention, Detection, Response 34
Quantitative security risk assessment and management for railway transportation infrastructures 34
The Intelligent Railway System Theory 33
A Two-Level Fusion Framework for Cyber-Physical Anomaly Detection 33
Improving the dependability of distributed surveillance systems using diverse redundant detectors 33
Smart Systems for the Protection of Individuals 33
Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios 33
Towards model-driven V&V assessment of railway control systems 33
Evaluating the Effects of MJPEG Compression on Motion Tracking in Metro Railway Surveillance 33
UML based reverse engineering for the verification of railway control logics 33
Towards Wireless Sensor Networks for railway infrastructure monitoring 33
Formal Methods for Intelligent Transportation Systems - A track at ISOLA'12 33
REVERSE ENGINEERING OF CRITICAL SOFTWARE: A MODEL-BASED APPROACH 33
Special Issue on SAFECOMP'11 33
Dependable integrated surveillance systems for the physical security of metro railways 33
Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems 33
Enabling the Usage of UML in the Verification of Railway Systems: the DAM-Rail Approach 33
Performance Evaluation of Video Analytics for Surveillance On-Board Trains 33
Special Issue on: Verification, Control and Performance Analysis 33
On the use of semantic technologies to model and control security, privacy and dependability in complex systems 33
The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system 33
La security nei sistemi di trasporto di tipo metropolitano 33
Modelli per l'analisi di sistemi critici 32
On-line integration and reasoning of multi-sensor data to enhance infrastructure surveillance 32
ON THE DEVELOPMENT OF INTELLIGENT RAILWAY INFORMATION AND SAFETY SYSTEMS: AN OVERVIEW OF CURRENT RESEARCH 32
Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3' decision fusion mechanisms in multi-sensor applications 32
Empty Vehicle Detection with Video Analytics 32
From Traditional Manufacturing and Automation Systems to Holonic Intelligent Systems 32
Model-based approaches for railway safety, reliability and security: The experience of Ansaldo STS 32
The New SHIELD Architectural Framework 32
Model-driven availability evaluation of railway control systems 32
Integrated smart surveillance systems for rail-based mass transportation 32
Formal Methods for Intelligent Transportation Systems 32
Protezione delle infrastrutture di trasporto su ferro 32
Petri Net Modeling of Physical Vulnerability 32
Totale 3.692
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.689
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 9.689
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202018 0 0 0 0 0 0 5 4 4 2 3 0
2020/20218 1 0 1 3 0 0 0 0 1 1 1 0
2021/202218 0 0 0 0 1 0 0 0 2 0 12 3
2022/202337 3 6 1 2 4 7 6 1 4 1 2 0
2023/202414 0 1 2 0 2 0 2 4 1 1 1 0
2024/20254.210 6 14 239 739 2.198 1.008 6 0 0 0 0 0
Totale 4.341