Personale

Recapiti

Orario di ricevimento

Italiano

Biografia

Interessi

Note

Pubblicazioni

Insegnamenti

English

Biography

Interest

Note

Francesco FLAMMINI

Ruolo attuale:: Professore Ordinario
SSD:: INFO-01/A - Informatica
Afferenza organizzativa:: Dipartimento di Matematica e Informatica 'Ulisse Dini'

Recapiti

francesco.flammini(AT)unifi.it

Francesco FLAMMINI

Biografia

Francesco Flammini ha conseguito la laurea cum laude (M.D., 2003) e il dottorato di ricerca (PhD, 2006), entrambi in Ingegneria Informatica, presso l'Università di Napoli Federico II, Italia. Ha lavorato per 15 anni in aziende private e pubbliche, tra cui Ansaldo STS (ora Hitachi Rail) e IPZS (Istituto Poligrafico e Zecca dello Stato), su grandi progetti internazionali riguardanti il trasporto intelligente, la protezione delle infrastrutture critiche e la cybersecurity, come leader tecnico e capo unità. A partire dal primo Gennaio 2020, è stato nominato Professore Ordinario di Informatica con un focus sui Sistemi Ciber-Fisici presso l'Università di Mälardalen (Svezia). È stato anche Professore di Sistemi Autonomi Affidabili presso la Scuola Universitaria Professionale della Svizzera Italiana (SUPSI), dove è stato affiliato all'Istituto Dalle Molle di Studi sull'Intelligenza Artificiale (IDSIA), e ha guidato il gruppo di ricerca sui Sistemi Autonomi Affidabili (TAS). È stato anche Direttore del Programma del nuovo Corso di Laurea in Data Science e Intelligenza Artificiale presso SUPSI, all'interno del Dipartimento di Tecnologie Innovative (DTI). È stato Docente Senior e presidente dell'ambiente dei Sistemi Ciber-Fisici (CPS) presso l'Università di Linnaeus (Svezia), dove ha svolto il ruolo di Responsabile Tecnico del progetto di ricerca europeo RAILS sull'Intelligenza Artificiale per le ferrovie intelligenti, e Professore Aggiunto in diverse università, tra cui l'Università del Maryland Global Campus Europe.

È Senior Member dell'IEEE, Membro del Board-of-Governors della IEEE Systems, Man, and Cybernetics (SMC) Society, come Associate Vice-President for Members and Student Activities (MSA), nonché Presidente del Comitato Tecnico IEEE SMC sulla Sicurezza Nazionale. È stato anche Vice-Presidente del Capitolo Italiano della IEEE Computer Society. È Distinguished Visitor della IEEE Computer Society e Distinguished Lecturer dell'Association for Computing Machinery (ACM).

Ha (co)autorizzato oltre 150 pubblicazioni tecniche e ha servito come presidente, relatore invitato, membro del comitato direttivo/programmatico e redattore per oltre 50 conferenze internazionali, libri e riviste. È stato il principale investigatore, responsabile tecnico e leader di WP/Task in oltre 15 progetti di ricerca, per lo più finanziati dall'Unione Europea, dove serve anche come valutatore esperto per diverse agenzie. Infine, ha seguito oltre 10 studenti di dottorato come principal supervisor.

Principali distinzioni e premi:

• Luglio 2024: Vincitore (1° posto), Premio Dalle Molle per la Qualità della Vita, progetto "Intelligenza artificiale sicura per sedie a rotelle autonome supportate da droni"

• Marzo 2024: Vincitore (1° posto), Competizione Senior Researcher del Transport Research Arena (TRA) (Ferrovie)

• Ottobre 2023: Incluso nella lista di Stanford "World Ranking of Top 2% Scientists"

• 2023 Professor Zdzislaw Pawlak Award – International Cooperation, “Balancing Privacy and Accuracy in Federated Learning for Speech Emotion Recognition” (S. Mohammadi, M. Mohammadi, S. Sinaei, A. Balador, E. Nowroozi, F. Flammini, M. Conti), 18th Conference on Computer Science and Intelligence Systems (FedCSIS’23)

• 2023 Best Innovation Paper Award, “Evaluating Machine Learning Approaches for Cyber and Physical Anomalies in SCADA Systems” (L. Faramondi, F. Flammini, S. Guarino, R. Setola), 2023 IEEE International Conference on Cyber Security and Resilience (IEEE CSR 2023)

• 2022 IEEE SMC Most Active Technical Committee Award. Assegnato a F. Flammini come Presidente del Comitato Tecnico sulla Sicurezza Nazionale (TCHS)

• 2017 ForumPA Challenge Award (premio della Pubblica Amministrazione Italiana), progetto: “Centro di Continuità Operativa, Disaster Recovery e Sicurezza Ciber-Fisica”

• 2014 Ansaldo STS Innovation Award, 1° posto: “GAP DETECTOR” (F. Flammini, A. Orazzo, L. Biondi, E. Di Martino)

• 2009 Ansaldo STS Innovation Award, 1° posto: “PIEZORAIL: generatore di energia piezoelettrica sotto rotaia” (F. Flammini, B. Bowie, F. Ottello, C. Pragliola, A. Tedesco)

• 2008 Business Plan Competition Start Cup Federico II, 3° posto (progetto ‘N-Enterprise’, portale web per Imprese Collaborative Virtuali)

• 2007 Ansaldo STS Innovation Award, Menzione Speciale “Green Apple”: “PROtection of METro railways by enHanced survEillance of tUnnelS” (F. Flammini, G. Gotelli, G. Musella, C. Pragliola)

• 2006 Best Student Paper Award, Dependability of Computer Systems (DepCoS’06), Szklarska Poręba, Polonia, 25-27 maggio 2006

• 2006 Borsa di Ricerca assegnata dall'I.P.E. (Istituto per ricerche e attività educative)

• 2006 ANSALDO SIGNAL SignAward, 3° posto e menzione speciale “Innovazione più preziosa con probabile impatto a livello di gruppo”: “Un ATC basato su ERTMS Livello 3” (G. Barone, B. Conti, F. Flammini, L. Prini)

• 1997-2003 Borse di studio annuali assegnate come studente meritevole

Principali attività editoriali:

• IEEE Transactions on Emerging Topics in Computing, Associate Editor, dal 2022

• International Journal of Critical Infrastructure Protection, Elsevier, Associate Editor, dal 2022

• Discover Artificial Intelligence, Springer, Associate Editor, dal 2021

• Frontiers in Big Data, Review Editor, Cybersecurity & Privacy, dal 2022

• MDPI Journal of Cybersecurity and Privacy, Topic Editor, dal 2021

• MDPI Machine Learning and Knowledge Extraction, Editor, dal 2020

