Gregor V. Bochmann
Courriels
bochmann@site.uOttawa.ca (Travail)
Travail 1 : 613 562-5800 #6205
Web : Wiki
Areas of Expertise
Student supervision Expand all Collapse all
Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java
Thèses et mémoires dirigés
/
2000
-
2000
Cadre conceptuel pour la composition des objets et la spécification du comportement
Thèses et mémoires dirigés
/
2000
-
2000
Vers la construction automatique d'un module inconnu dans un système composé
Thèses et mémoires dirigés
/
2000
-
2000
Gestion coopérative de la qualité de service dans les applications multimédias : spécification et simulation
Thèses et mémoires dirigés
/
1999
-
1999
Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI
Thèses et mémoires dirigés
/
1999
-
1999
Implantation du protocole de signalisation ATM en utilisant une spécification SDL
Thèses et mémoires dirigés
/
1998
-
1998
On conformance testing of systems communicating by Rendezvous
Thèses et mémoires dirigés
/
1998
-
1998
Modélisation orientée objet des éléments de réseau SONET et application à la gestion de réseau
Thèses et mémoires dirigés
/
1998
-
1998
Développement d'un éditeur graphique pour les suites de tests de protocoles de communication
Thèses et mémoires dirigés
/
1998
-
1998
Routage inter-domaines dans les réseaux ATM
Thèses et mémoires dirigés
/
1997
-
1997
Graduate : Ould Ahmed Ould Bah, Brahim
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
Gestion automatique de la reconfiguration dans les réseaux et systèmes ouverts distribués
Thèses et mémoires dirigés
/
1997
-
1997
On the development of conformance test suites in view of their fault coverage
Thèses et mémoires dirigés
/
1996
-
1996
Construction incrémentielle de spécifications pour systèmes distribués
Thèses et mémoires dirigés
/
1996
-
1996
Formal method for the design of real-time communicating subsystems and controllers
Thèses et mémoires dirigés
/
1996
-
1996
Un cadre d'application pour interfaces de gestion OSI
Thèses et mémoires dirigés
/
1996
-
1996
Test de conformité du protocole de signalisation en mode Trames (Frame Relay)
Thèses et mémoires dirigés
/
1996
-
1996
Graduate : Ould Mohamed-Salem, Mohamed-Vall
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
Étude de traduction entre les langages de spécification SDL et VHDL
Thèses et mémoires dirigés
/
1994
-
1994
Graduate : Amoussou, Marie Clémence
Cycle : Master's
Grade : M. Sc.
Cycle : Master's
Grade : M. Sc.
Évaluation du flux de données couvert par une suite de tests
Thèses et mémoires dirigés
/
1994
-
1994
Traduction d'un sous-ensemble de SDL en Estelle
Thèses et mémoires dirigés
/
1994
-
1994
Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR
Thèses et mémoires dirigés
/
1994
-
1994
Génération de tests pour le service de communication personnalisé
Thèses et mémoires dirigés
/
1993
-
1993
Synthèse de spécifications de protocole à partir de spécifications de service
Thèses et mémoires dirigés
/
1993
-
1993
Graduate : Antonescu, Christian Kant
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
Interconnexion des réseaux assurant le service de communication personnalisé
Thèses et mémoires dirigés
/
1993
-
1993
Modification dynamique des spécifications dans un environnement orienté-objets
Thèses et mémoires dirigés
/
1993
-
1993
The LOTOS language :distributed implementation and fairness
Thèses et mémoires dirigés
/
1993
-
1993
Synthèse d'algorithmes de contrôle pour environnement réparti
Thèses et mémoires dirigés
/
1993
-
1993
Développement d'un environnement de test et de diagnostique
Thèses et mémoires dirigés
/
1993
-
1993
Diagnostic tests for protocol implementations modeled by finite state machines
Thèses et mémoires dirigés
/
1993
-
1993
Graduate : Ghedamsi, Abderrazak ben Naceur
Cycle : Doctoral
Grade : Ph. D.
Cycle : Doctoral
Grade : Ph. D.
Évaluation du langage de spécification MONDEL à la description de protocoles de communication
Thèses et mémoires dirigés
/
1992
-
1992
Spécification d'un protocole de communication dans un environnement multi-agents, application aux systèmes tutoriels intelligents
Thèses et mémoires dirigés
/
1992
-
1992
Sélection de tests pour les protocoles de communication
Thèses et mémoires dirigés
/
1992
-
1992
Implantation en C++ d'une spécification Mondel du Répertoire OSI
Thèses et mémoires dirigés
/
1992
-
1992
Sélection et implantation de séquences de tests pour le protocole de liaison des réseaux numériques multiservices
Thèses et mémoires dirigés
/
1991
-
1991
Analyse en ligne de traces d'exécution appliquée au protocole de transport
Thèses et mémoires dirigés
/
1991
-
1991
Vérification de spécifications en langage de haut niveau par une approche basée sur les réseaux de Petri
Thèses et mémoires dirigés
/
1991
-
1991
Générateur intelligent de tests adapté au domaine des protocoles de communication
Thèses et mémoires dirigés
/
1991
-
1991
Analyse automatique de résultats de tests appliquée aux protocoles de communication
Thèses et mémoires dirigés
/
1990
-
1990
Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services
Thèses et mémoires dirigés
/
1990
-
1990
Système informatique réparti pour l'animation de visages réels ou synthétiques synchronisée avec une parole synthétisée
Thèses et mémoires dirigés
/
1989
-
1989
Contribution à la description et à la réalisation de systèmes interactifs
Thèses et mémoires dirigés
/
1989
-
1989
Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS
Thèses et mémoires dirigés
/
1989
-
1989
Recognition and Awards
- Prix Urgel-Archambault, Association francophone pour le savoir (Acfas), 1988.
- Société royale du Canada : Les Académies des arts, des lettres et des sciences du Canada, Société royale du Canada, 1997.
Additional Information
Media
Portrait du chercheur
Browse this profile on: