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

2017

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.

2019

Boussaha, Mohamed Racem. (2019). Surveillance des propriétés de sécurité avec BeepBeep. Mémoire de maîtrise, Université du Québec à Chicoutimi.

Rahim, Mohamed Ilyes. (2019). Compréhension d’un programme à travers la segmentation et l’analyse des traces. Mémoire de maîtrise, Université du Québec à Chicoutimi.

2020

Vignau, Benjamin. (2020). La sécurité dans l’Internet des objets : des configurations par défaut aux dénis de services. Mémoire de maîtrise, Université du Québec à Chicoutimi.

2021

Betti, Quentin. (2021). Décentralisation du contrôle de conformité de processus opérationnels : approches par blockchain et séquence de pair-actions. Thèse de doctorat, 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.

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

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

Roudjane, Massiva. (2023). Détection des écarts de tendance et analyse prédictive pour le traitement des flux d’événements en temps réel. Thèse de doctorat, Université du Québec à Chicoutimi.

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

Renaud, Martin. (2024). Les tests unitaires comme méthode de prévention contre les injections SQL. Mémoire de maîtrise, Université du Québec à Chicoutimi.

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