Bisimulation for Labelled Markov Processes. - Richard Blute; Josée Desharnais; Abbas Edalat; Prakash Panangaden (LICS, 1997)

A Logical Characterization of Bisimulation for Labeled Markov Processes. - Josée Desharnais; Abbas Edalat; Prakash Panangaden (LICS, 1998)

Metrics for Labeled Markov Systems. - Josée Desharnais; Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (CONCUR, 1999)

Approximating Labeled Markov Processes. - Josée Desharnais; Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (LICS, 2000)

Weak Bisimulation is Sound and Complete for PCTL*. - Josée Desharnais; Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (CONCUR, 2002)

Secure Self-certified Code for Java. - Mourad Debbabi; Josée Desharnais; M. Fourati; E. Menif; Frédéric Painchaud; Nadia Tawbi (FASec, 2002)

The Metric Analogue of Weak Bisimulation for Probabilistic Processes. - Josée Desharnais; Radha Jagadeesan; Vineet Gupta 001; Prakash Panangaden (LICS, 2002)

Bisimulation for Labelled Markov Processes. - Josée Desharnais; Abbas Edalat; Prakash Panangaden (Inf. Comput., 2002)

Conditional Expectation and the Approximation of Labelled Markov Processes. - Vincent Danos; Josée Desharnais; Prakash Panangaden (CONCUR, 2003)

A Fixpoint Logic for Labeled Markov Processes. - Vincent Danos; Josée Desharnais (FICS, 2003)

Labelled Markov Processes: Stronger and Faster Approximations. - Vincent Danos; Josée Desharnais (LICS, 2003)

Labelled Markov Processes: Stronger and Faster Approximations. - Vincent Danos; Josée Desharnais; Prakash Panangaden (DTMPP, 2003)

Preface. - Josée Desharnais; Prakash Panangaden (DTMPP, 2003)

Approximating labelled Markov processes. - Josée Desharnais; Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (Inf. Comput., 2003)

Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. - Josée Desharnais; Prakash Panangaden (J. Log. Algebraic Methods Program., 2003)

Metrics for labelled Markov processes. - Josée Desharnais; Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (Theor. Comput. Sci., 2004)

Static Analysis of Programs Using Omega Algebra with Tests. - Claude Bolduc; Josée Desharnais (RelMiCS, 2005)

Trace Equivalence Characterization Through Reinforcement Learning. - Josée Desharnais; François Laviolette; Krishna Priya Darsini Moturu; Sami Zhioua (Canadian AI, 2006)

Bisimulation and cocongruence for probabilistic systems. - Vincent Danos; Josée Desharnais; François Laviolette; Prakash Panangaden (Inf. Comput., 2006)

Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games. - Josée Desharnais; François Laviolette; Mathieu Tracol (QEST, 2008)

A Demonic Approach to Information in Probabilistic Systems. - Josée Desharnais; François Laviolette; Amélie Turgeon (CONCUR, 2009)

Learning the Difference between Partially Observable Dynamical Systems. - Sami Zhioua; Doina Precup; François Laviolette; Josée Desharnais (ECML/PKDD (2), 2009)

Continuous Time and/or Continuous Distributions. - Joseph Assouramou; Josée Desharnais (EPEW, 2010)

Weak bisimulation is sound and complete for pCTL*. - Josée Desharnais; Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (Inf. Comput., 2010)

Analysis of Non-Linear Probabilistic Hybrid Systems - Joseph Assouramou; Josée Desharnais (QAPL, 2011)

Computing Distances between Probabilistic Automata - Mathieu Tracol; Josée Desharnais; Abir Zhioua (QAPL, 2011)

A logical duality for underspecified probabilistic systems. - Josée Desharnais; François Laviolette; Amélie Turgeon (Inf. Comput., 2011)

Enforcing Information Flow Policies by a Three-Valued Analysis. - Josée Desharnais; Erwanne P. Kanyabwero; Nadia Tawbi (MMM-ACNS, 2012)

Enforcing Information Flow by Combining Static and Dynamic Analysis. - Andrew Bedford; Josée Desharnais; Théophane G. Godonou; Nadia Tawbi (FPS, 2013)

Testing probabilistic equivalence through Reinforcement Learning. - Josée Desharnais; François Laviolette; Sami Zhioua (Inf. Comput., 2013)

Laudatio for Prakash Panangaden. - Josée Desharnais (Horizons of the Mind, 2014)

Bounding an Optimal Search Path with a Game of Cop and Robber on Graphs. - Frédéric Simard; Michael Morin; Claude-Guy Quimper; François Laviolette; Josée Desharnais (CP, 2015)

Andrana: Quick and Accurate Malware Detection for Android. - Andrew Bedford; Sébastien Garvin; Josée Desharnais; Nadia Tawbi; Hana Ajakan; Frédéric Audet; Bernard Lebel (FPS, 2016)

A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor. - Andrew Bedford; Stephen Chong; Josée Desharnais; Nadia Tawbi (SEC, 2016)

A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version). - Andrew Bedford; Stephen Chong; Josée Desharnais; Elisavet Kozyri; Nadia Tawbi (Comput. Secur., 2017)

Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement. - Elisavet Kozyri; Fred B. Schneider; Andrew Bedford; Josée Desharnais; Nadia Tawbi (CSF, 2019)

Finite Approximation of LMPs for Exact Verification of Reachability Properties. - Gildas Kouko; Josée Desharnais; François Laviolette (QEST, 2019)

Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning. - Souad El Hatib; Loïc Ricaud; Josée Desharnais; Nadia Tawbi (CRiSIS, 2020)

Implicit Variational Inference: the Parameter and the Predictor Space. - Yann Pequignot; Mathieu Alain; Patrick Dallaire; Alireza Yeganehparast; Pascal Germain; Josée Desharnais; François Laviolette (CoRR, 2020)

General Cops and Robbers games with randomness. - Frédéric Simard; Josée Desharnais; François Laviolette (Theor. Comput. Sci., 2021)

Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models. - Simon Bertrand; Josée Desharnais; Nadia Tawbi (PST, 2023)

A cop-winning strategy on strongly cop-win graphs. - Josée Desharnais; François Laviolette; Héli Marcoux; Norbert Polat (Discret. Math., 2023)

A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case. - Ezio Bartocci; Josée Desharnais; Peter Lindner 001; Ana Sokolova (Principles of Verification (2), 2024)

Leveraging Transformer Architecture for Effective Trajectory-User Linking (TUL) Attack and Its Mitigation. - Youcef Korichi; Josée Desharnais; Sébastien Gambs; Nadia Tawbi (ESORICS (4), 2024)

GRAND : Graph Reconstruction from potential partial Adjacency and Neighborhood Data. - Sofiane Azogagh; Zelma Aubin Birba; Josée Desharnais; Sébastien Gambs; Marc-Olivier Killijian; Nadia Tawbi (CoRR, 2024)

Information Flow Control for the Internet of Things. - Gildas Kouko; Josée Desharnais; Nadia Tawbi (IoTBDS, 2025)

ε-Distance via Lévy-Prokhorov Lifting. - Josée Desharnais; Ana Sokolova (CoRR, 2025)