Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

 

 

Pour une recherche détaillée
 Visiter Papyrus
Date Trier par date en ordre croissant Titre Trier par titre en ordre croissant
2002 Génération automatique d'une spécification formelle à partir de scénarios temps-réels
2001 "Principes et implantation de vues dans les langages Orientés-objets"
2002 Diagnostic des systèmes temps réel modélisés par des automates à entrées sorties temporisées
1999 Allocation et tarification des accès réseaux
1997 Dérivation de spécification à partir de scénarios d'interaction
2013 Rétro ingénierie des modèles d’objets dynamiques pour JavaScript
2011 Génération efficace de graphes d’appels dynamiques complets
2011 Technique de visualisation pour l’identification de l’usage excessif d’objets temporaires dans les traces d’exécution
2013 Analyse de changements multiples : une approche probabiliste utilisant les réseaux bayésiens
2023 Toward trustworthy deep learning : out-of-distribution generalization and few-shot learning
Nombre de résultats : 1620