Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. - Razika Lounas; Mohamed Mezghiche; Jean-Louis Lanet (SCSS, 2012)

An Approach for Formal Verification of Updated Java Bytecode Programs. - Razika Lounas; Mohamed Mezghiche; Jean-Louis Lanet (VECoS, 2015)

A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. - Razika Lounas; Nisrine Jafri; Axel Legay; Mohamed Mezghiche; Jean-Louis Lanet (CRiSIS, 2016)

A formal verification of dynamic updating in a Java-based embedded system. - Razika Lounas; Mohamed Mezghiche; Jean-Louis Lanet (Int. J. Crit. Comput. Based Syst., 2017)

Validation des spécifications formelles de la mise à jour dynamique des applications Java Card. (Validation of formal specifications for dynamic updates in Java Card applications). - Razika Lounas (2018)

Air Quality Monitoring Using IoT: A Survey. - Hocine Mokrani; Razika Lounas; Mohamed Tahar Bennai; Dhai Eddine Salhi; Rachid Djerbi (SmartIoT, 2019)

Formal methods in dynamic software updating: a survey. - Razika Lounas; Mohamed Mezghiche; Jean-Louis Lanet (Int. J. Crit. Comput. Based Syst., 2019)

An E-Collaboration Application for Final-Year Project Management. - Razika Lounas; Ikram Hamzaoui; Naima Bouguelmouna; Hocine Mokrani (Int. J. e Collab., 2023)

Formal Verification of Deep Learning Matrix Calculus. - Razika Lounas; Mohamed Mezghiche (CARI, 2024)

Formal Specification and Verification of MQTT Protocol Using CoQ Proof Assistant. - Ibtissem Talamali; Razika Lounas; Mohamed Mezghiche (ICAASE, 2024)