Samir Ouchani
- Laboratoire d'Innovation Numérique pour les Entreprises et les Apprentissages au service de la Compétitivité des Territoires (LINEACT)
Présentation
Samir Ouchani is a Research Director at CESI Linact in Aix-en-Provence, France. He received his Ph.D. in 2013 from Concordia University, Canada, and completed his HDR in 2022 from CNAM, Paris, France. Dr. Ouchani's research portfolio focuses on developing robust techniques for securing and ensuring the trustworthiness of systems, with expertise in computer security, software engineering, formal methods, and data mining. His ongoing research endeavors are dedicated to the enhancement of security measures and the identification of vulnerabilities within extensive interdisciplinary systems, specifically emphasizing cyber-physical systems and interconnected objects. Samir's expertise lies in the development of decentralized techniques grounded in artificial intelligence, strategically employed to elevate decision-making processes within these systems. Furthermore, he employs rigorous formal methods to empirically validate and substantiate the effectiveness and the explainability of these AI-based approaches.
Domaines de recherche
Publications
Publications
A Review on Financial Fraud Detection: Techniques, Challenges, Solutions, and Perspectives2025 International Conference on Intelligent Computer Systems, Data Science and Applications (IC2SDA), Nov 2025, Blida, France. pp.1-8, ⟨10.1109/IC2SDA68097.2025.11331413⟩ |
|
Deep Reinforcement Learning for Client Selection and Resource Allocation in Federated Learning: A Comprehensive SurveyThe 26th International Conference on Intelligent Data Engineering and Automated Learning, Nov 2026, Jaén, Spain. pp.536-546, ⟨10.1007/978-3-032-10486-1_49⟩ |
|
Gas Management in Smart Homes: A Multi-agent and Knowledge Graph ApproachTwentieth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, Jun 2025, Brunów, Poland. pp.21-31, ⟨10.1007/978-3-031-92734-8_3⟩ |
|
Securing Digital Twin System Using Blockchain: Application on Smart Home2025 International Conference on Intelligent Computer Systems, Data Science and Applications (IC2SDA), Nov 2025, Blida, France. pp.1-8, ⟨10.1109/IC2SDA68097.2025.11331558⟩ |
|
A Review on Hierarchical Federated Learning: Architectures and Learning Algorithms2025 International Conference on Intelligent Computer Systems, Data Science and Applications (IC2SDA), Nov 2025, Blida, France. pp.1-8, ⟨10.1109/IC2SDA68097.2025.11331572⟩ |
|
A Comparative Analysis of Service Management Techniques in the Internet of Things2025 International Conference on Intelligent Computer Systems, Data Science and Applications (IC2SDA), Nov 2025, Blida, France. pp.1-8, ⟨10.1109/IC2SDA68097.2025.11331432⟩ |
|
A Deep Reinforcement Learning-Based Multi-Agent Framework for Dynamic Optimization of QoS in IoT Services2025 28th International Symposium on Real-Time Distributed Computing (ISORC), May 2025, Toulouse, France. pp.1-10, ⟨10.1109/ISORC65339.2025.00033⟩ |
|
A Reliable and Resource-Aware Federated Learning Solution by Decentralizing Client Selection for IoT Devices17th International Conference Verification and Evaluation of Computer and Communication Systems, 2024, Djerba, Tunisia. pp.220-234, ⟨10.1007/978-3-031-85356-2_15⟩ |
|
Supply Chain 5.0: Vision, Challenges, and PerspectivesThe 21th International Learning and Technology Conference, Jan 2024, Jeddah, Saudi Arabia. pp.203-208, ⟨10.1109/LT60077.2024.10469476⟩ |
|
|
|
Modeling Distributed and Flexible PHM Framework Based on the Belief Function Theory20th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2024, Corfu, Greece. pp.160-173, ⟨10.1007/978-3-031-63211-2_13⟩ |
Version Number Attacks in RPL-based IoT Networks : State-of-the-Art and Future directionsThe 8th International Conference on Future Networks & Distributed Systems (ICFNDS 2024), Dec 2024, Marrakech, Morocco |
|
|
|
An Enhanced Interface-Based Probabilistic Compositional Verification ApproachInternational Conference on Verification and Evaluation of Computer and Communication Systems, Oct 2023, Merrakech, Morocco. pp.60-75, ⟨10.1007/978-3-031-49737-7_5⟩ |
|
|
Hybrid Data-Driven and Knowledge-Based Predictive Maintenance Framework in the Context of Industry 4.0MEDI 2023, Model and Data Engineering: 12th International Conference, Nov 2023, Sousse, Tunisia. pp.319-337, ⟨10.1007/978-3-031-49333-1_23⟩ |
|
|
Genetic Algorithm Based Aggregation for Federated Learning in Industrial Cyber Physical SystemsInternational Joint Conference 15th International Conference on Computational Intelligence in Security for Information Systems (CISIS 2022) 13th International Conference on EUropean Transnational Education (ICEUTE 2022), May 2023, SALAMANCA (SPAIN), France. pp.12-21, ⟨10.1007/978-3-031-18409-3_2⟩ |
Distributed transactive energy management in microgrids based on blockchainInternational Conference on Risks and Security of Internet and System, Lecture Notes in Computer Science, 2023, Rabat (MOROCCO), Morocco |
|
|
|
Predictive Maintenance for Smart Industrial Systems: A RoadmapThe 6th International Conference on Emerging Data and Industry (EDI40), Mar 2023, Leuven (Belgium), France. pp.645-650, ⟨10.1016/j.procs.2023.03.082⟩ |
|
|
Fedga-meta: Federated learning framework using genetic algorithms and meta-learning for aggregation in industrial cyber-physical systemInternational Conference on Cyber Security and Resilience, 2023, Venice, Italy |
A Smart Mining Strategy for Blockchain-Enabled Cyber-Physical Systems2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Dec 2023, Paris, France. pp.1-6, ⟨10.1109/WETICE57085.2023.10477814⟩ |
|
|
|
A collaborative real-time object detection and data association framework for autonomous robots using federated graph neural networkInternational Conference on Risks and Security of Internet and System, 2023, Rabat, Morocco |
|
|
Predictive Maintenance for Smart Industrial Systems: A RoadmapThe 6th International Conference on Emerging Data and Industry (EDI40), Mar 2023, Leuven, Belgium |
Octa Pillars-based Approach to Select the Best Blockchain-based Solutions in Healthcare Information Exchange2023 International Wireless Communications and Mobile Computing (IWCMC), Jun 2023, Marrakesh, France. pp.1124-1129, ⟨10.1109/IWCMC58020.2023.10182771⟩ |
|
|
|
Predictive Maintenance Approaches in Industry 4.0: A Systematic Literature Review2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Dec 2023, Paris, France. pp.1-6, ⟨10.1109/WETICE57085.2023.10477802⟩ |
|
|
DLSTM-SCM– A Dynamic LSTM-based Framework for Smart Supply Chain Management31th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2023, 2023, paris, France. pp.1-6, ⟨10.1109/WETICE57085.2023.10477821⟩ |
|
|
Enhancing the Aggregation of the Federated Learning for the Industrial Cyber Physical Systems2022 IEEE International Conference on Cyber Security and Resilience (CSR), May 2023, Rhodes, Greece, France. pp.197-202, ⟨10.1109/CSR54599.2022.9850301⟩ |
Predictive maintenance approaches in industry 4.0: A systematic literature reviewIEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2023, 2023, Paris, France |
|
Smart Mining and Consensus Protocols in Blockchain-enabled Industrial Cyber-Physical Systems: A SurveyICFNDS '23: The International Conference on Future Networks and Distributed Systems, Dec 2023, Dubai United Arab Emirates, United Arab Emirates. pp.769-778, ⟨10.1145/3644713.3644845⟩ |
|
Enhancing autonomous system security: A formal framework for assessing and strengthening autonomous vehicle defensesDistributed Computing for Emerging Smart Networks - Fourth International Workshop, 2023, Bizerte, Tunisia |
|
Securing Autonomous Vehicles: Fundamentals, Challenges, and Future Perspectives(Invited paper) International Conference on Risks and Security of Internet and System, December 6-8th, 2023., 2023, Rabat (MOROCCO), Morocco |
|
|
|
A smart mining strategy for blockchain-enabled cyber-physical systems31th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2023, 2023, Paris, France. pp.1-6, ⟨10.1109/WETICE57085.2023.10477814⟩ |
|
|
Energy Management, Control, and Operations in Smart Grids: Leveraging Blockchain Technology for Enhanced SolutionsInternational Conference on Sustainable Energy Information Technology, 2023, Halifax, Canada. pp.306-313, ⟨10.1016/j.procs.2023.09.041⟩ |
Hybrid Data-driven and Knowledge-based Predictive Maintenance Framework in the Context of Industry 4.012th International Conference on Model and Data Engineering, Nov 2023, Sousse, Tunisia. pp.319-337 |
|
|
|
Aggregation using Genetic Algorithms for Federated Learning in Industrial Cyber-Physical Systems2022 International Conference on INnovations in Intelligent SysTems and Applications (INISTA), Aug 2022, Biarritz, France, France. pp.1-6, ⟨10.1109/INISTA55318.2022.9894236⟩ |
Formal Modelling and Security Analysis of Inter-Operable Systems35th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA AIE 2022), Jul 2022, Kitakyushu, Japan. pp.555-567, ⟨10.1007/978-3-031-08530-7_47⟩ |
|
|
|
Modeling the Greedy Behavior Attack and Analyzing its Impact on IoT NetworksEmerging Ubiquitous Systems and Pervasive Networks, Nov 2021, Leuven, Belgium. pp.770-775, ⟨10.1016/j.procs.2021.12.320⟩ |
|
|
An Adaptive Attack Prediction Framework in Cyber-Physical Systems2022 Ninth International Conference on Software Defined Systems (SDS), Dec 2022, Paris, France. pp.1-7, ⟨10.1109/SDS57574.2022.10062873⟩ |
Enhancing the Aggregation of the Federated Learning for the Industrial Cyber Physical Systems2022 IEEE International Conference on Cyber Security and Resilience (CSR), Jul 2022, Rhodes, Greece. pp.197-202, ⟨10.1109/CSR54599.2022.9850301⟩ |
|
From Simulation to Digital Twins, the Case of Internet of Things Research and ToolsICFNDS '22: The 6th International Conference on Future Networks & Distributed Systems, 2022, Tashkent TAS Uzbekistan, France. pp.657-666, ⟨10.1145/3584202.3584302⟩ |
|
COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 DetectionMEDI 2021: Advances in Model and Data Engineering in the Digitalization Era, Jul 2021, Talline, Estonia. pp.166-178, ⟨10.1007/978-3-030-87657-9_13⟩ |
|
An IoT-based Framework for an Optimal Monitoring and Control of Cyber-Physical Systems: Application on Biogas Production SystemIoT '21: 11th International Conference on the Internet of Things, Nov 2021, St.Gallen, Swaziland. pp.143-149, ⟨10.1145/3494322.3494341⟩ |
|
Towards an Automatic Evaluation of the Performance of Physical Unclonable FunctionsArtificial Intelligence and Renewables Towards an Energy Transition, Nov 2022, Tipaza, Algeria. pp.775-781, ⟨10.1007/978-3-030-63846-7_74⟩ |
|
Security Assessment and Hardening of Autonomous VehiclesRisks and Security of Internet and Systems, Nov 2020, Paris, France. pp.365-375, ⟨10.1007/978-3-030-68887-5_24⟩ |
|
A Low-Cost Authentication Protocol Using Arbiter-PUFInternational Conference on Model and Data EngineerinG, Jun 2021, Tallinn, Estonia. pp.101-116, ⟨10.1007/978-3-030-78428-7_9⟩ |
|
Guaranteeing Information Integrity Through Blockchains for Smart Cities11th International Conference on Model and Data Engineering, Jun 2021, Tallinn, Estonia. pp.199-212, ⟨10.1007/978-3-030-78428-7_16⟩ |
|
|
|
Towards a Foundation of a Mutual Authentication Protocol for a Robust and Resilient PUF-Based Communication NetworkInternational Conference on Mobile Systems and Pervasive Computing, Aug 2021, Leuven, Belgium. pp.215-222, ⟨10.1016/j.procs.2021.07.027⟩ |
Modeling Attack-Defense Trees’ Countermeasures Using Continuous Time Markov ChainsSoftware Engineering and Formal Methods. SEFM 2020 Collocated Workshops, Sep 2020, Amsterdam, Netherlands. pp.30-42, ⟨10.1007/978-3-030-67220-1_3⟩ |
|
A Generation and Recovery Framework for Silicon PUFs Based Cryptographic KeyMEDI 2021: Advances in Model and Data Engineering in the Digitalization Era, Jul 2021, Taline, Estonia. pp.121-137, ⟨10.1007/978-3-030-87657-9_10⟩ |
|
|
|
A Review on Cyber-Physical Systems: Models and Architectures2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Sep 2020, Bayonne, Spain. pp.275-278, ⟨10.1109/WETICE49692.2020.00060⟩ |
|
|
Performance Analysis of RPL Protocols in LLN Network Using Friedman’s Test2020 7th International Conference on Internet of Things: Systems, Management and Security (IOTSMS), Dec 2020, Paris, France. ⟨10.1109/IOTSMS52051.2020.9340203⟩ |
|
|
Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach2020 IEEE/ACS 17th International Conference on Computer Systems and Applications (AICCSA), Nov 2020, Antalya, Turkey. pp.1-6, ⟨10.1109/AICCSA50499.2020.9316535⟩ |
Towards a Security Reinforcement Mechanism for Social Cyber-Physical SystemsSmart Applications and Data Analysis, Jun 2020, Marrakesh, Morocco. pp.59-73, ⟨10.1007/978-3-030-45183-7_5⟩ |
|
|
|
Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management SystemsThe Impact of Digital Technologies on Public Health in Developed and Developing Countries, Jun 2020, Hammamet, Tunisia. pp.364-372, ⟨10.1007/978-3-030-51517-1_33⟩ |
Quantifying Security and Performance of Physical Unclonable Functions2020 7th International Conference on Internet of Things: Systems, Management and Security (IOTSMS), Dec 2020, Paris, France. pp.1-4, ⟨10.1109/IOTSMS52051.2020.9340212⟩ |
|
|
|
A BIM-based framework for an Optimal WSN Deployment in Smart Building2020 11th International Conference on Network of the Future (NoF), Oct 2020, Bordeaux, France. pp.110-114, ⟨10.1109/NoF50125.2020.9249099⟩ |
A Meta Language for Cyber-Physical Systems and Threats: Application on Autonomous VehicleSAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing, Nov 2019, Abu Dhabi, United Arab Emirates. ⟨10.1109/AICCSA47632.2019.9035273⟩ |
|
A Recursive K-means towards trade-off between {PLM} Competences, Positions, and OffersThe 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018), Aug 2019, Canaria, Spain. ⟨10.1007/978-3-030-01614-2_63⟩ |
|
A Smart Living Framework: Towards Analyzing Security in Smart Rooms9th International Conference on Model and Data Engineering, Oct 2019, Toulouse, France |
|
|
|
Towards a Fractionation-based Verification: Application on SysML Activity Diagrams34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus |
|
|
Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity DiagramsICTAC 2019 : 16th International Colloquium on Theoretical Aspects of Computing, Oct 2019, Hammamet, Tunisia, France |
Security Implementation and Verification in Smart BuildingsThe 1st International Conference on Innovative Trends in Computer Science, CITSC 2019,, Nov 2019, Guelma, Algeria |
|
|
|
A Recursive K-means towards trade-off between PLM Competences, Positions, and OffersThe 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) / The 13th International Conference on Future Networks and Communications (FNC-2018), Aug 2018, Gran Canaria, Spain. pp.297 - 302, ⟨10.1016/j.procs.2018.07.174⟩ |
|
|
PLM Competencies Analysis Based on Industry Demand15th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2018, Turin, Italy. pp.692-701, ⟨10.1007/978-3-030-01614-2_63⟩ |
|
|
Ensuring the Functional Correctness of IoT through Formal Modeling and VerificationModel and Data Engineering - 8th International Conference, Oct 2018, Marrakesh, Morocco. pp.401-417, ⟨10.1007/978-3-030-00856-7_27⟩ |
Security in the shell: An optical physical unclonable function made of shells of cholesteric liquid crystals2017 IEEE Workshop on Information Forensics and Security (WIFS), Dec 2017, Rennes, France. pp.1-6, ⟨10.1109/WIFS.2017.8267644⟩ |
|
|
|
A probabilistic and timed verification approach of SysML state machine diagram2015 12th International Symposium on Programming and Systems (ISPS), Apr 2015, Algiers, France. pp.1-9, ⟨10.1109/ISPS.2015.7245001⟩ |
A Survey of Model-Driven Testing Techniques2009 9th International Conference on Quality Software (QSIC), Aug 2009, Jeju, France. pp.167-172, ⟨10.1109/QSIC.2009.30⟩ |
|
|
Advances in Model and Data Engineering in the Digitalization EraSpringer International Publishing, 1481, 2021, Communications in Computer and Information Science, ⟨10.1007/978-3-030-87657-9⟩ |
A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model CheckingModelling and Implementation of Complex Systems, pp.295-309, 2016, ⟨10.1007/978-3-319-33410-3_21⟩ |
|
|
|
On the Probabilistic Verification of Time Constrained SysML State MachinesIntelligent Software Methodologies, Tools and Techniques, International Conference on Intelligent Software Methodologies, Tools, and Techniques, pp.425-441, 2015, ⟨10.1007/978-3-319-22689-7_33⟩ |
Gene Selection for Cancer Classification Using DCAAdvanced Data Mining and Applications. Lecture Notes in Computer Science, 5139, pp.62-72, 2008, ⟨10.1007/978-3-540-88192-6_8⟩ |
Enhancing Autonomous System SecurityInvited talk to Distributed Computing for Emerging Smart Networks (DiCES-N), May 27, 2023, Bizerte, Tunisia, 2023, Bizerte, Tunisia., 2023 |
|
Securing Autonomous VehiclesInvited talk to 18th International Conference on Risks and Security of Internet and Systems, Rabat, Morocco, December 6-8th, 2023., 2023 |
|
HEALTrust: Enhancing Healthcare Data Integrity and Privacy through Blockchain-Enabled Exchange Systems.Invited talk to the event: Vers une santé digitale en Algérie, Convergence des compétences informatiques et cliniques, 2023, Tlemcen, Université de Tlemcen, Algeria., 2023 |
|
|
A Security Verification Framework for SysML Activity DiagramsComputer Science [cs]. Concordia University, 2013. English. ⟨NNT : ⟩ |
|
|
Secure and Reliable Smart Cyber-Physical SystemsComputer Science [cs]. CNAM Paris, 2022 |