Samir Ouchani

42%
Libre accès
90
Documents
Affiliation actuelle
  • Laboratoire d'Innovation Numérique pour les Entreprises et les Apprentissages au service de la Compétitivité des Territoires (LINEACT)
Contact

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]

Publications

85
2
1
1
1
6
5
4
4
3
2
2
2
2
2
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
10
8
8
7
6
5
5
4
4
4
4
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
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
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
9
28
11
14
7
9
3
1
1
3
1
2
1
81
6
4
1

Publications

Image document

Resource-Constrained eXtended Reality operated with Digital Twin in Industrial Internet of Things

Hugues Marie Kamdjou , David Baudry , Vincent Havard , Samir Ouchani
IEEE Open Journal of the Communications Society, 2024, ⟨10.1109/OJCOMS.2024.3356508⟩
Article dans une revue hal-04402202 v1

Smart Mining and Consensus Protocols in Blockchain-enabled Industrial Cyber-Physical Systems: A Survey

Salah Eddine Elgharbi , Samir Ouchani , Abderrahim Ait Wakrime , Yassine Ouhammou
ICFNDS '23: Proceedings of the 7th International Conference on Future Networks and Distributed Systems, 2024, pp.769-778. ⟨10.1145/3644713.3644845⟩
Article dans une revue hal-04580355 v1

Ensuring the federation correctness: Formal verification of Federated Learning in industrial cyber-physical systems

Badra Souhila Guendouzi , Samir Ouchani , Hiba Al Assaad , Madeleine El Zaher
Future Generation Computer Systems, 2024, 166, pp.107675. ⟨10.1016/j.future.2024.107675⟩
Article dans une revue hal-04932274 v1

Designing Secure and Smart Supply Chains: A Roadmap

Mohammed Amine Boudouaia , Samir Ouchani
IEEE Computer Society, 2024, 57 (10), pp.45-55. ⟨10.1109/MC.2024.3400165⟩
Article dans une revue hal-04586247 v1
Image document

A framework for modeling and analyzing cyber-physical systems using statistical model checking

Abdel-Latif Alshalalfah , Otmane Ait Mohamed , Samir Ouchani
Internet of Things, 2023, 22, pp.100732. ⟨10.1016/j.iot.2023.100732⟩
Article dans une revue hal-04108550 v1
Image document

T2S-MAKEP and T2T-MAKEP: A PUF-based Mutual Authentication and Key Exchange Protocol for IoT devices

Fahem Zerrouki , Samir Ouchani , Hafida Bouarfa
Internet of Things, 2023, 24, pp.100953. ⟨10.1016/j.iot.2023.100953⟩
Article dans une revue hal-04370784 v1

ELSO: A Blockchain-Based Technique for a Reliable and Secure Healthcare Information Exchange

Joseph Merhej , Hassan Harb , Abdelhafid Abouaissa , Lhassane Idoumghar , Samir Ouchani
Arabian Journal for Science and Engineering, 2023, ⟨10.1007/s13369-023-08586-y⟩
Article dans une revue hal-04370775 v1

A SPARQL-based framework to preserve privacy of sensitive data on the semantic web

Fethi Imad Benaribi , Mimoun Malki , Kamel Mohammed Faraoun , Samir Ouchani
Service Oriented Computing and Applications, 2023, 17 (3), pp.183-199. ⟨10.1007/s11761-023-00368-6⟩
Article dans une revue hal-04370822 v1
Image document

A systematic review of federated learning: Challenges, aggregation methods, and development tools

Badra Souhila Guendouzi , Samir Ouchani , Hiba El Assaad , Madeleine El Zaher
Journal of Network and Computer Applications (JNCA), 2023, 220 (9), pp.103714. ⟨10.1016/j.jnca.2023.103714⟩
Article dans une revue hal-04370837 v1

Formal modelling and verification of scalable service composition in IoT environment

Sarah Hussein Toman , Lazhar Hamel , Zinah Hussein Toman , Mohamed Graiet , Samir Ouchani
Service Oriented Computing and Applications, 2023, ⟨10.1007/s11761-023-00363-x⟩
Article dans une revue hal-04108552 v1

Toward a context-driven deployment optimization for embedded systems: a product line approach

Abdelhakim Baouya , Otmane Ait Mohamed , Samir Ouchani
Journal of Supercomputing, 2023, 79 (2), pp.2180-2211. ⟨10.1007/s11227-022-04741-8⟩
Article dans une revue hal-04108274 v1

Generation and verification of learned stochastic automata using k-NN and statistical model checking

