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 descending order	Title Sort by title in descending order	Author Sort by author in descending order	Contributor by contributor in descending order
1995	Un cadre d'application pour interfaces de gestion OSI	Tessier, Jean	Bochmann, Gregor V.; Keller, Rudolf
1997	Modélisation orientée objet des éléments de réseau SONET et application à la gestion de réseau	Chaker, Kamel Yahia	Bochmann, Gregor V.; Gregoire, Jean-Charles
1988	Système informatique réparti pour l'animation de visages réels ou synthétiques synchronisée avec une parole synthétisée	Girard, Paul	Bochmann, Gregor V.; Gecsei, Jan
1992	Synthèse d'algorithmes de contrôle pour environnement réparti	Levy, Michel	Bochmann, Gregor V.; Gecsei, Jan
1997	Gestion automatique de la reconfiguration dans les réseaux et systèmes ouverts distribués	Dini, Petre	Bochmann, Gregor V.; Frasson, Claude; Boutaba, Raouf
1992	Spécification d'un protocole de communication dans un environnement multi-agents, application aux systèmes tutoriels intelligents	Ramazani, Dunia	Bochmann, Gregor V.; Frasson, Claude
1996	Formal method for the design of real-time communicating subsystems and controllers	Tao, Zhongpīng	Bochmann, Gregor V.; Dssouli, Rachida
1993	Étude de traduction entre les langages de spécification SDL et VHDL	Amoussou, Marie Clémence	Bochmann, Gregor V.; Dssouli, Rachida
1993	Génération de tests pour le service de communication personnalisé	Htite, El Houssain	Bochmann, Gregor V.; Dssouli, Rachida
1992	Modification dynamique des spécifications dans un environnement orienté-objets	Erradi, Mohammed	Bochmann, Gregor V.; Dssouli, Rachida
1992	Diagnostic tests for protocol implementations modeled by finite state machines	Ghedamsi, Abderrazak ben Naceur	Bochmann, Gregor V.; Dssouli, Rachida
1993	Évaluation du flux de données couvert par une suite de tests	Caouette, Clémence	Bochmann, Gregor V.; Dssouli, Rachida
1992	Sélection de tests pour les protocoles de communication	Dubuc, Martin	Bochmann, Gregor V.; Dssouli, Rachida
1993	Développement d'un environnement de test et de diagnostique	Salvail, Pierre	Bochmann, Gregor V.; Dssouli, Rachida
1993	Interconnexion des réseaux assurant le service de communication personnalisé	Dargham, Joumana B.	Bochmann, Gregor V.; Das, Anindya
1997	Développement d'un éditeur graphique pour les suites de tests de protocoles de communication	Soukeur, Abdelouahed	Bochmann, Gregor V.
1994	Traduction d'un sous-ensemble de SDL en Estelle	Thiboutôt, Alain	Bochmann, Gregor V.
1992	Synthèse de spécifications de protocole à partir de spécifications de service	Antonescu, Christian Kant	Bochmann, Gregor V.
1990	Sélection et implantation de séquences de tests pour le protocole de liaison des réseaux numériques multiservices	Boucher, Jean	Bochmann, Gregor V.
1994	Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR	Drissi, Jawad	Bochmann, Gregor V.
1989	Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS	Khendek, Ferhat	Bochmann, Gregor V.
1998	Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI	Maguiraga, Saoudatou	Bochmann, Gregor V.
1989	Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services	Amalou, Mokhtar	Bochmann, Gregor V.
1991	Vérification de spécifications en langage de haut niveau par une approche basée sur les réseaux de Petri	Barbeau, Michel	Bochmann, Gregor V.
1992	The LOTOS language :distributed implementation and fairness	Wu, Cheng	Bochmann, Gregor V.
1995	Construction incrémentielle de spécifications pour systèmes distribués	Khendek, Ferhat	Bochmann, Gregor V.
1998	Gestion coopérative de la qualité de service dans les applications multimédias : spécification et simulation	Mekouar, Loubna	Bochmann, Gregor V.
1991	Analyse en ligne de traces d'exécution appliquée au protocole de transport	Saba, Fayez	Bochmann, Gregor V.
1999	Cadre conceptuel pour la composition des objets et la spécification du comportement	Ramazani, Dunia	Bochmann, Gregor V.
2000	Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java	Ghlamallah, Adel	Bochmann, Gregor V.
1997	Routage inter-domaines dans les réseaux ATM	Ould Ahmed Ould Bah, Brahim	Bochmann, Gregor V.
2000	Vers la construction automatique d'un module inconnu dans un système composé	Drissi, Jawad	Bochmann, Gregor V.
1992	Implantation en C++ d'une spécification Mondel du Répertoire OSI	Nadeau, Roch	Bochmann, Gregor V.
1989	Analyse automatique de résultats de tests appliquée aux protocoles de communication	Bellal, Omar Bouhafs	Bochmann, Gregor V.
1996	Test de conformité du protocole de signalisation en mode Trames (Frame Relay)	Ould Mohamed-Salem, Mohamed-Vall	Bochmann, Gregor V.
1997	Implantation du protocole de signalisation ATM en utilisant une spécification SDL	Marcoci, Roxana-Irina	Bochmann, Gregor V.
2022	Stability-aware simplification of curve networks	Neveu, William	Bessmeltsev, Mikhail
2023	Deep learning on signals : discretization invariance, lossless compression and nonuniform compression	Demeule, Léa	Berseth, Glen
2024	Intrinsic exploration for reinforcement learning beyond rewards	Creus-Castanyer, Roger	Berseth, Glen
2014	Modeling High-Dimensional Audio Sequences with Recurrent Neural Networks	Boulanger-Lewandowski, Nicolas	Bengio, Yoshua; Vincent, Pascal

Number of results : 1496

Université de Montréal / Faculté des arts et des sciences Département d'informatique et de recherche opérationnelle

Thèses et mémoires

Comment soutenir le Département?

BESOIN D'AIDE?

FACULTÉ DES ARTS ET DES SCIENCES