Josée Desharnais
|
Recherche:
Le site du projet VPS, expliquant des logiciels de vérification développés principalement par mes étudiants.
Une présentation simplifiée de projets de recherche pour la maîtrise ou le doctorat.
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. Jusqu'ici, je me suis surtout penchée sur les concepts
théoriques: bisimulation faible et forte, leur caractérisation par une logique modale, comment approximer des systèmes continus.
Cours