Abdelhakim Baouya , Salim Chehida , Samir Ouchani , Saddek Bensalem , Marius Bozga
Applied Intelligence, 2022, 52 (8), pp.8874-8894. ⟨10.1007/s10489-021-02884-4⟩
Article dans une revue hal-04094178 v1

Guaranteeing information integrity and access control in smart cities through blockchain

Walid Miloud Dahmane , Samir Ouchani , Hafida Bouarfa
Journal of Ambient Intelligence and Humanized Computing, 2022, ⟨10.1007/s12652-022-03718-y⟩
Article dans une revue hal-04108275 v1
Image document

PUF-based mutual authentication and session key establishment protocol for IoT devices

Fahem Zerrouki , Samir Ouchani , Hafida Bouarfa
Journal of Ambient Intelligence and Humanized Computing, 2022, ⟨10.1007/s12652-022-04321-x⟩
Article dans une revue hal-04108276 v1
Image document

A survey on silicon PUFs

Fahem Zerrouki , Samir Ouchani , Hafida Bouarfa
Journal of Systems Architecture, 2022, 127 (8), pp.102514. ⟨10.1016/j.sysarc.2022.102514⟩
Article dans une revue hal-04085954 v1
Image document

Towards a reliable smart city through formal verification and network analysis

Walid Miloud Dahmane , Samir Ouchani , Hafida Bouarfa
Computer Communications, 2021, 180, pp.171-187. ⟨10.1016/j.comcom.2021.09.006⟩
Article dans une revue hal-04094161 v1
Image document

Assessing the Severity of Smart Attacks in Industrial Cyber Physical Systems

Abdelaziz Khaled , Samir Ouchani , Zahir Tari , Khalil Drira
ACM Transactions on Cyber-Physical Systems, 2021, 5 (1), pp.10. ⟨10.1145/3422369⟩
Article dans une revue hal-03624234 v1

Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking

Abdelhakim Baouya , Otmane Ait Mohamed , Samir Ouchani , Djamal Bennouar
Expert Systems with Applications, 2021, 174, pp.114572. ⟨10.1016/j.eswa.2021.114572⟩
Article dans une revue hal-04094152 v1

A security policy hardening framework for Socio-Cyber-Physical Systems

Samir Ouchani
Journal of Systems Architecture, 2021, 119, pp.102259. ⟨10.1016/j.sysarc.2021.102259⟩
Article dans une revue hal-04094147 v1
Image document

Recommendations-based on semantic analysis of social networks in learning environments

Abdelaziz Khaled , Samir Ouchani , Chemseddine Chohra
Computers in Human Behavior, 2019, 101, pp.435-449. ⟨10.1016/j.chb.2018.08.051⟩
Article dans une revue hal-04108280 v1

Safety analysis of train control system based on model-driven design methodology

Abdelhakim Baouya , Otmane Ait Mohamed , Djamal Bennouar , Samir Ouchani
Computers in Industry, 2019, 105, pp.1-16. ⟨10.1016/j.compind.2018.10.007⟩
Article dans une revue hal-02561378 v1

Safety analysis of train control system based on model-driven design methodology

Abdelhakim Baouya , Otmane Ait Mohamed , Djamal Bennouar , Samir Ouchani
Computers in Industry, 2019, 105, pp.1-16. ⟨10.1016/j.compind.2018.10.007⟩
Article dans une revue hal-04094115 v1

A quantitative verification framework of SysML activity diagrams under time constraints

Abdelhakim Baouya , Djamal Bennouar , Otmane Ait Mohamed , Samir Ouchani
Expert Systems with Applications, 2015, 42 (21), pp.7493-7510. ⟨10.1016/j.eswa.2015.05.049⟩
Article dans une revue hal-02561377 v1

Gene Selection for Cancer Classification Using DCA, Journal of Frontiers of Computer Science and Technology

Hoai An Le Thi , van Vinh Nguyen , Samir Ouchani
Journal of Frontiers of Computer Science and Technology, 2009, 3 (6), pp.612-620
Article dans une revue hal-01664633 v1

Supply Chain 5.0: Vision, Challenges, and Perspectives

Mohammed Amine Boudouaia , Samir Ouchani , Saeed Mian Qaisar , Abdulaziz Almaktoom
The 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 directions

Mohammed Amine Boudouaia , Valentin Tournois , Samir Ouchani
The 8th International Conference on Future Networks & Distributed Systems (ICFNDS 2024), Dec 2024, Marrakech, Morocco
Communication dans un congrès hal-04956169 v1
Image document

