default search action
Francesco Flammini
Person information
- affiliation: IEEE SMC Technical Committee on Homeland Security
- affiliation: University of Naples Federico II, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j55]Mehdi Saman Azari, Stefania Santini, Farid Edrisi, Francesco Flammini:
Self-adaptive fault diagnosis for unseen working conditions based on digital twins and domain generalization. Reliab. Eng. Syst. Saf. 254: 110560 (2025) - 2024
- [j54]H. L. Gururaj, Soundarya B. C, S. Priya, Shreyas J., Francesco Flammini:
A Comprehensive Review of Face Recognition Techniques, Trends, and Challenges. IEEE Access 12: 107903-107926 (2024) - [j53]Sania Partovian, Alessio Bucaioni, Francesco Flammini, Johan Thornadtsson:
Analysis of Log Files to Enable Smart-Troubleshooting in Industry 4.0: A Systematic Mapping Study. IEEE Access 12: 147640-147658 (2024) - [j52]C. K. Roopa, B. S. Harish, M. P. Priya, Francesco Flammini:
A Novel Hybrid Symbolic Fuzzy Interval-Based Clustering Approach for Microarray Image Spot Segmentation. IEEE Access 12: 170399-170407 (2024) - [j51]S. Nirmala Devi, Rajesh Natarajan, Harinahalli Lokesh Gururaj, Francesco Flammini, Badria Sulaiman Alfurhood, Sujatha Krishna:
Ridge Regressive Data Preprocessed Quantum Deep Belief Neural Network for Effective Trajectory Planning in Autonomous Vehicles. Complex. 2024 (2024) - [j50]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) - [j49]Mauro José Pappaterra, María Lucía Pappaterra, Francesco Flammini:
A study on the application of convolutional neural networks for the maintenance of railway tracks. Discov. Artif. Intell. 4(1): 30 (2024) - [j48]Selvakumar Shanmugam, Rajesh Natarajan, H. L. Gururaj, Francesco Flammini, Badria Sulaiman Alfurhood, Anitha Premkumar:
Blockchain-Based Piecewise Regressive Kupyna Cryptography for Secure Cloud Services. IET Inf. Secur. 2024(1) (2024) - [j47]Rajesh Natarajan, Christodoss Prasanna Ranjith, M. Syed Khaja Mohideen, H. L. Gururaj, Francesco Flammini, N. Thangarasu:
Utilizing a machine learning algorithm to choose a significant traffic identification system. Int. J. Inf. Manag. Data Insights 4(1): 100218 (2024) - [j46]Xingsi Xue, Achyut Shankar, Francesco Flammini, Mazdak Zamani:
Similarity Feature Construction for Semantic Sensor Ontology Integration via Light Genetic Programming. IEEE Internet Things J. 11(21): 34202-34214 (2024) - [j45]Samaneh Mohammadi, Ali Balador, Sima Sinaei, Francesco Flammini:
Balancing privacy and performance in federated learning: A systematic literature review on methods and metrics. J. Parallel Distributed Comput. 192: 104918 (2024) - [j44]Ruth Dirnfeld, Lorenzo De Donato, Alessandra Somma, Mehdi Saman Azari, Stefano Marrone, Francesco Flammini, Valeria Vittorini:
Integrating AI and DTs: challenges and opportunities in railway maintenance application and beyond. Simul. 100(9): 903-917 (2024) - [j43]Francesco Flammini, Cristina Alcaraz:
Guest Editorial Navigating the Nexus of Cyber Security and Resilience. IEEE Trans. Emerg. Top. Comput. 12(2): 558 (2024) - [j42]Francesco Flammini, Cristina Alcaraz, Emanuele Bellini, Stefano Marrone, Javier López, Andrea Bondavalli:
Towards Trustworthy Autonomous Systems: Taxonomies and Future Perspectives. IEEE Trans. Emerg. Top. Comput. 12(2): 601-614 (2024) - [c55]Giuseppe D'Aniello, Matteo Gaeta, Francesco Flammini, Giancarlo Fortino:
Situation Awareness in the Cloud-Edge Continuum. AINA (5) 2024: 307-316 - [c54]Maryam Zahid, Alessio Bucaioni, Francesco Flammini:
On the ISO Compliance of Model-Based Risk Assessment for Autonomous Cyber-Physical Production Systems. CSR 2024: 474-479 - [c53]Stefano Perone, Luca Faramondi, Simone Guarino, Roberto Setola, Martina Nobili, Francesco Flammini, Franca Corradini:
Cybersecurity for Safety: Risk Assessment of Autonomous Cyber-Physical Systems. CSR 2024: 652-657 - [c52]Parth Bhatnagar, Harinahalli Lokesh Gururaj, Shreyas J., Francesco Flammini, Disha Panwar, Shadeeksha Shree:
Prediction of Mobile Phone Prices using Machine Learning. ICMLT 2024: 6-10 - [c51]Parth Bhatnagar, Harinahalli Lokesh Gururaj, Shreyas J., Francesco Flammini, Shivansh Gautam:
An Analysis of Car Price Prediction using Machine Learning. ICMLT 2024: 11-15 - [c50]Parth Bhatnagar, Harinahalli Lokesh Gururaj, Shreyas J., Francesco Flammini:
Rating Prediction of Football Players using Machine Learning. ICMLT 2024: 121-126 - [c49]Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini:
Railway Switch Control Modeling in European Train Control System Level 3. ISoLA (5) 2024: 174-189 - [c48]Carlo Grigioni, Franca Corradini, Alessandro Antonucci, Jérôme Guzzi, Francesco Flammini:
Safe Road-Crossing by Autonomous Wheelchairs: A Novel Dataset and Its Evaluation. SAFECOMP (Workshops) 2024: 47-60 - [i11]Carlo Grigioni, Franca Corradini, Alessandro Antonucci, Jérôme Guzzi, Francesco Flammini:
Safe Road-Crossing by Autonomous Wheelchairs: a Novel Dataset and its Experimental Evaluation. CoRR abs/2403.08984 (2024) - [i10]Vasileios Tsouvalas, Samaneh Mohammadi, Ali Balador, Tanir Ozcelebi, Francesco Flammini, Nirvana Meratnia:
EncCluster: Scalable Functional Encryption in Federated Learning through Weight Clustering and Probabilistic Filters. CoRR abs/2406.09152 (2024) - [i9]Franca Corradini, Carlo Grigioni, Alessandro Antonucci, Jérôme Guzzi, Francesco Flammini:
Experimental Evaluation of Road-Crossing Decisions by Autonomous Wheelchairs against Environmental Factors. CoRR abs/2406.18557 (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) - [j40]H. L. Gururaj, N. Manju, A. Nagarjun, V. N. Manjunath Aradhya, Francesco Flammini:
DeepSkin: A Deep Learning Approach for Skin Cancer Classification. IEEE Access 11: 50205-50214 (2023) - [j39]Subaselvi Sundarraj, R. Vijaya Kumar Reddy, Mahesh Babu Basam, Harinahalli Lokesh Gururaj, Francesco Flammini, Rajesh Natarajan:
Route Planning for an Autonomous Robotic Vehicle Employing a Weight-Controlled Particle Swarm-Optimized Dijkstra Algorithm. IEEE Access 11: 92433-92442 (2023) - [j38]M. P. Priya, C. K. Roopa, B. S. Harish, Francesco Flammini:
Spatial Kernel Fuzzy Clustering Methods for Microarray Image Spot Segmentation. IEEE Access 11: 142478-142486 (2023) - [j37]Rajesh Natarajan, Santosh Reddy P, S. Subash Chandra Bose, H. L. Gururaj, Francesco Flammini, Shanmugapriya Velmurugan:
Fault detection and state estimation in robotic automatic control using machine learning. Array 19: 100298 (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) - [j34]S. Subash Chandra Bose, Badria Sulaiman Alfurhood, Harinahalli Lokesh Gururaj, Francesco Flammini, Rajesh Natarajan, Sheela Shankarappa Jaya:
Decision Fault Tree Learning and Differential Lyapunov Optimal Control for Path Tracking. Entropy 25(3): 443 (2023) - [j33]P. V. Kumaraguru, Vidyavathi Kamalakkannan, Harinahalli Lokesh Gururaj, Francesco Flammini, Badria Sulaiman Alfurhood, Rajesh Natarajan:
Hessian Distributed Ant Optimized Perron-Frobenius Eigen Centrality for Social Networks. ISPRS Int. J. Geo Inf. 12(8): 316 (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) - [j31]H. L. Gururaj, Rajesh Natarajan, Nouf Abdullah Almujally, Francesco Flammini, Sujatha Krishna, Shashi Kant Gupta:
Collaborative Energy-Efficient Routing Protocol for Sustainable Communication in 5G/6G Wireless Sensor Networks. IEEE Open J. Commun. Soc. 4: 2050-2061 (2023) - [j30]Jaspreet Singh Bajaj, Naveen Kumar, Rajesh Kumar Kaushal, H. L. Gururaj, Francesco Flammini, Rajesh Natarajan:
System and Method for Driver Drowsiness Detection Using Behavioral and Sensor-Based Physiological Measures. Sensors 23(3): 1292 (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 - [c43]Francesco Flammini:
Distance education boosting interdisciplinarity and internationalization: an experience report from "Ethics, Law and Privacy in Data and Analytics" at SUPSI. HCAIep 2023: 54 - [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 - [c41]Mauro José Pappaterra, Francesco Flammini:
A Review of Intelligent Infrastructure Surveillance to Support Safe Autonomy in Smart-Railways. ITSC 2023: 5603-5610 - [c40]Franca Corradini, Francesco Flammini, Alessandro Antonucci:
Probabilistic Modelling for Trustworthy Artificial Intelligence in Drone-Supported Autonomous Wheelchairs. TAS 2023: 52:1-52:5 - 2022
- [j28]N. Manju, C. M. Samiha, S. P. Pavan Kumar, Harinahalli Lokesh Gururaj, Francesco Flammini:
Prediction of Aptamer Protein Interaction Using Random Forest Algorithm. IEEE Access 10: 49677-49687 (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) - [j26]Dhanalakshmi Bettahalli Kengegowda, Srikantaiah Kamidoddi Chowdaiah, Harinahalli Lokesh Gururaj, Francesco Flammini:
Classification and Merging Techniques to Reduce Brokerage Using Multi-Objective Optimization. Algorithms 15(2): 70 (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) - [j24]Mohith C. Shekar, Harinahalli Lokesh Gururaj, Francesco Flammini:
Securing personal identity using blockchain. Int. J. Crit. Comput. Based Syst. 10(3): 248-267 (2022) - [j23]H. L. Gururaj, Prithwijit Mitra, Soumyadip Koner, Sauvik Bal, Francesco Flammini, Janhavi V., Ravi Kumar V.:
Prediction of Phishing Websites Using AI Techniques. Int. J. Inf. Secur. Priv. 16(1): 1-14 (2022) - [j22]Harinahalli Lokesh Gururaj, H. Lakshmi, Soundarya B. C, Francesco Flammini, Janhavi V:
Machine Learning-Based Approach for Fake News Detection. J. ICT Stand. 10(4): 509-530 (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 - [c37]Harinahalli Lokesh Gururaj, Nydile M. N, Francesco Flammini, Vidyashree K. P, Soundarya B. C:
Analysis of Finger Vein Recognition using Deep Learning Techniques: Finger Vein Recognition. ICMLT 2022: 136-140 - [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) - [j18]C. D. Divya, H. L. Gururaj, R. Rohan, V. Bhagyalakshmi, H. A. Rashmi, A. Domnick, Francesco Flammini:
An efficient machine learning approach to nephrology through iris recognition. Discov. Artif. Intell. 1(1) (2021) - [j17]H. L. Gururaj, Francesco Flammini, H. A. Chaya Kumari, G. R. Puneeth, B. R. Sunil Kumar:
Classification of drugs based on mechanism of action using machine learning techniques. Discov. Artif. Intell. 1(1) (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] - [i7]S. Amirhossein Mousavi, Donya Azizi Babani, Francesco Flammini:
Obstacles in Fully Automatic Program Repair: A survey. CoRR abs/2011.02714 (2020) - [i6]Francesco Flammini, Valeria Vittorini, Zhiyuan Lin:
Roadmaps for AI Integration in the Rail Sector - RAILS. ERCIM News 2020(121) (2020)
2010 – 2019
- 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 - [c27]Mauro José Pappaterra, Francesco Flammini:
A Review of Intelligent Cybersecurity with Bayesian Networks. SMC 2019: 445-452 - [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 - [e3]Francesco Flammini:
Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction. Springer 2019, ISBN 978-3-319-95596-4 [contents] - 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
- [j10]Frédéric Lang, Francesco Flammini:
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014). Sci. Comput. Program. 118: 1-2 (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 - [e2]Frédéric Lang, Francesco Flammini:
Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings. Lecture Notes in Computer Science 8718, Springer 2014, ISBN 978-3-319-10701-1 [contents] - 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
- [j4]Francesco Flammini:
On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report. Int. J. Crit. Comput. Based Syst. 3(3): 229-244 (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)
2000 – 2009
- 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
Coauthor Index
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-12-23 19:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint