| 1994 |
Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR |
Drissi, Jawad |
Bochmann, Gregor V. |
| 1995 |
Des tests de conformité du protocole AAL de type 5 pour les réseaux à haut débit |
Khriss, Ismail |
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. |
| 1992 |
Implantation en C++ d'une spécification Mondel du Répertoire OSI |
Nadeau, Roch |
Bochmann, Gregor V. |
| 2000 |
Vers la construction automatique d'un module inconnu dans un système composé |
Drissi, Jawad |
Bochmann, Gregor V. |
| 1992 |
The LOTOS language :distributed implementation and fairness |
Wu, Cheng |
Bochmann, Gregor V. |
| 1991 |
Analyse en ligne de traces d'exécution appliquée au protocole de transport |
Saba, Fayez |
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. |
| 1989 |
Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS |
Khendek, Ferhat |
Bochmann, Gregor V. |
| 1999 |
Cadre conceptuel pour la composition des objets et la spécification du comportement |
Ramazani, Dunia |
Bochmann, Gregor V. |
| 1997 |
Routage inter-domaines dans les réseaux ATM |
Ould Ahmed Ould Bah, Brahim |
Bochmann, Gregor V. |
| 1989 |
Analyse automatique de résultats de tests appliquée aux protocoles de communication |
Bellal, Omar Bouhafs |
Bochmann, Gregor V. |
| 1997 |
Implantation du protocole de signalisation ATM en utilisant une spécification SDL |
Marcoci, Roxana-Irina |
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. |
| 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. |
| 1995 |
Construction incrémentielle de spécifications pour systèmes distribués |
Khendek, Ferhat |
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. |
| 1997 |
Développement d'un éditeur graphique pour les suites de tests de protocoles de communication |
Soukeur, Abdelouahed |
Bochmann, Gregor V. |
| 2000 |
Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java |
Ghlamallah, Adel |
Bochmann, Gregor V. |
| 1993 |
Interconnexion des réseaux assurant le service de communication personnalisé |
Dargham, Joumana B. |
Bochmann, Gregor V.; Das, Anindya |
| 1992 |
Sélection de tests pour les protocoles de communication |
Dubuc, Martin |
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 |
| 1994 |
Spécification formelle et test pour boîte à outils X.25 |
Zamoum, Rachid |
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 |
Étude de traduction entre les langages de spécification SDL et VHDL |
Amoussou, Marie Clémence |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1996 |
Formal method for the design of real-time communicating subsystems and controllers |
Tao, Zhongpīng |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1993 |
Développement d'un environnement de test et de diagnostique |
Salvail, Pierre |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1994 |
Intégration des langages ASN. 1 et Mondel : traduction des structures de données ASN. 1 en Mondel à l'aide de l'outil CENTAUR |
Zerghouni, Mostafa |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1992 |
Modification dynamique des spécifications dans un environnement orienté-objets |
Erradi, Mohammed |
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 |
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 |
| 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 |
Synthèse d'algorithmes de contrôle pour environnement réparti |
Levy, Michel |
Bochmann, Gregor V.; Gecsei, Jan |
| 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 |
| 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 |
| 1995 |
Un cadre d'application pour interfaces de gestion OSI |
Tessier, Jean |
Bochmann, Gregor V.; Keller, Rudolf |
| 1987 |
Contribution à la description et à la réalisation de systèmes interactifs |
El Iraki, Abdelhamid |
Bochmann, Gregor V.; Lapalme, Guy |
| 1991 |
Évaluation du langage de spécification MONDEL à la description de protocoles de communication |
Poirier, Stéphane |
Bochmann, Gregor V.; Mondain-Monval, Pierre |
| 1996 |
On the development of conformance test suites in view of their fault coverage |
Yao, Mingyu |
Bochmann, Gregor V.; Petrenko, Alexandre |