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

Article publié dans une revue avec comité d'évaluation

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

Chapitre de livre

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

Matériel de conférence

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.

Thèse ou mémoire de l'UQAC

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.

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.

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.

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. (2024). A multi-trace model for runtime enforcement and verification under uncertainty. Thèse de doctorat, Université du Québec à Chicoutimi.

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.