| 2026 | CSL | ε-Distance via Lvy-Prokhorov Lifting. | Jose Desharnais, Ana Sokolova |
| 2025 | ESORICS | Privacy-Preserving Trajectory Data Publication Via Differentially-Private Representation Learning. | Youcef Korichi, Jose Desharnais, Sbastien Gambs, Nadia Tawbi |
| 2025 | KDD | GRAND : Graph Reconstruction from Potential Partial Adjacency and Neighborhood Data. | Sofiane Azogagh, Zelma Aubin Birba, Jose Desharnais, Sbastien Gambs, Marc-Olivier Killijian, Nadia Tawbi |
| 2024 | ESORICS | Leveraging Transformer Architecture for Effective Trajectory-User Linking (TUL) Attack and Its Mitigation. | Youcef Korichi, Jose Desharnais, Sbastien Gambs, Nadia Tawbi |
| 2023 | PST | Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models. | Simon Bertrand, Jose Desharnais, Nadia Tawbi |
| 2020 | CRiSIS | Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning. | Souad El Hatib, Loc Ricaud, Jose Desharnais, Nadia Tawbi |
| 2016 | SEC | A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor. | Andrew Bedford, Stephen Chong, Jose Desharnais, Nadia Tawbi |
| 2015 | CP | Bounding an Optimal Search Path with a Game of Cop and Robber on Graphs. | Frdric Simard, Michael Morin, Claude-Guy Quimper, Franois Laviolette, Jose Desharnais |
| 2009 | CONCUR | A Demonic Approach to Information in Probabilistic Systems. | Jose Desharnais, Franois Laviolette, Amlie Turgeon |
| 2006 | AI | Trace Equivalence Characterization Through Reinforcement Learning. | Jose Desharnais, Franois Laviolette, Krishna Priya Darsini Moturu, Sami Zhioua |
| 2003 | CONCUR | Conditional Expectation and the Approximation of Labelled Markov Processes. | Vincent Danos, Jose Desharnais, Prakash Panangaden |
| 2003 | LICS | Labelled Markov Processes: Stronger and Faster Approximations. | Vincent Danos, Jose Desharnais |
| 2002 | CONCUR | Weak Bisimulation is Sound and Complete for PCTL*. | Jose Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 2002 | LICS | The Metric Analogue of Weak Bisimulation for Probabilistic Processes. | Jose Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden |
| 2000 | LICS | Approximating Labeled Markov Processes. | Jose Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 1999 | CONCUR | Metrics for Labeled Markov Systems. | Jose Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 1998 | LICS | A Logical Characterization of Bisimulation for Labeled Markov Processes. | Jose Desharnais, Abbas Edalat, Prakash Panangaden |
| 1997 | LICS | Bisimulation for Labelled Markov Processes. | Richard Blute, Jose Desharnais, Abbas Edalat, Prakash Panangaden |