• International Journal of Critical Computer-Based Systems, fondatore e Editor-in-Chief

Francesco FLAMMINI

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Flammini F; Marrone S; Nardone R; Petrillo A; Santini S; Vittorini V (In corso di stampa). Towards Railway Virtual Coupling. In: ESARS-ITEC 2018, Nottingham, UK, November, 7-9 2018, IEEE.

Flammini F (In corso di stampa). Resilience of Cyber-Physical Systems. BERLIN HEIDELBERG: Springer-Verlag.

Azari, Mehdi Saman; Santini, Stefania; Edrisi, Farid; Flammini, Francesco (2024). Self-adaptive fault diagnosis for unseen working conditions based on digital twins and domain generalization. RELIABILITY ENGINEERING & SYSTEM SAFETY, pp. 0-0, ISSN:0951-8320 DOI

Xue X.; Shankar A.; Flammini F.; Zamani M. (2024). Similarity Feature Construction for Semantic Sensor Ontology Integration via Light Genetic Programming. IEEE INTERNET OF THINGS JOURNAL, pp. 1-1, ISSN:2327-4662 DOI

Pappaterra M.J.; Pappaterra M.L.; Flammini F. (2024). A study on the application of convolutional neural networks for the maintenance of railway tracks. DISCOVER ARTIFICIAL INTELLIGENCE, vol. 4, pp. 0-0, ISSN:2731-0809 DOI

Simone Guarino; Francesco Vitale; Francesco Flammini; Luca Faramondi; Nicola Mazzocca; Roberto Setola (2024). A Two-Level Fusion Framework for Cyber-Physical Anomaly Detection. IEEE TRANSACTIONS ON INDUSTRIAL CYBER-PHYSICAL SYSTEMS, vol. 2, pp. 1-13, ISSN:2832-7004 DOI

Francesco Vitale; Simone Guarino; Francesco Flammini; Luca Faramondi; Nicola Mazzocca; Roberto Setola (2024). Process Mining for Digital Twin Development of Industrial Cyber-Physical Systems. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, pp. 1-10, ISSN:1551-3203 DOI

Zahid M.; Bucaioni A.; Flammini F. (2024). Model-based Trustworthiness Evaluation of Autonomous Cyber-Physical Production Systems: A Systematic Mapping Study. ACM COMPUTING SURVEYS, vol. 56, pp. 1-28, ISSN:0360-0300 DOI

Shanmugam S.; Natarajan R.; Gururaj H.L.; Flammini F.; Sulaiman Alfurhood B.; Premkumar A. (2024). Blockchain-Based Piecewise Regressive Kupyna Cryptography for Secure Cloud Services. IET INFORMATION SECURITY, vol. 2024, pp. 0-0, ISSN:1751-8709 DOI

Bajaj J.S.; Kumar N.; Kaushal R.K.; Gururaj H.L.; Flammini F.; Natarajan R. (2023). System and Method for Driver Drowsiness Detection Using Behavioral and Sensor-Based Physiological Measures. SENSORS, vol. 23, pp. 0-0, ISSN:1424-8220 DOI

Priya M.P.; Roopa C.K.; Harish B.S.; Flammini F. (2023). Spatial Kernel Fuzzy Clustering Methods for Microarray Image Spot Segmentation. IEEE ACCESS, vol. 11, pp. 142478-142486, ISSN:2169-3536 DOI

Azari M.S.; Flammini F.; Santini S.; Caporuscio M. (2023). A Systematic Literature Review on Transfer Learning for Predictive Maintenance in Industry 4.0. IEEE ACCESS, vol. 11, pp. 12887-12910, ISSN:2169-3536 DOI

Gururaj H.L.; Manju N.; Nagarjun A.; Manjunath Aradhya V.N.; Flammini F. (2023). DeepSkin: A Deep Learning Approach for Skin Cancer Classification. IEEE ACCESS, vol. 11, pp. 50205-50214, ISSN:2169-3536 DOI

Sundarraj S.; Reddy R.V.K.; Basam M.B.; Lokesh G.H.; Flammini F.; Natarajan R. (2023). Route Planning for an Autonomous Robotic Vehicle Employing a Weight-Controlled Particle Swarm-Optimized Dijkstra Algorithm. IEEE ACCESS, vol. 11, pp. 92433-92442, ISSN:2169-3536 DOI

Gururaj H.L.; Natarajan R.; Almujally N.A.; Flammini F.; Krishna S.; Gupta S.K. (2023). Collaborative Energy-Efficient Routing Protocol for Sustainable Communication in 5G/6G Wireless Sensor Networks. IEEE OPEN JOURNAL OF THE COMMUNICATIONS SOCIETY, vol. 4, pp. 2050-2061, ISSN:2644-125X DOI

De Donato L.; Marrone S.; Flammini F.; Sansone C.; Vittorini V.; Nardone R.; Mazzariello C.; Bernaudin F. (2023). Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, vol. 123, pp. 0-0, ISSN:0952-1976 DOI

Tang R.; De Donato L.; Besinovic N.; Flammini F.; Goverde R.M.P.; Lin Z.; Liu R.; Tang T.; Vittorini V.; Wang Z. (2022). A literature review of Artificial Intelligence applications in railway systems. TRANSPORTATION RESEARCH. PART C, EMERGING TECHNOLOGIES, vol. 140, pp. 0-0, ISSN:0968-090X DOI

Singh P.; Saman Azari M.; Vitale F.; Flammini F.; Mazzocca N.; Caporuscio M.; Thornadtsson J. (2022). Using log analytics and process mining to enable self-healing in the Internet of Things. ENVIRONMENT SYSTEMS & DECISIONS, vol. 42, pp. 234-250, ISSN:2194-5403 DOI

Manju N.; Samiha C.M.; Pavan Kumar S.P.; Gururaj H.L.; Flammini F. (2022). Prediction of Aptamer Protein Interaction Using Random Forest Algorithm. IEEE ACCESS, vol. 10, pp. 49677-49687, ISSN:2169-3536 DOI

Rajabi S.; Saman Azari M.; Santini S.; Flammini F. (2022). Fault diagnosis in industrial rotating equipment based on permutation entropy, signal processing and multi-output neuro-fuzzy classifier. EXPERT SYSTEMS WITH APPLICATIONS, vol. 206, pp. 0-0, ISSN:0957-4174 DOI

Flammini F.; Alcaraz C.; Bellini E.; Marrone S.; Lopez J.; Bondavalli A. (2022). Towards Trustworthy Autonomous Systems: Taxonomies and Future Perspectives. IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, vol. ....., pp. 1-13, ISSN:2168-6750 DOI

