Josée Desharnais

Metrics for labelled Markov processes

Josée Desharnais, Vineet Gupta, Radha Jagadeesan et al. · Theoretical Computer Science · 2003 · 309 citations

Engineering, Computer Science, Mathematics +4

Static Detection of Malicious Code in Executable Programs

Janick Bergeron, Mourad Debbabi, Josée Desharnais et al. · 2000 · 176 citations

Computing, Computer Engineering, Computer Science +14

The metric analogue of weak bisimulation for probabilistic processes

Josée Desharnais, Radha Jagadeesan, Vineet Gupta et al. · 2003 · 160 citations

Engineering, Computer Science, Mathematics +11

Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games

Josée Desharnais, François Laviolette, Mathieu Tracol · 2008 · 99 citations

Natural Sciences, Computer Science, Mathematics +13

Approximating labelled Markov processes

Josée Desharnais, Vineet Gupta, Radha Jagadeesan et al. · Information and Computation · 2003 · 93 citations

Engineering, Computer Science, Probability Theory +5