Francesco Flammini
Associate ProfessorSince January 2020, Francesco Flammini is a Full Professor of Computer Science with a focus on Cyber-Physical Systems at Mälardalen University (MDH page).
He has been a Senior Lecturer and an Associate Professor ("Docent") in Computer Science at the Department of Computer Science and Media Technology of Linnaeus University. He has led the Cyber-Physical Systems (CPS) research and education area within the Smarter Systems complete knowledge environment.
He got with honors his master (2003) and doctoral (2006) degrees in Computer Engineering from the University of Naples Federico II, Italy.
He has been an Adjunct Professor of:
- Cybersecurity, at the University of Maryland University College (UMUC) Europe
- Software Engineering, at the Second University of Naples (Italy)
- Computer Science, at the University of Naples Federico II (Italy)
He has also served as a Guest Lecturer of risk assessment and threat detection and modeling at the Master in Homeland Security of the University Campus Biomedico of Rome (Italy) and at the online Master in Technology and Privacy of the University of Girona (Spain).
He has (co)supervised 4 Ph.D. students (Andrea Gaglione, Alfio Pappalardo, Mariana Esposito, Benedetta Capano) as well as many bachelor and master students in computer and telecommunication engineering. He is currently supervising the Ph.D. student Mehdi Saman Azari as the main supervisor.
He has worked for 15 years with permanent full-time contracts in private and public companies, namely Ansaldo STS (Hitachi group) and IPZS (Italian State Mint and Polygraphic Institute), on large international projects addressing intelligent transportation systems, critical infrastructure protection and information security, as an innovation/security project manager and unit head. He has also won several prizes in competitions for best innovation project (2005, 2007, 2009, 2014, 2017), best conference paper (2006), and best business plan (2008). His research on model-based testing has been used in the verification and validation of all high-speed railways in Italy and in many other ERTMS/ETCS installations worldwide (Czech Republic, China, United Arab Emirates, etc.). Furthermore, he has been the project leader of the first automated PSIM (Physical Security Information Management) system featuring intelligent audio and video surveillance as well as many other advanced technologies in a real-world metro railway installation (Metrocampania Nord-Est, Italy).
He is a chartered professional engineer, a judge chamber technical advisor (i.e. court appointed expert witness in forensic analyses), a certified DGSA (Dangerous Goods Safety Advisor) according to the ADR regulations, and an Expert Evaluator for several regional, national (Italy, Belgium, Luxembourg, etc.) and international funding agencies, including INEA (Innovation & Networks Executive Agency). He has been in the technical/scientific committee of regional competence centers on ICT and transportation (Regione Campania, Italy) as well as a Steering Board Member of Lazio Innova (funding agency for regional innovation projects) about new technologies for cultural heritage.
He has been the Technical Leader for several national funded research projects, and he has led work packages and tasks in national as well as EU funded research projects, including PilotSHIELD and NewSHIELD (Artemis JU), on the Security, Privacy and Dependability of critical Embedded Systems. In 2018, he has been granted as the Sole Investigator a funded research about "Artificial Intelligence applied to Autonomous Systems" by the Italian Defence Innovation Center, which has been published as a monograph.
He is an IEEE Senior Member and the Chair of the IEEE SMC Technical Committee on Homeland Security. Formerly, he has been elected as the Vice-Chair of the IEEE Computer Society Italy Chapter and selected as a Distinguished Speaker in the ACM Distinguished Speaker Program (DSP). He is currently a Steering Committee Member and Conference Coordinator for the IEEE FDC Initiative on Symbiotic Autonomous Systems. In that initiative, he has co-chaired three international workshops/seminars in 2018-2019 and co-authored the latest SAS White Papers. He is also involved as an IEEE mentor and member of several IEEE societies and technical committees, including Software Engineering, Real-Time Systems and Fault-Tolerant Computing.
He has (co)authored more than 100 scientific publications and he has served as a chair, invited speaker and steering/program committee member for several international conferences (e.g. FMICS, DepCoS, ARES, etc.), including "The International Conference on Computer Safety, Reliability and Security" (SAFECOMP) that he chaired in 2011. He is the founder and Editor-in-Chief of the Scopus-indexed "International Journal of Critical Computer-Based Systems" (IJCCBS). He has also (guest) edited books and journals, like: Springer LNCS book series, 'Software Tools for Technology Transfer' (Springer); 'Reliability Engineering & System Safety' (Elsevier), 'Science of Computer Programming' (Elsevier).
His latest edited book is entitled "Resilience of Cyber-Physical Systems: From Risk Modelling to Threat Counteraction" (Springer, 2019).
He is also a member of:
- European AI Alliance
- European Workshop on Industrial Computer Systems Reliability, Safety and Security (EWICS TC7)
- ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS)
- FME (Formal Methods Europe)
- ESRA (European Safety & Reliability Association) Technical Committee on Operational Safety and Security of Interconnected Critical Infrastructures.
Teaching
At LNU, Francesco Flammini has been the course coordinator for:
4DV505 Current Topics in Computer Science (7.5 credits) - Master Level
4DV50E/5DV51E/5DV50E Degree Project at Master Level / Master's Thesis (15/30 credits)
He has served as a track lecturer on "Embedded Systems" at:
2DV505 Current Topics within Computer Science (7.5 credits) - Bachelor Level
He has served as a guest lecturer on "Dependability Specification and Engineering" at:
4DV608 Advanced Software Design (7.5 credits) - Master Level
He has served as a guest lecturer on "Planning a Research Project" at:
4DV501 Scientific Methods in Computer Science (7.5 credits) - Master Level
He has served as a supervisor and/or reader/examiner for theses in his area of expertise at:
2DV50E Degree Project at Bachelor Level (15 credits) - Bachelor Level
4DV50E/5DV51E/5DV50E Degree Project at Master Level / Master's Thesis (15/30 credits)
A list of supervised/examined theses can be found here.
He is responsible for the syllabi and coordination of the following courses on Embedded Systems, including:
1DT302 Embedded Systems (7.5 credits) - syllabus
1DT303 Embedded Systems Dependability (7.5 credits)
1DT304 Embedded Systems Project (7.5 credits)
Since academic year 2019/2020, he has coordinated the following courses:
4DV504 Selected topics in computer science (5 credits)
2DT301 Project Course in Computer Technology (7.5 credits)
He has cooperated to defining the syllabus and teaching (50%, modeling part) in the course:
4DV650 Systems Modeling and Simulation (5 credits) - Master Level
He participates to the departmental doctoral school as a teacher/supervisor in topics related to adaptive systems and safety.
He is the contact point for the Erasmus cooperation with the University of Naples Federico II (Italy).
He is involved in the project named "The development and implementation of PhD Curricula in ICT for Kosovo Education System / DI-PHDICTKES" (Erasmus+ 2019, Call: EAC/A03/2018) as a key resource for project development and PhD supervision.
He is also involved as a potential PhD supervisor in the Data Intensive Applications (DIA) Industrial PhD School funded by KK Foundation, where he has contributed with his expertise on CPS research and education.
Research
Francesco Flammini is the head of the Cyber-Physical Systems (CPS) group and the leader of the Smart-Troubleshooting SEED initiative in cooperation with Sigma Technology, whose preliminary results have been included in a paper published on Future Generation Computer Systems.
He is involved with the roles of PhD supervisor, Technical Manager and Work Package leader in the recently funded Horizon 2020 (Shift2Rail JU) project named RAILS (Roadmaps for AI integration in the raiL Sector), in cooperation with the Italian Interuniversity Consortium for Informatics, Delft University of Technology, the University of Leeds as well as big industry players like Hitachi Rail STS. Members of this consortium already pioneered the research on ERTMS/ETCS Virtual Coupling.
He cooperates with several other companies, including ABB, Electrolux, C3C, Atlas Copco, Videum and Wexnet, especially on IoT, smart-factory and smart-city project initiatives.
He is the coordinator and contact point for funded research agencies and initiatives, including the EU ECSEL Joint Undertaking - ARTEMIS Industry Association.
His research interests include:
- Dependability, Fault-Tolerance and Resilience of Real-Time Embedded and Autonomous Systems
- Model-Based Engineering and Multiformalism Stochastic Modeling (UML, Petri Nets, Bayesian Networks, Markov Chains, Fault Trees, Reliability Block Diagrams, etc.) for:
- Verification & Validation
- Software Testing
- RAMS (Reliability, Availability, Maintainability and Safety) Analysis
- Performability Evaluation
- Trustworthy AI
- Artificial Intelligence for On-Line Threat Assessment and Detection in Cyber-Physical Systems Security
- Quantitative Risk Assessment for Critical Infrastructure Protection and Homeland Security
- Improvement of Certification Activities for Safety/Security-Critical Systems
- Novel Approaches to Smart-Troubleshooting and Self-Healing in IoT
- ERTMS/ETCS, Smart-Railways and Intelligent Transportation Systems (ITS), Security Printing, Military and Defence applications
An updated list of related degree project proposals is available at the online repository.
Most recent achievements are published on the CPS blog.
My research groups
-
Cyber-Physical Systems (CPS) The CPS research group is responsible for research, teaching, and outreach activities in the field of Cyber-Physical Systems.
-
Engineering Resilient Systems (EReS) The Engineering Resilient Systems (EReS) Research Lab conducts research in the area of system resilience. It focuses on investigating (and experimenting with)…
My ongoing research projects
My completed research projects
Publications
Article in journal (Refereed)
-
Dirnfeld, R., De Donato, L., Somma, A., Saman Azari, M., Marrone, S., et al. (2024). Integrating AI and DTs : challenges and opportunities in railway maintenance application and beyond. Simulation (San Diego, Calif.). 100 (9). 903-917.
Status: Published -
De Donato, L., Dirnfeld, R., Somma, A., De Benedictis, A., Flammini, F., et al. (2023). Towards AI-assisted digital twins for smart railways : preliminary guideline and reference architecture. Journal of Reliable Intelligent Environments. 9 (3). 303-317.
Status: Published -
De Donato, L., Marrone, S., Flammini, F., Sansone, C., Vittorini, V., et al. (2023). Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance. Engineering applications of artificial intelligence. 123.
Status: Published -
Besinovic, N., De Donato, L., Flammini, F., Goverde, R.M.P., Lin, Z., et al. (2022). Artificial Intelligence in Railway Transport : Taxonomy, Regulations, and Applications. IEEE transactions on intelligent transportation systems (Print). 23 (9). 14011-14024.
Status: Published -
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. 206.
Status: Published -
Singh, P., Saman Azari, M., Vitale, F., Flammini, F., Mazzocca, N., et al. (2022). Using log analytics and process mining to enable self-healing in the Internet of Things. Environment Systems and Decisions. 42 (2). 234-250.
Status: Published -
Donato, L.D., Flammini, F., Marrone, S., Mazzariello, C., Nardone, R., et al. (2022). A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance. IEEE Access. 10. 65376-65400.
Status: Published -
Flammini, F., Marrone, S., Nardone, R., Vittorini, V. (2021). Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. Formal Aspects of Computing. 33. 989-1007.
Status: Published -
Weyns, D., Andersson, J., Caporuscio, M., Flammini, F., Kerren, A., et al. (2021). A Research Agenda for Smarter Cyber-Physical Systems. Journal of Integrated Design & Process Science. 25 (2). 27-47.
Status: Published -
Meo, C.D., Vaio, M.D., Flammini, F., Nardone, R., Santini, S., et al. (2020). ERTMS/ETCS Virtual Coupling : Proof of Concept and Numerical Analysis. IEEE transactions on intelligent transportation systems (Print). 21 (6). 2545-2556.
Status: Published -
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. 112. 965-981.
Status: Published -
Caporuscio, M., Flammini, F., Khakpour, N., Singh, P., Thornadtsson, J. (2020). Smart-troubleshooting connected devices : Concept, challenges and opportunities. Future Generation Computer Systems. 111. 681-697.
Status: Published -
Tokody, D., Tor, M., Szücs, E., Flammini, F., Iantovics, L.B. (2018). On the Development of Intelligent Railway Information and Safety Systems : An Overview of Current Research. Interdisciplinary Description of Complex Systems. 16 (1). 176-185.
Status: Published -
Capano, B., Flammini, F. (2017). ICT in the era of Open Innovation. Mondo Digitale. 15 (69). 221-240.
Status: Published -
Aissani, D., Flammini, F. (2017). Editorial. International Journal of Critical Computer-Based Systems. 7 (1). 1-3.
Status: Published -
Delli Priscoli, F., Di Giorgio, A., Esposito, M., Fiaschetti, A., Flammini, F., et al. (2017). Ensuring cyber-security in smart railway surveillance with SHIELD. International Journal of Critical Computer-Based Systems. 7 (2). 138-170.
Status: Published -
Tokody, D., Flammini, F. (2017). The intelligent railway system theory : The European railway research perspectiveand the development of the European digital railway strategy. International Transportation. 69 (1). 38-40.
Status: Published -
Lang, F., Flammini, F. (2016). Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014). Science of Computer Programming. 118. 1-2.
Status: Published -
Marrone, S., Rodríguez, R.J., Nardone, R., Flammini, F., Vittorini, V. (2015). On synergies of cyber and physical security modelling in vulnerability assessment of railway systems. Computers & electrical engineering. 47. 275-285.
Status: Published -
Marrone, S., Flammini, F., 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. 16 (6). 669-683.
Status: Published -
Fantechi, A., Flammini, F., Gnesi, S. (2014). Formal methods for railway control systems. International Journal on Software Tools for Technology Transfer. 16 (6). 643-646.
Status: Published -
Flammini, F., Marrone, S., Iacono, M., Mazzocca, N., Vittorini, V. (2014). A multiformalism modular approach to ertms/etcs failure modeling. International Journal of Reliability, Quality and Safety Engineering (IJRQSE). 21 (1).
Status: Published -
Flammini, F. (2013). Model-based analysis of 'k out of m' correlation techniques for diverse redundant detectors. International Journal of Performability Engineering. 9 (5). 551-560.
Status: Published -
Esposito, M., Fiaschetti, A., Flammini, F. (2013). The new shield architectural framework. ERCIM News.
Status: Published -
Flammini, F. (2013). Automatic train protection systems. Industrial Engineering & Management. 2 (5). 1-3.
Status: Published -
Flammini, F., Pappalardo, A., Vittorini, V. (2013). Information fusion and surveillance : Information Fusion e sorveglianza. Mondo Digitale. 12 (47).
Status: Published -
Bernardi, S., Flammini, F., Marrone, S., Mazzocca, N., Merseguer, J., et al. (2013). Enabling the usage of UML in the verification of railway systems : The DAM-rail approach. Reliability Engineering & System Safety. 120. 112-126.
Status: Published -
Flammini, F., Vittorini, V. (2013). SAFECOMP'11 post-conference special issue. Reliability Engineering & System Safety. 120. 111-111.
Status: Published -
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. 3 (3). 229-244.
Status: Published -
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. 15 (2-3). 204-220.
Status: Published -
Flammini, F., Lazzaro, A., Mazzocca, N. (2011). Modeling of railway logics for reverse enginering, verification and refactoring. International Journal of Safety and Security Engineering. 1 (1). 77-94.
Status: Published -
Flammini, F. (2010). Formal Evaluation of a Majority Voting Concept to Improve the Dependability of Multiple Technology Sensors. Journal of Physical Security. 4 (1). 1-9.
Status: Published -
Flammini, F., Mazzocca, N., Moscato, F., Pappalardo, A., Pragliola, C., et al. (2010). Multiformalism techniques for critical infrastructure modeling. International Journal of System of Systems Engineering. 2 (1). 19-37.
Status: Published -
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. Ingegneria Ferroviaria. 65 (6). 543-558.
Status: Published -
Flammini, F. (2010). Sistemi di controllo per l'Alta Velocità ferroviaria. Mondo Digitale. 9 (4). 18-32.
Status: Published -
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. 94 (9). 1422-1432.
Status: Published -
Flammini, F., Mazzocca, N., Orazzo, A. (2009). Automatic instantiation of abstract tests on specific configurations for large critical control systems. Software testing, verification & reliability. 19 (2). 91-110.
Status: Published -
Flammini, F., Mazzocca, N., Vittorini, V. (2009). Models for the analysis of critical systems. Mondo Digitale. 8 (3). 11-21.
Status: Published -
Flammini, F., Gaglione, A., Mazzocca, N., Moscato, V., Pragliola, C. (2009). On-line integration and reasoning of multi-sensor data to enhance infrastructure surveillance. Journal of Information Assurance and Security. 4 (3). 183-191.
Status: Published -
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. Archives of Transport. 17 (3-4). 163-176.
Status: Published
Conference paper (Refereed)
- Saman Azari, M., Flammini, F., Santini, S. (2022). Improving Resilience in Cyber-Physical Systems based on Transfer Learning. 2022 IEEE International Conference on Cyber Security and Resilience (CSR). 203-208.
- Flammini, F., De Donato, L., Fantechi, A., Vittorini, V. (2022). A Vision of Intelligent Train Control. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. RSSRail 2022.. 192-208.
- Dirnfeld, R., De Donato, L., Flammini, F., Saman Azari, M., Vittorini, V. (2022). Railway Digital Twins and Artificial Intelligence : Challenges and Design Guidelines. Dependable Computing – EDCC 2022 Workshops. EDCC 2022. 102-113.
- Bellini, E., Bagnoli, F., Caporuscio, M., Damiani, E., Flammini, F., et al. (2021). Resilience learning through self adaptation in digital twins of human-cyber-physical systems. Proceedings of the 2021 IEEE International Conference on Cyber Security and Resilience (CSR). 168-173.
- Singh, P., Flammini, F., Caporuscio, M., Saman Azari, M., Thornadtsson, J. (2020). Towards self-healing in the internet of things by log analytics and process mining. Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference. 4644-4651.
- Dirnfeld, R., Flammini, F., Marrone, S., Nardone, R., Vittorini, V. (2020). Low-Power Wide-Area Networks in Intelligent Transportation : Review and Opportunities for Smart-Railways. 2020 IEEE 23rd International Conference on Intelligent Transportation Systems, ITSC 2020. 1-7.
- Pappaterra, M., Flammini, F. (2019). A Review of Intelligent Cybersecurity with Bayesian Networks. 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC). 445-452.
- Saman Azari, M., Flammini, F., Caporuscio, M., Santini, S. (2019). Data-Driven Fault Diagnosis of Once-through Benson Boilers. 2019 4th International Conference on System Reliability and Safety (ICSRS). 345-354.
- Flammini, F., Marrone, S., Nardone, R., Petrillo, A., Santini, S., et al. (2018). Towards Railway Virtual Coupling. 2018 IEEE International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles & International Transportation Electrification Conference (ESARS-ITEC).
- Papp, J., Tokody, D., Flammini, F. (2018). From traditional manufacturing and automation systems to holonic intelligent systems. Procedia Manufacturing. 931-935.
- Flammini, F., Pragliola, C., Smarra, G. (2017). Railway infrastructure monitoring by drones. 2016 International Conference on Electrical Systems for Aircraft, Railway, Ship Propulsion and Road Vehicles and International Transportation Electrification Conference, ESARS-ITEC 2016.
- Tokody, D., Flammini, F. (2017). Smart Systems for the Protection of Individuals. Key Engineering Materials. 190-197.
- Flammini, F., Naddei, R., Pragliola, C., Smarra, G. (2016). Towards automated drone surveillance in railways : State-of-the-art and future directions. Advanced Concepts for Intelligent Vision Systems. ACIVS 2016. 336-348.
- 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. 35-53.
- Carnevali, L., Flammini, F., Paolieri, M., Vicario, E. (2015). Non-Markovian performability evaluation of ERTMS/ETCS level 3. Computer Performance Engineering. EPEW 2015. 47-62.
- 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. IFAC-PapersOnLine. 682-687.
- 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. SAFECOMP 2014. 230-245.
- Flammini, F., Marrone, S., Mazzocca, N., Pappalardo, A., Pragliola, C., et al. (2013). Trustworthiness evaluation of multi-sensor situation recognition in transit surveillance scenarios. Security Engineering and Intelligence Informatics. CD-ARES 2013. 442-456.
- Garibotto, G., Murrieri, P., Capra, A., De Muro, S., Petillo, U., et al. (2013). White paper on industrial applications of computer vision and pattern recognition. Image Analysis and Processing – ICIAP 2013. ICIAP 2013. 721-730.
- Buemi, F., Esposito, M., Flammini, F., Mazzocca, N., Pragliola, C., et al. (2013). Empty vehicle detection with video analytics. Image Analysis and Processing – ICIAP 2013. ICIAP 2013. 731-739.
- Casola, V., Esposito, M., Flammini, F., Mazzocca, N., Pragliola, C. (2013). Performance evaluation of video analytics for surveillance on-board trains. Advanced Concepts for Intelligent Vision Systems. ACIVS 2013.. 414-425.
- Flammini, F., Marrone, S., Mazzocca, N., Vittorini, V. (2013). Petri net modelling of physical vulnerability. Critical Information Infrastructure Security. CRITIS 2011. 128-139.
- Fantechi, A., Flammini, F., Gnesi, S. (2012). Formal methods for intelligent transportation systems. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. 187-189.
- Flammini, F., Marrone, S., Mazzocca, N., Nardone, R., Vittorini, V. (2012). Model-driven V&V processes for computer based control systems : A unifying perspective. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. 190-204.
- Cozzolino, A., Flammini, F., Galli, V., Lamberti, M., Poggi, G., et al. (2012). Evaluating the effects of MJPEG compression on motion tracking in metro railway surveillance. Advanced Concepts for Intelligent Vision Systems. ACIVS 2012 : 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012. Proceedings. 142-154.
- Casola, V., Esposito, M., Mazzocca, N., Flammini, F. (2012). Freight train monitoring : A case-study for the pSHIELD project. Proceedings - 6th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2012. 597-602.
- Casola, V., De Benedictis, A., Drago, A., Esposito, M., Flammini, F., et al. (2012). Securing freight trains for hazardous material transportation : A WSN-based monitoring system. International Defense and Homeland Security Simulation Workshop, DHSS 2012, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2012. 52-59.
- 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. 2011 8th IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2011. 414-419.
- Flammini, F., Mazzocca, N., Pappalardo, A., Pragliola, C., Vittorini, V. (2011). Augmenting surveillance system capabilities by exploiting event correlation and distributed attack detection. Availability, Reliability and Security for Business, Enterprise and Health Information Systems. CD-ARES 2011. 191-204.
- Bernardi, S., Flammini, F., Marrone, S., Merseguer, J., Papa, C., et al. (2011). Model-driven availability evaluation of railway control systems. Computer Safety, Reliability, and Security. SAFECOMP 2011. 15-28.
- Fiaschetti, A., Lavorato, F., Suraci, V., Palo, A., Taglialatela, A., et al. (2011). On the use of semantic technologies to model and control security, privacy and dependability in complex systems. International Conference on Computer Safety, Reliability, and Security. 467-479.
- Fiaschetti, A., Lavorato, F., Suraci, V., Palo, A., Taglialatela, A., et al. (2011). On the use of semantic technologies to model and control security, privacy and dependability in complex systems. Computer Safety, Reliability, and Security : 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings. 467-479.
- Flammini, F., Gaglione, A., Ottello, F., Pappalardo, A., Pragliola, C., et al. (2010). Towards wireless sensor networks for railway infrastructure monitoring. Electrical Systems for Aircraft, Railway and Ship Propulsion (ESARS), 2010. 1-6.
- Flammini, F., Gaglione, A., Ottello, F., Pappalardo, A., Pragliola, C., et al. (2010). Towards wireless sensor networks for railway infrastructure monitoring. Electrical Systems for Aircraft, Railway and Ship Propulsion. 1-6.
- Flammini, F., Vittorini, V., Mazzocca, N., Pragliola, C. (2009). A study on multiformalism modeling of critical infrastructures. Critical Information Infrastructure Security. CRITIS 2008. 336-343.
- Bocchetti, G., Flammini, F., Pragliola, C., Pappalardo, A. (2009). Dependable integrated surveillance systems for the physical security of metro railways. 3rd ACM/IEEE International Conference on Distributed Smart Cameras, ICDSC 2009.
- Flammini, F., Gaglione, A., Mazzocca, N., Pragliola, C. (2009). DETECT : A novel framework for the detection of attacks to critical infrastructures. Safety, Reliability and Risk Analysis : Theory, Methods and Applications - Proceedings of the Joint ESREL and SRA-Europe Conference. 105-112.
- Flammini, F., Gaglione, A., Mazzocca, N., Pragliola, C. (2009). Quantitative security risk assessment and management for railway transportation infrastructures. Critical Information Infrastructure Security. CRITIS 2008. 180-189.
- Flammini, F., Gaglione, A., Mazzocca, N., Moscato, V., Pragliola, C. (2009). Wireless sensor data fusion for critical infrastructure security. Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems CISIS’08.. 92-99.
- De Nicola, G., Di Tommaso, P., Esposito, R., Flammini, F., Marmo, P., et al. (2008). An experience in validating train control systems by a grey-box testing approach. The Second International Conference on Complex, Intelligent and Software Intensive System, Technical University of Catalonia Barcelona, Spain.
- 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. Proceedings of the European Safety and Reliability Conference 2007, ESREL 2007 - Risk, Reliability and Societal Safety. 1715-1721.
- Moscato, F., Flammini, F., Di Lorenzo, G., Vittorini, V., Marrone, S., et al. (2007). The software architecture of the OsMoSys Multisolution Framework. VALUETOOLS 2007 - 2nd International ICST Conference on Performance Evaluation Methodologies and Tools.
- 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. .
- Abbaneo, C., Flammini, F., Lazzaro, A., Marmo, P., Mazzocca, N., et al. (2007). UML based reverse engineering for the verification of railway control logics. Proceedings of International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2006. 3-10.
- Flammini, F., Marrone, S., Mazzocca, N., Vittorini, V. (2006). Modeling system reliability aspects of ERTMS/ETCS by fault trees and Bayesian networks. Safety and Reliability for Managing Risk : Proceedings of the European Safety and Reliability Conference 2006, ESREL 2006. 2675-2683.
- Flammini, F., Marrone, S., Mazzocca, N., Vittorini, V. (2006). Modelling system reliability aspects of ERTMS/ETCS by fault trees and Bayesian networks. Safety and Reliability for Managing Risk: proceedings of the 15th European Safety and Reliability Conference (ESREL 2006). 2675-2683.
- 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. HASE 2005 : Ninth IEEE International Symposium on High Assurance Systems Engineering : 12-14 October 2005, Heidelberg, Germany. 131-139.
- De Giuseppe, N., Di Pasquale, T., Esposito, R., Flammini, F., Marmo, P., et al. (2005). A grey-box approach to the functional testing of complex automatic train protection systems. Dependable Computing - EDCC 5 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings. 305-317.
- De Nicola, G., Di Tommaso, P., Esposito, R., Flammini, F., Marmo, P., et al. (2005). An experience in validating train control systems by a grey-box testing approach. Advances in Safety and Reliability - ESREL 2005 : Proceedings of the European Safety and Reliability Conference, ESREL 2005, Tri City (Gdynia-Sopot-Gdansk), Poland, 27-30 June 2005. 1435-1442.
- De Nicola, G., Di Tommaso, P., Esposito, R., Flammini, F., Marmo, P., et al. (2005). ERTMS/ETCS : working principles and validation. Proceedings of the International Conference on Ship Propulsion and Railway Traction Systems, SPRTS. 59-68.
- Flammini, F., Mazzocca, N., Iacono, M., Marrone, S. (2005). Using repairable fault trees for the evaluation of design choices for critical repairable systems. Proceedings of IEEE International Symposium on High Assurance Systems Engineering. 163-172.
- De Nicola, G., Tommaso, P.D., Esposito, R., Flammini, F., Orazzo, A. (2004). A hybrid testing methodology for railway control systems. Computer Safety, Reliability, and Security. SAFECOMP 2004. 116-129.
Chapter in book (Refereed)
- De Donato, L., Tang, R., Besĭnović, N., Flammini, F., Goverde, R.M., et al. (2023). Artificial intelligence in railways : Current applications, challenges, and ongoing research. Handbook on Artificial Intelligence and Transport. Edward Elgar Publishing. 249-283.
- Flammini, F. (2022). Resilience in Cyber-Physical Systems. Encyclopedia of Cryptography, Security and Privacy (Living Reference Work). Springer. 1-3.
- Flammini, F. (2021). Resilience in CPS. Encyclopedia of Cryptography, Security and Privacy. Springer. 1-3.
- Assenza, G., Cozzani, V., Flammini, F., Gotcheva, N., Gustafsson, T., et al. (2020). White Paper on Industry Experiences in Critical Information Infrastructure Security : A Special Session at CRITIS 2019. Critical Information Infrastructures Security14th International Conference, CRITIS 2019, : Linköping, Sweden, September 23–25, 2019, Revised Selected Papers. Springer. 197-207.
- Tokody, D., Papp, J., Iantovics, L.B., Flammini, F. (2019). Complex, Resilient and Smart Systems. Resilience of Cyber-Physical Systems : From Risk Modelling to Threat Counteraction. Springer. 3-24.
- Flammini, F., Marrone, S., Mazzocca, N., Vittorini, V. (2016). Fuzzy decision fusion and multiformalism modelling in physical security monitoring. Recent Advances in Computational Intelligence in Defense and Security. Springer. 71-100.
- Flammini, F., Pappalardo, A., Vittorini, V. (2013). Challenges and emerging paradigms for augmented surveillance. Effective Surveillance for Homeland Security : Balancing Technology and Social Issues. CRC Press. 169-198.
Collection (editor) (Refereed)
- Flammini, F., Bologna, S., Vittorini, V. (2011). Computer Safety, Reliability, and Security : Proceedings of the 30th international conference on Computer safety, reliability, and security. Springer. 482.
Article, review/survey (Refereed)
-
Saman Azari, M., Flammini, F., Santini, S., Caporuscio, M. (2023). A Systematic Literature Review on Transfer Learning for Predictive Maintenance in Industry 4.0. IEEE Access. IEEE. 11. 12887-12910.
Status: Published -
Tang, R., De Donato, L., Besinovic, N., Flammini, F., Goverde, R.M.P., et al. (2022). A literature review of Artificial Intelligence applications in railway systems. Transportation Research Part C : Emerging Technologies. Saunders Elsevier. 140.
Status: Published -
Rajabli, N., Flammini, F., Nardone, R., Vittorini, V. (2021). Software Verification and Validation of Safe Autonomous Cars : A Systematic Literature Review. IEEE Access. IEEE. 9. 4797-4819.
Status: Published -
Pappaterra, M., Flammini, F., Vittorini, V., Besinovic, N. (2021). A Systematic Review of Artificial Intelligence Public Datasets for Railway Applications. Infrastructures. MDPI. 6 (10).
Status: Published
Conference proceedings (editor) (Refereed)
- Flammini, F., Bologna, S., Setola, R., Vittorini, V. (2011). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) : Preface. Springer.
Article in journal (Other academic)
-
Flammini, F., Vittorini, V., Lin, Z. (2020). Roadmaps for AI Integration in the Rail Sector - RAILS. ERCIM News. (121). 34-35.
Status: Published -
Flammini, F. (2019). Sistemi autonomi simbiotici e sicurezza. Mondo Digitale. 18 (80).
Status: Published -
Flammini, F. (2016). Technical Committee Reports : The Future of Homeland Security. IEEE Systems, Man, and Cybernetics Magazine. 2 (3). 11-13.
Status: Published -
Flammini, F., Gaglione, A., Pragliola, C. (2009). Model-based early warning and decision support to improve infrastructure surveillance’. ERCIM News. (78).
Status: Published -
Flammini, F., Mazzocca, N., Vittorini, V. (2008). New Paradigms and Tools for High-Assurance Systems Modelling. ERCIM News. (75).
Status: Published
Book (Other academic)
- Flammini, F. (2018). Artificial Intelligence (AI) applicata agli Autonomous Systems. Centro Alti Studi per la Difesa.
- Flammini, F. (2010). Dependability Assurance of Real-Time Embedded Control Systems. Nova Novinka.
Doctoral thesis, monograph (Other academic)
- Flammini, F. (2007). Model-based dependability evaluation of complex critical control systems. Doctoral Thesis. University of Naples Federico II. 142.
Report (Other academic)
- Dambrot, S.M., De Kerchove, D., Flammini, F., Kinsner, W., Macdonald Glenn, L., et al. (2018). IEEE Symbiotic Autonomous Systems White Paper II. IEEE. 224.
Collection (editor) (Other academic)
- Flammini, F. (2018). Resilience of Cyber-Physical Systems : From Risk Modeling to Threat Counteraction. Springer. 220.
- Lang, F., Flammini, F. (2014). Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings. Elsevier. 96.
- Flammini, F., Setola, R., Franceschetti, G. (2013). Effective Surveillance for Homeland Security : Balancing Technology and Social Issues. CRC Press. 646.
- Flammini, F. (2012). Railway safety, reliability, and security : Technologies and systems engineering. IGI Global. 463.
- Flammini, F. (2012). Critical Infrastructure Security : Assessment, Prevention, Detection, Response. WIT Press. 325.
Report (Other (popular science, discussion, etc.))
- Broschert, S., Coughlin, T., Ferraris, M., Flammini, F., Florido, J.G., et al. (2019). Symbiotic Autonomous Systems : White Paper III. IEEE. 140.