Back to INDEX

  Publications of year 2002  

Articles in journal or book chapters
  1. Jacques Bahi and Sylvain Contassot-Vivier. Stability of fully asynchronous discrete-time discrete-state dynamic networks. IEEE Transactions on Neural Networks, 13(6):1353--1363, 2002. [bibtex]


  2. Françoise Bellegarde, Célina Charlet, and Olga Kouchnarenko. Raffiner pour vérifier des systèmes paramètrés. TSI (Technique et Science Informatiques), 8(21):1121--1149, 2002. [bibtex]


  3. E. Caron, F. Desprez, E. Fleury, Frédéric Lombard, Jean-Marc Nicod, M. Quinson, and F. Suter. Une approche hiérarchique des serveurs de calcul. In F. Baude, editor, Calcul réparti à grande échelle, pages 129--151. Hermes, 2002.
    Keywords: Metacomputing, DIET. [bibtex]


  4. Patrice Clemente. Vers le dialogue homme machine multimodal par les agents intelligents. In C. Kintzig, G. Poulain, G. Privat, and P.-N. Favennec, editors, Objets Communicants, Collection Scientifique des Télécommunications, pages 43--61. Hermes, 2002. Note: Isbn 2-7462-0475-4. [bibtex]


  5. Sylvain Contassot-Vivier, Frédéric Lombard, Jean-Marc Nicod, and Laurent Philippe. Evaluation of the DIET hierarchical metacomputing architecture. Parallel and Distributed Computing Practices. Special Issue on Parallel Numeric Algorithms on Faster Computers, 5(4):64--76, December 2002. [bibtex]


  6. Karine Deschinkel, J.-L. Farges, and D. Delahaye. Optimization of Prices for Air Traffic Control. Transportation Research Part C, pp ***--***, 2002. [bibtex]


  7. Karine Deschinkel, J.-L. Farges, and D. Delahaye. Optimizing and Assigning Price Levels for Air Traffic Management. Special Issue of Transportation Research E, pp 221--237, June 2002. [bibtex]


  8. Pierre-Cyrille Héam. On Shuffle Ideals. Theoretical Informatics and Applications, 36:359--384, 2002. [bibtex]


  9. Bruno Legeard and Fabien Peureux. B-Testing-Tools : génération de tests aux limites à partir de spécifications B. TSI (Technique et Science Informatiques, 21(9):1189--1218, 2002. [bibtex]


  10. Ahmed Mostefaoui, H. Kosch, and L. Brunie. Semantic Based Prefetching in News-On-Demand Video Servers. Multimedia Tools and Applications Journal, 18(2):159--179, 2002. [bibtex]


  11. P. Spiteri, J.-C. Miellou, and Jacques Bahi. Evaluation of parameters for the optimization of SSOR and ADI preconditionning. Numerical Algorithms, 29:249--265, 2002. [bibtex]


Conference articles
  1. Fabrice Ambert, Fabrice Bouquet, Sébastien Chemin, Sébastien Guenaud, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, and Mark Utting. BZ-TT: A Tool-Set for Test Generation from Z and B using Constraint Logic Programming. In Proc. of Formal Approaches to Testing of Software, FATES 2002 (workshop of CONCUR'02), Brnö, République Tchèque, pages 105--120, August 2002. Note: INRIA report. [bibtex]


  2. Jacques Bahi, Sylvain Contassot-Vivier, and Raphaël Couturier. Asynchronism for iterative algorithms in global computing environment. In 16th Int. Symposium on High Performance Computing Systems and Applications, Moncton, Canada, pages 90--97, 2002. IEEE Computer Society Press. [bibtex]


  3. Jacques Bahi, Sylvain Contassot-Vivier, Raphaël Couturier, and Flavien Vernier. Asynchronisme et équilibrage de charge dans la grille de calcul. In Ecole d'hiver GRID 2002, Aussois, France, pages 365--373, December 2002. [bibtex]


  4. Jacques Bahi, J.-C. Miellou, and M. El Kyal. On the convergence of asynchronous waveform relaxation algorithms for differential equations. In Computational Mechanics using high performance computing conference, pages 117--133, 2002. Saxe-Coburg Publications. Note: ISBN: 1-874672-07-5. [bibtex]


  5. Françoise Bellegarde, Samir Chouali, and Jacques Julliand. Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions. In 2nd International Conference of B and Z Users, ZB2002, volume 2272 of LNCS, Grenoble, France, pages 477--496, January 2002. [bibtex]


  6. Françoise Bellegarde, Jacques Julliand, and Olga Kouchnarenko. Synchronized Parallel Composition of Event Systems in B. In 2nd International Conference of B and Z Users, ZB2002, volume 2272 of LNCS, Grenoble, France, pages 436--457, January 2002. [bibtex]


  7. Marie-Laure Betbeder and P. Tchounikine. Une expérience d'activité collective médiatisée via le Web dans une FOAD. In Actes de Technologies de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie (TICE 2002), Lyon, France, pages 263--271, November 2002. [bibtex]


  8. Fabrice Bouquet, Bruno Legeard, and Fabien Peureux. CLPS-B: A constraint solver for B. In Proceedings of the conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, ETAPS, volume 2280 of LNCS, Grenoble, France, pages 188--204, April 2002. Springer. [bibtex]


  9. Julien Bourgeois, Emmanuel Mory, and François Spies. NetMoVie: an architecture for adaptative multimedia transmission over wireless networks. In Proc. of the Int. Conf. on Parallel and Distributed Processing Techniques and Applications, PDPTA'02, Las Vegas, United States, pages 741--747, June 2002. CSREA Press. [bibtex]


  10. L. Brunie, L. Favory, J.-P. Gelas, A. Mostefaoui Lefèvre, and L. Nait-Abdesselam. SIRSALE: Integrated Video Databases Management Tools. In T. Zhang J.R. Smith, S. Panchanathan, editor, ITCOM'02: Internet Multimedia Management Systems, volume 4862, Boston, United States, pages 74--84, August 2002. SPIE Proceedings. [bibtex]


  11. Philippe Canalda, Pascal Chatonnay, and A.-J. Fougères. Pédagogie de Projets Tutorés Basée sur la Synchronisation de Fragments de Procédés Coopératifs : Motivations, Modélisation et Expérimentation. In Eddy N. Forte, editor, Conférence ARIADNE, volume 2-1, INSA Lyon, France, pages 85--94, November 2002. ARIADNE Foundation. [bibtex]


  12. Philippe Canalda and A.-J. Fougères. Un support pédagogique pour la gestion assistée de projets d'étudiants. In Colloque International Apprendre avec l'Ordinateur à l'École, CAOE 2002, Bordeaux, France, pages 12--20, January 2002. [bibtex]


  13. Philippe Canalda and A.-J. Fougères. iPédagogique : un environnement intégrant la gestion assistée de projets d'étudiants. In Colloque Technologies de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie - TICE 2002, Lyon, France, pages 421--422, November 2002. [bibtex]


  14. Philippe Canalda and C. Godart. Coopetitive Multi-Enterprise Process Modelling: principles and guidelines on reports. In Proc. of the 7th Maghrebian Conference on Computer Sciences, volume 11, Annaba, Algeria, pages 297--304, May 2002. [bibtex]


  15. E. Caron, F. Desprez, Frédéric Lombard, Jean-Marc Nicod, Laurent Philippe, M. Quinson, and F. Suter. A Scalable Approach to Network Enabled Servers. In B. Monien and R. Feldmann, editors, Proc. of the 8th Int. Conf. EuroPar 2002, volume 2400 of LNCS, Paderborn, Germany, pages 907--910, August 2002. Springer. [bibtex]


  16. Thierry Chanier. Building and supporting e-learning communities: The Simuligne experiment based on an online simulation. In EADTU (European Association for Distance Teaching Universities) annual conference on E-Learning For Europe, Changing curricula, creating competencies, Glamorgan, United Kingdom, April 2002. [bibtex]


  17. Célina Charlet. Regular refinement, property preservation and reformulation. In Summer School on Modelling and Verifying Parallel Processes, MOVEP'02, Nantes, France, pages 290--295, June 2002. [bibtex]


  18. Damien Charlet, Emmanuel Mory, Pascal Chatonnay, and François Spies. SysMoVie: Managing Interoperability in a Video Distribution Framework for Mobile Environment. In Proc. of the Int. Conf. on Parallel and Distributed Processing Techniques and Applications, PDPTA'02, Las Vegas, United States, pages 1824--1830, June 2002. CSREA Press. [bibtex]


  19. Patrice Clemente. Dialogue Personne-Machine : un modèle formel pour la référence multimodale. In Actes de Objets Communicants 2002, Workshop interne France Télécom, Autrans, France, pages 223--227, January 2002. [bibtex]


  20. P. Combes, Frédéric Lombard, M. Quinson, and F. Suter. A Scalable Approach to Network Enabled Servers. In A. Jean-Marie, editor, 7th Asian Computing Science Conference. Advances in Computing Science - ASIAN 2002, volume 2550 of LNCS, Hanoï, Vietman, pages 110--124, December 2002. Springer. [bibtex]


  21. Raphaël Couturier, Philippe Canalda, and François Spies. Iterative Algorithms on Heterogeneous Network Computing : Parallel Polynomial Root Extracting. In Sahni, Prasanna, and Shukla, editors, IEEE and ACM SIGARCH International Conference on High Performance Computing, HiPC 2002, volume 2552 of LNCS, Bangalore, India, pages 283--291, December 2002. Springer. [bibtex]


  22. R. David, S. Genaud, Arnaud Giersch, B. Schwarz, and E. Violard. Source Code Transformations Strategies to Load-balance Grid Applications. In M. Parashar, editor, GRID'2002, 3rd Int. Workshop on Grid Computing, volume 2536 of LNCS, Baltimore, MD, USA, pages 82--87, November 2002. Springer. [bibtex]


  23. Dominique Dhoutaut and I. Guérin-Lassous. Impact of Heavy Traffic Beyond Communication Range in Multi-Hops Ad Hoc Networks. In INC'02, 3rd International Network Conference, Plymouth, Angleterre, 2002. [bibtex]


  24. Violeta Felea. Exploiting Runtime Information in Load Balancing Strategies. In P. Kacsuk, D. Kranzlmüller, Z. Németh, and J. Volkert, editors, Distributed and Parallel Systems - Cluster and Grid Computing, Linz, Austria, pages 21--29, 2002. Kluwer. [bibtex]


  25. Violeta Felea and B. Toursel. Methodology for Java Distributed and Parallel Programming Using Distributed Collections. In Procs of Int. Parallel and Distributed Processing Symposium (IPDPS), pages 208, April 2002. [bibtex]


  26. Eric Garcia, Hervé Guyennet, and Jean-Christophe Lapayre. QoS Control Mechanism Evaluation to Design a Reliable Policy Repository. In Procs of the 5th IEEE Int. Conf. on High-Speed, Networks and Multimedia Communications HSNMC'02, Jeju Island, Korea, pages 300--304, July 2002. [bibtex]


  27. Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and David Fuin. Conception d'un module de gestion de la qualité de service sur une plate-forme multimedia. In Actes du Colloque Francophone sur l'Ingéniérie des Protocoles, CFIP'2002, Montréal, Canada, pages 473--486, May 2002. [bibtex]


  28. Ahmed Hammad, Bruno Tatibouët, and Jean-Christophe Voisinet. De la spécification B vers les diagrammes d'états-transitions UML. In 7ème MCSEAI 2002 (Maghrebian Conference of Software Engineering and Intelligence Artificial), Annaba, Algeria, pages 133-143, May 2002. [bibtex]


  29. Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, and Wu Weiping. From a B Specification to UML Statechart Diagrams. In 4th International Conference on Formal Engineering Methods (ICFEM'2002), volume 2495 of LNCS, Shanghaï, China, pages 511--522, October 2002. [bibtex]


  30. M. Hariti, N. Zerhouni, and Ahmed Hammad. Conception d'une base de données temps réels pour un système de production à partir du langage UML. In Actes des Journées d'Informatique pour l'Entreprise, JIEO1'02, Université de Blida, Algeria, pages 233--241, March 2002. [bibtex]


  31. Jean-Michel Hufflen. Lessons from a Bibliography Programs Reimplementation. In LDTA 2002, volume 65.3 of ENTCS, Grenoble, France, April 2002. [bibtex]


  32. Jean-Michel Hufflen. Multilingual Features for Bibliography Programs : from XML to MlBibTeX. In Euro TeX 2002, Bachotex, Poland, pages 46--59, May 2002. [bibtex]


  33. Jean-Michel Hufflen. Using Algebraic Specifications to Formalise Multilingual Features. In WADT'2002, Frauenchiemsee, Germany, September 2002. Note: Extended Abstract. Page 82. [bibtex]


  34. Christophe Lang, T. Thevenin, and Pascal Chatonnay. A pathfinding algorithm for a geo-statistical analysis of a public transportation network. In GIS-T, Atlanta, United States, 2002. Note: No Proceedings. [bibtex]


  35. V. Le and Hervé Guyennet. IPSec and DNSSEC to support GRID Application Security. In Workshop Security in 2nd IEEE/ACM Int. Symp. On Cluster Computing and the GRID, CCGrid'02, Berlin, Germany, pages 405--407, 2002. [bibtex]


  36. Bruno Legeard, Fabien Peureux, and Mark Utting. A Comparison of the LIFC/B and TTF/Z Test-Generation Methods. In 2nd International Conference of B and Z Users, ZB2002, volume 2272 of LNCS, Grenoble, France, pages 309--329, January 2002. [bibtex]


  37. Bruno Legeard, Fabien Peureux, and Mark Utting. Automated boundary testing from Z and B. In Proc. of the Int. Conf. on Formal Methods Europe, FME'02, volume 2391 of LNCS, Copenhaguen, Denmark, pages 21--40, July 2002. Springer. [bibtex]


  38. Mickaël Marche, Y.M. Quemener, and R. Groz. Testing Mobile Agents: SAM, a tool based on a simulation approach. In 14th International Conference on Testing of Communicating Systems (TestCom 2002), IFIP, Berlin, Germany, pages 95--110, March 2002. Kluwer. [bibtex]


  39. Aloïs Mbala. Specifying a multiagent system to support users, activities in Computer-Support Distance Learning. In T. Vidal and P. Liberatore, editors, Procs. of the 1st Starting Artificial Intelligence Researchers Symposium (STAIRS 2002), in conjunction with the European Conference on Artificial Intelligence (ECAI 2002), Lyon, France, pages 33--34, July 2002. IOS Press. [bibtex]


  40. Aloïs Mbala, Christophe Reffay, and Thierry Chanier. Integration of automatic tools for displaying interaction data in computer environments for distance learning. In S.A. Cerri, G. Guardères, and F. Paraguaçu, editors, ITS'02, Intelligent Tutoring System conference, volume 2363 of LNCS, France, pages 841--850, June 2002. Springer. [Abstract] [bibtex]


  41. Aloïs Mbala, Christophe Reffay, and T. Tamo. Le paradigme d'agent dans le développement des plates-formes informatiques de formation à distance. In Actes du premier séminaires sur les Technologies de l'Information et de la Communication et Formation à Distance, Yaoundé, Cameroun, pages 60--66, April 2002. Presses Universitaires de Yaoundé, Cameroun. [bibtex]


  42. J.-C. Miellou, Jacques Bahi, and M. Laaraj. A survey on asynchronous iterative methods. In Computational Mechanics using high performance computing conference, pages 95--115, 2002. Saxe-Coburg Publications. Note: ISBN: 1-874672-07-5. [bibtex]


  43. Ahmed Mostefaoui and L. Brunie. Optimizing Server I/O for Multimedia Presentations. In IEEE International Conference on Multimedia and Expo (ICME), Lausanne, Suisse, pages 21--25, August 2002. [bibtex]


  44. Ahmed Mostefaoui and L. Favory. Distributed Video Documents Indexing and Content-Based Retrieving. In Joint International Workshop on Interactive Distributed Multimedia Systems / Protocols for Multimedia Systems (in cooperation with ACM SIGMM and SIGCOM), volume 2515 of LNCS, Coimbra, Portugal, pages 190--201, November 2002. Springer. [bibtex]


  45. Ahmed Mostefaoui, L. Favory, and L. Brunie. SIRSALE: a Large Scale Video Indexing and Content-Based Retrieving System. In ACM Multimedia Conference 2002, Juan-Les-Pins, France, pages 251--254, December 2002. Note: Short Paper. [bibtex]


  46. Christophe Reffay and Thierry Chanier. Social Network Analysis Used for Modelling Collaboration in Distance Learning Groups. In S.A. Cerri, G. Guardères, and F. Paraguaçu, editors, Proceedings of Intelligent Tutoring System conference (ITS'02), volume 2363 of LNCS, France, pages 31--40, June 2002. Springer. [Abstract] [bibtex]


  47. Christophe Reffay, Thierry Chanier, and Jérome Nicolet. Produire ensemble pour apprendre : expérience d'une simulation globale en ligne. In Colloque national Apprendre avec l'Ordinateur, Bordeaux, France, pages 24, January 2002. Ecole CAOE, Université de Bordeaux 2. [bibtex]


  48. Michel Salomon, G.-R. Perrin, and F. Heitz. Parallel sampling with stochastic differential equations for 3D deformable matching of medical images. In H.R. Arabnia, editor, Parallel and Distributed Processing Techniques and Applications PDPTA'2002, volume 1, Las Vegas, USA, pages 40--48, June 2002. CSREA Press. [bibtex]


  49. Bruno Tatibouët and Ahmed Hammad. Génération de diagrammes de classes UML à partir de machines abstraites B. In Actes des Journées d'Informatique pour l'Entreprise, JIEO1'02, Université de Blida, Algeria, pages 6--17, March 2002. [bibtex]


  50. Bruno Tatibouët, Ahmed Hammad, and Jean-Christophe Voisinet. From an abstract B specification to UML class diagrams. In 2nd IEEE International Symposium on Signal Processing and Information Technology (ISSPIT'2002), Marrakech, Maroc, pages 5--10, December 2002. [bibtex]


  51. S. Vialle, Eugen Dedu, and C. Timsit. ParCeL-5/ParSSAP: A Parallel Programming Model and Library for Easy Development and Fast Execution of Simulations of Situated Multi-Agent Systems. In Software Engineering Applied to Networking & Parallel/Distributed Computing (SNPD), Madrid, Spain, pages 115--122, June 2002. Association for Computer and Information Science. [Abstract] [bibtex]


  52. Jean-Christophe Voisinet, Bruno Tatibouët, and Ahmed Hammad. jBTools: An experimental platform for the formal B method. In Principles and Practice of Programming in Java (PPPJ'02), Trinity College, Dublin, Ireland, pages 137--140, June 2002. [bibtex]


Books and proceedings
  1. Christophe Reffay, editor. Journée ApprenTICE : Rencontres sur les pratiques TICE de l'Université de Franche-Comté, March 2002. Note: Une conférence invitée, 8 communications orales, 3 ateliers et 25 démonstrations et posters. 42 pages. [bibtex]


Internal reports
  1. Fabrice Ambert, Fabrice Bouquet, Sébastien Chemin, Sébastien Guenaud, Bruno Legeard, Fabien Peureux, and Nicolas Vacelet. Projet BZ-Testing-Tools - Génération de tests aux limites à partir d'un modèle formel B ou Z - Annexes Techniques. Compte rendu d'avancement au 30 avril 2002, ANVAR, May 2002. Note: 150 pages. [bibtex]


  2. Fabrice Ambert, Fabrice Bouquet, Laetitia Gaspari, Bruno Legeard, B. Bottela, and A. Gotlieb. Génération de tests dans le cas de structures dynamiques. Compte rendu d'avancement 2, RNTL INKA, Thales, February 2002. Note: 37 pages. [bibtex]


  3. E. Caron, P. Combes, Sylvain Contassot-Vivier, F. Desprez, Frédéric Lombard, Jean-Marc Nicod, M. Quinson, and F. Suter. A Scalable Approach to Network Enabled Servers. Research report RR-4501, Institut National de Recherche en Informatique et en Automatique (INRIA), June 2002.
    Keywords: Grid Computing, DIET. [bibtex]


  4. Thierry Chanier. Premier bilan d'utilisation de la plate-forme WebCT à l'université de Franche-Comté. Technical report R-02.01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2002. Note: Journée ApprenTICE Äpprendre à maîtriser les TICE à l'université de Franche-Comté. Besançon. [bibtex]


  5. Jacques Julliand, Franck Lebeau, and M.-P. Stuchlick. Formalisation et expressivité des propriétés vérifiables avec Scade. Livrable Num. 2 969, PSA, April 2002. Note: 30 pages. [bibtex]


  6. Aloïs Mbala. De l'analyse des données d'interaction de Simuligne à la spécification d'un système multi-agents pour soutenir l'activité des utilisateurs en FAD. Technical report R-02.03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2002. Note: Rap6/0203 du Projet ICOGAD, programme Cognitique. [bibtex]


  7. Aloïs Mbala, Jérome Nicolet, Thierry Chanier, and Christophe Reffay. SimuLigne : formation collaborative en ligne et à distance. Technical report R-02.02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2002. Note: Journée ApprenTICE, Äpprendre à maîtriser les TICE à l'université de Franche-Comté. Mars 2002, Besançon. 34 pages. [bibtex]


  8. F. Oehl, Gérard Cécé, Olga Kouchnarenko, and D. Synclair. Automatic Approximation for the Verification of Cryptographic Protocols. Rapport de Recherche RR-4599, INRIA, October 2002. [bibtex]


  9. Jean-Christophe Voisinet. Traducteur B vers Java : Les grandes lignes de l'implémentation en vue d'une extension à d'autres langages. Livrable 6, RNTL-BOM, August 2002. Note: 14 pages. [bibtex]


  10. Jean-Christophe Voisinet and Bruno Tatibouët. Génération de code à partir du langage formel B vers des langages à objets. Application à la génération de code Java/JavaCard. Livrable 5, RNTL-BOM, October 2002. Note: 38 pages. [bibtex]


Other publications
  1. Jean-Michel Hufflen. Interaktive BibTeX-Programmierung. Note: DANTE, Herbsttagung 2002, Augsburg, October 2002. [bibtex]


  2. Jean-Michel Hufflen. Software rund um MlBibTeX, May 2002. Note: Die TeX nische Komödie, Erlangen, Deutschland. [bibtex]


  3. Jean-Michel Hufflen. Towards MlBibTeX's Versions 1.2 & 1.3. Note: MaTeX Conference. Budapest, Hungary, November 2002. [bibtex]


  4. Pierre-Cyrille Héam. Idéaux de mélange. Séminaire invité à l'Université d'Amiens, January 2002. [bibtex]


  5. Pierre-Cyrille Héam. Utilisation d'automates pour l'algorithmique des monoïdes finis. Séminaire invité aux journées du GdR ALP, January 2002. [bibtex]


  6. D. Josselin, J. Bolot, T. Thévenin, A. Banos, Pascal Chatonnay, Christophe Lang, Philippe Canalda, B. Dupont, L. Sénécat, A. Marguier, and E. Bourgeay. Transport à la demande en milieu urbain : l'expérience bisontine, December 2002. [bibtex]


  7. Ahmed Mostefaoui. Techniques de stockage et d'accès aux données multimédias. Conférence invitée : Tutoriel à la Conférence MediaNet, Accès intelligent aux documents multimédias sur l'internet, Sousse, Tunisie. Hermès, June 2002. [bibtex]


  8. Bruno Tatibouët. Une autre interface pour l'atelier B, November 2002. Note: Journée enseignement de B, Journées du Groupe B du GDR ALP, Nantes, France. [bibtex]


  9. Bruno Tatibouët and Jean-Christophe Voisinet. Plugin B, Type-Checking, Génération de code Java et visualisation de projets B en HTML dans la nouvelle plate-forme jBTools, June 2002. Note: Journées du Groupe B du GDR ALP, CNAM, Paris, 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