| 1990 |
Transformations de programmes logiques : Bases sémantiques et applications |
Tarau, Paul |
Boyer, Michel |
| 2008 |
Categorical quantum computation |
Paquette, Éric Oliver |
Boyer, Michel |
| 1989 |
Chronolog, un langage de représentation des connaissances temporelles |
St-Vincent, Pierre |
Boyer, Michel |
| 1991 |
Modélisation de réactions émotives et application à la génération de récits |
Nault, Georges |
Boyer, Michel |
| 1995 |
Une approche géométrique aux contraintes arithmétiques quadratiques en programmation logique avec contraintes |
Pesant, Gilles |
Boyer, Michel |
| 2000 |
Système de configuration des politiques de gestion de réseaux |
Dioubaté, Diéfadima |
Boutaba, Raouf |
| 1987 |
Le système ODST, un outil d'aide au développement de schémas thérapeutiques en médecine |
Lecluyse, Henri |
Bourque, Michel; Lapalme, Guy |
| 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 |
| 1987 |
Prototype d'un système d'aide à la conception de tests de protocoles |
Barbeau, Michel |
Bochmann, Gregor V.; Sarikaya, Behcet |
| 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 |
| 1992 |
Diagnostic tests for protocol implementations modeled by finite state machines |
Ghedamsi, Abderrazak ben Naceur |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1994 |
Spécification formelle et test pour boîte à outils X.25 |
Zamoum, Rachid |
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 |
| 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 |
| 1996 |
Formal method for the design of real-time communicating subsystems and controllers |
Tao, Zhongpīng |
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 |
Développement d'un environnement de test et de diagnostique |
Salvail, Pierre |
Bochmann, Gregor V.; Dssouli, Rachida |
| 1992 |
Modification dynamique des spécifications dans un environnement orienté-objets |
Erradi, Mohammed |
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 |
Implantation du protocole de signalisation ATM en utilisant une spécification SDL |
Marcoci, Roxana-Irina |
Bochmann, Gregor V. |
| 1994 |
Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR |
Drissi, Jawad |
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. |
| 1997 |
Routage inter-domaines dans les réseaux ATM |
Ould Ahmed Ould Bah, Brahim |
Bochmann, Gregor V. |
| 1994 |
Traduction d'un sous-ensemble de SDL en Estelle |
Thiboutôt, Alain |
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. |
| 1996 |
Test de conformité du protocole de signalisation en mode Trames (Frame Relay) |
Ould Mohamed-Salem, Mohamed-Vall |
Bochmann, Gregor V. |