1989 |
Chronolog, un langage de représentation des connaissances temporelles |
St-Vincent, Pierre |
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 |
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 |
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 |
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 |
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 |
1993 |
Étude de traduction entre les langages de spécification SDL et VHDL |
Amoussou, Marie Clémence |
Bochmann, Gregor V.; Dssouli, Rachida |
1993 |
Développement d'un environnement de test et de diagnostique |
Salvail, Pierre |
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 |
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. |
1997 |
Implantation du protocole de signalisation ATM en utilisant une spécification SDL |
Marcoci, Roxana-Irina |
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. |
1989 |
Analyse automatique de résultats de tests appliquée aux protocoles de communication |
Bellal, Omar Bouhafs |
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. |
1998 |
Gestion coopérative de la qualité de service dans les applications multimédias : spécification et simulation |
Mekouar, Loubna |
Bochmann, Gregor V. |
1994 |
Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR |
Drissi, Jawad |
Bochmann, Gregor V. |
2000 |
Vers la construction automatique d'un module inconnu dans un système composé |
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. |
1996 |
Test de conformité du protocole de signalisation en mode Trames (Frame Relay) |
Ould Mohamed-Salem, Mohamed-Vall |
Bochmann, Gregor V. |
1999 |
Cadre conceptuel pour la composition des objets et la spécification du comportement |
Ramazani, Dunia |
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. |
1992 |
The LOTOS language :distributed implementation and fairness |
Wu, Cheng |
Bochmann, Gregor V. |
1994 |
Traduction d'un sous-ensemble de SDL en Estelle |
Thiboutôt, Alain |
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. |