Samir Ouchani

According to our database, Samir Ouchani authored at least 77 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Resource-Constrained EXtended Reality Operated With Digital Twin in Industrial Internet of Things.

Hugues Marie Kamdjou, David Baudry, Vincent Havard, Samir Ouchani

IEEE Open J. Commun. Soc., 2024

2023

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

Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa

Internet Things, December, 2023

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

Souhila Badra Guendouzi, Samir Ouchani, Hiba El Assaad, Madeleine El-Zaher

J. Netw. Comput. Appl., November, 2023

Formal modelling and verification of scalable service composition in IoT environment.

Sarah Hussein Toman, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet, Samir Ouchani

Serv. Oriented Comput. Appl., September, 2023

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

Fethi Imad Benaribi, Mimoun Malki, Kamel Mohamed Faraoun, Samir Ouchani

Serv. Oriented Comput. Appl., September, 2023

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

Abdel-Latif Alshalalfah, Otmane Aït Mohamed, Samir Ouchani

Internet Things, July, 2023

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

Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani

J. Supercomput., 2023

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

Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa

J. Ambient Intell. Humaniz. Comput., 2023

Guaranteeing information integrity and access control in smart cities through blockchain.

Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa

J. Ambient Intell. Humaniz. Comput., 2023

DLSTM-SCM- A Dynamic LSTM-Based Framework for Smart Supply Chain Management.

Seyf Eddine Hasnaoui, Mohammed Amine Boudouaia, Samir Ouchani, Abdelatif Rahmoun

Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023

A Smart Mining Strategy for Blockchain-Enabled Cyber-Physical Systems.

Salah Eddine Elgharbi, Samir Ouchani, Mohammed Amine Boudouaia, Mimoune Malki

Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023

Predictive Maintenance Approaches in Industry 4.0: A Systematic Literature Review.

Fidma Mohamed Abdelillah, Hamour Nora, Samir Ouchani, Sidi Mohamed Benslimane

Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023

An Enhanced Interface-Based Probabilistic Compositional Verification Approach.

Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023

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

Fidma Mohamed Abdelillah, Hamour Nora, Samir Ouchani, Sidi Mohamed Benslimane

Proceedings of the Model and Data Engineering - 12th International Conference, 2023

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

Proceedings of the International Wireless Communications and Mobile Computing, 2023

FedGA-Meta: Federated Learning Framework using Genetic Algorithms and Meta-Learning for Aggregation in Industrial Cyber- Physical Systems.

Souhila Badra Guendouzi, Samir Ouchani, Hiba El Assaad, Madeleine El-Zaher

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

Predictive Maintenance for Smart Industrial Systems: A Roadmap.

Meriem Hafsi, Hamour Nora, Samir Ouchani

Proceedings of the 14th International Conference on Ambient Systems, 2023

2022

A survey on silicon PUFs.

Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa

J. Syst. Archit., 2022

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

Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, Marius Bozga

Appl. Intell., 2022

An Adaptive Attack Prediction Framework in Cyber-Physical Systems.

Mohamed-el-Amine Brahmia, Sami Babouche, Samir Ouchani, Mourad Zghal

Proceedings of the Ninth International Conference on Software Defined Systems, 2022

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

Souhila Badra Guendouzi, Samir Ouchani, Mimoun Malki

Proceedings of the International Conference on INnovations in Intelligent SysTems and Applications, 2022

Formal Modelling and Security Analysis of Inter-Operable Systems.

Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem

Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence, 2022

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

Hamza Ngadi, Ahcène Bounceur, Mohammad Hammoudeh, Samir Ouchani, Madani Bezoui, Reinhardt Euler, Abdelkader Laouid

Proceedings of the 6th International Conference on Future Networks & Distributed Systems, 2022

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

Souhila Badra Guendouzi, Samir Ouchani, Mimoune Malki

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2022

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

Souhila Badra Guendouzi, Samir Ouchani, Mimoun Malki

Proceedings of the 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), 2022

Secure and Reliable Smart Cyber-Physical Systems.

