| Air quality monitoring using iot: A survey H Mokrani, R Lounas, MT Bennai, DE Salhi, R Djerbi 2019 IEEE International Conference on Smart Internet of Things (SmartIoT …, 2019 | 53 | 2019 |
| Towards a smart data transmission strategy for iot monitoring systems: Application to air quality monitoring R Lounas, DE Salhi, H Mokrani, R Djerbi, MT Bennai 2019 International Conference on Theoretical and Applicative Aspects of …, 2019 | 8 | 2019 |
| A formal verification of safe update point detection in dynamic software updating R Lounas, N Jafri, A Legay, M Mezghiche, JL Lanet Risks and Security of Internet and Systems: 11th International Conference …, 2017 | 8 | 2017 |
| Towards a general framework for formal reasoning about java bytecode transformation R Lounas, M Mezghiche, JL Lanet arXiv preprint arXiv:1307.8212, 2013 | 7 | 2013 |
| An approach for formal verification of updated java bytecode programs R Lounas, M Mezghiche, JL Lanet 9th International Workshop on Verification and Evaluation of Computer and …, 2015 | 6 | 2015 |
| A formal verification of dynamic updating in a Java-based embedded system R Lounas, M Mezghiche, JL Lanet International Journal of Critical Computer-Based Systems 7 (4), 303-340, 2017 | 5 | 2017 |
| Formal methods in dynamic software updating: a survey R Lounas, M Mezghiche, JL Lanet International Journal of Critical Computer-Based Systems 9 (1-2), 76-114, 2019 | 4 | 2019 |
| Misea jour dynamique des applications Java Card Une approche pour une misea jour sûre du tas R Lounas, M Mezghiche, JL Lanet Troisième Conférence en IngénieriE du Logiciel, 137, 2014 | 3 | 2014 |
| An E-Collaboration Application for Final-Year Project Management R Lounas, I Hamzaoui, N Bouguelmouna, H Mokrani International Journal of e-Collaboration 19 (1), 2023 | 2 | 2023 |
| Preuve en Coq de propriétés de programmes numériques partant du code en C R Lounas Boumerdés, Université M'hamed Bougara. Faculté des Sciences, 2008 | 2 | 2008 |
| A Collaborative System for Machine Learning-Based Final-Year Projects With Enhanced Dataset Accessibility R Lounas, R Djerbi, H Mokrani, MT Bennai Emerging Advancements in AI and Big Data Technologies in Business and …, 2024 | | 2024 |
| Validation of formal specifications for dynamic updates in Java Card applications R Lounas < bound method Organization. get_name_with_acronym of< Organization: TEL …, 2018 | | 2018 |
| Validation des spécifications formelles de la mise à jour dynamique des applications Java Card R Lounas Université de Limoges; Université M'hamed Bougara de Boumerdès (Algérie), 2018 | | 2018 |
| Validation des spécifications formelles de la mise à jour dynamique des applications Java Card| Theses. fr R Lounas Limoges, 2018 | | 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). R Lounas University of Limoges, France, 2018 | | 2018 |
