Répertoire du corps professoral

DEEL DEpendable & Explainable Learning
Programme: Subventions de recherche et développement coopérative (RDC)
Organisme(s) subventionnaire(s): CAE Electronics Ltd, Conseil de recherches en sciences naturelles et génie Canada, Consortium de recherche et d'innovation en aérospatiale au Québec, Thales Corporated, Bell Textron Canada limitée, Bombardier Ltée
Type de financement: Subvention
Établissement tête: Université Laval
Du 31 janvier 2020 au 30 janvier 2026

Vers la vérification et certification d'algorithmes d'intelligence artificielle
Programme: Subventions à la découverte SD (individuelles et d'équipe)
Organisme(s) subventionnaire(s): Conseil de recherches en sciences naturelles et génie Canada, Secrétariat Inter-Conseils (Canada) (CRSH, CRSNG, IRSC)
Type de financement: Subvention
Établissement tête: Université Laval
Du 1 avril 2019 au 31 mars 2025

Encadrements terminés dans les 5 dernières années

Alireza Yeganehparast, Maîtrise en informatique - avec mémoire

Loïc Ricaud, Maîtrise en informatique - avec mémoire

Simon Bertrand, Maîtrise en informatique - avec mémoire

Souad El Hatib, Maîtrise en informatique - avec mémoire

Publications des 5 dernières années

A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case 2025. Ezio Bartocci, Josée Desharnais, Peter Lindner, Ana Sokolova. DOI 10.1007/978-3-031-75775-4_4

Leveraging Transformer Architecture for Effective Trajectory-User Linking (TUL) Attack and Its Mitigation 2024. Youcef Korichi, Josée Desharnais, Sébastien Gambs, Nadia Tawbi. DOI 10.1007/978-3-031-70903-6_14

A cop-winning strategy on strongly cop-win graphs Discrete Mathematics, 2023/08. Josée Desharnais, François Laviolette, Héli Marcoux, Norbert Polat. DOI 10.1016/j.disc.2023.113419

Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning 2021/02/12. DOI https://doi.org/10.1007/978-3-030-68887-5_17

Finite approximation of LMPs for exact verification of reachability properties Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019. DOI 10.1007/978-3-030-30281-8_5

Beyond labels: Permissiveness for dynamic information flow enforcement Proceedings - IEEE Computer Security Foundations Symposium, 2019. Kozyri, E., Schneider, F.B., Bedford, A., Desharnais, J., Tawbi, N.. DOI 10.1109/CSF.2019.00031