Gururaj H.L.; Mitra P.; Koner S.; Bal S.; Flammini F.; Janhavi V.; Kumar R.V. (2022). Prediction of Phishing websites Using AI Techniques. INTERNATIONAL JOURNAL OF INFORMATION SECURITY AND PRIVACY, vol. 16, pp. 0-0, ISSN:1930-1650 DOI

Donato L.D.; Flammini F.; Marrone S.; Mazzariello C.; Nardone R.; Sansone C.; Vittorini V. (2022). A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance. IEEE ACCESS, vol. 10, pp. 65376-65400, ISSN:2169-3536 DOI

Shekar M.C.; Gururaj H.L.; Flammini F. (2022). Securing personal identity using blockchain. INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS, vol. 10, pp. 248-267, ISSN:1757-8779 DOI

Besinovic N.; De Donato L.; Flammini F.; Goverde R.M.P.; Lin Z.; Liu R.; Marrone S.; Nardone R.; Tang T.; Vittorini V. (2022). Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, vol. 23, pp. 14011-14024, ISSN:1524-9050 DOI

Bellini E.; Bagnoli F.; Caporuscio M.; Damiani E.; Flammini F.; Linkov I.; Lio P.; Marrone S. (2021). Resilience learning through self adaptation in digital twins of human-cyber-physical systems. In: 2021 IEEE International Conference on Cyber Security and Resilience, CSR 2021, grc, 2021, Institute of Electrical and Electronics Engineers Inc., pp. 168-173, ISBN:978-1-6654-0285-9 DOI Accesso ONLINE all'editore

Flammini F.; Marrone S.; Nardone R.; Vittorini V. (2021). Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. FORMAL ASPECTS OF COMPUTING, vol. 33, pp. 989-1007, ISSN:0934-5043 DOI

Faramondi L.; Flammini F.; Guarino S.; Setola R. (2021). A Hardware-in-the-Loop Water Distribution Testbed Dataset for Cyber-Physical Security Testing. IEEE ACCESS, vol. 9, pp. 122385-122396, ISSN:2169-3536 DOI

Kaynak O.; He W.; Flammini F.; Liu Z. (2021). Towards symbiotic autonomous systems. PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A: MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, vol. 379, pp. 0-0, ISSN:1364-503X DOI

Flammini F. (2021). Digital twins as run-time predictive models for the resilience of cyber-physical systems: A conceptual framework. PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A: MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, vol. 379, pp. 0-0, ISSN:1364-503X DOI

Flammini F.; Marrone S.; Nardone R.; Caporuscio M.; D'Angelo M. (2020). Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study. FUTURE GENERATION COMPUTER SYSTEMS, vol. 112, pp. 965-981, ISSN:0167-739X DOI

Di Meo C.; Di Vaio M.; Flammini F.; Nardone R.; Santini S.; Vittorini V. (2020). ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, vol. 21, pp. 2545-2556, ISSN:1524-9050 DOI

Caporuscio M.; Flammini F.; Khakpour N.; Singh P.; Thornadtsson J. (2020). Smart-troubleshooting connected devices: Concept, challenges and opportunities. FUTURE GENERATION COMPUTER SYSTEMS, vol. 111, pp. 681-697, ISSN:0167-739X DOI

Flammini F. (2019). Symbiotic autonomous systems and security. MONDO DIGITALE, vol. 18, pp. 0-0, ISSN:1720-898X

Flammini F (2018). SMART-TROUBLESHOOTING SYMBIOTIC AUTONOMOUS SYSTEMS IN THE CONNECTED SOCIETY. In: Smart, Sustainable and Safe Cities Conference 2018, Budapest, 25 Maggio 2018, Association of Hungarian PhD and DLA Students, Section of Engineering Sciences, pp. 10-10, ISBN:978-615-5586-27-9

Pappa J; Tokody D; Flammini F (2018). From Traditional Manufacturing and Automation Systems to Holonic Intelligent Systems. PROCEDIA MANUFACTURING, pp. 931-935, ISSN:2351-9789 DOI

Tokody D; Papp J; Iantovics LB; FLAMMINI F (2018). Complex, Resilient and Smart Systems. . Resilience of Cyber-Physical Systems: From Risk Assessment to Threat Counteraction, pp. 3-24, BERLIN: Springer, ISBN:978-3-319-95597-1. Accesso ONLINE all'editore

Tokody D; Tor M; Szuc E; FLAMMINI F; Iantovics B (2018). ON THE DEVELOPMENT OF INTELLIGENT RAILWAY INFORMATION AND SAFETY SYSTEMS: AN OVERVIEW OF CURRENT RESEARCH. , vol. 16, pp. 176-185 DOI Accesso ONLINE all'editore

Capano B; Flammini F (2017). L'Informatica nell'era dell'Open Innovation. MONDO DIGITALE, vol. 69, pp. -, ISSN:1720-898X Accesso ONLINE all'editore

Tokody D; Flammini F (2017). Smart Systems for the Protection of Individuals. . Key Engineering Materials, pp. 190-197 Trans Tech Publications., vol. 755: DOI Accesso ONLINE all'editore

Flammini F; Tokody; D (2017). The Intelligent Railway System Theory. . International Transportation, pp. 38-40., vol. 69: Accesso ONLINE all'editore

Aissani D; Flammini F (2017). Special Issue on: Verification, Control and Performance Analysis. OLNEY BUCKINGHAMSHIRE: Inderscience Publishing., vol. 7

Flammini F; Francesco D P; Alessandro D G; Mariana E; Andrea F; Silvano M; Concetta P (2017). Ensuring Cyber-Security in Smart Railway Surveillance with SHIELD. INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS, pp. 138-170, ISSN:1757-8779 Accesso ONLINE all'editore

Flammini F; Tokody D (2017). The Intelligent Railway System Theory. pp. 38-41 Accesso ONLINE all'editore

Flammini F (2016). ‘Homeland Security': Today and Beyond. Accesso ONLINE all'editore

Flammini F; Marrone S; Mazzocca N; Vittorini V (2016). Fuzzy decision fusion and multiformalism modeling in physical security monitoring. . Recent Advances in Computational Intelligence in Defence and Security, pp. 71-100, BERLIN: Springer., vol. 621: DOI Accesso ONLINE all'editore

FLAMMINI F; Pragliola C; Smarra G (2016). Railway Infrastructure Monitoring by Drones. In: ESARS ITEC 2016, Toulouse, November 2-4 2016, IEEE. DOI Accesso ONLINE all'editore

Flammini F (2016). The Future of Homeland Security. , pp. 11-13 DOI Accesso ONLINE all'editore

