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

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

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. (2022). A modular runtime enforcement model using multi-traces. Dans Esma Aïmeur, Maryline Laurent, Reda Yaich, Benoît Dupont et Joaquin Garcia-Alfaro (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.

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,

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.