| 1995 |
Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes |
Pesant, Gilles |
Boyer, Michel |
| 1990 |
Transformations de programmes logiques : Bases sémantiques et applications |
Tarau, Paul |
Boyer, Michel |
| 2000 |
Système de configuration des politiques de gestion de réseaux |
Dioubaté, Diéfadima |
Boutaba, Raouf |
| 1989 |
Génération de questions adaptées à l'usager pour un système de consultation médicale |
Desmarais, Stéphane M. |
Bourque, Michel; Lapalme, Guy |
| 2001 |
Extension des modèles de prédiction de la qualité du logiciel en utilisant la logique floue et les heuristiques du domaine |
Serhani, Mohamed Adel |
Boukadoum, Mounir; Sahraoui, Houari |
| 2002 |
Génération de modèles de langage compacts pour la reconnaissance vocale |
Picard, Francis |
Boucher, Dominique; Lapalme, Guy |
| 1991 |
Générateur intelligent de tests adapté au domaine des protocoles de communication |
Gamache, Paul |
Bochmann, Gregor V.; Vaucher, Jean |
| 1997 |
On conformance testing of systems communicating by Rendezvous |
Tan, Qiang-Ming |
Bochmann, Gregor V.; Petrenko, Alexandre |
| 1996 |
On the development of conformance test suites in view of their fault coverage |
Yao, Mingyu |
Bochmann, Gregor V.; Petrenko, Alexandre |
| 1991 |
Évaluation du langage de spécification MONDEL à la description de protocoles de communication |
Poirier, Stéphane |
Bochmann, Gregor V.; Mondain-Monval, Pierre |
| 1987 |
Contribution à la description et à la réalisation de systèmes interactifs |
El Iraki, Abdelhamid |
Bochmann, Gregor V.; Lapalme, Guy |
| 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 |
| 1993 |
Évaluation du flux de données couvert par une suite de tests |
Caouette, Clémence |
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 |
| 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 |
Développement d'un environnement de test et de diagnostique |
Salvail, Pierre |
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 |
Sélection de tests pour les protocoles de communication |
Dubuc, Martin |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1993 |
Interconnexion des réseaux assurant le service de communication personnalisé |
Dargham, Joumana B. |
Bochmann, Gregor V.; Das, Anindya |
| 1992 |
Implantation en C++ d'une spécification Mondel du Répertoire OSI |
Nadeau, Roch |
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. |
| 1989 |
Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS |
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. |
| 1989 |
Analyse automatique de résultats de tests appliquée aux protocoles de communication |
Bellal, Omar Bouhafs |
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. |
| 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. |
| 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. |
| 1994 |
Traduction d'un sous-ensemble de SDL en Estelle |
Thiboutôt, Alain |
Bochmann, Gregor V. |
| 1997 |
Implantation du protocole de signalisation ATM en utilisant une spécification SDL |
Marcoci, Roxana-Irina |
Bochmann, Gregor V. |
| 1997 |
Développement d'un éditeur graphique pour les suites de tests de protocoles de communication |
Soukeur, Abdelouahed |
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. |
| 1997 |
Routage inter-domaines dans les réseaux ATM |
Ould Ahmed Ould Bah, Brahim |
Bochmann, Gregor V. |