FLAMMINI F; Pragliola C; Smarra G; Naddei R (2016). Towards Automated Drone Surveillance in Railways: State-of-the-Art and Future Directions. . Advanced Concepts for Intelligent Vision Systems: 14th International Conference, pp. -, BERLIN HEIDELBERG: Springer-Verlag.

Lang F; Flammini F (2016). Special Issue on the 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14). AMSTERDAM: Elsevier Science BV.

Lang F; Flammini F (2016). Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014). SCIENCE OF COMPUTER PROGRAMMING, vol. 118, pp. 1-2, ISSN:0167-6423 DOI Accesso ONLINE all'editore

Flammini F; Marrone S; Rodríguez R J; Nardone R; Vittorini V (2015). On synergies of cyber and physical security modelling in vulnerability assessment of railway systems. , pp. 275-285 DOI Accesso ONLINE all'editore

Flammini F; Marrone S; Mazzocca N; Nardone R; Vittorini V (2015). Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3' decision fusion mechanisms in multi-sensor applications. In: SAFEPROCESS'15 - 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Arts et Métiers ParisTech, Paris, France, September 2-4, 2015, IFAC Secretariat, vol. 48, pp. 682-687. DOI Accesso ONLINE all'editore

Carnevali, Laura; Flammini, Francesco; Paolieri, Marco; Vicario, Enrico (2015). Non-Markovian performability evaluation of ERTMS/ETCS level 3. In: 12th European Performance Engineering Workshop, EPEW 2015, esp, 2015, Springer Verlag, vol. 9272, pp. 47-62, ISBN:9783319232669 DOI Accesso ONLINE all'editore

Flammini F; Mazzocca N; Pappalardo A; Pragliola C; Vittorini V (2015). Improving the dependability of distributed surveillance systems using diverse redundant detectors. . Dependability Problems of Complex Information Systems, pp. 35-53, Geneva: Springer International Publishing, ISBN:978-3-319-08963-8., vol. 307: DOI Accesso ONLINE all'editore