Modeling Distributed and Flexible PHM Framework Based on the Belief Function Theory

Safa Ben Ayed , Malika Ben Khalifa , Samir Ouchani
20th 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
Image document

An Enhanced Interface-Based Probabilistic Compositional Verification Approach

Samir Ouchani , Otmane Ait Mohamed , Mourad Debbabi
International 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
Image document

Hybrid Data-Driven and Knowledge-Based Predictive Maintenance Framework in the Context of Industry 4.0

Fidma Mohamed Abdelillah , Hamour Nora , Ouchani Samir , Benslimane Sidi-Mohammed
MEDI 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
Image document

Fedga-meta: Federated learning framework using genetic algorithms and meta-learning for aggregation in industrial cyber-physical system

Badra Souhila Guendouzi , Samir Ouchani , Hiba Al-Assaad , Madeleine Jradi
International Conference on Cyber Security and Resilience, 2023, Venice, Italy
Communication dans un congrès hal-04371567 v1
Image document

Predictive Maintenance for Smart Industrial Systems: A Roadmap

Hafsi Meriem , Hamour Nora , Ouchani Samir
The 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
Image document

Predictive Maintenance for Smart Industrial Systems: A Roadmap

Meriem Hafsi , Nora Hamour , Samir Ouchani
The 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 Exchange

Joseph Merhej , Hassan Harb , Abdelhafid Abouaissa , Lhassane Idoumghar , Samir Ouchani
2023 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 Systems

Salah Eddine Elgharbi , Samir Ouchani , Mohammed Amine Boudouaia , Mimoune Malki
2023 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
Image document

A collaborative real-time object detection and data association framework for autonomous robots using federated graph neural network

Feriel Talbi , Samir Ouchani , Yohan Dupuis , Mimoune Malki
International Conference on Risks and Security of Internet and System, 2023, Rabat, Morocco
Communication dans un congrès hal-04371570 v1
Image document

DLSTM-SCM– A Dynamic LSTM-based Framework for Smart Supply Chain Management

Seyf Eddine Hasnaoui , Mohammed Amine Boudouaia , Samir Ouchani , Abdelatif Rahmoun
31th 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
Image document

Predictive Maintenance Approaches in Industry 4.0: A Systematic Literature Review

Fidma Mohamed Abdelillah , Hamour Nora , Ouchani Samir , Sidi Mohamed Benslimane
2023 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
Image document

Enhancing the Aggregation of the Federated Learning for the Industrial Cyber Physical Systems

Souhila Badra Guendouzi , Samir Ouchani , Mimoune Malki
2022 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 Survey

Salah Eddine Elgharbi , Samir Ouchani , Abderrahim Ait Wakrime , Yassine Ouhammou
ICFNDS '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 review

Mohamed Abdelillah Fidma , Samir Ouchani , Nora Hamour , Sidi Mohamed Benslimane
IEEE 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 defenses

Samir Ouchani , Badra Souhila Guendouzi , Mohammed Amine Boudouaia
Distributed Computing for Emerging Smart Networks - Fourth International Workshop, 2023, Bizerte, Tunisia
Communication dans un congrès hal-04371562 v1
Image document

A smart mining strategy for blockchain-enabled cyber-physical systems

Salah Eddine Elgharbi , Samir Ouchani , Mohammed Amine Boudouaia , Mimoune Malki
31th 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

