- 82
- 1
- 1
- 1
Samir Ouchani
36%
Libre accès
85
Documents
Affiliations actuelles
- 1059165
Identifiants chercheurs
- souchani
- 0000-0002-7997-8225
- ResearcherId : CAE-9659-2022
- Google Scholar : 6AnqVqUAAAAJ
- ResearcherId : http://www.researcherid.com/rid/CAE-9659-2022
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
Informatique [cs]
Compétences
Publications
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 10
- 10
- 8
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 75
- 6
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 28
- 13
- 13
- 9
- 9
- 3
- 1
- 1
- 3
- 1
- 1
- 1
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-04402961v1
|
|
|
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-04371577v1
|
|
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-04084089v1
|
|
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-04371567v1
|
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-04370858v1
|
|
|
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-04398272v1
|
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-04538548v1
|
|
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-04371570v1
|
|
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-04372760v1
|
|
|
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
Communication dans un congrès
hal-04371581v1
|
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-04371562v1
|
|
|
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-04370804v1
|
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-04337484v1
|
|
|
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-04370795v1
|
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-04370939v1
|
|
|
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-04086923v1
|
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-04371569v1
|
|
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-04371572v1
|
|
|
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-04086929v1
|
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-04108273v1
|
|
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-04085957v1
|
|
|
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-04065408v1
|
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-04370957v1
|
|
|
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-04086933v1
|
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-04086240v1
|
|
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-04108181v1
|
|
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-04108145v1
|
|
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-04087532v1
|
|
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-04108162v1
|
|
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-04108271v1
|
|
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-04108173v1
|
|
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-04094225v1
|
|
|
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-04065439v1
|
|
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-04094128v1
|
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-04094180v1
|
|
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-04094193v1
|
|
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-04108272v1
|
|
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-04094173v1
|
|
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-04094200v1
|
|
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-04084239v1
|
|
|
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-04065441v1
|
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-04108106v1
|
|
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-04108091v1
|
|
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-04108096v1
|
|
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-04094110v1
|
|
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-04108116v1
|
|
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-04094112v1
|
|
|
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-02075606v1
|
|
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-04094004v1
|
|
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-04415778v1
|
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-04093991v1
|
|
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-02561374v1
|
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-04108062v1
|
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-02561367v1
|
|
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-02561373v1
|
|
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
hal-03213829v1
|
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-04370981v1
|
|
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-04371440v1
|
|
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-04370998v1
|
|
A Security Verification Framework for SysML Activity DiagramsComputer Science [cs]. Concordia University, 2013. English. ⟨NNT : ⟩
Thèse
tel-04201144v1
|
|
Secure and Reliable Smart Cyber-Physical SystemsComputer Science [cs]. CNAM Paris, 2022
HDR
tel-04107896v1
|