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
1987 Prototype d'un système d'aide à la conception de tests de protocoles
1991 Vérification de spécifications en langage de haut niveau par une approche basée sur les réseaux de Petri
2006 Formal checking of web based applications
2014 SAND, un protocole de chiffrement symétrique incompressible à structure simple
2018 Débruitage d’image par fusion de filtrage spatio-fréquentielle
2024 Microservices identification in existing applications using meta-heuristics optimization and machine learning
2021 Typer a de la classe : le polymorphisme ad hoc dans un langage avec des types dépendants et de la métaprogrammation
2017 Contrôle d’Accès Sécurisé dans l’Info-Nuage Mobile (Secure Access Control in Mobile Cloud)
2000 Évaluation qualitative et quantitative d'outils de visualisation logicielle
2004 Workflow technology for complex socio-technical systems
Number of results : 1620