Samir Ouchani

, 2022

2021

Assessing the Severity of Smart Attacks in Industrial Cyber-Physical Systems.

Abdelaziz Khaled, Samir Ouchani, Zahir Tari, Khalil Drira

ACM Trans. Cyber Phys. Syst., 2021

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

Samir Ouchani

J. Syst. Archit., 2021

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

Abdelhakim Baouya, Otmane Aït Mohamed, Samir Ouchani, Djamal Bennouar

Expert Syst. Appl., 2021

Towards a reliable smart city through formal verification and network analysis.

Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa

Comput. Commun., 2021

A Generation and Recovery Framework for Silicon PUFs Based Cryptographic Key.

Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

A Low-Cost Authentication Protocol Using Arbiter-PUF.

Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa

Proceedings of the Model and Data Engineering - 10th International Conference, 2021

COVID-DETECT: A Deep Learning Based Approach to Accelerate COVID-19 Detection.

Nicolas Dimeglio, Sebastien Romano, Alexandre Vesseron, Vincent Pelegrin, Samir Ouchani

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

Guaranteeing Information Integrity Through Blockchains for Smart Cities.

Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa

Proceedings of the Model and Data Engineering - 10th International Conference, 2021

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

Proceedings of the IoT '21: 11th International Conference on the Internet of Things, St. Gallen, Switzerland, November 8, 2021

Towards a Foundation of a Mutual Authentication Protocol for a Robust and Resilient PUF-Based Communication Network.

Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa

Proceedings of the 18th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2021) / The 16th International Conference on Future Networks and Communications (FNC-2021) / The 11th International Conference on Sustainable Energy Information Technology, 2021

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, Pascal Lorenz

Proceedings of the 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) / The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2021), 2021

2020

A Review on Cyber-Physical Systems: Models and Architectures.

Mohamed Anis Aguida, Samir Ouchani, Mourad Benmalek

Proceedings of the 29th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2020

Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains.

Karim Lounis, Samir Ouchani

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

Towards a Security Reinforcement Mechanism for Social Cyber-Physical Systems.

Samir Ouchani

Proceedings of the Smart Applications and Data Analysis - Third International Conference, 2020

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

Walid Miloud Dahmane, Mohamed-el-Amine Brahmia, Jean-François Dollinger, Samir Ouchani

Proceedings of the 11th International Conference on Network of the Future, 2020

Quantifying Security and Performance of Physical Unclonable Functions.

Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa

Proceedings of the 7th International Conference on Internet of Things: Systems, 2020

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

Novi Azman, Abdusy Syarif, Mohamed-el-Amine Brahmia, Jean-François Dollinger, Samir Ouchani, Lhassane Idoumghar

Proceedings of the 7th International Conference on Internet of Things: Systems, 2020

Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems.

Samir Ouchani, Moez Krichen

Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020

Security Assessment and Hardening of Autonomous Vehicles.

Samir Ouchani, Abdelaziz Khaled

Proceedings of the Risks and Security of Internet and Systems, 2020

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

Samir Ouchani, Khaled Khebbeb, Meriem Hafsi

Proceedings of the 17th IEEE/ACS International Conference on Computer Systems and Applications, 2020

2019

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

Abdelhakim Baouya, Otmane Aït Mohamed, Djamal Bennouar, Samir Ouchani

Comput. Ind., 2019

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

Abdelaziz Khaled, Samir Ouchani, Chemseddine Chohra

Comput. Hum. Behav., 2019

Towards a fractionation-based verification: application on SysML activity diagrams.

Samir Ouchani

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

A Smart Living Framework: Towards Analyzing Security in Smart Rooms.

Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa

Proceedings of the Model and Data Engineering - 9th International Conference, 2019

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

Samir Ouchani

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

Security Implementation and Verification in Smart Buildings.

Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa

Proceedings of the 1st International Conference on Innovative Trends in Computer Science, 2019

A Meta Language for Cyber-Physical Systems and Threats: Application on Autonomous Vehicle.

Samir Ouchani, Abdelaziz Khaled

Proceedings of the 16th IEEE/ACS International Conference on Computer Systems and Applications, 2019

2018

Ensuring the Functional Correctness of IoT through Formal Modeling and Verification.

Samir Ouchani

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

PLM Competencies Analysis Based on Industry Demand.

Mourad Messaadia, Samir Ouchani, Anne Louis

Proceedings of the Product Lifecycle Management to Support Industry 4.0, 2018

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

Mourad Messaadia, Samir Ouchani, Anne Louis

Proceedings of the 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) / The 13th International Conference on Future Networks and Communications (FNC-2018) / Affiliated Workshops, 2018

2017

Security in the shell: An optical physical unclonable function made of shells of cholesteric liquid crystals.

Gabriele Lenzini, Samir Ouchani, Peter B. Rønne, Peter Y. A. Ryan, Yong Geng, Jan Lagerwall, JungHyun Noh

Proceedings of the 2017 IEEE Workshop on Information Forensics and Security, 2017

2016

Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems.

Gabriele Lenzini, Sjouke Mauw, Samir Ouchani

Proceedings of the Security and Trust Management - 12th International Workshop, 2016

2015

Generating attacks in SysML activity diagrams by detecting attack surfaces.

Samir Ouchani, Gabriele Lenzini

J. Ambient Intell. Humaniz. Comput., 2015

A quantitative verification framework of SysML activity diagrams under time constraints.

Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani

Expert Syst. Appl., 2015

Specification, verification, and quantification of security in model-based systems.

Samir Ouchani, Mourad Debbabi

Computing, 2015

Security analysis of socio-technical physical systems.

Gabriele Lenzini, Sjouke Mauw, Samir Ouchani

Comput. Electr. Eng., 2015

On the Probabilistic Verification of Time Constrained SysML State Machines.

Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani

Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015

2014

A property-based abstraction framework for SysML activity diagrams.

Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi

Knowl. Based Syst., 2014

A formal verification framework for SysML activity diagrams.

Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi

Expert Syst. Appl., 2014

Attacks Generation by Detecting Attack Surfaces.

Samir Ouchani, Gabriele Lenzini

Proceedings of the 5th International Conference on Ambient Systems, 2014

2013

A Security Verification Framework for SysML Activity Diagrams. (Un cadre de vérification de la sécurité pour les diagrammes d'activité SysML).

Samir Ouchani

PhD thesis, 2013

A Security Risk Assessment Framework for SysML Activity Diagrams.

Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi

Proceedings of the IEEE 7th International Conference on Software Security and Reliability, 2013

A probabilistic verification framework of SysML activity diagrams.

Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi

Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013

A formal verification framework for Bluespec System Verilog.

Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi

Proceedings of the 2013 Forum on specification and Design Languages, 2013

Symmetry Reduction of Time-Triggered Ethernet Protocol.

Marwan Ammar, Samir Ouchani, Otmane Aït Mohamed

Proceedings of the 4th International Conference on Ambient Systems, 2013

2012

Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols.

Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed, Mourad Debbabi

J. Softw., 2012

Efficient Probabilistic Abstraction for SysML Activity Diagrams.

Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2011

Model-based systems security quantification.

Samir Ouchani, Yosr Jarraya, Otmane Aït Mohamed

Proceedings of the Ninth Annual Conference on Privacy, Security and Trust, 2011

2010

Verification of the Correctness in Composed UML Behavioural Diagrams.

Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi, Makan Pourzandi

Proceedings of the Software Engineering Research, 2010

2009

A Survey of Model-Driven Testing Techniques.

Mohamed Mussa, Samir Ouchani, Waseem Al Sammane, Abdelwahab Hamou-Lhadj

Proceedings of the Ninth International Conference on Quality Software, 2009

2008

Gene Selection for Cancer Classification Using DCA.

Le Thi Hoai An, Van Vinh Nguyen, Samir Ouchani

Proceedings of the Advanced Data Mining and Applications, 4th International Conference, 2008