Razika Lounas

According to our database, Razika Lounas authored at least 8 papers between 2012 and 2023.

Collaborative distances:

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

2023

An E-Collaboration Application for Final-Year Project Management.

Razika Lounas, Ikram Hamzaoui, Naima Bouguelmouna, Hocine Mokrani

Int. J. e Collab., 2023

2019

Formal methods in dynamic software updating: a survey.

Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet

Int. J. Crit. Comput. Based Syst., 2019

Air Quality Monitoring Using IoT: A Survey.

Hocine Mokrani, Razika Lounas, Mohamed Tahar Bennai, Dhai Eddine Salhi, Rachid Djerbi

Proceedings of the 2019 IEEE International Conference on Smart Internet of Things (SmartIoT), 2019

2018

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

PhD thesis, 2018

2017

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

2016

A Formal Verification of Safe Update Point Detection in Dynamic Software Updating.

Razika Lounas, Nisrine Jafri, Axel Legay, Mohamed Mezghiche, Jean-Louis Lanet

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

2015

An Approach for Formal Verification of Updated Java Bytecode Programs.

Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet

Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

2012

Towards a General Framework for Formal Reasoning about Java Bytecode Transformation.

Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet

Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012