Travelled to:1 × Canada
1 × Denmark
1 × Germany
1 × Poland
2 × USA
Collaborated with:P.Panangaden A.Edalat J.Assouramou V.Danos R.Jagadeesan V.Gupta M.Tracol A.Zhioua R.Blute
Talks about:process (5) markov (4) label (4) probabilist (3) bisimul (3) approxim (2) character (1) stronger (1) automata (1) distanc (1)
Person: Josée Desharnais
DBLP: Desharnais:Jos=eacute=e
Contributed to:
2011
20032002200019981997Wrote 7 papers:
- QAPL-2011-AssouramouD #analysis #hybrid #probability
- Analysis of Non-Linear Probabilistic Hybrid Systems (JA, JD), pp. 104–119.
- QAPL-2011-TracolDZ #automaton #probability
- Computing Distances between Probabilistic Automata (MT, JD, AZ), pp. 148–162.
- LICS-2003-DanosD #approximate #markov #performance #process
- Labelled Markov Processes: Stronger and Faster Approximations (VD, JD), pp. 341–350.
- LICS-2002-DesharnaisJGP #bisimulation #metric #probability #process
- The Metric Analogue of Weak Bisimulation for Probabilistic Processes (JD, RJ, VG, PP), pp. 413–422.
- LICS-2000-DesharnaisGJP #approximate #markov #process
- Approximating Labeled Markov Processes (JD, VG, RJ, PP), pp. 95–106.
- LICS-1998-DesharnaisEP #bisimulation #logic #markov #process
- A Logical Characterization of Bisimulation for Labeled Markov Processes (JD, AE, PP), pp. 478–487.
- LICS-1997-BluteDEP #bisimulation #markov #process
- Bisimulation for Labelled Markov Processes (RB, JD, AE, PP), pp. 149–158.