Flammini F; Lang F (2014). PREFACE - Workshop on Formal Methods for Industrial Critical Systems (FMICS'14). In: Frédéric Lang, Francesco Flammini. Proceedings of the 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14), pp. 0-0, Geneva: Springer International Publishing., vol. 8718:

Flammini F; Gentile U; Marrone S; Nardone R; Vittorini V (2014). A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. . Computer Safety, Reliability, and Security, 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings, pp. -, BERLIN HEIDELBERG: Springer-Verlag, ISBN:978-3-319-10505-5., vol. 8666:

Alessandro Fantechi; Francesco Flammini; Stefania Gnesi (2014). Formal methods for railway control systems. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 16, pp. 643-646, ISSN:1433-2779 DOI

Flammini F; Iacono M; Marrone S; Mazzocca N; Vittorini V (2014). A multiformalism modular approach to ERTMS /ETCS failure modeling. INTERNATIONAL JOURNAL OF RELIABILITY, QUALITY AND SAFETY ENGINEERING, vol. 21, pp. 1-29, ISSN:1793-6446 DOI Accesso ONLINE all'editore

Lang F; Flammini F (2014). Formal Methods for Industrial Critical Systems, 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings. di Frédéric Lang, Francesco Flammini, Springer International Publishing Switzerland, 978-3-319-10701-1., vol. 8718 Accesso ONLINE all'editore

Flammini F; Marrone S; Mazzocca N; Nardone R.; Vittorini V (2014). Towards model-driven V&V assessment of railway control systems. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, pp. -, ISSN:1433-2779 DOI Accesso ONLINE all'editore

Flammini F (2013). Automatic Train Protection Systems. , vol. 2, pp. - DOI Accesso ONLINE all'editore

Flammini F; Pappalardo A; Vittorini V (2013). Information Fusion e sorveglianza. MONDO DIGITALE, vol. 47, pp. 1-18, ISSN:1720-898X

Flammini F (2013). Model-based analysis of ‘K out of M' correlation techniques for diverse redundant detectors. INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 9, pp. 551-560, ISSN:0973-1318 Accesso ONLINE all'editore

Esposito M; Fiaschetti A; Flammini F (2013). The New SHIELD Architectural Framework. ERCIM NEWS, vol. 93, pp. 53-53, ISSN:0926-4981 Accesso ONLINE all'editore

Fantechi A; Flammini F; Gnesi S (2013). Formal Methods for Intelligent Transportation Systems - A track at ISOLA'12. ERCIM NEWS, vol. 92, pp. 6-7, ISSN:0926-4981 Accesso ONLINE all'editore

Bernardi S; Flammini F; Marrone S; Mazzocca N; Merseguer J; Nardone R; Vittorini V (2013). Enabling the Usage of UML in the Verification of Railway Systems: the DAM-Rail Approach. RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 120, pp. 112-126, ISSN:0951-8320 DOI Accesso ONLINE all'editore

Flammini F; Vittorini V (2013). SAFECOMP'11 post-conference special issue. RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 120, pp. 111-111, ISSN:0951-8320 DOI Accesso ONLINE all'editore

Flammini F; Setola R; Franceschetti G (2013). Effective Surveillance for Homeland Security: Balancing Technology and Social Issues. BOCA RATON, FL: Chapman & Hall/CRC Taylor & Francis Group, 9781439883242. Accesso ONLINE all'editore

Flammini F; Vittorini V (2013). Special Issue on SAFECOMP'11. di Francesco Flammini, Valeria Vittorini, AMSTERDAM: Elsevier Science BV. Accesso ONLINE all'editore

Boucheneb H; Flammini F (2013). Proceedings of the 7th International Workshop on Verification and Evaluation of Computer and Communication Systems (VeCoS'13). Swinton, UK: eWiC (Electronic Workshops in Computing), British Computer Society.

Flammini F; Marrone S; Mazzocca N; Vittorini V (2013). Petri Net Modeling of Physical Vulnerability. In: 6th international conference on critical information infrastructure security, CRITIS'11, Lucerne, Switzerland, 8-9 September 2011, Springer-Verlag, vol. 6893, pp. 128-139. DOI

Buemi F; Esposito M; Flammini F; Mazzocca N; Pragliola C; Spirito M (2013). Empty Vehicle Detection with Video Analytics. In: ICIAP'13, Springer-Verlag, vol. 8157, pp. 731-739.

Flammini F; Marrone S; Mazzocca N; Pappalardo A; Pragliola C; Vittorini V (2013). Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios. In: ARES 2013, Regensburg, Germany, 2-6 September 2013, Springer-Verlag, vol. 8128, pp. 442-456, ISBN:978-3-642-40587-7 DOI Accesso ONLINE all'editore

Garibotto G; Murrieri P; Capra A; De Muro S; Flammini F; Lengu R; Savastano M (2013). White Paper on Industrial Applications of Computer Vision and Pattern Recognition. In: ICIAP'13, Naples, 2013, Springer Berlin Heidelberg, vol. 8157, pp. 721-730. DOI Accesso ONLINE all'editore

Casola V; Flammini F; Esposito M; Mazzocca N; Pragliola C (2013). Performance Evaluation of Video Analytics for Surveillance On-Board Trains. In: ACIVS 2013, Springer International Publishing Switzerland, vol. 8192, pp. 414-425.

Flammini F; Pappalardo A; Vittorini V (2013). Challenges and Emerging Paradigms for Augmented Surveillance. In: Francesco Flammini, Roberto Setola, Giorgio Franceschetti. Effective Surveillance for Homeland Security: Balancing Technology and Social Issues, pp. 169-198, BOCA RATON, FL: Chapman & Hall/CRC Taylor & Francis Group, ISBN:9781439883242. DOI Accesso ONLINE all'editore

Flammini F (2012). On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report. INTERNATIONAL JOURNAL OF CRITICAL COMPUTER-BASED SYSTEMS, vol. 3, pp. 229-244, ISSN:1757-8779 DOI Accesso ONLINE all'editore

Flammini F; Pappalardo A; Vittorini V (2012). Advances in Physical Security Information Management. Accesso ONLINE all'editore

Flammini F (2012). Model-Based Approaches for Railway Safety, Reliability and Security. In: 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, Paris, France, August 27-28, 2012, eWiC (Electronic Workshops in Computing), British Computer Society. Accesso ONLINE all'editore

Flammini F (2012). Critical Infrastructure Security: Assessment, Prevention, Detection, Response. di Ted G. Lewis, Rudolph P. Darken, Thomas Mackin, Donald Dudenhoeffer, Roger G. Johnston, Gabriele Oliva, Stefano Panzieri, Roberto Setola, Stephen Elky, A. Bondavalli, P. Lollini, L. Montecchi, Stefan Winter, Daniel Germanus, Hamza Ghani, Thorsten Piper, Abdelmajid Khelil, Neeraj Suri, Vincenzo Masucci, William B. Samuels, Farhad Dolatshahi, James R. Villanueva, Christopher J. Ziemniak, V. M. Bier, S. Tas, Brian Hennessey, F. Garzia, Rita Cucchiara, Andrea Prati, Roberto Vezzani, Stavros Ntalampiras, Megan R. Leahy-Hoppa, R. Mason, L. Gintert, S. Sweeney, K. Chandler, J. Chandler, P. Langendoerfer, L. Buttyan, A. Hessler, C. Casteluccia, A. Casaca, A. Alkassar, E. Osipov, Neil C. Rowe, Ahren A. Reed, Riqui Schwamm, Jeehee Cho, Jose J. Flores, Arijit Das, Luigi Coppolino, Salvatore D’Antonio, Luigi Romano, D. L. Hall, SOUTHAMPTON: WIT Press, 978-1-84564-562-5., vol. 54 Accesso ONLINE all'editore

Flammini F; Marrone S; Mazzocca N; Nardone R; Vittorini V (2012). Model-driven V&V processes for computer based control systems: a unifying perspective. In: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA’12, Amirandes, Heraclion, Crete, 15-18 October 2012, Springer-Verlag, vol. 7610, pp. 190-204, ISBN:978-3-642-34031-4 DOI Accesso ONLINE all'editore

Fantechi A; Flammini F; Gnesi A (2012). Formal Methods for Intelligent Transportation Systems. In: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA’12, Amirandes, Heraclion, Crete, 15-18 October 2012, Springer-Verlag, vol. 7610, pp. 187-189, ISBN:978-3-642-34031-4 DOI Accesso ONLINE all'editore

Cozzolino A; Flammini F; Galli V; Lamberti M; Poggi G; Pragliola C (2012). Evaluating the Effects of MJPEG Compression on Motion Tracking in Metro Railway Surveillance. In: ACIVS - Advanced Concepts for Intelligent Vision Systems 2012, Brno (Czech Republic), 4-7 September 2012, Springer-Verlag, vol. 7517, pp. 142-154, ISBN:978-3-642-33139-8 DOI Accesso ONLINE all'editore

Casola V; Esposito M; Mazzocca N; Flammini F (2012). Freight train monitoring: a case-study for the pSHIELD project. In: Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS), Palermo (Italy), July 4-6 2012, IEEE Computer Society, vol. 94, pp. 597-602, ISBN:978-1-4673-1328-5 DOI Accesso ONLINE all'editore

Casola V; De Benedicitis A; Drago A; Esposito M; Flammini F; Mazzocca N (2012). Securing freight trains for hazardous material transportation: a WSN-based monitoring system. In: International Defense and Homeland Security Simulation Workshop, DHSS’12, Vienna, Austria, September 19-21, 2012, IEEE Computer Society, ISBN:978-88-97999-08-9 Accesso ONLINE all'editore

Flammini F; Lazzaro A; Mazzocca N (2011). Modeling of railway logics for reverse engineering, verification and refactoring. , vol. 1, pp. 77-94 DOI Accesso ONLINE all'editore

Flammini F; Impagliazzo L; Marmo P; Pragliola C (2011). Affidabilità e sicurezza dei sistemi innovativi di comando/controllo. Approcci basati su modelli e loro applicazioni industriali. , vol. 1, pp. 9-20 Accesso ONLINE all'editore

Flammini F (2011). Trains. . Encyclopedia of Mathematics and Society, pp. 1001-1004, PASADENA, CA. HACKENSACK, NJ: Salem Press, ISBN:978-1-58765-844-0. Accesso ONLINE all'editore

Flammini F; Gaglione A; Mazzocca N; Pragliola C (2011). Optimisation of security system design by quantitative risk assessment and genetic algorithms. INTERNATIONAL JOURNAL OF RISK ASSESSMENT AND MANAGEMENT, vol. 15, pp. 205-221, ISSN:1466-8297 DOI Accesso ONLINE all'editore

Flammini F (2011). Software, Mathematics. . Encyclopedia of Mathematics and Society, pp. 927-929, PASADENA, CA. HACKENSACK, NJ: Salem Press, ISBN:978-1-58765-844-0.

Flammini F (2011). Risk Management. . Encyclopedia of Mathematics and Society, pp. 872-874, PASADENA, CA. HACKENSACK, NJ: Salem Press, ISBN:978-1-58765-844-0. Accesso ONLINE all'editore

Esposito M; Flammini F; Pappalardo A; Eguia I (2011). Formalizing SPD metrics for Embedded Systems Multilayer approach. In: Second Eastern European and Mediterranean Software Process Improvement Conference (EuroMed SPI II), Zamudio, Spain, 6th - 7th October 2011, European Software Institute, ESI. Accesso ONLINE all'editore

Fiaschetti A; Lavorato F; Suraci V; Palo A; Taglialatela A; Morgagni A; Baldelli R; Flammini F (2011). On the use of semantic technologies to model and control security, privacy and dependability in complex systems. In: 30th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2011, Naples, 19-22/09/2011, Springer-Verlag, vol. 6894, pp. 467-479, ISBN:978-364224269-4 DOI Accesso ONLINE all'editore

Flammini F; Pragliola C; Pappalardo A; Vittorini V (2011). A robust approach for on-line and off-line threat detection based on event tree similarity analysis. In: Workshop on Multimedia Systems for Surveillance (MMSS) in conjunction with 8th IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS) 2012, Klagenfurt, Austria, August 29-30, 2011, IEEE Computer Society, pp. 414-419, ISBN:978-145770845-9 DOI Accesso ONLINE all'editore

