Остановите войну!
for scientists:
default search action
Francesco Flammini
- > Home > Persons > Francesco Flammini
Publications
- 2024
- [j42]Maryam Zahid, Alessio Bucaioni, Francesco Flammini:
Model-based Trustworthiness Evaluation of Autonomous Cyber-Physical Production Systems: A Systematic Mapping Study. ACM Comput. Surv. 56(6): 157:1-157:28 (2024) - 2023
- [j41]Mehdi Saman Azari, Francesco Flammini, Stefania Santini, Mauro Caporuscio:
A Systematic Literature Review on Transfer Learning for Predictive Maintenance in Industry 4.0. IEEE Access 11: 12887-12910 (2023) - [j36]Luca Faramondi, Francesco Flammini, Simone Guarino, Roberto Setola:
A hybrid behavior- and Bayesian network-based framework for cyber-physical anomaly detection. Comput. Electr. Eng. 112: 108988 (2023) - [j35]Lorenzo De Donato, Stefano Marrone, Francesco Flammini, Carlo Sansone, Valeria Vittorini, Roberto Nardone, Claudio Mazzariello, Frédéric Bernaudin:
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance. Eng. Appl. Artif. Intell. 123(Part C): 106405 (2023) - [j32]Lorenzo De Donato, Ruth Dirnfeld, Alessandra Somma, Alessandra De Benedictis, Francesco Flammini, Stefano Marrone, Mehdi Saman Azari, Valeria Vittorini:
Towards AI-assisted digital twins for smart railways: preliminary guideline and reference architecture. J. Reliab. Intell. Environ. 9(3): 303-317 (2023) - [j29]Alessandra De Benedictis, Francesco Flammini, Nicola Mazzocca, Alessandra Somma, Francesco Vitale:
Digital Twins for Anomaly Detection in the Industrial Internet of Things: Conceptual Architecture and Proof-of-Concept. IEEE Trans. Ind. Informatics 19(12): 11553-11563 (2023) - [c47]Samaneh Mohammadi, Sima Sinaei, Ali Balador, Francesco Flammini:
Optimized Paillier Homomorphic Encryption in Federated Learning for Speech Emotion Recognition. COMPSAC 2023: 1021-1022 - [c46]Luca Faramondi, Francesco Flammini, Simone Guarino, Roberto Setola:
Evaluating Machine Learning Approaches for Cyber and Physical Anomalies in SCADA Systems. CSR 2023: 412-417 - [c45]Maryam Zahid, Alessio Bucaioni, Francesco Flammini:
Trustworthiness-Related Risks in Autonomous Cyber-Physical Production Systems - A Survey. CSR 2023: 440-445 - [c44]Samaneh Mohammadi, Mohammadreza Mohammadi, Sima Sinaei, Ali Balador, Ehsan Nowroozi, Francesco Flammini, Mauro Conti:
Balancing Privacy and Accuracy in Federated Learning for Speech Emotion Recognition. FedCSIS 2023: 191-199 - [c42]Samaneh Mohammadi, Sima Sinaei, Ali Balador, Francesco Flammini:
Secure and Efficient Federated Learning by Combining Homomorphic Encryption and Gradient Pruning in Speech Emotion Recognition. ISPEC 2023: 1-16 - 2022
- [j27]Lorenzo De Donato, Francesco Flammini, Stefano Marrone, Claudio Mazzariello, Roberto Nardone, Carlo Sansone, Valeria Vittorini:
A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance. IEEE Access 10: 65376-65400 (2022) - [j25]Saeed Rajabi, Mehdi Saman Azari, Stefania Santini, Francesco Flammini:
Fault diagnosis in industrial rotating equipment based on permutation entropy, signal processing and multi-output neuro-fuzzy classifier. Expert Syst. Appl. 206: 117754 (2022) - [j21]Nikola Besinovic, Lorenzo De Donato, Francesco Flammini, Rob M. P. Goverde, Zhiyuan Lin, Ronghui Liu, Stefano Marrone, Roberto Nardone, Tianli Tang, Valeria Vittorini:
Artificial Intelligence in Railway Transport: Taxonomy, Regulations, and Applications. IEEE Trans. Intell. Transp. Syst. 23(9): 14011-14024 (2022) - [c39]Mehdi Saman Azari, Francesco Flammini, Stefania Santini:
Improving Resilience in Cyber-Physical Systems based on Transfer Learning. CSR 2022: 203-208 - [c38]Ruth Dirnfeld, Lorenzo De Donato, Francesco Flammini, Mehdi Saman Azari, Valeria Vittorini:
Railway Digital Twins and Artificial Intelligence: Challenges and Design Guidelines. EDCC Workshops 2022: 102-113 - [c36]Roberto Canonico, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini:
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. ISoLA (4) 2022: 308-320 - [c35]Francesco Flammini, Lorenzo De Donato, Alessandro Fantechi, Valeria Vittorini:
A Vision of Intelligent Train Control. RSSRail 2022: 192-208 - [e5]Stefano Marrone, Martina De Sanctis, Imre Kocsis, Rasmus Adler, Richard Hawkins, Philipp Schleiß, Stefano Marrone, Roberto Nardone, Francesco Flammini, Valeria Vittorini:
Dependable Computing - EDCC 2022 Workshops - SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings. Communications in Computer and Information Science 1656, Springer 2022, ISBN 978-3-031-16244-2 [contents] - [d1]Simone Guarino, Luca Faramondi, Roberto Setola, Francesco Flammini:
A hardware-in-the-loop water distribution testbed (WDT) dataset for cyber-physical security testing. IEEE DataPort, 2022 - [i8]Francesco Flammini, Stefano Marrone, Lei Chen:
Formal Modelling and Optimal Traffic Management for Future Railways. ERCIM News 2022(129): 0 (2022) - 2021
- [j20]Nijat Rajabli, Francesco Flammini, Roberto Nardone, Valeria Vittorini:
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review. IEEE Access 9: 4797-4819 (2021) - [j19]Luca Faramondi, Francesco Flammini, Simone Guarino, Roberto Setola:
A Hardware-in-the-Loop Water Distribution Testbed Dataset for Cyber-Physical Security Testing. IEEE Access 9: 122385-122396 (2021) - [j16]Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini:
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. Formal Aspects Comput. 33(6): 989-1007 (2021) - [j15]Danny Weyns, Jesper Andersson, Mauro Caporuscio, Francesco Flammini, Andreas Kerren, Welf Löwe:
A Research Agenda for Smarter Cyber-Physical Systems. J. Integr. Des. Process. Sci. 25(2): 27-47 (2021) - [c34]Emanuele Bellini, Franco Bagnoli, Mauro Caporuscio, Ernesto Damiani, Francesco Flammini, Igor Linkov, Pietro Liò, Stefano Marrone:
Resilience learning through self adaptation in digital twins of human-cyber-physical systems. CSR 2021: 168-173 - [c33]Paola Perrone, Francesco Flammini, Roberto Setola:
Machine Learning for Threat Recognition in Critical Cyber-Physical Systems. CSR 2021: 298-303 - 2020
- [j14]Mauro Caporuscio, Francesco Flammini, Narges Khakpour, Prasannjeet Singh, Johan Thornadtsson:
Smart-troubleshooting connected devices: Concept, challenges and opportunities. Future Gener. Comput. Syst. 111: 681-697 (2020) - [j13]Francesco Flammini, Stefano Marrone, Roberto Nardone, Mauro Caporuscio, Mirko D'Angelo:
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study. Future Gener. Comput. Syst. 112: 965-981 (2020) - [j12]Carlo Di Meo, Marco Di Vaio, Francesco Flammini, Roberto Nardone, Stefania Santini, Valeria Vittorini:
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis. IEEE Trans. Intell. Transp. Syst. 21(6): 2545-2556 (2020) - [c32]Alessio Bucaioni, Francesco Flammini, Mats Ahlskog:
Towards Model-Based Performability Evaluation of Production Systems. ETFA 2020: 1085-1088 - [c31]Francesco Flammini, Andrea Gaglione, Daniel Tokody, Dalihor Dohrilovic:
LoRa WAN Roaming for Intelligent Shipment Tracking. GCAIoT 2020: 1-2 - [c30]Ruth Dirnfeld, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini:
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways. ITSC 2020: 1-7 - [e4]Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci:
Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings. Communications in Computer and Information Science 1279, Springer 2020, ISBN 978-3-030-58461-0 [contents] - [i6]Francesco Flammini, Valeria Vittorini, Zhiyuan Lin:
Roadmaps for AI Integration in the Rail Sector - RAILS. ERCIM News 2020(121) (2020) - 2019
- [c29]Giacomo Assenza, Valerio Cozzani, Francesco Flammini, Nadezhda Gotcheva, Tommy Gustafsson, Anders Hansson, Jouko Heikkilä, Matteo Iaiani, Sokratis K. Katsikas, Minna Nissilä, Gabriele Oliva, Eleni Richter, Maaike Roelofs, Mehdi Saman Azari, Roberto Setola, Wouter Stejin, Alessandro Tugnoli, Dolf Vanderbeek, Lars Westerdahl, Marja Ylönen, Heather Young:
White Paper on Industry Experiences in Critical Information Infrastructure Security: A Special Session at CRITIS 2019. CRITIS 2019: 197-207 - [c28]Mehdi Saman Azari, Francesco Flammini, Mauro Caporuscio, Stefania Santini:
Data-Driven Fault Diagnosis of Once-through Benson Boilers. ICSRS 2019: 345-354 - [p2]Dániel Tokody, József Papp, László Barna Iantovics, Francesco Flammini:
Complex, Resilient and Smart Systems. Resilience of Cyber-Physical Systems 2019: 3-24 - 2017
- [j11]Francesco Delli Priscoli, Alessandro Di Giorgio, Mariana Esposito, Andrea Fiaschetti, Francesco Flammini, Silvano Mignanti, Concetta Pragliola:
Ensuring cyber-security in smart railway surveillance with SHIELD. Int. J. Crit. Comput. Based Syst. 7(2): 138-170 (2017) - 2016
- [c26]Francesco Flammini, Riccardo Naddei, Concetta Pragliola, Giovanni Smarra:
Towards Automated Drone Surveillance in Railways: State-of-the-Art and Future Directions. ACIVS 2016: 336-348 - [p1]Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring. Recent Advances in Computational Intelligence in Defense and Security 2016: 71-100 - 2015
- [j9]Stefano Marrone, Ricardo J. Rodríguez, Roberto Nardone, Francesco Flammini, Valeria Vittorini:
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems. Comput. Electr. Eng. 47: 275-285 (2015) - [c25]Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario:
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3. EPEW 2015: 47-62 - 2014
- [j8]Alessandro Fantechi, Francesco Flammini, Stefania Gnesi:
Formal methods for railway control systems. Int. J. Softw. Tools Technol. Transf. 16(6): 643-646 (2014) - [j7]Stefano Marrone, Francesco Flammini, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini:
Towards Model-Driven V&V assessment of railway control systems. Int. J. Softw. Tools Technol. Transf. 16(6): 669-683 (2014) - [c24]Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini:
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. SAFECOMP 2014: 230-245 - 2013
- [j6]Francesco Flammini, Valeria Vittorini:
SAFECOMP'11 post-conference special issue. Reliab. Eng. Syst. Saf. 120: 111 (2013) - [j5]Simona Bernardi, Francesco Flammini, Stefano Marrone, Nicola Mazzocca, José Merseguer, Roberto Nardone, Valeria Vittorini:
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. Reliab. Eng. Syst. Saf. 120: 112-126 (2013) - [c23]Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini:
Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios. CD-ARES Workshops 2013: 442-456 - [c22]Valentina Casola, Mariana Esposito, Francesco Flammini, Nicola Mazzocca, Concetta Pragliola:
Performance Evaluation of Video Analytics for Surveillance On-Board Trains. ACIVS 2013: 414-425 - [c21]Giovanni Garibotto, Pierpaolo Murrieri, Alessandro Capra, Stefano De Muro, Ugo Petillo, Francesco Flammini, Mariana Esposito, Concetta Pragliola, Giuseppe Di Leo, Roald Lengu, Nadia Mazzino, Alfredo Paolillo, Michele D'Urso, Raffaele Vertucci, Fabio Narducci, Stefano Ricciardi, Andrea Casanova, Gianni Fenu, Marco De Mizio, Mario Savastano, Michele Di Capua, Alessio Ferone:
White Paper on Industrial Applications of Computer Vision and Pattern Recognition. ICIAP (2) 2013: 721-730 - [c20]Francesco Buemi, Mariana Esposito, Francesco Flammini, Nicola Mazzocca, Concetta Pragliola, Marcella Spirito:
Empty Vehicle Detection with Video Analytics. ICIAP (2) 2013: 731-739 - [i5]Francesco Flammini, Nicola Mazzocca, Antonio Orazzo:
Automatic instantiation of abstract tests on specific configurations for large critical control systems. CoRR abs/1303.2966 (2013) - [i4]Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance. CoRR abs/1304.6656 (2013) - [i3]Mariana Esposito, Andrea Fiaschetti, Francesco Flammini:
The New SHIELD Architectural Framework. ERCIM News 2013(93) (2013) - 2012
- [c19]Angelo Cozzolino, Francesco Flammini, Valentina Galli, Mariangela Lamberti, Giovanni Poggi, Concetta Pragliola:
Evaluating the Effects of MJPEG Compression on Motion Tracking in Metro Railway Surveillance. ACIVS 2012: 142-154 - [c18]Valentina Casola, Mariana Esposito, Nicola Mazzocca, Francesco Flammini:
Freight Train monitoring: A Case-Study for the pSHIELD Project. IMIS 2012: 597-602 - [c17]Alessandro Fantechi, Francesco Flammini, Stefania Gnesi:
Formal Methods for Intelligent Transportation Systems. ISoLA (2) 2012: 187-189 - [c16]Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini:
Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. ISoLA (2) 2012: 190-204 - 2011
- [c15]Francesco Flammini, Nicola Mazzocca, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini:
Augmenting Surveillance System Capabilities by Exploiting Event Correlation and Distributed Attack Detection. ARES 2011: 191-204 - [c14]Francesco Flammini, Concetta Pragliola, Alfio Pappalardo, Valeria Vittorini:
A robust approach for on-line and off-line threat detection based on event tree similarity analysis. AVSS 2011: 414-419 - [c13]Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
Petri Net Modelling of Physical Vulnerability. CRITIS 2011: 128-139 - [c12]Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini:
Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP 2011: 15-28 - [c11]Andrea Fiaschetti, Francesco Lavorato, Vincenzo Suraci, Andi Palo, Andrea Taglialatela, Andrea Morgagni, Renato Baldelli, Francesco Flammini:
On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems. SAFECOMP 2011: 467-479 - [e1]Francesco Flammini, Sandro Bologna, Valeria Vittorini:
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings. Lecture Notes in Computer Science 6894, Springer 2011, ISBN 978-3-642-24269-4 [contents] - 2010
- [j3]Francesco Flammini, Nicola Mazzocca, Francesco Moscato, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini:
Multiformalism techniques for critical infrastructure modelling. Int. J. Syst. Syst. Eng. 2(1): 19-37 (2010) - 2009
- [j2]Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance. Reliab. Eng. Syst. Saf. 94(9): 1422-1432 (2009) - [j1]Francesco Flammini, Nicola Mazzocca, Antonio Orazzo:
Automatic instantiation of abstract tests on specific configurations for large critical control systems. Softw. Test. Verification Reliab. 19(2): 91-110 (2009) - [c10]Giovanni Bocchetti, Francesco Flammini, Concetta Pragliola, Alfio Pappalardo:
Dependable integrated surveillance systems for the physical security of metro railways. ICDSC 2009: 1-7 - [i2]Francesco Flammini, Andrea Gaglione, Concetta Pragliola:
Model-Based Early Warning and Decision Support to Improve Infrastructure Surveillance. ERCIM News 2009(78) (2009) - 2008
- [c9]Francesco Flammini, Andrea Gaglione, Nicola Mazzocca, Vincenzo Moscato, Concetta Pragliola:
Wireless Sensor Data Fusion for Critical Infrastructure Security. CISIS 2008: 92-99 - [c8]Francesco Flammini, Andrea Gaglione, Nicola Mazzocca, Concetta Pragliola:
Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures. CRITIS 2008: 180-189 - [c7]Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola:
A Study on Multiformalism Modeling of Critical Infrastructures. CRITIS 2008: 336-343 - [i1]Francesco Flammini, Nicola Mazzocca, Valeria Vittorini:
New Paradigms and Tools for High-Assurance Systems Modelling. ERCIM News 2008(75) (2008) - 2007
- [c6]Francesco Moscato, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone, Mauro Iacono:
The software architecture of the OsMoSys multisolution framework. VALUETOOLS 2007: 51 - 2006
- [c5]Chiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, Angela Sanseviero:
UML Based Reverse Engineering for the Verification of Railway Control Logics. DepCoS-RELCOMEX 2006: 3-10 - 2005
- [c4]Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Pietro Marmo, Antonio Orazzo:
A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems. EDCC 2005: 305-317 - [c3]Pasquale di Tommaso, Francesco Flammini, Armando Lazzaro, Raffaele Pellecchia, Angela Sanseviero:
The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System. HASE 2005: 131-139 - [c2]Francesco Flammini, Nicola Mazzocca, Mauro Iacono, Stefano Marrone:
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. HASE 2005: 163-172 - 2004
- [c1]Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo:
A Hybrid Testing Methodology for Railway Control Systems. SAFECOMP 2004: 116-129
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint