![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Samir Ouchani
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j24]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: 928-950 (2024) - [c60]Safa Ben Ayed
, Malika Ben Khalifa
, Samir Ouchani
:
Modeling Distributed and Flexible PHM Framework Based on the Belief Function Theory. AIAI (1) 2024: 160-173 - [c59]Salah Eddine Elgharbi, Messaoud Ait Yahia, Samir Ouchani:
Online Phishing Detection: A Heuristic-Based Machine Learning Framework. MECO 2024: 1-4 - 2023
- [j23]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: 100732 (2023) - [j22]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: 100953 (2023) - [j21]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): 11419-11428 (2023) - [j20]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): 12575-12593 (2023) - [j19]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: 103714 (2023) - [j18]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): 183-199 (2023) - [j17]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): 213-231 (2023) - [j16]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): 2180-2211 (2023) - [c58]Meriem Hafsi
, Hamour Nora
, Samir Ouchani
:
Predictive Maintenance for Smart Industrial Systems: A Roadmap. ANT/EDI40 2023: 645-650 - [c57]Samir Ouchani
:
Securing Autonomous Vehicles: Fundamentals, Challenges, and Perspectives. CRiSIS 2023: 17-24 - [c56]Leila Douiri
, Samir Ouchani
, Sana Kordoghli
, Fethi Zagrouba
, Karim Beddiar
:
Distributed Transactive Energy Management in Microgrids Based on Blockchain. CRiSIS 2023: 141-161 - [c55]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: 280-288 - [c54]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: 630-635 - [c53]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: 769-778 - [c52]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: 1124-1129 - [c51]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: 319-337 - [c50]Samir Ouchani
, Otmane Aït Mohamed, Mourad Debbabi
:
An Enhanced Interface-Based Probabilistic Compositional Verification Approach. VECoS 2023: 60-75 - [c49]Fidma Mohamed Abdelillah
, Hamour Nora
, Samir Ouchani
, Sidi Mohamed Benslimane
:
Predictive Maintenance Approaches in Industry 4.0: A Systematic Literature Review. WETICE 2023: 1-6 - [c48]Fidma Mohamed Abdelillah
, Hamour Nora
, Samir Ouchani
, Sidi Mohamed Benslimane
:
Predictive Maintenance Approaches in Industry 4.0: A Systematic Literature Review. WETICE 2023: 1-6 - [c47]Salah Eddine Elgharbi, Samir Ouchani, Mohammed Amine Boudouaia
, Mimoune Malki:
A Smart Mining Strategy for Blockchain-Enabled Cyber-Physical Systems. WETICE 2023: 1-6 - [c46]Salah Eddine Elgharbi, Samir Ouchani, Mohammed Amine Boudouaia, Mimoune Malki:
A Smart Mining Strategy for Blockchain-Enabled Cyber-Physical Systems. WETICE 2023: 1-6 - [c45]Seyf Eddine Hasnaoui, Mohammed Amine Boudouaia
, Samir Ouchani, Abdellatif Rahmoun:
DLSTM-SCM- A Dynamic LSTM-Based Framework for Smart Supply Chain Management. WETICE 2023: 1-6 - 2022
- [b2]Samir Ouchani:
Secure and Reliable Smart Cyber-Physical Systems. CNAM, Paris, France, 2022 - [j15]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): 8874-8894 (2022) - [j14]Fahem Zerrouki
, Samir Ouchani
, Hafida Bouarfa:
A survey on silicon PUFs. J. Syst. Archit. 127: 102514 (2022) - [c44]Souhila Badra Guendouzi
, Samir Ouchani
, Mimoun Malki
:
Genetic Algorithm Based Aggregation for Federated Learning in Industrial Cyber Physical Systems. CISIS-ICEUTE 2022: 12-21 - [c43]Souhila Badra Guendouzi
, Samir Ouchani
, Mimoune Malki
:
Enhancing the Aggregation of the Federated Learning for the Industrial Cyber Physical Systems. CSR 2022: 197-202 - [c42]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: 657-666 - [c41]Abdelhakim Baouya, Samir Ouchani
, Saddek Bensalem:
Formal Modelling and Security Analysis of Inter-Operable Systems. IEA/AIE 2022: 555-567 - [c40]Souhila Badra Guendouzi
, Samir Ouchani
, Mimoun Malki
:
Aggregation using Genetic Algorithms for Federated Learning in Industrial Cyber-Physical Systems. INISTA 2022: 1-6 - [c39]Mohamed-el-Amine Brahmia
, Sami Babouche, Samir Ouchani
, Mourad Zghal:
An Adaptive Attack Prediction Framework in Cyber-Physical Systems. SDS 2022: 1-7 - 2021
- [j13]Walid Miloud Dahmane
, Samir Ouchani
, Hafida Bouarfa:
Towards a reliable smart city through formal verification and network analysis. Comput. Commun. 180: 171-187 (2021) - [j12]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: 114572 (2021) - [j11]Samir Ouchani
:
A security policy hardening framework for Socio-Cyber-Physical Systems. J. Syst. Archit. 119: 102259 (2021) - [j10]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): 10:1-10:28 (2021) - [c38]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: 770-775 - [c37]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: 215-222 - [c36]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: 143-149 - [c35]Fahem Zerrouki
, Samir Ouchani
, Hafida Bouarfa
:
A Low-Cost Authentication Protocol Using Arbiter-PUF. MEDI 2021: 101-116 - [c34]Fahem Zerrouki
, Samir Ouchani
, Hafida Bouarfa
:
A Generation and Recovery Framework for Silicon PUFs Based Cryptographic Key. MEDI Workshops 2021: 121-137 - [c33]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: 166-178 - [c32]Walid Miloud Dahmane, Samir Ouchani
, Hafida Bouarfa:
Guaranteeing Information Integrity Through Blockchains for Smart Cities. MEDI 2021: 199-212 - [e1]Ladjel Bellatreche
, George A. Chernishev
, Antonio Corral
, Samir Ouchani
, Jüri Vain
:
Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings. Communications in Computer and Information Science 1481, Springer 2021, ISBN 978-3-030-87656-2 [contents] - 2020
- [c31]Samir Ouchani
, Khaled Khebbeb, Meriem Hafsi
:
Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach. AICCSA 2020: 1-6 - [c30]Samir Ouchani
, Abdelaziz Khaled:
Security Assessment and Hardening of Autonomous Vehicles. CRiSIS 2020: 365-375 - [c29]Samir Ouchani
, Moez Krichen:
Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems. ICOST 2020: 364-372 - [c28]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: 1-6 - [c27]Fahem Zerrouki, Samir Ouchani
, Hafida Bouarfa:
Quantifying Security and Performance of Physical Unclonable Functions. IoTSMS 2020: 1-4 - [c26]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: 110-114 - [c25]Samir Ouchani
:
Towards a Security Reinforcement Mechanism for Social Cyber-Physical Systems. SADASC 2020: 59-73 - [c24]Karim Lounis, Samir Ouchani
:
Modeling Attack-Defense Trees' Countermeasures Using Continuous Time Markov Chains. SEFM 2020: 30-42 - [c23]Mohamed Anis Aguida, Samir Ouchani
, Mourad Benmalek:
A Review on Cyber-Physical Systems: Models and Architectures. WETICE 2020: 275-278
2010 – 2019
- 2019
- [j9]Abdelaziz Khaled, Samir Ouchani
, Chemseddine Chohra:
Recommendations-based on semantic analysis of social networks in learning environments. Comput. Hum. Behav. 101: 435-449 (2019) - [j8]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: 1-16 (2019) - [c22]Samir Ouchani
, Abdelaziz Khaled:
A Meta Language for Cyber-Physical Systems and Threats: Application on Autonomous Vehicle. AICCSA 2019: 1-8 - [c21]Walid Miloud Dahmane, Samir Ouchani, Hafida Bouarfa:
Security Implementation and Verification in Smart Buildings. CITSC 2019: 51-56 - [c20]Samir Ouchani
:
Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams. ICTAC 2019: 216-234 - [c19]Walid Miloud Dahmane, Samir Ouchani
, Hafida Bouarfa:
A Smart Living Framework: Towards Analyzing Security in Smart Rooms. MEDI 2019: 206-215 - [c18]Samir Ouchani
:
Towards a fractionation-based verification: application on SysML activity diagrams. SAC 2019: 2032-2039 - 2018
- [c17]Mourad Messaadia, Samir Ouchani
, Anne Louis:
A Recursive K-means towards trade-off between PLM Competences, Positions, and Offers. FNC/MobiSPC 2018: 297-302 - [c16]Mourad Messaadia, Samir Ouchani
, Anne Louis:
PLM Competencies Analysis Based on Industry Demand. PLM 2018: 692-701 - [c15]Samir Ouchani
:
Ensuring the Functional Correctness of IoT through Formal Modeling and Verification. MEDI 2018: 401-417 - 2017
- [c14]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: 1-6 - 2016
- [c13]Gabriele Lenzini, Sjouke Mauw, Samir Ouchani
:
Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems. STM 2016: 170-178 - 2015
- [j7]Gabriele Lenzini, Sjouke Mauw
, Samir Ouchani
:
Security analysis of socio-technical physical systems. Comput. Electr. Eng. 47: 258-274 (2015) - [j6]Samir Ouchani
, Mourad Debbabi
:
Specification, verification, and quantification of security in model-based systems. Computing 97(7): 691-711 (2015) - [j5]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): 7493-7510 (2015) - [j4]Samir Ouchani
, Gabriele Lenzini:
Generating attacks in SysML activity diagrams by detecting attack surfaces. J. Ambient Intell. Humaniz. Comput. 6(3): 361-373 (2015) - [c12]Abdelhakim Baouya
, Djamal Bennouar
, Otmane Aït Mohamed, Samir Ouchani
:
On the Probabilistic Verification of Time Constrained SysML State Machines. SoMeT 2015: 425-441 - 2014
- [j3]Samir Ouchani
, Otmane Aït Mohamed, Mourad Debbabi
:
A formal verification framework for SysML activity diagrams. Expert Syst. Appl. 41(6): 2713-2728 (2014) - [j2]Samir Ouchani
, Otmane Aït Mohamed, Mourad Debbabi
:
A property-based abstraction framework for SysML activity diagrams. Knowl. Based Syst. 56: 328-343 (2014) - [c11]Samir Ouchani
, Gabriele Lenzini:
Attacks Generation by Detecting Attack Surfaces. ANT/SEIT 2014: 529-536 - 2013
- [b1]Samir Ouchani:
A Security Verification Framework for SysML Activity Diagrams. (Un cadre de vérification de la sécurité pour les diagrammes d'activité SysML). Concordia University, Montreal, Quebec, Canada, 2013 - [c10]Marwan Ammar, Samir Ouchani
, Otmane Aït Mohamed:
Symmetry Reduction of Time-Triggered Ethernet Protocol. ANT/SEIT 2013: 273-280 - [c9]Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi:
A formal verification framework for Bluespec System Verilog. FDL 2013: 1-7 - [c8]Samir Ouchani
, Otmane Aït Mohamed, Mourad Debbabi
:
A probabilistic verification framework of SysML activity diagrams. SoMeT 2013: 165-170 - [c7]Samir Ouchani
, Otmane Aït Mohamed, Mourad Debbabi
:
A Security Risk Assessment Framework for SysML Activity Diagrams. SERE 2013: 227-236 - 2012
- [j1]Samir Ouchani
, Yosr Jarraya, Otmane Aït Mohamed, Mourad Debbabi
:
Probabilistic Attack Scenarios to Evaluate Policies over Communication Protocols. J. Softw. 7(7): 1488-1495 (2012) - [c6]Samir Ouchani
, Otmane Aït Mohamed, Mourad Debbabi
:
Efficient Probabilistic Abstraction for SysML Activity Diagrams. SEFM 2012: 263-277 - [c5]Samir Ouchani
, Otmane Aït Mohamed, Mourad Debbabi
:
A Probabilistic Verification Framework for SysML Activity Diagrams. SoMeT 2012: 108-123 - 2011
- [c4]Samir Ouchani
, Yosr Jarraya, Otmane Aït Mohamed:
Model-based systems security quantification. PST 2011: 142-149 - 2010
- [c3]Samir Ouchani
, Otmane Aït Mohamed, Mourad Debbabi
, Makan Pourzandi:
Verification of the Correctness in Composed UML Behavioural Diagrams. SERA (selected papers) 2010: 163-177
2000 – 2009
- 2009
- [c2]Mohamed Mussa, Samir Ouchani
, Waseem Al Sammane, Abdelwahab Hamou-Lhadj
:
A Survey of Model-Driven Testing Techniques. QSIC 2009: 167-172 - 2008
- [c1]Le Thi Hoai An
, Van Vinh Nguyen, Samir Ouchani:
Gene Selection for Cancer Classification Using DCA. ADMA 2008: 62-72
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint