Back to INDEX

  Publications of year 2001  

Articles in journal or book chapters
  1. Jacques Bahi and J. Gaber. Analysis of randomized on-line load distribution for tree structured computations. Studia Informatica Universalis, 1(1):23--36, 2001. [bibtex]


  2. Jacques Bahi, K. Rhofir, and J.-C. Miellou. Parallel solution of linear DAEs by mutisplitting waveform relaxation methods. Linear Algebra and applications, 332-334:181--196, 2001. [bibtex]


  3. A. Bonhomme and Ahmed Mostefaoui. Serveurs Multimédias : concepts de base et prototypes. TSI (Technique et Science Informatiques, 20(8):983--1018, 2001. [bibtex]


  4. E. Caron, S. Chaumette, Sylvain Contassot-Vivier, F. Desprez, E. Fleury, C. Gomez, M. Goursat, E. Jeannot, D. Lazure, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, M. Quinson, P. Ramet, J. Roman, F. Rubi, S. Steer, F. Suter, and G. Utard. Scilab to Scilab, the OURAGAN project. Parallel Computing, 11(27):1497--1519, 2001. [bibtex]


  5. Pascal Chatonnay, Huah-Yong Chan, and Laurent Philippe. Evaluation of a multicriteria method to optimize resource access in distributed object systems. Journal of Parallel and Distributed Computing Practices, 3(1):21--32, 2001. [bibtex]


  6. Sylvain Contassot-Vivier and Jacques Bahi. Convergence dans les systèmes booléens asynchrones et applications aux réseaux de Hopfield. RSRCP (Réseaux et Systèmes Répartis, Calculateurs Parallèles), Numéro thématique : Algorithmes itératifs parallèles et distribués, 13(1):107--124, 2001. [bibtex]


  7. Raphaël Couturier. Subjects categories contribution in the implicative and the similarity analysis. In Learning in mathematics and science and educational technology, volume 2, pages 369--376. University of cyprus, 2001. Note: ISBN: 9963-8251-2-5. [bibtex]


  8. Raphaël Couturier and François Spies. Extraction de racines dans des polynômes creux de degré élevé. RSRCP (Réseaux et Systèmes Répartis, Calculateurs Parallèles), Numéro thématique : Algorithmes itératifs parallèles et distribués, 13(1):67--81, 2001. [bibtex]


  9. Eric Garcia. Un protocole de communication de groupe intégré à une plateforme coopérative Multimédia. TSI (Technique et Science Informatiques), 20(5):677--699, 2001. [bibtex]


  10. Eric Garcia, Jean-Christophe Lapayre, Fabien Renard, and Tafsir Ba. CaliF Multimédia : une plate-forme à objets pour le développement de téléapplications Multimédia. RSRCP (Réseaux et Systèmes Répartis, Calculateurs Parallèles), 13(22-3):295--318, 2001. [bibtex]


  11. Hervé Guyennet and Jean-Christophe Lapayre. The group approach in cooperative work and in load balancing. Journal of Parallel and Distributed Computing Practices, 2(3):285--297, 2001. [bibtex]


  12. Jean-Michel Hufflen. Vers une extension multilingue de BibTeX. Cahiers GUTemberg, 39:127--142, May 2001. [bibtex]


  13. Pierre-Cyrille Héam. Some Topological Properties of Rational Sets. Journal of Automata, Languages and Combinatorics, 6:275--290, 2001. [bibtex]


  14. Jacques Julliand, Pierre-Alain Masson, and Hassan Mountassir. Vérification par model-checking modulaire des propriétés dynamiques introduites en B. TSI (Technique et Science Informatiques), 20(7):927--957, 2001. [bibtex]


  15. Michel Salomon. Parallélisation de l'évolution diffférentielle pour le recalage rigide d'images médicales volumiques. TSI (Technique et Science Informatiques), 20(5):605--627, 2001. [bibtex]


  16. Michel Tréhel, P. Gradit, and Alain Giorgetti. Performances d'un algorithme distribué d'exclusion mutuelle en cas de non-équiprobabilité des requêtes des processus. RSRCP (Réseaux et Systèmes Répartis, Calculateurs Parallèles), Numéro spécial Evaluation quantitative des performances des réseaux et systèmes, 13(6):557--573, 2001. [bibtex]


Conference articles
  1. Tafsir Ba, Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and N. Zerhouni, R. Zemouri. TEMIC: Industrial Cooperative Tele-Maintenance. In 29th ICC&IE Int. Conf. on Computers and Industrial Engineering, Montréal, Canada, pages 465--470, November 2001. [bibtex]


  2. Tafsir Ba and Jean-Christophe Lapayre. GENeric InterfacE for telecomputing. In Conference ISAS SCI01, Orlando, Floride, United States, pages 294--298, July 2001. [bibtex]


  3. Jacques Bahi and J. Gaber. Load Balancing on networks with dynamically changing topology. In Europar 2001, volume 2150 of LNCS, Manchester, United Kingdom, pages 175--182, August 2001. Springer. [bibtex]


  4. Yohann Bardin, Sylvie Damy, and Bénédicte Herrmann. Un service de médiation pour les applications réparties à base de composants. In Journées Composants : flexibilité du système au langage, Besançon, France, pages 67--76, October 2001. [bibtex]


  5. Françoise Bellegarde, Célina Charlet, and Olga Kouchnarenko. Raffiner pour vérifier une classe de systèmes paramétrès. In Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels), Nancy, France, pages 189--204, June 2001. [bibtex]


  6. Françoise Bellegarde, Samir Chouali, Jacques Julliand, and Olga Kouchnarenko. Comment limiter la spécification de l'équité dans les systèmes d'événements B ?. In Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels), Nancy, France, pages 205--220, June 2001. [bibtex]


  7. Françoise Bellegarde, Christophe Darlot, Jacques Julliand, and Olga Kouchnarenko. How to Verify LTL perperties of Infinite Refined Systems by Proof and Model-Checking Cooperation. In Proc. of the Int. Workshop on Automated Verification of Infinite-State Systems (AVIS'2001), joint to FME'01, Naval Research Laboratory Technical Memorandum, Berlin, Germany, March 2001. [bibtex]


  8. Françoise Bellegarde, Christophe Darlot, Jacques Julliand, and Olga Kouchnarenko. Reformulation: a Way to Combine Dynamic Properties and B Refinement. In FME 2001 (Formal Methods Europe), volume 2021 of LNCS, Berlin, Germany, pages 2--19, March 2001. Springer. [bibtex]


  9. Marie-Laure Betbeder and P. Tchounikine. Analyse d'une activité médiatisée collective visant à favoriser la création d'une communauté d'apprenants. In J. Charlet, editor, Actes de Ingénierie des Connaissances (IC 2001), Grenoble, France, pages 389--408, June 2001. PUG. [bibtex]


  10. Thierry Chanier. Créer des communautés d'apprentissage à distance. In Les communautés en ligne, number 36 of Les dossiers de l'Ingénierie Educative, Montrouge, France, pages 56--59, October 2001. [bibtex]


  11. D. Coquil, Ahmed Mostefaoui, and L. Brunie. Semantic Optimized Heuristics for Multimedia Databases Caching and Prefetching. In Proceedings of SPIE's Multimedia Systems and Applications, volume 4518, Denver, United States, pages Session 3 - num. 15, August 2001. [bibtex]


  12. Sylvie Damy and Isabelle Jacques. Conception d'une plate-forme pédagogique pour un enseignement en ligne. In CETSIS'2001, Université Blaise Pascal, Clermont-Ferrand II, pages 121--124, October 2001. [bibtex]


  13. Eugen Dedu, S. Vialle, and C. Timsit. Parallelisation of Wave Propagation Algorithms for Odour Propagation in Multi-Agent Systems. In Dan Grigoras, Alex Nicolau, Bernard Toursel, and Bertil Folliot, editors, Advanced Environments, Tools and Applications for Cluster Computing (IWCC), volume 2326 of LNCS, Mangalia, Romania, pages 92--102, September 2001. NATO, Springer. [Abstract] [bibtex]


  14. Dominique Dhoutaut and David Laiymani. A CORBA-based architecture for parallel applications: experimentations with the WZ factorization. In CCGrid'01, Special Session on Object Technologies for Cluster Computing, Brisbane, Australia, pages 646--651, May 2001. IEEE Computer Society Press. [bibtex]


  15. Violeta Felea, N. Devesa, P. Lecouffe, and B. Toursel. Expressing Parallelism in Java Applications Distributed on Clusters. In Advanced Research Workshop Romania 2001 - Advanced Environments, Tools and Applications for Cluster Computing, volume 2326 of LNCS, Mangalia, Roumanie, pages 249--258, September 2001. [bibtex]


  16. Violeta Felea, B. Toursel, and N. Devesa. Les collections distribuées : un outil pour la conception d'applications Java parallèles. In Rencontres Francophones du Parallélisme des Architectures et des Systèmes (RenPar'13), Paris, France, pages 97--102, April 2001. [bibtex]


  17. Eric Garcia. Gestion des média continus dans les environnements distribués ouverts. In Actes de la Conférence Nationale RenPar'13, Rencontres Francophones du Parallélisme, Paris, France, pages 195--200, April 2001. [bibtex]


  18. Eric Garcia, Jean-Christophe Lapayre, R. Sureswaran, and K. Tharmaraj. Centralized or Distributed Algorithm for Concurrency Management in Multimedia Conferencing Systems. In Proceedings of the Asia Pacific Advanced Network international conference, APAN 2001, Penang, Malaysia, pages 108--119, August 2001. [bibtex]


  19. C. Godart and Philippe Canalda. Asynchronous Coordination of Virtual Teams in Creative Applications (co-design or co-engineering) - Requirements and design criteria. In IEEE International Workshop on Information Technology for Virtual Enterprises (ITVE'01), Queensland, Australia, pages 135--142, January 2001. [bibtex]


  20. Régis Gras, E. Diday, P. Kuntz, and Raphaël Couturier. Variables sur intervalles et variables intervalles en analyse statistique implicative. In Société Francophone de Classification, SFC'2001, Guadeloupe, France, pages 166--173, December 2001. [bibtex]


  21. Régis Gras, P. Kuntz, Raphaël Couturier, and F. Guillet. Une version entropique de l'intensité d'implication pour les corpus volumineux. In Journées Extraction et Gestion des Connaissances, Nantes, France, pages 69--80, January 2001. [bibtex]


  22. Ahmed Hammad and Bruno Tatibouët. Formal and visual specification language. In Information System Engineering (ISE'2001), Las Vegas, United States, pages 173--179, June 2001. [bibtex]


  23. Ahmed Hammad and Bruno Tatibouët. Modélisation orientée objet et spécification formelle d'une application industrielle. In Conférence Internationale sur la Productique, CIP'2001, Algiers, Algeria, pages 50--54, June 2001. [bibtex]


  24. Ahmed Hammad and Bruno Tatibouët. Spécifications formelles et semi-formelles : l'exemple du robot type. In Fifth International Symposium on Programming and Systems (ISPS'2001), Algiers, Algeria, pages 229--240, May 2001. [bibtex]


  25. Ahmed Housni and Michel Tréhel. A New Distributed Mutual Exclusion Algorithm for two Groups. In ACM Symposium on Applied Computing (SAC'2001), Las Vegas, United States, pages 531--538, March 2001. [bibtex]


  26. Ahmed Housni and Michel Tréhel. Distributed mutual exclusion by groups based on token and permission. In AICCSA (ACS/IEEE International Conference on Computer Systems and Applications), sponsored by ACM SIGART, Beirut, Liban, pages 253--259, June 2001. [bibtex]


  27. Jean-Michel Hufflen. Expressing Anna Constructions in Casl. In WADT'2001, Genova, Italie, April 2001. Note: Extended abstract. [bibtex]


  28. Jean-Michel Hufflen. MlBibTeX : a New Implementation of BibTeX. In Proc. of EuroTeX'2001, Kerkrade, Netherlands, pages 74--94, September 2001. [bibtex]


  29. Bruno Legeard, Fabrice Bouquet, and Fabien Peureux. B-Testing-Tool : un environnement pour la validation fonctionnelle d'applications critiques (présentation et étude de cas industriel). In Actes de AFIS'2001, 2ème Conférence Annuelle d'Ingéniérie Système, Toulouse, France, pages 141--147, June 2001. [bibtex]


  30. Bruno Legeard and Fabien Peureux. Generation of functional test sequences from B formal specifications - Presentation and industrial case-study. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), San Diego, United States, pages 377--381, November 2001. IEEE Computer Society Press. [bibtex]


  31. Bruno Legeard and Fabien Peureux. Génération de séquences de test à partir d'une spécification B en PLC ensembliste. In Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels), Nancy, France, pages 113--130, June 2001. [bibtex]


  32. Frédéric Lombard, M. Quinson, and F. Suter. Une approche extensible des serveurs de calcul. In Actes de la Conférence Nationale RenPar'13, Rencontres Francophones du Parallélisme, Paris, France, pages 79--84, April 2001. [bibtex]


  33. Christophe Reffay and Thierry Chanier. CUMULI : construction d'une mémoire du groupe dans l'interaction en FAD. In Actes de la Conférence EIAO 2001 (Environnements Interactifs d'Apprentissage avec Ordinateur), volume 8 of Sciences et Techniques éducatives, Paris, France, pages 155--158, April 2001. Hermes. [Abstract] [bibtex]


  34. Michel Salomon, G.-R. Perrin, and F. Heitz. Differential evolution for medical image registration. In H.R. Arabnia, editor, International Conference on Artificial Intelligence IC-AI'2001, volume 2, Las Vegas, USA, pages 123--129, June 2001. CSREA Press. [bibtex]


  35. Bruno Tatibouët and Ahmed Hammad. Une Utilisation conjointe de B et UML sur l'étude de cas d'un robot. In 2ème conférence d'ingénierie Système, AFIS 2001, Toulouse, France, pages 285--290, June 2001. [bibtex]


  36. Bruno Tatibouët and Jean-Christophe Voisinet. jBTools and B2UML: a platform and a tool to provide a UML Class Diagram since a B specification. In ICSSEA 2001, 14th International Conference on Software & Systems Engineering and Their Applications, Session 8-3, Formal Methods, volume 2, France, Paris, December 2001. [bibtex]


  37. Michel Tréhel and Ahmed Housni. Comparison of some techniques in prioritized mutual exclusion algorithms by groups. In PDCAT 2001 (International Conference on Parallel and Distributed Computing Applications and Techniques), sponsored by ACM Taipei Chapter and IEEE Taipei Chapter, Taipei, Taiwan, pages 259--264, July 2001. [bibtex]


  38. Michel Tréhel and Ahmed Housni. The Prioritized and Distributed Synchronization in the Structured Groups. In ICCS 2001, International Conference on Computational Science, volume 2073 of LNCS, San Francisco, United States, pages 294--303, May 2001. [bibtex]


Books and proceedings
  1. Hervé Guyennet, editor. Les Télés-Applications, volume 13(2-3) of Calculateurs Parallèles - Numéro Spécial, 2001. Hermes. [bibtex]


  2. Hervé Guyennet, editor. Programmation et système parallèles : tendances actuelles, volume 20(5) of TSI, Technique et Science Informatiques - Numéro Spécial, 2001. Hermes. [bibtex]


Internal reports
  1. Fabrice Ambert, Fabrice Bouquet, Bruno Legeard, Benoit Parreaux, J. Vincent, B. Bottela, and A. Gotlieb. Génération de tests dans le cas de structures dynamiques. Compte rendu d'avancement 1, RNTL INKA, Thales, July 2001. Note: 23 pages. [bibtex]


  2. Jean-Luc Anthoine, David Laiymani, and Jean-Marc Nicod. Parallélisation du code de chimie quantique Démon. Rapport de fin de contrat, CEA, March 2001. Note: 30 pages. [bibtex]


  3. E. Caron, S. Chaumette, Sylvain Contassot-Vivier, F. Desprez, E. Fleury, C. Gomez, M. Goursat, E. Jeannot, D. Lazure, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, M. Quinson, P. Ramet, J. Roman, F. Rubi, S. Steer, F. Suter, and G. Utard. Scilab to Scilab//: the OURAGAN Project.. Research report RR-4203, Institut National de Recherche en Informatique et en Automatique (INRIA), June 2001.
    Keywords: Scilab//. [bibtex]


  4. Thierry Chanier, Jérome Nicolet, and S. Torrent. Projet ICOGAD, programme Cognitique, MRT. Technical report R-01.03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, 2001. Note: Rapports sur la formation Simuligne : Rap1/0102 Formation Simuligne : descriptif général, 29 pages ; Rap2/0105 Formation Simuligne : consignes tuteurs et apprenants pour le descriptif général, les étapes E0 et E1, PrepInterculture, 104 pages ; Rap3/0105 Formation Simuligne : consignes tuteurs et apprenants pour le descriptif général, les étapes E2 et E3, Interculture, 101 pages. [bibtex]


  5. Jacques Julliand, Franck Lebeau, and M.-P. Stuchlick. Formalisation et expressivité des propriétés vérifiables avec ObjectGéode et StateMate. Livrable Num. 1 969, PSA, December 2001. Note: 90 pages. [bibtex]


  6. Bruno Legeard, Fabien Peureux, Laetitia Gaspari, and N. Caritey. Modélisation formelle et tests - Application Ticket Métro/RER. Rapport de fin de contrat, Schlumberger Terminaux Urbains et Systèmes, June 2001. Note: 87 pages. [bibtex]


  7. Aloïs Mbala. SIGFAD : Un système multi-agents pour le soutien des interactions dans la Formation à Distance. Technical report R-01.02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2001. Note: Rap5/010 du Projet ICOGAD, programme Cognitique, 95 pages. [bibtex]


  8. Christophe Reffay. SimuDonnées : la base de données de SimuLigne. Technical report R-01.01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2001. Note: 56 pages + 62 pages d'annexes. [bibtex]


Other publications
  1. Jacques Bahi. Asynchronous algorithms. Standard and non standard cases. Séminaire à l'occasion d'une invitation d'une semaine, par le professeur B. Monien, à l'Université de Paderborn, Allemagne, November 2001. [bibtex]


  2. Julien Bourgeois. Prédiction de performances d'applications réparties : Etat de l'art et nouveaux développements, 2001. Note: 7ème Atelier d'Evaluation de Performances, Ecole Normale Supérieure, Paris. [bibtex]


  3. Thierry Chanier. Apprentissage collaboratif à distance en langue : le projet ICOGAD. Note: Organisé par F. Demaizière et J.-P. Narcy, December 2001. [bibtex]


  4. Thierry Chanier. Individu et groupe d'apprentissage dans la formation à distance médiatisée par les SIC, 2001. Note: Séminaire Hypermédias, éduction et formation, LIP6 Université Paris 6, IUFM Caen et INRP, organisé par E. Bruillard, G.L. Baron et B. De la Passardière. [bibtex]


  5. Thierry Chanier. Interactions dans des groupes d'apprentissage dans les plates-formes de télé-apprentissage collaboratif, December 2001. Note: Séminaire du laboratoire d'informatique LIUM, Université du Mans. [bibtex]


  6. Pierre-Cyrille Héam. Automates finis et topologie. Séminaire invité à l'Université de Rouen, October 2001. [bibtex]


  7. Pierre-Cyrille Héam. Idéaux de mélanges. Séminaire invité à l'Université de Marne-la-Vallée, October 2001. [bibtex]


  8. Pierre-Cyrille Héam. Idéaux de mélanges. Séminaire invité à l'Université Paris 7, December 2001. [bibtex]


  9. Pierre-Cyrille Héam. On languages of level 1/2 in ST hierarchy. Séminaire invité à l'Université de Porto (Portugal), December 2001. [bibtex]


  10. Jean-Marc Nicod. DIET : Distributed Interactive Engineering Toolbox. Invited Talk at Management of Metacomputers, Seminar N. 01241, Report N. 310, Dagstuhl, Germany, May 2001. [bibtex]


  11. François Spies, Julien Bourgeois, and Hervé Guyennet. Performance Prediction of Parallel Programs using ChronosMix Environment. Invited Talk at the 5th Int. Conf. on Computing Anticipatory Systems, CASYS'2001, Liege, Belgique, August 2001. [bibtex]


  12. Bruno Tatibouët. La plate forme jBTools, October 2001. Note: Journées outils pour et autour de B, INRETS, Lille, France. [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html