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, Khoury Raphaël et Hallé Sylvain. (2021). Runtime Verification Under Access Restrictions. Proceedings of the 9th International Conference on Formal Methods in Software Engineering,
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.
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.
Sauf indication contraire, les documents archivés dans Constellation sont rendus disponibles selon les termes de la licence Creative Commons "Paternité, pas d'utilisation commerciale, pas de modification" 2.5 Canada.
Bibliothèque Paul-Émile-Boulet, UQAC
555, boulevard de l'Université
Chicoutimi (Québec) CANADA G7H 2B1
418 545-5011, poste 5630