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.

 

 

For a detailed search
 Visit Papyrus
Date Sort by date in ascending order Title Sort by title in ascending order
2020 Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
1991 Vérification de spécifications en langage de haut niveau par une approche basée sur les réseaux de Petri
1997 Vérification des propriétés temporelles des interfaces matérielles à l'aide de la programmation logique avec contraintes
2026 Vérification interactive efficace de calculs quantiques délégués pour des problèmes à oracle
2011 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
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.
2000 Vers la construction automatique d'un module inconnu dans un système composé
1990 Vers la mise en place d'un système expert pour l'évaluation de la capacité structurale des chaussées
2023 Vers la mitigation des biais en traitement neuronal des langues
2022 Vers la sécurité des conteneurs : les comprendre et les sécuriser
Number of results : 1664