Josée Desharnais

Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).

Bisimulation for labelled Markov processes

Abbas Edalat, Prakash Panangaden, Josée Desharnais, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

The metric analogue of weak bisimulation for probabilistic processes

Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

Approximating labelled Markov processes

Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 2003, Inf. Comput..

Laudatio for Prakash Panangaden

Josée Desharnais, 2014, Horizons of the Mind.

Labelled Markov Processes: Stronger and Faster Approximations

Vincent Danos, Prakash Panangaden, Josée Desharnais, 2004, Electron. Notes Theor. Comput. Sci..

Bisimulation and cocongruence for probabilistic systems

Vincent Danos, François Laviolette, Prakash Panangaden, 2006, Inf. Comput..

Metrics for labelled Markov processes

Radha Jagadeesan, Prakash Panangaden, Vineet Gupta, 2004, Theor. Comput. Sci..

Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement

Fred B. Schneider, Josée Desharnais, Elisavet Kozyri, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).

Enforcing Information Flow by Combining Static and Dynamic Analysis

Nadia Tawbi, Josée Desharnais, Andrew Bedford, 2013, FPS.

Continuous Time and/or Continuous Distributions

Josée Desharnais, Joseph Assouramou, 2010, EPEW.

Front Matter, Table of Contents, Preface, Conference Organization

Radha Jagadeesan, Josée Desharnais, 2016, CONCUR.

Labeled Markov processes: stronger and faster approximations

Vincent Danos, Josée Desharnais, P. Panangaden, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

Trace Equivalence Characterization Through Reinforcement Learning

François Laviolette, Josée Desharnais, Sami Zhioua, 2006, Canadian Conference on AI.

Approximating Continuous Markov Processes

Radha Jagadeesan, Josée Desharnais, R. Jagadeesan, 2000 .

Andrana: Quick and Accurate Malware Detection for Android

Nadia Tawbi, Bernard Lebel, Josée Desharnais, 2016, FPS.

Preface

Prakash Panangaden, Josée Desharnais, 2004, Electron. Notes Theor. Comput. Sci..

A logical characterization of bisimulation for labeled Markov processes

Abbas Edalat, Prakash Panangaden, Josée Desharnais, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).

Analysis of Non-Linear Probabilistic Hybrid Systems

Josée Desharnais, Joseph Assouramou, 2011, QAPL.

Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes

Prakash Panangaden, Josée Desharnais, P. Panangaden, 2003, J. Log. Algebraic Methods Program..

Enforcing Information Flow Policies by a Three-Valued Analysis

Nadia Tawbi, Josée Desharnais, Erwanne P. Kanyabwero, 2012, MMM-ACNS.

A logical duality for underspecified probabilistic systems

François Laviolette, Josée Desharnais, Amélie Turgeon, 2011, Inf. Comput..

A Fixpoint Logic for Labeled Markov Processes

Vincent Danos, Josée Desharnais, 2003, FICS.

Learning the Difference between Partially Observable Dynamical Systems

François Laviolette, Doina Precup, Josée Desharnais, 2009, ECML/PKDD.