Josée Desharnais

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 13

Top Topics

Winning Strategy

Variational Inference

Information Flows

Top Venues

Publications

Simon Bertrand, Josée Desharnais, Nadia Tawbi
Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models. PST (2023)
Josée Desharnais, François Laviolette, Héli Marcoux, Norbert Polat
A cop-winning strategy on strongly cop-win graphs. Discret. Math. 346 (8) (2023)
Simon Bertrand, Nadia Tawbi, Josée Desharnais
Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models. CoRR (2022)
Frédéric Simard, Josée Desharnais, François Laviolette
General Cops and Robbers games with randomness. Theor. Comput. Sci. 887 (2021)
Frédéric Simard, Josée Desharnais, François Laviolette
General Cops and Robbers Games with randomness. CoRR (2020)
Souad El Hatib, Loïc Ricaud, Josée Desharnais, Nadia Tawbi
Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning. CRiSIS (2020)
Yann Pequignot, Mathieu Alain, Patrick Dallaire, Alireza Yeganehparast, Pascal Germain, Josée Desharnais, François Laviolette
Implicit Variational Inference: the Parameter and the Predictor Space. CoRR (2020)
Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi
Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement. CSF (2019)
Gildas Kouko, Josée Desharnais, François Laviolette
Finite Approximation of LMPs for Exact Verification of Reachability Properties. QEST (2019)
Andrew Bedford, Stephen Chong, Josée Desharnais, Elisavet Kozyri, Nadia Tawbi
A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version). Comput. Secur. 71 (2017)
Andrew Bedford, Sébastien Garvin, Josée Desharnais, Nadia Tawbi, Hana Ajakan, Frédéric Audet, Bernard Lebel
Andrana: Quick and Accurate Malware Detection for Android. FPS (2016)
Andrew Bedford, Stephen Chong, Josée Desharnais, Nadia Tawbi
A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor. SEC (2016)
Frédéric Simard, Michael Morin, Claude-Guy Quimper, François Laviolette, Josée Desharnais
Bounding an Optimal Search Path with a Game of Cop and Robber on Graphs. CP (2015)
Josée Desharnais
Laudatio for Prakash Panangaden. Horizons of the Mind (2014)
Andrew Bedford, Josée Desharnais, Théophane G. Godonou, Nadia Tawbi
Enforcing Information Flow by Combining Static and Dynamic Analysis. FPS (2013)
Josée Desharnais, François Laviolette, Sami Zhioua
Testing probabilistic equivalence through Reinforcement Learning. Inf. Comput. 227 (2013)
Josée Desharnais, Erwanne P. Kanyabwero, Nadia Tawbi
Enforcing Information Flow Policies by a Three-Valued Analysis. MMM-ACNS (2012)
Mathieu Tracol, Josée Desharnais, Abir Zhioua
Computing Distances between Probabilistic Automata QAPL (2011)
Joseph Assouramou, Josée Desharnais
Analysis of Non-Linear Probabilistic Hybrid Systems QAPL (2011)
Josée Desharnais, François Laviolette, Amélie Turgeon
A logical duality for underspecified probabilistic systems. Inf. Comput. 209 (5) (2011)
Joseph Assouramou, Josée Desharnais
Continuous Time and/or Continuous Distributions. EPEW (2010)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
. Inf. Comput. 208 (2) (2010)
Sami Zhioua, Doina Precup, François Laviolette, Josée Desharnais
Learning the Difference between Partially Observable Dynamical Systems. ECML/PKDD (2) (2009)
Josée Desharnais, François Laviolette, Amélie Turgeon
A Demonic Approach to Information in Probabilistic Systems. CONCUR (2009)
Josée Desharnais, François Laviolette, Mathieu Tracol
Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games. QEST (2008)
Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden
Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204 (4) (2006)
Josée Desharnais, François Laviolette, Sami Zhioua
Testing Probabilistic Equivalence Through Reinforcement Learning. FSTTCS (2006)
Josée Desharnais, François Laviolette, Krishna Priya Darsini Moturu, Sami Zhioua
Trace Equivalence Characterization Through Reinforcement Learning. Canadian Conference on AI (2006)
Claude Bolduc, Josée Desharnais
Static Analysis of Programs Using Omega Algebra with Tests. RelMiCS (2005)
Vincent Danos, Josée Desharnais, Prakash Panangaden
Labelled Markov Processes: Stronger and Faster Approximations. Electron. Notes Theor. Comput. Sci. 87 (2004)
Josée Desharnais, Prakash Panangaden
Preface. Electron. Notes Theor. Comput. Sci. 87 (2004)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Metrics for labelled Markov processes. Theor. Comput. Sci. 318 (3) (2004)
Vincent Danos, Josée Desharnais
A Fixpoint Logic for Labeled Markov Processes. FICS (2003)
Vincent Danos, Josée Desharnais, Prakash Panangaden
Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR (2003)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximating labelled Markov processes. Inf. Comput. 184 (1) (2003)
Josée Desharnais, Prakash Panangaden
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. Log. Algebraic Methods Program. 56 (1-2) (2003)
Vincent Danos, Josée Desharnais
Labelled Markov Processes: Stronger and Faster Approximations. LICS (2003)
Mourad Debbabi, Josée Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi
Secure Self-certified Code for Java. FASec (2002)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Weak Bisimulation is Sound and Complete for PCTL*. CONCUR (2002)
Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden
The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS (2002)
Josée Desharnais, Abbas Edalat, Prakash Panangaden
Bisimulation for Labelled Markov Processes. Inf. Comput. 179 (2) (2002)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximating Labeled Markov Processes. LICS (2000)
Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Metrics for Labeled Markov Systems. CONCUR (1999)
Josée Desharnais, Abbas Edalat, Prakash Panangaden
A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS (1998)
Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden
Bisimulation for Labelled Markov Processes. LICS (1997)