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

Documents publiés par "Khoury, Raphael"

Exporter comme [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Regroupement : Aucun | Type de document | Date
Nombre de documents : 9.

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.

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

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.

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.

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.

Cette liste a été générée le Fri Mar 29 02:35:56 2024 EDT.

Creative Commons LicenseSauf 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