Josee Desharnais

2006
16	EE	Josee Desharnais, François Laviolette, Krishna Priya Darsini Moturu, Sami Zhioua: Trace Equivalence Characterization Through Reinforcement Learning. Canadian Conference on AI 2006: 371-382
15	EE	Josee Desharnais, François Laviolette, Sami Zhioua: Testing Probabilistic Equivalence Through Reinforcement Learning. FSTTCS 2006: 236-247
14	EE	Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden: Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006)
2004
13	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 (2004)
2003
12	EE	Vincent Danos, Josee Desharnais, Prakash Panangaden: Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482
11	EE	Vincent Danos, Josee Desharnais: Labelled Markov Processes: Stronger and Faster Approximations. LICS 2003: 341-350
10	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 (2003)
9	EE	Josee Desharnais, Prakash Panangaden: Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. Log. Algebr. Program. 56(1-2): 99-115 (2003)
2002
8	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Weak Bisimulation is Sound and Complete for PCTL*. CONCUR 2002: 355-370
7	EE	Mourad Debbabi, Josee Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi: Secure Self-certified Code for Java. FASec 2002: 133-151
6	EE	Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden: The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS 2002: 413-422
5	EE	Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. Inf. Comput. 179(2): 163-193 (2002)
2000
4	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating Labeled Markov Processes. LICS 2000: 95-106
1999
3	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for Labeled Markov Systems. CONCUR 1999: 258-273
1998
2		Josee Desharnais, Abbas Edalat, Prakash Panangaden: A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS 1998: 478-487
1997
1	EE	Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. LICS 1997: 149-158

Coauthor Index

1	Richard Blute	[1]
2	Vincent Danos	[11] [12] [14]
3	Mourad Debbabi	[7]
4	Abbas Edalat	[1] [2] [5]
5	M. Fourati	[7]
6	Vineet Gupta	[3] [4] [6] [8] [10] [13]
7	Radha Jagadeesan	[3] [4] [6] [8] [10] [13]
8	François Laviolette	[14] [15] [16]
9	E. Menif	[7]
10	Krishna Priya Darsini Moturu	[16]
11	Frédéric Painchaud	[7]
12	Prakash Panangaden	[1] [2] [3] [4] [5] [6] [8] [9] [10] [12] [13] [14]
13	Nadia Tawbi	[7]
14	Sami Zhioua	[15] [16]