Back to INDEX

  Publications of year 2003  

Articles in journal or book chapters
  1. Jacques Bahi. Load Balancing on distributed Networks. International Journal of Computational Numerical Analysis, 3(1):55--71, 2003. [bibtex]


  2. Julien Bourgeois, Emmanuel Mory, and François Spies. Video Transmission Adaptation on Mobile Devices. Journal of Systems Architecture, 49(10-11):475--484, November 2003. [bibtex]


  3. Patrice Clemente. Towards Multimodal Human-computer Dialogue by Intelligent Agents. In C. Kintzig, G. Poulain, G. Privat, and P.-N. Favennec, editors, Communicating with Smart Objects, Developing Technology for Usable Pervasive Computing Systems, chapter 4. Kogan Page Science, London, 2003. Note: ISBN 1-9039-9636-8. [bibtex]


  4. Jean-François Couchot, D. Déharbe, Alain Giorgetti, and S. Ranise. Scalable Automated Proving and Debugging of Set-Based Specifications. Journal of the Brazilian Computer Society (JBCS), 9(2):17--36, November 2003. Note: ISSN 0104-6500. [bibtex]


  5. M. Delgado and Pierre-Cyrille Héam. A polynomial time algorithm to compute the abelian kernel of a finite monoid. Revue Internationale : Semigroup Forum, 67:97--110, 2003. [bibtex]


  6. Violeta Felea and B. Toursel. Middleware-based Load Balancing for Communicating Java Objects. Computing International Scientific Journal, 2(3):33--38, 2003. Note: Selected among the best CIPC 2003 conference articles. [bibtex]


  7. Violeta Felea, B. Toursel, and N. Devesa. Les collections distribuées : un outil pour la conception d'applications Java parallèles. Technique et Science Informatiques, 22(3):289--314, 2003. [bibtex]


  8. Alain Giorgetti. An asymptotic study for path reversal. Theoretical Computer Science, 299(1-3):585--602, 2003. [bibtex]


  9. Jean-Michel Hufflen. European Bibliography Styles and mlBibTeX. TUGB, 24(3):489--498, June 2003. Note: In EuroTeX 2003, Brest, France. [bibtex]


  10. Jean-Michel Hufflen. Mes diverses périodes avec LaTeX. Cahier GUTenberg, 42:38--60, July 2003. [bibtex]


  11. Jean-Michel Hufflen. mlBibTeX's Version 1.3. TUGBoat, 24(2):249--262, July 2003. [bibtex]


  12. Pierre-Cyrille Héam. Some complexity results for polynomial rational expressions. Theoretical Computer Science, 299:735--741, 2003. [bibtex]


  13. Bruno Legeard, L. Py, Fabrice Ambert, Fabrice Bouquet, and Fabien Peureux. Génération de tests à partir de spécifications : Concepts, méthodes et outils. Génie Logiciel, 67:27--36, December 2003. [bibtex]


  14. F. Magniette, Laurence Pilard, and B. Rozoy. A method for the verification of distributed and synchronized algorithm. International Journal of Production Research, 42(14):2757--2772, 2003. [bibtex]