Bernardi S; Flammini F; Marrone S; Merseguer J; Papa C; Vittorini V (2011). Model-driven availability evaluation of railway control systems. In: 30th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2011, Naples, Italy, September 19-22, 2012, Springer-Verlag, vol. 6894, pp. 15-28, ISBN:978-364224269-4 DOI Accesso ONLINE all'editore

Flammini F; Mazzocca N; Pappalardo A; Pragliola C; Vittorini V (2011). Augmenting surveillance system capabilities by exploiting event correlation and distributed attack detection. In: Intl. Workshop on Security and Cognitive Informatics for Homeland Defence (SeCIHD’11), co-located with ARES’11, Vienna, Austria, 22-26 August 2011, Springer-Verlag, vol. 6908, pp. 191-204, ISBN:978-364223299-2 DOI Accesso ONLINE all'editore

Flammini F (2011). Methods and Tools for Railway Safety, Reliability and Security. di Giovanni Bocchetti, Giuseppe De Nicola, Pasquale Di Tommaso, Rosaria Esposito, Francesco Flammini, Andrea Gaglione, Mauro Iacono, Armando Lazzaro, Pietro Marmo, Stefano Marrone, Nicola Mazzocca, Vincenzo Moscato, Francesco Moscato, Antonio Orazzo, Alfio Pappalardo, Raffaele Pellecchia, Concetta Pragliola, Angela Sanseviero, Valeria Vittorini, ROMA: Aracne Editrice, 978-88-548-4848-1. Accesso ONLINE all'editore

Flammini F; Impagliazzo L; Marmo P; Pragliola C (2010). AFFIDABILITA' E SICUREZZA DEI SISTEMI INNOVATIVI DI COMANDO/CONTROLLO. APPROCCI BASATI SU MODELLI E LORO APPLICAZIONI INDUSTRIALI. INGEGNERIA FERROVIARIA, vol. 6, pp. 543-558, ISSN:0020-0956

Flammini F (2010). Dependability Assurance of Real-time Embedded Control Systems. HAPPAGE: Nova Science, ISBN:978-1-61728-502-8 Accesso ONLINE all'editore

Flammini F; Mazzocca N; Moscato F; Pappalardo A; Pragliola C; Vittorini V (2010). Multiformalism techniques for critical infrastructure modelling. , vol. 2, pp. 19-37 DOI Accesso ONLINE all'editore

Flammini F (2010). Formal Evaluation of a Majority Voting Concept to Improve the Dependability of Multiple Technology Sensors. . Journal of Physical Security, pp. 1-9, ARGONNE: Argonne National Laboratory, ISBN:2157-8443., vol. 4: Accesso ONLINE all'editore

Flammini F; Gaglione A; Ottello F; Pappalardo A; Pragliola C; Tedesco A (2010). Towards Wireless Sensor Networks for railway infrastructure monitoring. In: International Conference on Electrical Systems for Aircraft, Railway and Ship Propulsion, ESARS 2010, Bologna, Italy, 19-21 October 2010, IEEE Computer Society, pp. 1-6, ISBN:978-142449094-3 DOI Accesso ONLINE all'editore

Flammini F; Impagliazzo L; Marmo P; Pragliola C (2010). Reliability, safety and security of innovative command/control systems: model-based approaches and related industrial applications. TECHNOLOGY AND INNOVATION, vol. 7, pp. 18-23, ISSN:1949-8241

Flammini F (2010). Sistemi di controllo per l'Alta Velocità ferroviaria. MONDO DIGITALE, vol. 9, pp. 18-32, ISSN:1720-898X Accesso ONLINE all'editore

Flammini F; Vittorini V; Mazzocca N; Pragliola C (2009). A Study on Multiformalism Modeling of Critical Infrastructures. In: 3rd International Workshop on Critical Information Infrastructures Security, CRITIS’08, Frascati (Rome), Italy, October 13-15, 2008, Springer-Verlag, vol. 5508, pp. 336-343, ISBN:978-364203551-7 DOI Accesso ONLINE all'editore

Bocchetti G; Flammini F; Pragliola C; Racioppi G (2009). Integrated smart surveillance systems for rail-based mass transportation. In: UITP-CUTA International Security Conference, Montréal, Canada, 11-12 November 2009, UITP International Association of Public Transport. Accesso ONLINE all'editore

Flammini F; Mazzocca N (2009). Security Risk Management of Railway Transportation Systems. . Railway Transportation: Policies, Technology and Perspectives, pp. 385-398, HAUPPAUGE NY 11788-3619: Nova Science Publishers, Inc., ISBN:978-1-61728-574-5.

Flammini F; Mazzocca N; Vittorini V (2009). Modelli per l'analisi di sistemi critici. MONDO DIGITALE, vol. 9, pp. 11-21, ISSN:1720-898X Accesso ONLINE all'editore

Bocchetti G; Flammini F; Pragliola C (2009). La security nei sistemi di trasporto di tipo metropolitano. . I sistemi di Homeland Security: scenari, tecnologie, applicazioni, pp. 71-81, NAPOLI: Cuzzolin Editore, ISBN:978-88-87998-98-6. Accesso ONLINE all'editore

Bocchetti G; Flammini F; Pragliola C; Pappalardo A (2009). Dependable integrated surveillance systems for the physical security of metro railways. In: 3rd ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC 2009), Como (Italy), 30 August - 2 September, 2009, Springer-Verlag, pp. 1-7, ISBN:978-142444620-9 DOI Accesso ONLINE all'editore

Flammini F; Mazzocca N; Orazzo A (2009). Automatic instantiation of abstract tests on specific configurations for large critical control systems. SOFTWARE TESTING VERIFICATION & RELIABILITY, vol. 19, pp. 91-110, ISSN:0960-0833 DOI Accesso ONLINE all'editore