Samir Ouchani
(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.0

Mohamed Abdelillah Fidma , Nora Hamour , Samir Ouchani , Sidi Mohamed Benslimane
12th 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 Solutions

Douiri Leila , Samir Ouchani , Sana Kordoghli , Zegrouba Fethi , Beddiar Karim
International 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 blockchain

Douiri Leila , Samir Ouchani , Sana Kordoghli , Féthi Zagrouba , Karim Beddiar
International 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
Image document

Genetic Algorithm Based Aggregation for Federated Learning in Industrial Cyber Physical Systems

Souhila Badra Guendouzi , Samir Ouchani , Mimoun Malki
International 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 Systems

Abdelhakim Baouya , Samir Ouchani , Saddek Bensalem
35th 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
Image document

Modeling the Greedy Behavior Attack and Analyzing its Impact on IoT Networks

Fatima Salma Sadek , Khaled Belkadi , Abdelhafid Abouaissa , Samir Ouchani , Mohamed-El-Amine Brahmia et al.
Emerging 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
Image document

An Adaptive Attack Prediction Framework in Cyber-Physical Systems

Mohamed-El-Amine Brahmia , Sami Babouche , Samir Ouchani , Mourad Zghal
2022 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 Systems

Souhila Badra Guendouzi , Samir Ouchani , Mimoune Malki
2022 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 Tools

Hamza Ngadi , Ahcene Bounceur , Mohammad Hammoudeh , Samir Ouchani , Madani Bezoui et al.
ICFNDS '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
Image document

Aggregation using Genetic Algorithms for Federated Learning in Industrial Cyber-Physical Systems

Badra Souhila Guendouzi , Samir Ouchani , Mimoun Malki
2022 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 Detection

Nicolas Dimeglio , Sébastien Romano , Alexandre Vesseron , Vincent Pelegrin , Samir Ouchani
MEDI 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 System

Mohamed Anis Aguida , Samir Ouchani , Mourad Benmalek
IoT '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 Functions

Fahem Zerrouki , Samir Ouchani , Hafida Bouarfa
Artificial 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 Cities

Walid Miloud Dahmane , Samir Ouchani , Hafida Bouarfa
11th 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-PUF

Fahem Zerrouki , Samir Ouchani , Hafida Bouarfa
International 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 Vehicles

Samir Ouchani , Abdelaziz Khaled
Risks 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 Network

Fahem Zerrouki , Samir Ouchani , Hafida Bouarfa
International 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 Chains

Karim Lounis , Samir Ouchani
Software 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 Key

Fahem Zerrouki , Samir Ouchani , Hafida Bouarfa
MEDI 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
Image document

A Review on Cyber-Physical Systems: Models and Architectures

Mohamed Anis Aguida , Samir Ouchani , Mourad Benmalek
2020 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
Image document

Performance Analysis of RPL Protocols in LLN Network Using Friedman’s Test

Novi Azman , Abdusy Syarif , Mohamed-El-Amine Brahmia , Jean-Francois Dollinger , Samir Ouchani et al.
2020 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
Image document

Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach

Samir Ouchani , Khaled Khebbeb , Meriem Hafsi
2020 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 Systems

Samir Ouchani
Smart 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 Systems

Samir Ouchani , Moez Krichen
The 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 Functions

Fahem Zerrouki , Samir Ouchani , Hafida Bouarfa
2020 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
Image document

A BIM-based framework for an Optimal WSN Deployment in Smart Building

Walid Miloud Dahmane , Mohamed-El-Amine Brahmia , Jean-Francois Dollinger , Samir Ouchani
2020 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 Rooms

Walid Miloud Dahmane , Samir Ouchani , Hafida Bouarfa
9th International Conference on Model and Data Engineering, Oct 2019, Toulouse, France
Communication dans un congrès hal-04108106 v1
Image document

Towards a Fractionation-based Verification: Application on SysML Activity Diagrams

Samir Ouchani
34th ACM/SIGAPP Symposium on Applied Computing, Apr 2019, Limassol, Cyprus
Communication dans un congrès hal-04108116 v1
Image document

Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams

Samir Ouchani
ICTAC 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 Buildings

Walid Miloud Dahmane , Samir Ouchani , Hafida Bouarfa
The 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 Vehicle

Samir Ouchani , Abdelaziz Khaled
SAC '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 Offers

Mohamed Anis Aguida , Samir Ouchani , Mourad Benmalek
The 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
Image document

PLM Competencies Analysis Based on Industry Demand

Mourad Messaadia , Samir Ouchani , Anne Louis
15th 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
Image document

Ensuring the Functional Correctness of IoT through Formal Modeling and Verification

Samir Ouchani
Model 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
Image document

A Recursive K-means towards trade-off between PLM Competences, Positions, and Offers

Mourad Messaadia , Samir Ouchani , Anne Louis
The 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 crystals

Gabriele Lenzini , Samir Ouchani , Peter Roenne , Peter Ryan , Yong Geng et al.
2017 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 diagram

Abdelhakim Baouya , Djamal Bennouar , Otmane Ait Mohamed , Samir Ouchani
2015 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 Techniques

Mohamed Mussa , Samir Ouchani , Waseem Al Sammane , Abdelwahab Hamou-Lhadj
2009 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

A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checking

Abdelhakim Baouya , Djamal Bennouar , Otmane Ait Mohamed , Samir Ouchani
Modelling 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 Machines

Abdelhakim Baouya , Djamal Bennouar , Otmane Ait Mohamed , Samir Ouchani
Intelligent 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 DCA

Hoai An Le Thi , van Vinh Nguyen , Samir Ouchani
Advanced 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 Vehicles

Samir Ouchani
Invited 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.

Samir Ouchani
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 Security

Samir Ouchani
Invited 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