Accéder directement au contenu

Samir Ouchani

36%
Libre accès
85
Documents
Affiliations actuelles
  • 1059165
Identifiants chercheurs
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]

Compétences

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-04402202v1
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-04108550v1

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-04370775v1
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-04370837v1

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-04370822v1

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-04108552v1

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-04108274v1
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-04370784v1

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-04108275v1

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-04094178v1
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-04108276v1
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-04085954v1

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

Abdelhakim Baouya , Otmane Ait Mohamed , Samir Ouchani
Journal of Supercomputing, 2022, ⟨10.1007/s11227-022-04741-8⟩
Article dans une revue hal-03762514v1

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

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

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-04094161v1
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-03624234v1

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-04094152v1

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-04094147v1

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, pp.114572. ⟨10.1016/j.eswa.2021.114572⟩
Article dans une revue hal-03112932v1

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-02561378v1
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-04108280v1

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-04094115v1

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-02561377v1

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-01664633v1

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-04402961v1
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-04371577v1
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-04084089v1
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-04371567v1

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-04370858v1
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-04398272v1

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-04538548v1

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-04371570v1

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-04372760v1
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
Communication dans un congrès hal-04371581v1

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-04371562v1
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-04370804v1

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-04337484v1
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-04370795v1

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-04370939v1
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-04086923v1

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-04371569v1

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-04371572v1
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-04086929v1

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-04108273v1

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-04085957v1
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-04065408v1

From Simulation to Digital Twins, the Case of Internet of Things Research and Tools

Hamza Ngadi , Ahcene Bounceur , Mohammad Hammoudeh , Samir Ouchani , Madani Bezoui
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-04370957v1
Image document

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

Souhila Badra 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-04086933v1

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-04086240v1

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-04108181v1

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-04108145v1

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-04087532v1

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-04108162v1

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-04108271v1

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-04108173v1

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
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-04094225v1
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
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-04065439v1
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-04094128v1

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-04094180v1

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-04094193v1

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-04108272v1

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-04094173v1

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-04094200v1

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-04084239v1
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-04065441v1

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-04108106v1

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-04108091v1

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-04108096v1

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-04094110v1

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-04108116v1

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-04094112v1
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-02075606v1
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-04094004v1
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-04415778v1

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
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-04093991v1

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-02561374v1

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-02561367v1

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-02561373v1

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 hal-03213829v1

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-04370981v1

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-04371440v1

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-04370998v1