Josée Desharnais

Josee Desharnais

	2013
j10		Josée Desharnais, François Laviolette, Sami Zhioua: Testing probabilistic equivalence through Reinforcement Learning. Inf. Comput. 227: 21-57 (2013)
	2012
c17		Josée Desharnais, Erwanne P. Kanyabwero, Nadia Tawbi: Enforcing Information Flow Policies by a Three-Valued Analysis. MMM-ACNS 2012: 114-129
	2011
j9		Josée Desharnais, François Laviolette, Amélie Turgeon: A logical duality for underspecified probabilistic systems. Inf. Comput. 209(5): 850-871 (2011)
c16		Joseph Assouramou, Josée Desharnais: Analysis of Non-Linear Probabilistic Hybrid Systems. QAPL 2011: 104-119
c15		Mathieu Tracol, Josée Desharnais, Abir Zhioua: Computing Distances between Probabilistic Automata. QAPL 2011: 148-162
	2010
j8		Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Weak bisimulation is sound and complete for pCTL*. Inf. Comput. 208(2): 203-219 (2010)
c14		Joseph Assouramou, Josée Desharnais: Continuous Time and/or Continuous Distributions. EPEW 2010: 99-114
	2009
c13		Josée Desharnais, François Laviolette, Amélie Turgeon: A Demonic Approach to Information in Probabilistic Systems. CONCUR 2009: 289-304
c12		Sami Zhioua, Doina Precup, François Laviolette, Josée Desharnais: Learning the Difference between Partially Observable Dynamical Systems. ECML/PKDD (2) 2009: 664-677
	2008
c11		Josée Desharnais, François Laviolette, Mathieu Tracol: Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games. QEST 2008: 264-273
	2006
j7		Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden: Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006)
c10		Josee Desharnais, François Laviolette, Krishna Priya Darsini Moturu, Sami Zhioua: Trace Equivalence Characterization Through Reinforcement Learning. Canadian Conference on AI 2006: 371-382
c9		Josee Desharnais, François Laviolette, Sami Zhioua: Testing Probabilistic Equivalence Through Reinforcement Learning. FSTTCS 2006: 236-247
	2004
j6		Josée Desharnais, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 87: 1-3 (2004)
j5		Vincent Danos, Josée Desharnais, Prakash Panangaden: Labelled Markov Processes: Stronger and Faster Approximations. Electr. Notes Theor. Comput. Sci. 87: 157-203 (2004)
j4		Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 (2004)
	2003
j3		Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 (2003)
j2		Josee Desharnais, Prakash Panangaden: Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. Log. Algebr. Program. 56(1-2): 99-115 (2003)
c8		Vincent Danos, Josee Desharnais, Prakash Panangaden: Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482
c7		Vincent Danos, Josee Desharnais: Labelled Markov Processes: Stronger and Faster Approximations. LICS 2003: 341-350
	2002
j1		Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. Inf. Comput. 179(2): 163-193 (2002)
c6		Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Weak Bisimulation is Sound and Complete for PCTL*. CONCUR 2002: 355-370
c5		Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden: The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS 2002: 413-422
	2000
c4		Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating Labeled Markov Processes. LICS 2000: 95-106
	1999
c3		Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for Labeled Markov Systems. CONCUR 1999: 258-273
	1998
c2		Josee Desharnais, Abbas Edalat, Prakash Panangaden: A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS 1998: 478-487
	1997
c1		Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. LICS 1997: 149-158

Coauthor Index

Last update Sun May 26 00:15:08 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page