Flammini F; Gaglione A; Mazzocca N; Pragliola C (2009). DETECT: a novel framework for the detection of attacks to critical infrastructures. In: European Safety & Security Conference 2008, Valencia (SPAIN), 22-25 September 2008, Taylor & Francis Group, vol. 1, pp. 105-112, ISBN:978-041548513-5

Flammini F; Gaglione A; Mazzocca N; Pragliola C (2009). Quantitative security risk assessment and management for railway transportation infrastructures. In: 3rd International Workshop on Critical Information Infrastructures Security, CRITIS’08, Frascati (Rome), Italy, October 13-15, 2008, Springer-Verlag, vol. 5508, pp. 180-189, ISBN:978-364203551-7 DOI Accesso ONLINE all'editore

Flammini F (2009). Introduzione ai concetti e alla modellistica dei sistemi dependable. NEW YORK: Lulu (www.lulu.com) Accesso ONLINE all'editore

Flammini F; Marrone S; Mazzocca N; Vittorini V (2009). A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance. RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 94, pp. 1422-1432, ISSN:0951-8320 DOI Accesso ONLINE all'editore

Flammini F; Gaglione A; Mazzocca N; Moscato V; Pragliola C (2009). Wireless sensor data fusion for critical infrastructure security. In: International Workshop on Computational Intelligence in Security for Information Systems - CISIS’08, Genoa, Italy, October 23-24, 2008, Springer-Verlag, vol. 53, pp. 92-99, ISBN:978-354088180-3 DOI Accesso ONLINE all'editore

Flammini F (2009). Model-based approaches for railway safety, reliability and security: The experience of Ansaldo STS. In: Dependable Control of Discrete Systems (DCDS), Bari, June 10-12, 2009, IFAC - International Federation of Automatic Control, vol. 2, pp. 2-2, ISBN:978-3-902661-44-9 DOI Accesso ONLINE all'editore

Flammini F; Gaglione A; Pragliola C (2009). Model-Based Early Warning and Decision Support to Improve Infrastructure Surveillance. ERCIM NEWS, vol. 78, pp. 43-44, ISSN:0926-4981 Accesso ONLINE all'editore

Flammini F (2009). Model-Based Dependability Evaluation of Critical Control Systems. SAARBRUCKEN: VDM Verlag, ISBN:9783639194098 Accesso ONLINE all'editore

Flammini F; Gaglione A; Mazzocca N; Moscato V; Pragliola C (2009). On-line integration and reasoning of multi-sensor data to enhance infrastructure surveillance. , vol. 4, pp. 183-191 Accesso ONLINE all'editore

Flammini F; Mazzocca N; Vittorini V (2008). New Paradigms and Tools for High-Assurance Systems Modelling. ERCIM NEWS, vol. 75, pp. 28-30, ISSN:0926-4981 Accesso ONLINE all'editore

Flammini F; Mazzocca N; Pragliola C (2008). Protezione delle infrastrutture di trasporto su ferro. , vol. 8, pp. 12-16 Accesso ONLINE all'editore

Flammini F; Gaglione A; Mazzino N; Mazzocca N; Pragliola C (2007). La security nei sistemi di trasporto a guida vincolata: analisi del rischio e strategie di protezione. In: Sicurezza nei sistemi complessi, Bari, Italy, 16-18 Ottobre 2007.

Flammini F; Marrone S; Mazzocca N; Vittorini V (2007). Evaluating the Hazardous Failure Rate of majority voting computer architectures by means of Bayesian Network models. In: ESREL 2007, STAVANGER, NORWAY, 25-27 JUNE 2007, Taylor & Francis Group, pp. 1715-1721, ISBN:978-0-415-44786-7

Moscato F; Flammini F; Lorenzo D; Vittorini V; Marrone S; Iacono M (2007). The software architecture of the OsMoSys multisolution framework. In: 2nd International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS’07, Nantes, France, October 23-25, 2007, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), pp. 1-10, ISBN:978-963-9799-00-4 DOI Accesso ONLINE all'editore

Abbaneo C; Flammini F; Lazzaro A; Marmo P; Mazzocca N; Sanseviero A (2006). REVERSE ENGINEERING OF CRITICAL SOFTWARE: A MODEL-BASED APPROACH. In: International Workshop on Engineering of Fault Tolerant Systems, EFTS’06, Luxembourg, June 12-14, 2006, pp. 43-54.

Flammini F (2006). Approcci Multi-Formalismo per la Valutazione di Affidabilità e Sicurezza di Sistemi Critici, Complessi ed Eterogenei.

Flammini F; Marrone S; Mazzocca N; Vittorini V (2006). Modelling system reliability aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks. In: ESREL 2006 - European Safety and Reliability Conference, Lisbon (Portugal), 18-22 September 2006, Taylor & Francis Group, pp. 2675-2683, ISBN:9780415416207

Abbaneo C; Flammini F; Lazzaro A; Marmo P; Mazzocca N; Sanseviero A (2006). UML based reverse engineering for the verification of railway control logics. In: Dependability of Computer Systems, DepCoS’06, Szklarska Poręba, Poland, May 25-27, 2006, Springer Berlin/Heidelberg, pp. 3-10, ISBN:978-076952565-5 DOI Accesso ONLINE all'editore

De Nicola G; Flammini F; Mazzocca N; Orazzo A (2005). Model-based functional verification & validation of complex train control systems: an on-board system testing case-study. , vol. 16, pp. 163-176

Flammini F; Di Tommaso P (2005). A Flexible Simulation Environment for Railway Traffic Management Systems. , vol. 5, pp. 240-248

De Nicola G.; di Tommaso P; Esposito R; Flammini F; Marmo P; Orazzo A (2005). An Experience in Validating Train Control Systems by a Grey Box Testing Approach. In: ESREL 2005, Gdansk, Poland, 27 June 2005, Taylor & Francis Group, vol. 2, pp. 1435-1442, ISBN:9780415383400

De Nicola G; di Tommaso P; Flammini F; Orazzo A; Ricci D (2005). A Novel Methodology for the System Testing of Train Control Systems. , vol. 6, pp. 25-38

De Nicola G; di Tommaso P; Esposito R; Flammini F; Marmo P; Orazzo A (2005). ERTMS/ETCS: Working Principles and Validation. In: International Conference on Ship Propulsion and Railway Traction Systems, SPRTS’05, Bologna, Italy, October 4-6, 2005, pp. 59-68, ISBN:0-7803-8305-2

