Constellation, le dépôt institutionnel de l'Université du Québec à Chicoutimi

2018

Ajami, Hicham, Mcheick, Hamid, Saleh, Lokman et Taleb, Rania. (2018). Categorization of the context within the medical domain. Dans : International Conference on Smart Homes and Health Telematics , 10-12 juillet 2018, Singapore.

2021

Taleb, Rania, Khoury, Raphaël et Hallé, Sylvain. (2021). Runtime Verification Under Access Restrictions. Proceedings of the 9th International Conference on Formal Methods in Software Engineering,

2022

Taleb, Rania, Hallé, Sylvain et Khoury, Raphaël. (2022). A modular runtime enforcement model using multi-traces. Dans Aïmeur, Esma, Laurent, Maryline, Yaich, Reda, Dupont, Benoît et Garcia-Alfaro, Joaquin (dir.), Foundations and practice of security : 14th International Symposium, FPS 2021, Paris, France, December 7-10, 2021. (13291, p. 283-302). Lecture notes in computer science. Cham, Suisse : Springer.

2023

Taleb, Rania, Hallé, Sylvain et Khoury, Raphaël. (2023). A modular pipeline for enforcement of security properties at runtime. Annals of Telecommunications, 78, p. 429-457.

Taleb, Rania, Hallé, Sylvain et Khoury, Raphaël. (2023). Uncertainty in runtime verification : a survey. Computer Science Review, 50, (e100594), p. 1-27.

2024

Taleb, Rania. (2024). A multi-trace model for runtime enforcement and verification under uncertainty. Thèse de doctorat, Université du Québec à Chicoutimi.