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
2005 Amélioration de la prédiction de la qualité du logiciel par combinaison et adaptation de modèles
2005 Analyse de la qualité du logiciel : une approche par visualisation et simulation
2007 Modélisation pour la gestion de modèles
2003 Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents
2011 Approche probabiliste pour l’analyse de l’impact des changements dans les programmes orientés objet
2011 Transformation by example
2016 Using goal-driven assistants for software visualization
2007 Évaluation de la qualité des applications web : approche probabiliste
2018 Détection des utilisations à risque d’API : approche basée sur le système immunitaire
2015 Génération automatique de configurations et de scénarios d'utilisation d'outils de visualisation à partir de spécifications de tâches d'analyse de logiciels
2002 001_correct : un environnement de restructuration des programmes objets piloté par la qualité
2002 A case-based reasoning diagnosis system for AHU (Air-Handling Unit)
2025 Combining large language models with static analyzers for code review generation
2010 Modelling software quality : a multidimensional approach
2016 Inferring API Usage Patterns and Constraints : a Holistic Approach
2025 Empowering code review automation : a data-centric, multi-task-driven, and human-aware approach
2020 Towards using intelligent techniques to assist software specialists in their tasks
2014 Une approche heuristique pour l’apprentissage de transformations de modèles complexes à partir d’exemples
2022 Extraction of UML class diagrams from natural language specifications
2023 Few-shot prompt learning for automating model completion
2023 Apprentissage de stratégies de calcul adaptatives pour les réseaux neuronaux profonds
2022 Automatically correcting syntactic and semantic errors in ATL transformations using multi-objective optimization
2001 Identification des objets dans les applications léguées basée sur les algorithmes génétiques
2025 Vers des jumeaux numériques intelligents en agriculture en environnement contrôlé : contributions conjointes en détection de fruits par vision et en simulation trans-domaines.
2018 From examples to knowledge in model-driven engineering : a holistic and pragmatic approach
2001 Obje[c]t identification using conceptual clustering
2015 Dérivation de diagrammes de séquence UML compactes à partir de traces d’exécution en se basant des heuristiques
2013 Improving automation in model-driven engineering using examples
2024 Microservices identification in existing applications using meta-heuristics optimization and machine learning
2023 Sur l'élaboration de meilleures techniques pour l'apprentissage auto-supervisé des représentations du code
2024 Aligning language models to code : exploring efficient, temporal, and preference alignment for code generation
2015 Una aproximación evolucionista para la generación automática de sentencias SQL a partir de ejemplos
2003 Software stability assessment using multiple prediction models
2010 Exploitation de contraintes photométriques et géométriques en vision : application au suivi, au calibrage et à la reconstruction
2016 Méthodes d’analyse de mouvement en vision 3D : invariance aux délais temporels entre des caméras non synchronisées et flux optique par isocontours
2013 Reconstruction tridimensionnelle pour projection sur surfaces arbitraires
2019 Calibrage de caméra fisheye et estimation de la profondeur pour la navigation autonome
2021 Estimation de pose 2D par réseau convolutif
2025 Stereoscopic depth estimation with permutation
2004 Une approche globale à l'estimation du mouvement de caméra pour des scènes encombrées
2020 Introduction à la reconstruction 3D par lumière structurée
2011 Le cinéma omnistéréo ou l'art d'avoir des yeux tout le tour de la tête
2009 Calibration de systèmes de caméras et projecteurs dans des applications de création multimédia
2003 Estimation probabiliste du mouvement de caméra
2005 Reconstruction volumétrique par l'algorithme du flot maximum dans un graphe
2005 Calibration de la distorsion radiale
2007 Mise en correspondance active et passive pour la vision par ordinateur multivue
2007 Reconstruction active et passive en vision par ordinateur
2006 Estimation de mouvement sans restriction par filtres en quadrature localisés
2014 Reconstruction active par projection de lumière non structurée