di Tommaso P; Flammini F; Lazzaro A; Pellecchia R; Sanseviero A (2005). The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system. In: 9th IEEE Symposium on High Assurance Systems Engineering, HASE’05, Heidelberg, Germany, October 12-14, 2005, IEEE Computer Society, pp. 131-139, ISBN:978-076952377-4 DOI Accesso ONLINE all'editore

Flammini F; Mazzocca N; Iacono M; Marrone S (2005). Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems. In: 9th IEEE Symposium on High Assurance Systems Engineering, HASE’05, Heidelberg, Germany, October 12-14, 2005, Springer Berlin/Heidelberg, pp. 163-172, ISBN:978-076952377-4 DOI Accesso ONLINE all'editore

De Nicola G; di Tommaso P; Esposito R; Flammini F; Marmo P; Orazzo A (2005). A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems. In: European Dependable Computing Conference EDCC-5, Budapest, Hungary, 20-22 April 2005, Springer-Verlag, vol. 3463, pp. 305-317, ISBN:9783540257233 DOI Accesso ONLINE all'editore

De Nicola G; di Tommaso P; Esposito R; Flammini F; Orazzo A (2004). A hybrid testing methodology for railway control systems. In: SAFECOMP 2004, Potsdam, Germany, 21-24 September 2004, Springer-Verlag, vol. 3219, pp. 116-129, ISBN:9783540231769 DOI Accesso ONLINE all'editore

Francesco FLAMMINI

Biography

Francesco Flammini graduated cum laude (M.D., 2003) and got a research doctorate (PhD, 2006), both in Computer Engineering, from the University of Naples Federico II, Italy. He worked for 15 years in private and public companies, including Ansaldo STS (now Hitachi Rail) and IPZS (Italian State Mint and Polygraphic Institute), on large international projects addressing intelligent transportation, critical infrastructure protection and cybersecurity, as a technical leader and unit head. Since 2020, he has been a Full Professor of Computer Science with a focus on Cyber-Physical Systems at Mälardalen University (Sweden), and the Technical Manager of the RAILS EU funded research project about Artificial Intelligence for smart-railways. He has also been a Professor of Trustworthy Autonomous Systems at the University of Applied Sciences and Arts of Southern Switzerland (SUPSI), where he has been affiliated with Dalle Molle Institute for Artificial Intelligence (IDSIA), and has led the Trustworthy Autonomous Systems (TAS) research group. He has also been the Program Director of the new Bachelor of Science in Data Science and Artificial Intelligence at SUPSI, within the Department of Innovative Technologies (DTI). He has been a Senior Lecturer and the chair of the Cyber-Physical Systems (CPS) environment at Linnaeus University (Sweden), and an Adjunct Professor at several universities, including the University of Maryland Global Campus Europe.

He is a Senior Member of the IEEE, a Member of the IEEE Systems, Man, and Cybernetics (SMC) Society Board-of-Governors, as the Associate Vice-President for Members and Student Activities (MSA), as well as the Chair of the IEEE SMC Technical Committee on Homeland Security. He has also been the Vice-Chair of the IEEE Computer Society Italy Chapter. He is a Distinguished Visitor of the IEEE Computer Society, and a Distinguished Lecturer of Association for Computing Machinery (ACM).

He has (co)authored 150+ technical publications, and he has served as a chair, invited speaker, steering/program committee member, and editor for 50+ international conferences, books, and journals. He has been the principal investigator, technical manager, and WP/Task leader in 15+ research projects, mostly funded by the European Union, where he also serves as an expert evaluator for several agencies. He has being the principal supervisor of more than 10 PhD students.

Main distinctions and awards:

July 2024: Winner (1st place), Dalle Molle Award for the Quality of Life Label, project "Trustworthy Artificial Intelligence for Drone-Supported Autonomous Wheelchairs)"
March 2024: Winner (1st place), Transport Research Arena (TRA) Senior Researcher Competition (Railways)
Oct 2023: Included in Stanford’s list “World Ranking of Top 2% Scientists”
2023 Professor Zdzislaw Pawlak Award – International Cooperation, “Balancing Privacy and Accuracy in Federated Learning for Speech Emotion Recognition” (S. Mohammadi, M. Mohammadi, S. Sinaei, A. Balador, E. Nowroozi, F. Flammini, M. Conti), 18th Conference on Computer Science and Intelligence Systems (FedCSIS’23)
2023 Best Innovation Paper Award, “Evaluating Machine Learning Approaches for Cyber and Physical Anomalies in SCADA Systems” (L. Faramondi, F. Flammini, S. Guarino, R. Setola), 2023 IEEE International Conference on Cyber Security and Resilience (IEEE CSR 2023)
2022 IEEE SMC Most Active Technical Committee Award. Awarded to F. Flammini as the Chair of Technical Committee of Homeland Security (TCHS)
2017 ForumPA Challenge Award (Italian Public Administration prize), project: “Business Continuity, Disaster Recovery and Cyber-Physical Security Center”
2014 Ansaldo STS Innovation Award, 1st place: “GAP DETECTOR” (F. Flammini, A. Orazzo, L. Biondi, E. Di Martino)
2009 Ansaldo STS Innovation Award, 1st place: “PIEZORAIL: under-rail piezoelectric power generator” (F. Flammini, B. Bowie, F. Ottello, C. Pragliola, A. Tedesco)
2008 Business Plan Competition Start Cup Federico II, 3rd place (project ‘N-Enterprise’, web portal for Virtual Collaborative Enterprises)
2007 Ansaldo STS Innovation Award, Special Mention “Green Apple”: “PROtection of METro railways by enHanced survEillance of tUnnelS” (F. Flammini, G. Gotelli, G. Musella, C. Pragliola)
2006 Best Student Paper Award, Dependability of Computer Systems (DepCoS’06), Szklarska Poręba, Poland, May 25-27, 2006
2006 Awarded Research Grant by I.P.E. (Istituto per ricerche e attività educative)
2006 ANSALDO SIGNAL SignAward, 3rd place and special mention “Most valuable innovation likely to impact at group level”: “An ATC based on ERTMS Level 3” (G. Barone, B. Conti, F. Flammini, L. Prini)
1997-2003 Awarded yearly scholarships as deserving student

Main journal editorial activities:

IEEE Transactions on Emerging Topics in Computing, Associate Editor, since 2022
International Journal of Critical Infrastructure Protection, Elsevier, Associate Editor, since 2022
Discover Artificial Intelligence, Springer, Associate Editor, since 2021
Frontiers in Big Data, Review Editor, Cybersecurity & Privacy, since 2022
MDPI Journal of Cybersecurity and Privacy, Topic Editor, since 2021
MDPI Machine Learning and Knowledge Extraction, Editor, since 2020
International Journal of Critical Computer-Based Systems, founding Editor-in-Chief