
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
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⟩
Communication dans un congrès
hal-04402961
v1
|
|
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
Communication dans un congrès
hal-04956169
v1
|
|
|
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⟩
Communication dans un congrès
hal-05038352
v1
|
|
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⟩
Communication dans un congrès
hal-04370804
v1
|
|
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⟩
Communication dans un congrès
hal-04370795
v1
|
|
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
Communication dans un congrès
hal-04371567
v1
|
|
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⟩
Communication dans un congrès
hal-04084089
v1
|
|
Predictive Maintenance for Smart Industrial Systems: A RoadmapThe 6th International Conference on Emerging Data and Industry (EDI40), Mar 2023, Leuven, Belgium
Communication dans un congrès
hal-04398272
v1
|
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⟩
Communication dans un congrès
hal-04370858
v1
|
|
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⟩
Communication dans un congrès
hal-04538548
v1
|
|
|
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
Communication dans un congrès
hal-04371570
v1
|
|
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⟩
Communication dans un congrès
hal-04371577
v1
|
|
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⟩
Communication dans un congrès
hal-04556299
v1
|
|
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⟩
Communication dans un congrès
hal-04086929
v1
|
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⟩
Communication dans un congrès
hal-04574305
v1
|
|
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
Communication dans un congrès
hal-04371572
v1
|
|
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
Communication dans un congrès
hal-04371562
v1
|
|
|
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⟩
Communication dans un congrès
hal-04371581
v1
|
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
Communication dans un congrès
hal-04372760
v1
|
|
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
Communication dans un congrès
hal-04337484
v1
|
|
|
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⟩
Communication dans un congrès
hal-04370939
v1
|
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
Communication dans un congrès
hal-04371569
v1
|
|
|
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⟩
Communication dans un congrès
hal-04086923
v1
|
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⟩
Communication dans un congrès
hal-04086240
v1
|
|
|
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⟩
Communication dans un congrès
hal-04094225
v1
|
|
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⟩
Communication dans un congrès
hal-04065408
v1
|
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⟩
Communication dans un congrès
hal-04085957
v1
|
|
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⟩
Communication dans un congrès
hal-04370957
v1
|
|
|
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⟩
Communication dans un congrès
hal-04086933
v1
|
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⟩
Communication dans un congrès
hal-04108181
v1
|
|
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⟩
Communication dans un congrès
hal-04108145
v1
|
|
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⟩
Communication dans un congrès
hal-04108273
v1
|
|
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⟩
Communication dans un congrès
hal-04108271
v1
|
|
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⟩
Communication dans un congrès
hal-04108162
v1
|
|
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⟩
Communication dans un congrès
hal-04094200
v1
|
|
|
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⟩
Communication dans un congrès
hal-04087532
v1
|
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⟩
Communication dans un congrès
hal-04108272
v1
|
|
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⟩
Communication dans un congrès
hal-04108173
v1
|
|
|
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⟩
Communication dans un congrès
hal-04094128
v1
|
|
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⟩
Communication dans un congrès
hal-04065439
v1
|
|
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⟩
Communication dans un congrès
hal-04084239
v1
|
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⟩
Communication dans un congrès
hal-04094173
v1
|
|
|
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⟩
Communication dans un congrès
hal-04094193
v1
|
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⟩
Communication dans un congrès
hal-04094180
v1
|
|
|
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⟩
Communication dans un congrès
hal-04065441
v1
|
A Smart Living Framework: Towards Analyzing Security in Smart Rooms9th International Conference on Model and Data Engineering, Oct 2019, Toulouse, France
Communication dans un congrès
hal-04108106
v1
|
|
|
Towards a Fractionation-based Verification: Application on SysML Activity Diagrams34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus
Communication dans un congrès
hal-04108116
v1
|
|
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
Communication dans un congrès
hal-04108096
v1
|
Security Implementation and Verification in Smart BuildingsThe 1st International Conference on Innovative Trends in Computer Science, CITSC 2019,, Nov 2019, Guelma, Algeria
Communication dans un congrès
hal-04108091
v1
|
|
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⟩
Communication dans un congrès
hal-04094112
v1
|
|
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⟩
Communication dans un congrès
hal-04094110
v1
|
|
|
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⟩
Communication dans un congrès
hal-02075606
v1
|
|
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⟩
Communication dans un congrès
hal-04094004
v1
|
|
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⟩
Communication dans un congrès
hal-04415778
v1
|
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⟩
Communication dans un congrès
hal-04093991
v1
|
|
|
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⟩
Communication dans un congrès
hal-02561374
v1
|
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⟩
Communication dans un congrès
hal-04575600
v1
|
|
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⟩
Ouvrages
hal-04108062
v1
|
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⟩
Chapitre d'ouvrage
hal-02561367
v1
|
|
|
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⟩
Chapitre d'ouvrage
hal-02561373
v1
|
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⟩
Chapitre d'ouvrage
istex
hal-03213829
v1
|
Securing Autonomous VehiclesInvited talk to 18th International Conference on Risks and Security of Internet and Systems, Rabat, Morocco, December 6-8th, 2023., 2023
Autre publication scientifique
hal-04370981
v1
|
|
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
Autre publication scientifique
hal-04371440
v1
|
|
Enhancing Autonomous System SecurityInvited talk to Distributed Computing for Emerging Smart Networks (DiCES-N), May 27, 2023, Bizerte, Tunisia, 2023, Bizerte, Tunisia., 2023
Autre publication scientifique
hal-04370998
v1
|
|
A Security Verification Framework for SysML Activity DiagramsComputer Science [cs]. Concordia University, 2013. English. ⟨NNT : ⟩
Thèse
tel-04201144
v1
|
|
Secure and Reliable Smart Cyber-Physical SystemsComputer Science [cs]. CNAM Paris, 2022
HDR
tel-04107896
v1
|