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 décroissant Titre Trier par titre en ordre décroissant
2009-08 Multi-Prover and parallel repetition in non-classical interactive games
2015-04 Étude comparative des moyens de paiement
2017-12 Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique
2016-08 La fuite d’information d’une réalisation quantique de primitives cryptographiques classiques
2016-08 Sur l’identification des états produits par une source quantique maximalement décorrélée
2011-04 Détection de la retransmission sélective sur les réseaux de capteurs
2018-08 Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework
2005 Migrating legacy system towards object technology
2021-05 Pattern-based refactoring in model-driven engineering
2012-06 Identification d’une architecture à base de composants dans une application orientée objets à l’aide d’une analyse dynamique
2007 Un système d'aide à la visualisation interactive de logiciels
2010-08 Rétro-ingénierie des diagrammes de séquence par visualisation interactive
2010-12 Intégration de la visualisation à multiples vues pour le développement du logiciel
2007 Détection visuelle d'anomalies de conception dans les programmes orientés objets
2011-08 Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels
2015-02 A unified framework for the comprehension of software's time dimension
2021-11 Abstraction de comportement de haut niveau à l’aide de la visualisation interactive
2006 Visualisation de la qualité des logiciels de grandes taille
2006 Formal checking of web based applications
2007 A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
Nombre de résultats : 890