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

Boussaha, Mohamed Racem, Khoury, Raphaël et Hallé, Sylvain. Monitoring of security properties using BeepBeep. Dans : 10th International Symposium, FPS 2017, Revised Selected Papers , October 23-25, 2017, Nancy, France.

Doudech, Imen. (2016). Détection des bots dans les jeux vidéo multijoueurs en ligne en appliquant les techniques de forage de données. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Hallé, Sylvain et Khoury, Raphaël. (2021). Test sequence generation with Cayley graphs. Dans 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). (p. 182-191). Piscataway, New Jersey : IInstitute of Electrical and Electronics Engineers.

Hallé, Sylvain, Khoury, Raphaël, Betti, Quentin, El-Hokayem, Antoine et Falcone, Yliès. (2017). Decentralized enforcement of document lifecycle constraints. Information Systems, p. 1-19.

Khoury, Raphael et Halle, Sylvain. (2022). Are backdoor mandates ethical? A position paper. IEEE Technology and Society Magazine, 41, (4), p. 63-70.

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 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.

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, Khoury, Raphaël et Hallé, Sylvain. (2021). Runtime Verification Under Access Restrictions. Proceedings of the 9th International Conference on Formal Methods in Software Engineering,