Samir Ouchani

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 64

Top Topics

Physical Systems

Mutual Authentication

Security Analysis

Top Venues

J. Ambient Intell. Humaniz. Comput.

Publications

Safa Ben Ayed, Malika Ben Khalifa, Samir Ouchani
Modeling Distributed and Flexible PHM Framework Based on the Belief Function Theory. AIAI (1) (2024)
Salah Eddine Elgharbi, Messaoud Ait Yahia, Samir Ouchani
Online Phishing Detection: A Heuristic-Based Machine Learning Framework. MECO (2024)
Hugues Marie Kamdjou, David Baudry, Vincent Havard, Samir Ouchani
Resource-Constrained EXtended Reality Operated With Digital Twin in Industrial Internet of Things. IEEE Open J. Commun. Soc. 5 (2024)
Leila Douiri, Samir Ouchani, Sana Kordoghli, Fethi Zagrouba, Karim Beddiar
Distributed Transactive Energy Management in Microgrids Based on Blockchain. CRiSIS (2023)
Fidma Mohamed Abdelillah, Hamour Nora, Samir Ouchani, Sidi Mohamed Benslimane
Hybrid Data-Driven and Knowledge-Based Predictive Maintenance Framework in the Context of Industry 4.0. MEDI (2023)
Salah Eddine Elgharbi, Samir Ouchani, Mohammed Amine Boudouaia, Mimoune Malki
A Smart Mining Strategy for Blockchain-Enabled Cyber-Physical Systems. WETICE (2023)
Fethi Imad Benaribi, Mimoun Malki, Kamel Mohamed Faraoun, Samir Ouchani
A SPARQL-based framework to preserve privacy of sensitive data on the semantic web. Serv. Oriented Comput. Appl. 17 (3) (2023)
Salah Eddine Elgharbi, Samir Ouchani, Mohammed Amine Boudouaia, Mimoune Malki
A Smart Mining Strategy for Blockchain-Enabled Cyber-Physical Systems. WETICE (2023)
Seyf Eddine Hasnaoui, Mohammed Amine Boudouaia, Samir Ouchani, Abdellatif Rahmoun
DLSTM-SCM- A Dynamic LSTM-Based Framework for Smart Supply Chain Management. WETICE (2023)
Feryal Batoul Talbi, Samir Ouchani, Yohan Dupuis, Mimoun Malki
A Collaborative Real-Time Object Detection and Data Association Framework for Autonomous Robots Using Federated Graph Neural Network. CRiSIS (2023)
Abdel-Latif Alshalalfah, Otmane Aït Mohamed, Samir Ouchani
A framework for modeling and analyzing cyber-physical systems using statistical model checking. Internet Things 22 (2023)
Joseph Merhej, Hassan Harb, Abdelhafid Abouaissa, Lhassane Idoumghar, Samir Ouchani
Octa Pillars-based Approach to Select the Best Blockchain-based Solutions in Healthcare Information Exchange. IWCMC (2023)
Souhila Badra Guendouzi, Samir Ouchani, Hiba El Assaad, Madeleine El-Zaher
A systematic review of federated learning: Challenges, aggregation methods, and development tools. J. Netw. Comput. Appl. 220 (2023)
Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa
PUF-based mutual authentication and session key establishment protocol for IoT devices. J. Ambient Intell. Humaniz. Comput. 14 (9) (2023)
Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa
Guaranteeing information integrity and access control in smart cities through blockchain. J. Ambient Intell. Humaniz. Comput. 14 (9) (2023)
Fidma Mohamed Abdelillah, Hamour Nora, Samir Ouchani, Sidi Mohamed Benslimane
Predictive Maintenance Approaches in Industry 4.0: A Systematic Literature Review. WETICE (2023)
Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa
T2S-MAKEP and T2T-MAKEP: A PUF-based Mutual Authentication and Key Exchange Protocol for IoT devices. Internet Things 24 (2023)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
An Enhanced Interface-Based Probabilistic Compositional Verification Approach. VECoS (2023)
Samir Ouchani
Securing Autonomous Vehicles: Fundamentals, Challenges, and Perspectives. CRiSIS (2023)
Fidma Mohamed Abdelillah, Hamour Nora, Samir Ouchani, Sidi Mohamed Benslimane
Predictive Maintenance Approaches in Industry 4.0: A Systematic Literature Review. WETICE (2023)
Souhila Badra Guendouzi, Samir Ouchani, Hiba El Assaad, Madeleine El-Zaher
FedGA-Meta: Federated Learning Framework using Genetic Algorithms and Meta-Learning for Aggregation in Industrial Cyber- Physical Systems. CSR (2023)
Salah Eddine Elgharbi, Samir Ouchani, Abderrahim Ait Wakrime, Yassine Ouhammou
Smart Mining and Consensus Protocols in Blockchain-enabled Industrial Cyber-Physical Systems: A Survey. ICFNDS (2023)
Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani
Toward a context-driven deployment optimization for embedded systems: a product line approach. J. Supercomput. 79 (2) (2023)
Sarah Hussein Toman, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet, Samir Ouchani
Formal modelling and verification of scalable service composition in IoT environment. Serv. Oriented Comput. Appl. 17 (3) (2023)
Souhila Badra Guendouzi, Samir Ouchani, Mimoun Malki
Genetic Algorithm Based Aggregation for Federated Learning in Industrial Cyber Physical Systems. CISIS-ICEUTE (2022)
Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa
A survey on silicon PUFs. J. Syst. Archit. 127 (2022)
Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem
Formal Modelling and Security Analysis of Inter-Operable Systems. IEA/AIE (2022)
Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, Marius Bozga
Generation and verification of learned stochastic automata using k-NN and statistical model checking. Appl. Intell. 52 (8) (2022)
Souhila Badra Guendouzi, Samir Ouchani, Mimoune Malki
Enhancing the Aggregation of the Federated Learning for the Industrial Cyber Physical Systems. CSR (2022)
Hamza Ngadi, Ahcène Bounceur, Mohammad Hammoudeh, Samir Ouchani, Madani Bezoui, Reinhardt Euler, Abdelkader Laouid
From Simulation to Digital Twins, the Case of Internet of Things Research and Tools. ICFNDS (2022)
Mohamed-el-Amine Brahmia, Sami Babouche, Samir Ouchani, Mourad Zghal
An Adaptive Attack Prediction Framework in Cyber-Physical Systems. SDS (2022)
Souhila Badra Guendouzi, Samir Ouchani, Mimoun Malki
Aggregation using Genetic Algorithms for Federated Learning in Industrial Cyber-Physical Systems. INISTA (2022)
Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa
Guaranteeing Information Integrity Through Blockchains for Smart Cities. MEDI (2021)
Samir Ouchani
A security policy hardening framework for Socio-Cyber-Physical Systems. J. Syst. Archit. 119 (2021)
Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa
Towards a reliable smart city through formal verification and network analysis. Comput. Commun. 180 (2021)
Fatima Salma Sadek, Khaled Belkadi, Abdelhafid Abouaissa, Samir Ouchani, Mohamed-el-Amine Brahmia, Pascal Lorenz
Modeling the Greedy Behavior Attack and Analyzing its Impact on IoT Networks. EUSPN/ICTH (2021)
Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa
A Generation and Recovery Framework for Silicon PUFs Based Cryptographic Key. MEDI Workshops (2021)
Nicolas Dimeglio, Sebastien Romano, Alexandre Vesseron, Vincent Pelegrin, Samir Ouchani
COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection. MEDI Workshops (2021)
Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa
A Low-Cost Authentication Protocol Using Arbiter-PUF. MEDI (2021)
Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa
Towards a Foundation of a Mutual Authentication Protocol for a Robust and Resilient PUF-Based Communication Network. FNC/MobiSPC (2021)
Mohamed Anis Aguida, Samir Ouchani, Mourad Benmalek
An IoT-based Framework for an Optimal Monitoring and Control of Cyber-Physical Systems: Application on Biogas Production System. IOT (2021)
Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani, Djamal Bennouar
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking. Expert Syst. Appl. 174 (2021)
Abdelaziz Khaled, Samir Ouchani, Zahir Tari, Khalil Drira
Assessing the Severity of Smart Attacks in Industrial Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 5 (1) (2021)
Novi Azman, Abdusy Syarif, Mohamed-el-Amine Brahmia, Jean-François Dollinger, Samir Ouchani, Lhassane Idoumghar
Performance Analysis of RPL Protocols in LLN Network Using Friedman's Test. IoTSMS (2020)
Karim Lounis, Samir Ouchani
Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains. SEFM (2020)
Walid Miloud Dahmane, Mohamed-el-Amine Brahmia, Jean-François Dollinger, Samir Ouchani
A BIM-based framework for an Optimal WSN Deployment in Smart Building. NOF (2020)
Samir Ouchani, Abdelaziz Khaled
Security Assessment and Hardening of Autonomous Vehicles. CRiSIS (2020)
Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa
Quantifying Security and Performance of Physical Unclonable Functions. IoTSMS (2020)
Samir Ouchani, Khaled Khebbeb, Meriem Hafsi
Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach. AICCSA (2020)
Samir Ouchani
Towards a Security Reinforcement Mechanism for Social Cyber-Physical Systems. SADASC (2020)
Mohamed Anis Aguida, Samir Ouchani, Mourad Benmalek
A Review on Cyber-Physical Systems: Models and Architectures. WETICE (2020)
Samir Ouchani, Moez Krichen
Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems. ICOST (2020)
Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa
Security Implementation and Verification in Smart Buildings. CITSC (2019)
Samir Ouchani
Towards a fractionation-based verification: application on SysML activity diagrams. SAC (2019)
Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa
A Smart Living Framework: Towards Analyzing Security in Smart Rooms. MEDI (2019)
Samir Ouchani, Abdelaziz Khaled
A Meta Language for Cyber-Physical Systems and Threats: Application on Autonomous Vehicle. AICCSA (2019)
Samir Ouchani
Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams. ICTAC (2019)
Abdelaziz Khaled, Samir Ouchani, Chemseddine Chohra
Recommendations-based on semantic analysis of social networks in learning environments. Comput. Hum. Behav. 101 (2019)
Abdelhakim Baouya, Otmane Aït Mohamed, Djamal Bennouar, Samir Ouchani
Safety analysis of train control system based on model-driven design methodology. Comput. Ind. 105 (2019)
Mourad Messaadia, Samir Ouchani, Anne Louis
A Recursive K-means towards trade-off between PLM Competences, Positions, and Offers. FNC/MobiSPC (2018)
Samir Ouchani
Ensuring the Functional Correctness of IoT through Formal Modeling and Verification. MEDI (2018)
Mourad Messaadia, Samir Ouchani, Anne Louis
PLM Competencies Analysis Based on Industry Demand. PLM (2018)
Gabriele Lenzini, Samir Ouchani, Peter B. Rønne, Peter Y. A. Ryan, Yong Geng, Jan Lagerwall, JungHyun Noh
Security in the shell: An optical physical unclonable function made of shells of cholesteric liquid crystals. WIFS (2017)
Gabriele Lenzini, Sjouke Mauw, Samir Ouchani
Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems. STM (2016)
Samir Ouchani, Gabriele Lenzini
Generating attacks in SysML activity diagrams by detecting attack surfaces. J. Ambient Intell. Humaniz. Comput. 6 (3) (2015)
Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani
On the Probabilistic Verification of Time Constrained SysML State Machines. SoMeT (2015)
Samir Ouchani, Mourad Debbabi
Specification, verification, and quantification of security in model-based systems. Computing 97 (7) (2015)
Gabriele Lenzini, Sjouke Mauw, Samir Ouchani
Security analysis of socio-technical physical systems. Comput. Electr. Eng. 47 (2015)
Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani
A quantitative verification framework of SysML activity diagrams under time constraints. Expert Syst. Appl. 42 (21) (2015)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
A property-based abstraction framework for SysML activity diagrams. Knowl. Based Syst. 56 (2014)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
A formal verification framework for SysML activity diagrams. Expert Syst. Appl. 41 (6) (2014)
Samir Ouchani, Gabriele Lenzini
Attacks Generation by Detecting Attack Surfaces. ANT/SEIT (2014)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
A formal verification framework for Bluespec System Verilog. FDL (2013)
Marwan Ammar, Samir Ouchani, Otmane Aït Mohamed
Symmetry Reduction of Time-Triggered Ethernet Protocol. ANT/SEIT (2013)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
A Security Risk Assessment Framework for SysML Activity Diagrams. SERE (2013)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
A probabilistic verification framework of SysML activity diagrams. SoMeT (2013)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
Efficient Probabilistic Abstraction for SysML Activity Diagrams. SEFM (2012)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi
A Probabilistic Verification Framework for SysML Activity Diagrams. SoMeT (2012)
Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed, Mourad Debbabi
Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols. J. Softw. 7 (7) (2012)
Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed
Model-based systems security quantification. PST (2011)
Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi, Makan Pourzandi
Verification of the Correctness in Composed UML Behavioural Diagrams. SERA (selected papers) (2010)
Mohamed Mussa, Samir Ouchani, Waseem Al Sammane, Abdelwahab Hamou-Lhadj
A Survey of Model-Driven Testing Techniques. QSIC (2009)
Le Thi Hoai An, Van Vinh Nguyen, Samir Ouchani
Gene Selection for Cancer Classification Using DCA. ADMA (2008)