Samir Ouchani - RankMe

99 papers B 3C 31Misc 3Journal 31Unranked 28

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