Josée Desharnais


Professeure titulaire
418 656-2131 poste 5424
Bureau PLT-3984


Adresse postale:
Département d'informatique et de génie logiciel, local PLT-3916
Université Laval
1065 rue de la médecine
Québec (Québec)
G1V 0A6

Courriel: josee.desharnais at ift.ulaval.ca


Recherche:

Site du projet Vérification de systèmes probabilistes, expliquant des logiciels de vérification développés principalement par mes étudiants.


Je travaille principalement sur l'analyse de systèmes concourrants.  Je suis particulièrement intéressée par les systèmes probabilistes avec un espace d'états continu.  L'objectif général est d'établir des méthodes formelles pour l'analyse de ces systèmes.  Je me suis surtout penchée sur les concepts théoriques: bisimulation faible et forte, leur caractérisation logiques, comment approximer des systèmes continus.

Je m'intéresse aussi à la théorie des graphes.

Publications

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 
  Recherche :
Imprimer cette page |  English