@inproceedings{bggl+01:ip,
inhal = {no},
author = {Ba, Tafsir and Garcia, Eric and Guyennet, Herv\'e and Lapayre, Jean-Christophe and Zerhouni, R. Zemouri, N.},
title = {{TEMIC}: {Industrial Cooperative Tele-Maintenance}},
booktitle = {29th ICC\&IE Int. Conf. on Computers and Industrial Engineering},
pages = {465--470},
address = {Montr\'eal, Canada},
month = nov,
year = 2001,

}

@inproceedings{bl01:ip,
inhal = {no},
author = {Ba, Tafsir and Lapayre, Jean-Christophe},
title = {{GENeric} {InterfacE} for telecomputing},
booktitle = {Conference ISAS SCI01},
pages = {294--298},
address = {Orlando, Floride, United States},
month = jul,
year = 2001,

}

@inproceedings{bg01b:ip,
inhal = {no},
author = {Bahi, Jacques and Gaber, J.},
title = {Load Balancing on networks with dynamically changing topology},
booktitle = {Europar 2001},
series = {LNCS},
volume = 2150,
publisher = {Springer},
pages = {175--182},
address = {Manchester, United Kingdom},
month = aug,
year = 2001,

}

@inproceedings{bdh01:onp,
inhal = {no},
author = {Bardin, Yohann and Damy, Sylvie and Herrmann, B\'en\'edicte},
title = {Un service de m\'ediation pour les applications r\'eparties \`a base de composants},
booktitle = {Journ\'ees Composants~: flexibilit\'e du syst\`eme au langage},
pages = {67--76},
address = {Besan\c{c}on, France},
month = oct,
year = 2001,

}

@inproceedings{bck01:np,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise and Charlet, C\'elina and Kouchnarenko, Olga},
title = {Raffiner pour v\'erifier une classe de syst\`emes param\'etr\`es},
booktitle = {Actes du Congr\`es AFADL 2001, (Approches Formelles pour l'Aide au D\'eveloppement de Logiciels)},
address = {Nancy, France},
pages = {189--204},
month = jun,
year = 2001,

}

@inproceedings{bcjk01:np,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise and Chouali, Samir and Julliand, Jacques and Kouchnarenko, Olga},
title = {Comment limiter la sp\'ecification de l'\'equit\'e dans les syst\`emes d'\'ev\'enements {B}~?},
booktitle = {Actes du Congr\`es AFADL 2001, (Approches Formelles pour l'Aide au D\'eveloppement de Logiciels)},
address = {Nancy, France},
pages = {205--220},
month = jun,
year = 2001,

}

@inproceedings{bdjk01:oip,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise and Darlot, Christophe and Julliand, Jacques and Kouchnarenko, Olga},
title = {How to Verify {LTL} perperties of Infinite Refined Systems by Proof and Model-Checking Cooperation},
booktitle = {Proc. of the Int. Workshop on Automated Verification of Infinite-State Systems (AVIS'2001), joint to FME'01, Naval Research Laboratory Technical Memorandum},
address = {Berlin, Germany},
month = mar,
year = 2001,

}

@inproceedings{bdjk00b:ip,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise and Darlot, Christophe and Julliand, Jacques and Kouchnarenko, Olga},
title = {Reformulation: a Way to Combine Dynamic Properties and {B} Refinement},
booktitle = {FME 2001 (Formal Methods Europe)},
series = {LNCS},
volume = 2021,
publisher = {Springer},
pages = {2--19},
address = {Berlin, Germany},
month = mar,
year = 2001,

}

@inproceedings{bt01a:bl,
inhal = {no},
author = {Betbeder, Marie-Laure and Tchounikine, P.},
title = {Analyse d'une activit\'e m\'ediatis\'ee collective visant \`a favoriser la cr\'eation d'une communaut\'e d'apprenants},
booktitle = {Actes de Ing\'enierie des Connaissances (IC~2001)},
editor = {Charlet, J.},
publisher = {PUG},
pages = {389--408},
address = {Grenoble, France},
month = jun,
year = 2001,

}

@inproceedings{chanier01d:onp,
inhal = {no},
author = {Chanier, Thierry},
title = {Cr\'eer des communaut\'es d'apprentissage \`a distance},
booktitle = {Les communaut\'es en ligne},
series = {Les dossiers de l'Ing\'enierie Educative},
number = 36,
address = {Montrouge, France},
pages = {56--59},
month = oct,
year = 2001,

}

@inproceedings{cmb01:ip,
inhal = {no},
author = {Coquil, D. and Mostefaoui, Ahmed and Brunie, L.},
title = {Semantic Optimized Heuristics for Multimedia Databases Caching and Prefetching},
booktitle = {Proceedings of SPIE's Multimedia Systems and Applications},
volume = 4518,
pages = {Session~3 - num.~15},
address = {Denver, United States},
month = aug,
year = 2001,

}

@inproceedings{dj01:onp,
inhal = {no},
author = {Damy, Sylvie and Jacques, Isabelle},
title = {Conception d'une plate-forme p\'edagogique pour un enseignement en ligne},
booktitle = {CETSIS'2001},
address = {Universit\'e Blaise Pascal, Clermont-Ferrand II},
isbn = {2-9517528-0-6 CNRS et IEEE},
pages = {121--124},
month = oct,
year = 2001,

}

@inproceedings{dvt01:bl,
inhal = {no},
author = {Dedu, Eugen and Vialle, S. and Timsit, C.},
title = {Parallelisation of Wave Propagation Algorithms for Odour Propagation in Multi-Agent Systems},
booktitle = {Advanced Environments, Tools and Applications for Cluster Computing (IWCC)},
series = {LNCS},
volume = 2326,
pages = {92--102},
year = 2001,
editor = {Grigoras, Dan and Nicolau, Alex and Toursel, Bernard and Folliot, Bertil},
address = {Mangalia, Romania},
month = sep,
organization = {NATO},
publisher = {Springer},
abstract = {Multi-agent systems are a model of distributed computing. Agents perceve their environment and a classical agent percept is a kind of odour sensing. The odour is spread in the environment by resources, and is simulated by a value which increases as the agent approaches the resource. A useful model of odour propagation is the wave propagation model. This article discusses some sequential and parallel methods to implement it. The mixing between these sequential and parallel methods is also shown, and the performance of some of them on two shared-memory parallel architectures is introduced.},

}

@inproceedings{dl01:ip,
inhal = {no},
author = {Dhoutaut, Dominique and Laiymani, David},
title = {A {CORBA}-based architecture for parallel applications: experimentations with the {WZ} factorization},
booktitle = {CCGrid'01, Special Session on Object Technologies for Cluster Computing},
pages = {646--651},
address = {Brisbane, Australia},
publisher = {IEEE Computer Society Press},
month = may,
year = 2001,

}

@inproceedings{fdlt01:bl,
inhal = {no},
author = {Felea, Violeta and Devesa, N. and Lecouffe, P. and Toursel, B.},
title = {{E}xpressing {P}arallelism in {J}ava {A}pplications {D}istributed on {C}lusters},
booktitle = {Advanced Research Workshop Romania 2001 - Advanced Environments, Tools and Applications for Cluster Computing},
pages = {249--258},
address = {Mangalia, Roumanie},
series = {LNCS},
volume = 2326,
month = sep,
year = 2001,

}

@inproceedings{ftd01:bl,
inhal = {no},
author = {Felea, Violeta and Toursel, B. and Devesa, N.},
title = {{L}es collections distribu\'ees~: un outil pour la conception d'applications {J}ava parall\`eles},
booktitle = {Rencontres Francophones du Parall\'elisme des Architectures et des Syst\`emes (RenPar'13)},
pages = {97--102},
address = {Paris, France},
month = apr,
year = 2001,

}

@inproceedings{garcia01b:np,
inhal = {no},
author = {Garcia, Eric},
title = {Gestion des m\'edia continus dans les environnements distribu\'es ouverts},
booktitle = {Actes de la Conf\'erence Nationale RenPar'13, Rencontres Francophones du Parall\'elisme},
pages = {195--200},
address = {Paris, France},
month = apr,
year = 2001,

}

@inproceedings{glst01:ip,
inhal = {no},
author = {Garcia, Eric and Lapayre, Jean-Christophe and Sureswaran, R. and Tharmaraj, K.},
title = {Centralized or Distributed Algorithm for Concurrency Management in Multimedia Conferencing Systems},
booktitle = {Proceedings of the Asia Pacific Advanced Network international conference, APAN 2001},
pages = {108--119},
address = {Penang, Malaysia},
month = aug,
year = 2001,

}

@inproceedings{gc01:bl,
inhal = {no},
author = {Godart, C. and Canalda, Philippe},
title = {Asynchronous Coordination of Virtual Teams in Creative Applications (co-design or co-engineering) - Requirements and design criteria},
booktitle = {IEEE International Workshop on Information Technology for Virtual Enterprises (ITVE'01)},
pages = {135--142},
address = {Queensland, Australia},
month = jan,
year = 2001,

}

@inproceedings{gdkc01:np,
inhal = {no},
author = {Gras, R\'egis and Diday, E. and Kuntz, P. and Couturier, Rapha\"el},
title = {Variables sur intervalles et variables intervalles en analyse statistique implicative},
booktitle = {Soci\'et\'e Francophone de Classification, SFC'2001},
pages = {166--173},
address = {Guadeloupe, France},
month = dec,
year = 2001,

}

@inproceedings{gkcg01:np,
inhal = {no},
author = {Gras, R\'egis and Kuntz, P. and Couturier, Rapha\"el and Guillet, F.},
title = {Une version entropique de l'intensit\'e d'implication pour les corpus volumineux},
booktitle = {Journ\'ees Extraction et Gestion des Connaissances},
pages = {69--80},
address = {Nantes, France},
month = jan,
year = 2001,

}

@inproceedings{ht01d:ip,
inhal = {no},
author = {Hammad, Ahmed and Tatibou\"et, Bruno},
title = {Formal and visual specification language},
booktitle = {Information System Engineering (ISE'2001)},
address = {Las Vegas, United States},
pages = {173--179},
month = jun,
year = 2001,

}

@inproceedings{ht01b:np,
inhal = {no},
author = {Hammad, Ahmed and Tatibou\"et, Bruno},
title = {Mod\'elisation orient\'ee objet et sp\'ecification formelle d'une application industrielle},
booktitle = {Conf\'erence Internationale sur la Productique, CIP'2001},
address = {Algiers, Algeria},
pages = {50--54},
month = jun,
year = 2001,

}

@inproceedings{ht01a:np,
inhal = {no},
author = {Hammad, Ahmed and Tatibou\"et, Bruno},
title = {Sp\'ecifications formelles et semi-formelles : l'exemple du robot type},
booktitle = {Fifth International Symposium on Programming and Systems (ISPS'2001)},
address = {Algiers, Algeria},
pages = {229--240},
month = may,
year = 2001,

}

@inproceedings{ht00:ip,
inhal = {no},
author = {Housni, Ahmed and Tr\'ehel, Michel},
title = {A New Distributed Mutual Exclusion Algorithm for two Groups},
booktitle = {ACM Symposium on Applied Computing (SAC'2001)},
pages = {531--538},
address = {Las Vegas, United States},
month = mar,
year = 2001,

}

@inproceedings{ht01b:ip,
inhal = {no},
author = {Housni, Ahmed and Tr\'ehel, Michel},
title = {Distributed mutual exclusion by groups based on token and permission},
booktitle = {AICCSA (ACS/IEEE International Conference on Computer Systems and Applications), sponsored by ACM SIGART},
pages = {253--259},
address = {Beirut, Liban},
month = jun,
year = 2001,

}

@inproceedings{hufflen01a:oip,
inhal = {no},
author = {Hufflen, Jean-Michel},
title = {Expressing Anna Constructions in Casl},
booktitle = {WADT'2001},
address = {Genova, Italie},
note = {Extended abstract},
month = apr,
year = 2001,

}

@inproceedings{hufflenO1b:oip,
inhal = {no},
author = {Hufflen, Jean-Michel},
title = {{MlBibTeX}~: a New Implementation of {BibTeX}},
booktitle = {Proc. of EuroTeX'2001},
pages = {74--94},
address = {Kerkrade, Netherlands},
month = sep,
year = 2001,

}

@inproceedings{lbp01:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Legeard, Bruno and Bouquet, Fabrice and Peureux, Fabien},
title = {{B-Testing-Tool}~: un environnement pour la validation fonctionnelle d'applications critiques (pr\'esentation et \'etude de cas industriel)},
booktitle = {Actes de AFIS'2001, 2\`eme Conf\'erence Annuelle d'Ing\'eni\'erie Syst\`eme},
pages = {141--147},
address = {Toulouse, France},
month = jun,
year = 2001,

}

@inproceedings{lp01a:ip,
inhal = {no},
author = {Legeard, Bruno and Peureux, Fabien},
title = {Generation of functional test sequences from {B} formal specifications - Presentation and industrial case-study},
booktitle = {Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001)},
publisher = {IEEE Computer Society Press},
pages = {377--381},
address = {San Diego, United States},
month = nov,
year = 2001,

}

@inproceedings{lp01b:np,
inhal = {no},
author = {Legeard, Bruno and Peureux, Fabien},
title = {G\'en\'eration de s\'equences de test \`a partir d'une sp\'ecification {B} en {PLC} ensembliste},
booktitle = {Actes du Congr\`es AFADL 2001, (Approches Formelles pour l'Aide au D\'eveloppement de Logiciels)},
pages = {113--130},
address = {Nancy, France},
month = jun,
year = 2001,

}

@inproceedings{lqs01:np,
inhal = {no},
author = {Lombard, Fr\'ed\'eric and Quinson, M. and Suter, F.},
title = {Une approche extensible des serveurs de calcul},
booktitle = {Actes de la Conf\'erence Nationale RenPar'13, Rencontres Francophones du Parall\'elisme},
pages = {79--84},
address = {Paris, France},
month = apr,
year = 2001,

}

@inproceedings{rc01:np,
inhal = {no},
author = {Reffay, Christophe and Chanier, Thierry},
title = {{CUMULI}~: construction d'une m\'emoire du groupe dans l'interaction en {FAD}},
booktitle = {Actes de la Conf\'erence EIAO 2001 (Environnements Interactifs d'Apprentissage avec Ordinateur)},
series = {Sciences et Techniques \'educatives},
volume = 8,
pages = {155--158},
publisher = {Hermes},
address = {Paris, France},
url = {http://archive-edutice.ccsd.cnrs.fr/edutice-00000056},
pdf = {http://lifc.univ-fcomte.fr/RECHERCHE/P7/pub/ITS02/reffayIts.pdf},
abstract = {En formation à distance il devient possible de mettre en oeuvre certains modèles constructivistes et collaboratifs de lâapprentissage. Après avoir donné un aperçu des différents outils de communication asynchrone, nous en présentons les limites. Nous tentons de définir une situation idéale d'apprentissage pour en faire ressortir les difficultés de mise en oeuvre avec les outils existants. Pour faire face à certaines de ces difficultés, nous proposons ici un nouvel outil 'CUMULI', en cours de développement et dont nous donnons quelques spécifications. Cet outil se veut avant tout un animateur des interactions au sein dâun groupe dâapprenants. Il gère dynamiquement les profils des apprenants (intérêt et compétence) pour assurer un routage pédagogique des questions.},
month = apr,
year = 2001,

}

@inproceedings{sph01:bl,
inhal = {no},
author = {Salomon, Michel and Perrin, G.-R. and Heitz, F.},
title = {Differential evolution for medical image registration},
editor = {Arabnia, H.R.},
booktitle = {International Conference on Artificial Intelligence IC-AI'2001},
volume = 2,
publisher = {CSREA Press},
pages = {123--129},
address = {Las Vegas, USA},
month = jun,
year = 2001,

}

@inproceedings{th01:np,
inhal = {no},
author = {Tatibou\"et, Bruno and Hammad, Ahmed},
title = {Une Utilisation conjointe de {B} et {UML} sur l'\'etude de cas d'un robot},
booktitle = {2\`eme conf\'erence d'ing\'enierie Syst\`eme, AFIS~2001},
pages = {285--290},
address = {Toulouse, France},
month = jun,
year = 2001,

}

@inproceedings{tv01:oip,
inhal = {no},
author = {Tatibou\"et, Bruno and Voisinet, Jean-Christophe},
title = {{jBTools} and {B2UML}: a platform and a tool to provide a {UML} Class Diagram since a {B} specification},
booktitle = {ICSSEA 2001, 14th International Conference on Software \& Systems Engineering and Their Applications, Session 8-3, Formal Methods},
volume = 2,
address = {France, Paris},
month = dec,
year = 2001,

}

@inproceedings{th01b:ip,
inhal = {no},
author = {Tr\'ehel, Michel and Housni, Ahmed},
title = {Comparison of some techniques in prioritized mutual exclusion algorithms by groups},
booktitle = {PDCAT 2001 (International Conference on Parallel and Distributed Computing Applications and Techniques), sponsored by ACM Taipei Chapter and IEEE Taipei Chapter},
address = {Taipei, Taiwan},
pages = {259--264},
month = jul,
year = 2001,

}

@inproceedings{th01a:ip,
inhal = {no},
author = {Tr\'ehel, Michel and Housni, Ahmed},
title = {The Prioritized and Distributed Synchronization in the Structured Groups},
booktitle = {ICCS 2001, International Conference on Computational Science},
series = {LNCS},
volume = 2073,
pages = {294--303},
address = {San Francisco, United States},
month = may,
year = 2001,

}