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.
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⟩ |
|
Optimizing Detection Placement in HFL: A Hybrid Multi-Level Similarity FrameworkThe 18th International Conference on Optimization and Information Systems (COSI), 2026, Batna, Algeria |
|
|
|
DRIFT: Distributed RPL Injection Flooding Threat in IoT Networks14th International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA-2026), Jun 2026, London, United Kingdom |
Intelligent Cloud-Native DevOps for Dynamic SDN Controller Placement and Orchestration7th International Conference on Cloud Computing and Artificial Intelligence: Technologies and Applications (CloudTech’25). CloudTech 2025, Nov 2025, Rabat, Morocco. pp.205-212, ⟨10.1007/978-3-032-23844-3_22⟩ |
|
Trustworty Smart Systems10th International Conference on Computer, Software and Modeling, Jul 2026, Nice, France |
|
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⟩ |
|
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⟩ |
|
Risks and Security of Internet and SystemsRisks and Security of Internet and Systems, 2024, Aix-en-provence, France. pp.21-31, ⟨10.1007/978-3-031-89350-6⟩ |
|
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⟩ |
|
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⟩ |
|
Designing Trustworthy Smart Systems: Bridging Artificial Intelligence and Formal MethodsProceedings of the 6th Summer School on Cyber-PhysicalSystems and Internet-of-Things, 2025, Budva, Montenegro |
|
|
|
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 |
|
Smart CPS : Ensuring Trustworthiness in Autonomous Decisions through Formal MethodsProceedings of the 5th Summer School on Cyber-Physical Systems and Internet-of-Things, Vol. V, 2024, 2024, Budva, Montenegro |
|
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⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
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 |
|
|
|
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 for Smart Industrial Systems: A RoadmapThe 6th International Conference on Emerging Data and Industry (EDI40), Mar 2023, Leuven, Belgium |
|
|
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 |
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 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 |
|
|
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⟩ |
|
|
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⟩ |
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.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 |
|
Secure and Reliable Smart Cyber Physical SystemsProceedings of the 3rd Summer School on Cyber-Physical Systems and Internet-of-Things, Vol. III, 2022, 2022, Budva, Montenegro |
|
|
|
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
|
|
|
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⟩ |
|
|
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 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⟩ |
|
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⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
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 |
Security Implementation and Verification in Smart BuildingsThe 1st International Conference on Innovative Trends in Computer Science, CITSC 2019,, Nov 2019, Guelma, Algeria |
|
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⟩ |
|
|
|
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 estimation in Streaming Protocols2011 International Conference on Innovations in Information Technology (IIT), Apr 2011, Abu Dhabi, France. pp.427-432, ⟨10.1109/INNOVATIONS.2011.5893863⟩ |
|
|
|
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⟩ |
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⟩ |
|
|
|
Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical SystemsSecurity and Trust Management, 2016, Heraklion, Greece. pp.170-178, ⟨10.1007/978-3-319-46598-2_12⟩ |
|
|
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⟩ |
|
|
Attacks Generation by Detecting Attack Surfaces5th International Conference on Ambient Systems, Networks and Technologies {(ANT} 2014), the 4th International Conference on Sustainable Energy Information Technology (SEIT-2014), 2014, Hasselt, Belgium. pp.529-536, ⟨10.1016/J.PROCS.2014.05.457⟩ |
A Security Risk Assessment Framework for SysML Activity Diagrams2013 7th IEEE International Conference on Software Security and Reliability (SERE), Jun 2013, Gaithersburg, France. pp.227-236, ⟨10.1109/SERE.2013.11⟩ |
|
|
|
Symmetry Reduction of Time-Triggered Ethernet ProtocolProceedings of the 4th International Conference on Ambient Systems, Networks and Technologies {(ANT} 2013), the 3rd International Conference on Sustainable Energy Information Technology (SEIT-2013), 2013, Halifax (Canada), Canada. pp.273-280, ⟨10.1016/j.procs.2013.06.039⟩ |
A probabilistic verification framework of SysML activity diagrams2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT), Sep 2013, Budapest, France. pp.165-170, ⟨10.1109/SoMeT.2013.6645657⟩ |
|
A formal verification framework for Bluespec System Verilogspecification and Design Languages, 2013, paris, France |
|
Efficient Probabilistic Abstraction for SysML Activity DiagramsSoftware Engineering and Formal Methods, George Eleftherakis and Mike Hinchey and Mike Holcombe, 2012, Thessaloniki, Greece. pp.263-277, ⟨10.1007/978-3-642-33826-7_18⟩ |
|
Verification of the Correctness in Composed UML Behavioural Diagrams2009 9th International Conference on Quality Software (QSIC), Aug 2009, Jeju, South Korea. pp.163-177, ⟨10.1007/978-3-642-13273-5_11⟩ |
|
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⟩ |
|
A non-convex classifier support for abstraction-refinement framework2012 24th International Conference on Microelectronics (ICM), Dec 2012, Algiers, France. pp.1-4, ⟨10.1109/ICM.2012.6471409⟩ |
|
|
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⟩ |
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 |
|
Securing Autonomous VehiclesInvited talk to 18th International Conference on Risks and Security of Internet and Systems, Rabat, Morocco, December 6-8th, 2023., 2023 |
|
Enhancing Autonomous System SecurityInvited talk to Distributed Computing for Emerging Smart Networks (DiCES-N), May 27, 2023, Bizerte, Tunisia, 2023, Bizerte, Tunisia., 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 |
