Josée Desharnais

56 papers A* 5A 2B 7C 3Misc 1Journal 16Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	ε-Distance via Lévy-Prokhorov Lifting. CSL Josée Desharnais, Ana Sokolova
2025	—	`conf`	GRAND : Graph Reconstruction from Potential Partial Adjacency and Neighborhood Data. KDD (2) Sofiane Azogagh, Zelma Aubin Birba, Josée Desharnais, Sébastien Gambs, Marc-Olivier Killijian, Nadia Tawbi
2025	C	`conf`	Information Flow Control for the Internet of Things. IoTBDS Gildas Kouko, Josée Desharnais, Nadia Tawbi
2025	—	`conf`	Privacy-Preserving Trajectory Data Publication Via Differentially-Private Representation Learning. ESORICS (4) Youcef Korichi, Josée Desharnais, Sébastien Gambs, Nadia Tawbi
2025	J	`jnl`	ε-Distance via Lévy-Prokhorov Lifting. CoRR Josée Desharnais, Ana Sokolova
2024	—	`conf`	A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case. Principles of Verification (2) Ezio Bartocci, Josée Desharnais, Peter Lindner, Ana Sokolova
2024	J	`jnl`	GRAND : Graph Reconstruction from potential partial Adjacency and Neighborhood Data. CoRR Sofiane Azogagh, Zelma Aubin Birba, Josée Desharnais, Sébastien Gambs, Marc-Olivier Killijian, Nadia Tawbi
2024	—	`conf`	Leveraging Transformer Architecture for Effective Trajectory-User Linking (TUL) Attack and Its Mitigation. ESORICS (4) Youcef Korichi, Josée Desharnais, Sébastien Gambs, Nadia Tawbi
2023	J	`jnl`	A cop-winning strategy on strongly cop-win graphs. Discret. Math. Josée Desharnais, François Laviolette, Héli Marcoux, Norbert Polat
2023	C	`conf`	Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models. PST Simon Bertrand, Josée Desharnais, Nadia Tawbi
2022	J	`jnl`	Unsupervised User-Based Insider Threat Detection Using Bayesian Gaussian Mixture Models. CoRR Simon Bertrand, Nadia Tawbi, Josée Desharnais
2021	J	`jnl`	General Cops and Robbers games with randomness. Theor. Comput. Sci. Frédéric Simard, Josée Desharnais, François Laviolette
2020	J	`jnl`	General Cops and Robbers Games with randomness. CoRR Frédéric Simard, Josée Desharnais, François Laviolette
2020	J	`jnl`	Implicit Variational Inference: the Parameter and the Predictor Space. CoRR Yann Pequignot, Mathieu Alain, Patrick Dallaire, Alireza Yeganehparast, Pascal Germain, Josée Desharnais, François Laviolette
2020	C	`conf`	Toward Semantic-Based Android Malware Detection Using Model Checking and Machine Learning. CRiSIS Souad El Hatib, Loïc Ricaud, Josée Desharnais, Nadia Tawbi
2019	A	`conf`	Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement. CSF Elisavet Kozyri, Fred B. Schneider, Andrew Bedford, Josée Desharnais, Nadia Tawbi
2019	—	`conf`	Finite Approximation of LMPs for Exact Verification of Reachability Properties. QEST Gildas Kouko, Josée Desharnais, François Laviolette
2017	J	`jnl`	A progress-sensitive flow-sensitive inlined information-flow control monitor (extended version). Comput. Secur. Andrew Bedford, Stephen Chong, Josée Desharnais, Elisavet Kozyri, Nadia Tawbi
2016	B	`ed.`	27th International Conference on Concurrency Theory, CONCUR 2016, Québec City, Canada, August 23-26, 2016 CONCUR Josée Desharnais, Radha Jagadeesan
2016	Misc	`conf`	A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor. SEC Andrew Bedford, Stephen Chong, Josée Desharnais, Nadia Tawbi
2016	—	`conf`	Andrana: Quick and Accurate Malware Detection for Android. FPS Andrew Bedford, Sébastien Garvin, Josée Desharnais, Nadia Tawbi, Hana Ajakan, Frédéric Audet, Bernard Lebel
2015	A	`conf`	Bounding an Optimal Search Path with a Game of Cop and Robber on Graphs. CP Frédéric Simard, Michael Morin, Claude-Guy Quimper, François Laviolette, Josée Desharnais
2014	—	`conf`	Laudatio for Prakash Panangaden. Horizons of the Mind Josée Desharnais
2013	—	`conf`	Enforcing Information Flow by Combining Static and Dynamic Analysis. FPS Andrew Bedford, Josée Desharnais, Théophane G. Godonou, Nadia Tawbi
2013	J	`jnl`	Testing probabilistic equivalence through Reinforcement Learning. Inf. Comput. Josée Desharnais, François Laviolette, Sami Zhioua
2012	—	`conf`	Enforcing Information Flow Policies by a Three-Valued Analysis. MMM-ACNS Josée Desharnais, Erwanne P. Kanyabwero, Nadia Tawbi
2011	J	`jnl`	A logical duality for underspecified probabilistic systems. Inf. Comput. Josée Desharnais, François Laviolette, Amélie Turgeon
2011	—	`conf`	Analysis of Non-Linear Probabilistic Hybrid Systems QAPL Joseph Assouramou, Josée Desharnais
2011	—	`conf`	Computing Distances between Probabilistic Automata QAPL Mathieu Tracol, Josée Desharnais, Abir Zhioua
2010	—	`conf`	Continuous Time and/or Continuous Distributions. EPEW Joseph Assouramou, Josée Desharnais
2010	B	`ed.`	Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings MPC Claude Bolduc, Josée Desharnais, Béchir Ktari
2010	J	`jnl`	Weak bisimulation is sound and complete for pCTL Inf. Comput. Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2009	B	`conf`	A Demonic Approach to Information in Probabilistic Systems. CONCUR Josée Desharnais, François Laviolette, Amélie Turgeon
2009	—	`conf`	Learning the Difference between Partially Observable Dynamical Systems. ECML/PKDD (2) Sami Zhioua, Doina Precup, François Laviolette, Josée Desharnais
2008	—	`conf`	Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games. QEST Josée Desharnais, François Laviolette, Mathieu Tracol
2006	J	`jnl`	Bisimulation and cocongruence for probabilistic systems. Inf. Comput. Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden
2006	—	`conf`	Testing Probabilistic Equivalence Through Reinforcement Learning. FSTTCS Josée Desharnais, François Laviolette, Sami Zhioua
2006	—	`conf`	Trace Equivalence Characterization Through Reinforcement Learning. Canadian AI Josée Desharnais, François Laviolette, Krishna Priya Darsini Moturu, Sami Zhioua
2005	—	`conf`	Static Analysis of Programs Using Omega Algebra with Tests. RelMiCS Claude Bolduc, Josée Desharnais
2004	J	`jnl`	Metrics for labelled Markov processes. Theor. Comput. Sci. Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2004	—	`ed.`	Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic Processes, DTMPP 2003, Barbados, April 21-25, 2003 DTMPP Josée Desharnais, Prakash Panangaden
2003	—	`conf`	A Fixpoint Logic for Labeled Markov Processes. FICS Vincent Danos, Josée Desharnais
2003	J	`jnl`	Approximating labelled Markov processes. Inf. Comput. Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2003	B	`conf`	Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR Vincent Danos, Josée Desharnais, Prakash Panangaden
2003	J	`jnl`	Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. Log. Algebraic Methods Program. Josée Desharnais, Prakash Panangaden
2003	A*	`conf`	Labelled Markov Processes: Stronger and Faster Approximations. LICS Vincent Danos, Josée Desharnais
2003	—	`conf`	Labelled Markov Processes: Stronger and Faster Approximations. DTMPP Vincent Danos, Josée Desharnais, Prakash Panangaden
2003	—	`conf`	Preface. DTMPP Josée Desharnais, Prakash Panangaden
2002	J	`jnl`	Bisimulation for Labelled Markov Processes. Inf. Comput. Josée Desharnais, Abbas Edalat, Prakash Panangaden
2002	—	`conf`	Secure Self-certified Code for Java. FASec Mourad Debbabi, Josée Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi
2002	A*	`conf`	The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden
2002	B	`conf`	Weak Bisimulation is Sound and Complete for PCTL*. CONCUR Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2000	A*	`conf`	Approximating Labeled Markov Processes. LICS Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
1999	B	`conf`	Metrics for Labeled Markov Systems. CONCUR Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
1998	A*	`conf`	A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS Josée Desharnais, Abbas Edalat, Prakash Panangaden
1997	A*	`conf`	Bisimulation for Labelled Markov Processes. LICS Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden