Razika Lounas

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 5

Top Topics

Provably Correct

Formal Verification

Top Venues

Int. J. Crit. Comput. Based Syst.

Int. J. e Collab.

University of Limoges, France (PHD)

Education History

University of Limoges, France

PHD

Publications

Razika Lounas, Ikram Hamzaoui, Naima Bouguelmouna, Hocine Mokrani
An E-Collaboration Application for Final-Year Project Management. Int. J. e Collab. 19 (1) (2023)
Hocine Mokrani, Razika Lounas, Mohamed Tahar Bennai, Dhai Eddine Salhi, Rachid Djerbi
Air Quality Monitoring Using IoT: A Survey. SmartIoT (2019)
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
Formal methods in dynamic software updating: a survey. Int. J. Crit. Comput. Based Syst. 9 (1/2) (2019)
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
A formal verification of dynamic updating in a Java-based embedded system. Int. J. Crit. Comput. Based Syst. 7 (4) (2017)
Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet
A Formal Verification of Safe Update Point Detection in Dynamic Software Updating. CRiSIS (2016)
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
An Approach for Formal Verification of Updated Java Bytecode Programs. VECoS (2015)
Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. SCSS (2012)