Conference articles
  1. Fabrice Ambert, Fabrice Bouquet, Bruno Legeard, and Fabien Peureux. Automated Boundary-Value Test Generation from Specifications - Method and Tools. In 4th Int. Conf. on Software Testing, ICSTEST 2003, Cologne, Germany, pages 52--68, April 2003. [bibtex]


  2. Fabrice Ambert, Sébastien Chemin, and Bruno Legeard. Intégration de domaines à variables dans un solveur de contraintes ensemblistes. In JFPLC'03, Journées Francophones de Programmation en Logiques et Contraintes, Amiens, France, pages 217--222, June 2003. Hermes. [bibtex]


  3. Jacques Bahi, Sylvain Contassot-Vivier, and Raphaël Couturier. Coupling Dynamic Load Balancing with Asynchronism in Iterative Algorithms on the Computational Grid. In 17th IEEE and ACM int. conf. on International Parallel and Distributed Processing Symposium, IPDPS 2003, Nice, France, pages 40a, 9 pages, April 2003. IEEE Computer Society Press. [bibtex]


  4. Jacques Bahi, Raphaël Couturier, and Flavien Vernier. Accelerated Diffusion Algorithms on General Dynamic Networks. In Proc. of the Int. conf. on Parallel Processing and Applied Mathematics, PPAM'2003, volume 3019 of LNCS, Czestochowa, Poland, pages 77--82, September 2003. Springer. [bibtex]


  5. Jacques Bahi, Raphaël Couturier, and Flavien Vernier. Broken Edges and Dimension Exchange. In 11th Euromicro Conference on Parallel, Distributed and Network based Processing (PDP 2003), Genova, Italy, pages 140--145, February 2003. IEEE Computer Society Press. [bibtex]


  6. Yohann Bardin, Sylvie Damy, and Bénédicte Herrmann. Service de médiation : un outil d'accès aux services prenant en compte l'environnement d'exécution. In Conférence Française sur les Systèmes d'Exploitation, CFSE'03, La Colle Sur Loup, France, pages 500--511, October 2003. [bibtex]


  7. Françoise Bellegarde, Célina Charlet, and Olga Kouchnarenko. How to Compute the Refinement Relation for Parameterized Systems. In Proc. of the Int. ACM& IEEE Conf. on Formal Methods and Models for Codesign, MEMOCODE'2003, Mont St-Michel, France, pages 103--112, June 2003. [bibtex]


  8. Marie-Laure Betbeder, N. Taurisson, and P. Tchounikine. An approach of tailorability within a collective activity support framework. In Procs of Artificial Intelligence in Education (AIED 2003), Sidney, Australia, pages 383--385, July 2003. [bibtex]


  9. Marie-Laure Betbeder and P. Tchounikine. Structuring collective activities with tasks and plans. In Procs of the IEEE Int. Conf. on Advanced Learning Technologies (ICALT 2003), Athens, Greece, pages 432--433, July 2003. [bibtex]


  10. Marie-Laure Betbeder and P. Tchounikine. Symba: a Framework to Support Collective Activities in an Educational Context. In Procs of the Int. Conf. on Computers in Education (ICCE 2003), Hong-Kong, China, pages 188--196, December 2003. [bibtex]


  11. Marie-Laure Betbeder and P. Tchounikine. Symba: a tailorable framework to support collective activities in an learning context. In J. Favela and D. Decouchant, editors, Procs of the 9th Int. Workshop on Groupware (CRIWG 2003), volume 2806 of LNCS, Autrans, France, pages 90--98, September 2003. Springer. [bibtex]


  12. Renaud Bidou, Julien Bourgeois, and François Spies. Towards a global security architecture for intrusion detection and reaction management. In K. Chae and M. Yung, editors, Proc. of the 4th Int. Ws. on Information Security Applications, WISA 2003, volume 2908 of LNCS, Jeju, Corea, pages 129--142, August 2003. [bibtex]


  13. Fabrice Bouquet and Bruno Legeard. Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study. In Proc. of FME'03, Formal Method Europe, volume 2805 of LNCS, Pisa, Italy, pages 778--795, September 2003. [bibtex]


  14. Fabrice Bouquet and Bruno Legeard. Réification de scripts exécutables en génération de tests à partir de spécifications formelles : application aux mécanismes de transaction de la Java Card. In Actes du Congrès AFADL'03, Approches Formelles dans l'Assistance au Développement de Logiciels, Rennes, France, pages 141--156, January 2003. [bibtex]


  15. Fabrice Bouquet, Bruno Legeard, and Nicolas Vacelet. BZP : Un format fédérateur pour l'évaluation de spécifications formelles. In JFPLC'03, Journées Francophones de Programmation en Logiques et Contraintes, Amiens, France, pages 203--216, June 2003. Hermes. [bibtex]


  16. Julien Bourgeois, Emmanuel Mory, and François Spies. Optimisation of wireless bandwidth utilization. In 11th Euromicro Conf. on Parallel Distributed and Network Based Processing, PDP 2003, Genoa, Italy, pages 525--531, February 2003. IEEE Computer Society Press. [bibtex]


  17. Philippe Canalda, Oumaya Baala, Pascal Chatonnay, and A.-J. Fougères. iPédagogique : une application d'apprentissage multi-usages intégrant une pédagogie de projets tuteurés basée sur la synchronisation de fragments de procédés coopératifs. In IEEE International Conference Sciences of Electronic, Technologies of Information and Telecommunications, SETIT'2003, Sousse, Tunisia, pages 121--129, March 2003. [bibtex]


  18. Philippe Canalda, Pascal Chatonnay, and D. Josselin. Optimizing the convergent and on-demand transportation. An enumerating algorithm of tentaculous spanning trees. In Abstracts book of the the ECCO XVI International Conference, The European Chapter on Combinatorial Optimisation, Molde University College, Norway, pages 13, June 2003. [bibtex]


  19. Philippe Canalda, S. Lelait, and F. Thomasset. Optimizing instruction selection. One-pass bottom-up Term Rewriting system based on non-deterministic rule application automata with unification constraints between rules. In Abstracts book of the the ECCO XVI International Conference, The European Chapter on Combinatorial Optimisation, Molde University College, Norway, pages 30, June 2003. [bibtex]


  20. Damien Charlet, Pascal Chatonnay, and François Spies. Hand-Over Video Cache Policy for Mobile Users. In J.-B. Stefani, I. Demeure, and D. Hagimont, editors, 6th IFIP Int. Conf. on Distributed Applications and Interoperable Systems (DAIS'03), volume 2893 of LNCS, Paris, France, pages 179--186, November 2003. [bibtex]


  21. Samir Chouali and Jacques Julliand. Model Checking des propriétés dynamiques sous hypothèses d'équité, exploitant le raffinement. In Actes du Congrès AFADL'03, Approches Formelles dans l'Assistance au Développement de Logiciels, Rennes, France, pages 277--291, January 2003. [bibtex]


  22. S. Colin, Bruno Legeard, and Fabien Peureux. Preamble computation in automated test generation using Constraint Logic Programming. In Proceedings of UK-Test Workshop, York, United Kingdom, September 2003. [bibtex]


  23. Christophe Darlot, Jacques Julliand, and Olga Kouchnarenko. Refinement Preserves PLTL Properties. In Third International Conference of B and Z Users ZB'03 - Formal Specification and Development in Z and B, volume 2651 of LNCS, Turku, Finland, pages 408--420, June 2003. [bibtex]


  24. Karine Deschinkel. Régulation du trafic aérien par optimisation dynamique des prix d'utilisation du réseau. In ROADEF'03, 4e Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Avignon, France, February 2003. [bibtex]


  25. Dominique Dhoutaut and I. Guérin-Lassous. Experiments with 802.11b in ad hoc configurations. In 14th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, Beijing, China, pages 1618--1622, September 2003. IEEE Computer Society Press. [bibtex]


  26. Dominique Dhoutaut and I. Guérin-Lassous. Expérimentations avec 802.11 dans les réseaux ad hoc. In Actes d'Algotel, Banyuls Sur Mer, France, May 2003. [bibtex]


  27. Violeta Felea, E. Laskowski, B. Toursel, and M. Tudruj. Optimizing Object Oriented Programs based on the Byte Code-Defined Data Dependence Graphs. In Procs of Concurrent Information Processing and Computing (CIPC NATO ARW), Sinaia, Romania, pages 34--46, 2003. [bibtex]


  28. Violeta Felea and B. Toursel. Middleware-based Load Balancing for Communicating Java Objects. In Procs of Concurrent Information Processing and Computing (CIPC NATO ARW), Sinaia, Roumanie, pages 194--202, 2003. [bibtex]


  29. S. Genaud, Arnaud Giersch, and Frédéric Vivien. Load-Balancing Scatter Operations for Grid Computing. In HCW'2003, 12th Heterogeneous Computing Workshop, Nice, France, pages 101a (10 pages), April 2003. IEEE Computer Society Press. Note: Workshop held in conjunction with IPDPS. [bibtex]


  30. Arnaud Giersch, Yves Robert, and Frédéric Vivien. Scheduling tasks sharing files on heterogeneous clusters. In J. Dongarra, D. Laforenza, and S. Orlando, editors, EuroPVM/MPI'2003, 10th European PVM/MPI Users' Group Conference, volume 2840 of LNCS, Venice, Italy, pages 657--660, September 2003. Springer. [bibtex]


  31. Ahmed Hammad, Jacques Julliand, Hassan Mountassir, and D. Okalas. Expression en B et raffinement des systèmes réactifs temps réel. In Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'03, Rennes, France, pages 211--225, January 2003. [bibtex]


  32. Ahmed Housni, Michel Lacroix, and Michel Tréhel. Distributed scheduling of mobile priority requests. In Euro-Par 2003, volume 2790 of LNCS, Klagenfurt, Austria, pages 669--774, August 2003. [bibtex]


  33. Ahmed Housni, Michel Lacroix, and Michel Tréhel. Using a mobile queue for prioritized requests in a new mutual exclusion algorithm. In 16th International Conference on Parallel and Distributed Computing Systems, PDCS 2003, Reno, Nevada, United States, pages 139--145, August 2003. [bibtex]


  34. Ahmed Housni and Michel Tréhel. Évaluation du coût de l'association de la priorité aux requêtes, routées sur un arbre dynamique. In MAJECSTIC'03, Manifestation des JEunes Chercheurs STIC, Marseille, France, October 2003. [bibtex]


  35. Jean-Michel Hufflen. Mixing Two Bibliography Style Languages. In LDTA 2003, volume 82.3 of Electronic Notes in Theoretical Computer Science, Warsaw, Poland, April 2003. Elsevier. Note: Electronic Paper. [bibtex]


  36. Olga Kouchnarenko and Arnaud Lanoix. Raffinement de systèmes à composants synchronisés. In D. Méry, N. Rezg, and X. Xie, editors, Conférences MSR'03 - Modélisation des Systèmes Réactifs, volume RS/hors série, Metz, France, pages 225--240, October 2003. Hermes.
    Keywords: Systèmes de transitions, composition, raffinement, synchronisation, composant synchronisé. [Abstract] [bibtex]


  37. Olga Kouchnarenko and Arnaud Lanoix. Refinement and Verification of Synchronized Component-based Systems. In Mandrioli D. Araki K., Gnesi S., editor, Formal Method Europe 2003 (FM'03), volume 2805 of LNCS, Pisa, Italy, pages 341--358, September 2003. Springer.
    Keywords: composition, synchronization, refinement, algorithmic verification, compositional verification, reachability analysis. [Abstract] [bibtex]


  38. Olga Kouchnarenko and Arnaud Lanoix. SynCo: a Refinement Analysis Tool for Synchronized Component-based Systems. In Margaria T., editor, FM'03 Tool Exhibition Notes, Pisa, Italie, pages 47--51, September 2003.
    Keywords: labelled transition system, components, synchronization, compositional verification, refinement. [Abstract] [bibtex]


  39. V. Le and Hervé Guyennet. GridSec, A scalable Security Architecture for Grid Applications. In procs. of the 2nd Workshop on Security and Network Architecture, Marakech, Morocco, pages 195--202, July 2003. [bibtex]


  40. F. Magniette, Laurence Pilard, and B. Rozoy. Model-checking et produit synchronisé.. In MSR 2003, Modélisation des systèmes Réactifs, Metz, France, pages 213--224, 2003. [bibtex]


  41. Mickaël Marche, D. Leroy, and Y.-M. Quemener. Modèle et langage d'observation pour le test d'agents mobiles. In Actes du Congrès AFADL'03, Approches Formelles dans l'Assistance au Développement de Logiciels, Rennes, France, pages 157--171, January 2003. [bibtex]


  42. Aloïs Mbala, Christophe Reffay, and Thierry Chanier. SIGFAD : un système multi-agents pour soutenir les utilisateurs en formation à distance. In Actes de la conférence Environnements Informatiques pour l'Apprentissage Humain (EIAH'2003), Strasbourg, France, pages 319--330, April 2003. [Abstract] [bibtex]


  43. F. Oehl, Gérard Cécé, Olga Kouchnarenko, and D. Sinclair. Automatic Approximation for the Verification of Cryptographic Protocols. In Int. Conf. on Formal Aspects of Security, FASec 2002, volume 2629 of LNCS, London, United Kingdom, pages 33--48, November 2003. Springer. Note: Revised paper of the FASec 2002 conference. [bibtex]


  44. Vincent Portigliatti and Laurent Philippe. Java components with constraints ans preferences in automatic administration of execution and placement. In 11th Euromicro Conference on Parallel, Distributed and Network based Processing (Euro PDP 2003), Genova, Italy, pages 266--273, February 2003. IEEE Computer Society Press. [bibtex]


  45. Christophe Reffay and Thierry Chanier. How social network analysis can help to measure cohesion in collaborative distance-learning. In Procs. of Computer Supported Collaborative Learning Conference (CSCL'2003), Bergen, Norway, pages 343-352, June 2003. Kluwer. [Abstract] [bibtex]


  46. Christophe Reffay and Thierry Chanier. Mesurer la cohésion d'un groupe d'apprentissage en formation à distance. In Actes de la conférence Environnements Informatiques pour l'Apprentissage Humain (EIAH'2003), Strasbourg, France, pages 367--378, April 2003. [Abstract] [bibtex]


  47. Fabien Renard. Adaptation distribuée dans les télé-applications. In MAJECSTIC'03, Manifestation des JEunes Chercheurs STIC, Marseille, France, October 2003. [bibtex]


  48. David Saint-Voirin, Christophe Lang, and N. Zerhouni. Distributed Cooperation Modeling for Maintenance Using Petri Nets and Multi-Agents Systems. In International Symposium on Computational Intelligence in Robotics and Automation, CIRA'03, Kobe Portopia Hotel, Kobe, Japan, pages 366--371, July 2003. IEEE Computer Society Press. [bibtex]


  49. J. Szymansky, T. Bangemann, M. Thron, J.-P. Thomesse, X. Rebeuf, Christophe Lang, and Eric Garcia. PROTEUS - a European Initiative for E-Maintenance Platform Development. In ETFA'03, 9th IEEE Int. Conf. on Emerging Technologies and Factory Automation, volume 2, Lisbon, Portugal, pages 415--420, September 2003. [bibtex]


  50. Bruno Tatibouët, A. Requet, Jean-Christophe Voisinet, and Ahmed Hammad. Java Card Code Generation from B Specifications. In 5th International Conference on Formal Engineering Methods (ICFEM'2003), volume 2885 of LNCS, Singapore, pages 306--318, November 2003. [bibtex]


  51. Bruno Tatibouët and Jean-Christophe Voisinet. Generating statecharts from B specifications. In 16th International Conference Software & Systems Engineering and their applications (ICSSEA'2003), volume 1, Session 2: Modelling, Paris, France, December 2003. CNAM. [bibtex]


Internal reports
  1. Françoise Bellegarde, Célina Charlet, and Olga Kouchnarenko. Using Acceleration to Compute Parameterized Systems Refinement. Research report RR-4716, INRIA, January 2003. [bibtex]


  2. Gérard Cécé, Pierre-Cyrille Héam, and Yann Mainier. Efficiency of Automata in Semi-Commutation Verification Techniques. Research report RR-5001, INRIA, November 2003. [bibtex]


  3. Frédéric Dadeau and Alain Giorgetti. Vérification de machines abstraites B en logique monadique du second ordre. Rapport de Recherche RR2003-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2003. Note: 29 pages.
    Keywords: Proof, invariant, B method, MONA. [Abstract] [bibtex]


  4. Dominique Dhoutaut, Q. Vo, and I. Guérin-Lassous. Global visualization of experiments in ad hoc networks. Technical report RR-4933, INRIA, September 2003. [bibtex]


  5. Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, Julien Henriet, and Michel Salvadori. Requirement Specifications of the Web Portal and ERP. Délivrable D4.2, ITEA Proteus, December 2003. Note: 30 pages. [bibtex]


  6. Eric Garcia, Christophe Lang, Julien Henriet, and Michel Salvadori. Requirements specification for an integrated maintenance platform. Délivrable D6.2, ITEA Proteus, March 2003. Note: 8 pages. [bibtex]


  7. Hervé Guyennet, David Saint-Voirin, and I. Rasovska. State of the art in Multiple Data Format Handling. Délivrable D1.1, ITEA Proteus, March 2003. Note: 30 pages. [bibtex]


  8. Olga Kouchnarenko and Arnaud Lanoix. Refinement and Verification of Synchronized Component-based Systems. Research report RR-4862, INRIA, June 2003.
    Keywords: composition, synchronization, refinement, algorithmic verification, compositional verification, reachability analysis. [Abstract] [bibtex]


  9. Christophe Lang and Michel Salvadori. Definition/specification of objects for the e-maintenance platform. Délivrable D6.3, ITEA Proteus, November 2003. Note: 18 pages. [bibtex]


  10. Bruno Tatibouët. Evaluation des traducteurs Java et C sharp. Livrable 11, RNTL-BOM, March 2003. Note: 10 pages. [bibtex]


Other publications
  1. Julien Bourgeois. Défaillance des IDS. Conférence invitée, Rump Session, 1er Symp. sur la sécurité des Technologies de l'Information et de la Communication, Rennes, France, June 2003. [bibtex]


  2. Julien Bourgeois. Sécurité par firewall et routeur. Conférence invitée aux Journées de l'Informatique Appliquée, Sousse, Tunisie, 2003. [bibtex]


  3. Thierry Chanier. Revue Alsic : organisation et modes de publication. Note: Journée sur la production de documents scientifiques, séminaire 'édition scientifique électronique', sous la direction de J.-C. Guédon et J.-P. Ducasse, Université Lyon 2, France, March 2003. [bibtex]


  4. Thierry Chanier and J.-M. Noyer. Présentation de l'archive ouverte 'ArchiveTématice'. Conférence invitée au Colloque Technologies pour l'apprentissage et l'éducation, Paris, France, November 2003. [bibtex]


  5. Jean-Michel Hufflen. mlBibTeX kommt. Note: DANTE Herbsttagung 2003. Giessen, September 2003. [bibtex]


  6. Roland Mathieu, Sylvain Contassot-Vivier, C. Guillerminet, Régine Gschwind, Libor Makovicka, and Jacques Bahi. Prospective de la planification des traitements radiothérapeutiques basée sur les réseaux de neurones, October 2003. Note: Journées SFRP-SFPM-FIRAM Codes de calcul en radioprotection, radiophysique et dosimétrie, Sochaux, France. [bibtex]


  7. Roland Mathieu, Sylvain Contassot-Vivier, Libor Makovicka, Régine Gschwind, Éric Martin, and Jacques Bahi. Utilisation des RNA en dosimétrie, October 2003. Note: 20èmes Journées des LARD 2003, Clermont Ferrand, France. [bibtex]


  8. Ahmed Mostefaoui. logiciel SIRSALE - Système d'Indexation et de Recherche de Séquences Audiovisuelles à Large Échelle, November 2003. Note: Produit logiciel. Le logiciel SIRSALE a été déposé à l'Agence de Protection des Programmes (APP). [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