Back to INDEX

  Publications of year 2004  

Articles in journal or book chapters
  1. Jacques Bahi. On discrete dynamic systems. Application to parallel asynchronous neural networks. Differential Equations and Dynamical Systems Journal, 12(1-2):115-142, 2004. [bibtex]


  2. Jacques Bahi and C.-M. Michel. A stochastic gene evolution model with time dependent mutation matrix. Bulletin of Mathematical Biology, 66:763--778, 2004. [bibtex]


  3. J. Beauquier, Laurence Pilard, and B. Rozoy. Observing locally self-stabilization. Journal of High Speed Networks, 14(1):3--19, 2004. [bibtex]


  4. Françoise Bellegarde, Célina Charlet, and Olga Kouchnarenko. How to Compute the Refinement Relation for Parameterized Systems. In R. Gupta, Le Guenic P., and Talpin J.P., editors, Formal Methods and Models for System Design - A System Level Perspective, chapter 2. Springer, 2004. Note: ISBN 1-4020-8051-4. [bibtex]


  5. E. Bernard, Bruno Legeard, X. Luck, and Fabien Peureux. Generation of test sequences from formal specifications: GSM 11-11 standard case study. International Journal of Software Practice and Experience, 34(10):915--948, 2004. [bibtex]


  6. Fabrice Bouquet, Bruno Legeard, and Fabien Peureux. CLPS-B: A Constraint Solver to Animate a B Specification. International Journal on Software Tools for Technology Transfer, STTT, 6(2):143--157, August 2004. [bibtex]


  7. S. Colin, Bruno Legeard, and Fabien Peureux. Preamble Computation in Automated Test Case Generation using Constraint Logic Programming. The Journal of Software Testing, Verification and Reliability, 14(3):213--235, 2004. Note: Selected papers from the 2003 UK-Test Workshop. [bibtex]


  8. Violeta Felea, R. Olejnik, and B. Toursel. ADAJ: a Java Distributed Environment for Easy Programming Design and Efficient Execution. Schedae Informaticae, 13:9--36, 2004. [bibtex]


  9. Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and N. Zerhouni. A new Industrial Cooperative tele-maintenance Platform. Special Issue of Computers & Industrial Engineering, Elsevier Science, 46(4):851--864, 2004. [bibtex]


  10. S. Genaud, Arnaud Giersch, and Frédéric Vivien. Load-Balancing Scatter Operations for Grid Computing. Parallel Computing, 30(8):923--946, August 2004. [bibtex]


  11. Régis Gras, Raphaël Couturier, J. Blanchard, H. Briand, P. Kuntz, and P. Peter. Mesures de qualité pour la fouille de données, chapter Quelques critères pour une mesure de qualité de règles d'association. Un exemple : l'implication statistique, pages 3--32. Cépaduès éditions, 2004. [bibtex]


  12. Ahmed Housni and Michel Tréhel. Optimization of the network configuration according to the activity of nodes for mutual exclusion. Special issue on Computational Science of the Journal of Computers and Mathematics with Applications, 2004. [bibtex]


  13. Jean-Michel Hufflen. A Tour around MlBibTeX and Its Implementation(s). Biuletyn gust, 20:21--28, April 2004. Note: In phProc. BachoTeX Conference. [bibtex]


  14. Jean-Michel Hufflen. Making mlBibTeX Fit for a Particular Language. Example of the Polish Language. Biuletyn GUST, 21:14--26, December 2004. [bibtex]


  15. H. Kosch, Ahmed Mostefaoui, L. Böszörményi, and L. Brunie. Heuristics for Optimizing Multi-clip Queries in Video Databases. Multimedia Tools and Applications Journal, 22(3):235--262, March 2004. [bibtex]


  16. Bruno Legeard, Fabien Peureux, and Mark Utting. Controlling test case explosion in test generation from B formal models. Software Testing, Verification and Reliability, STVR, 14(2):81--103, 2004. [bibtex]


  17. Emmanuel Mory, Fabien Renard, Julien Bourgeois, Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and François Spies. Adaptation de contenus multimédia aux terminaux mobiles. Revue ISI - Ingéniérie des Systèmes d'Information, Numéro spécial Systèmes d'Information Pervasifs, Hermès Sciences, 9(2):39--60, 2004. [bibtex]


  18. Ahmed Mostefaoui. Conception et mise en oeuvre de serveurs multimédias. In Gestion des données multimédias, pages 141--169. Hermes, February 2004. [bibtex]


  19. Ahmed Mostefaoui and L. Brunie. SIRSALE : Un système d'indexation et de recherche de séquences audiovisuelles à large échelle. In Gestion des données multimédias, pages 283--309. Hermes, February 2004. [bibtex]


  20. Fabien Renard. Développement d'une application de travail coopératif multimédia sur PDA. In Gestion des données multimédias (Traité IC2), chapter 8, pages 255--268. Lavoisier, March 2004. [bibtex]


Conference articles
  1. Mohammed Al'Achhab. Specification and Verification of Hierarchical Systems by Refinement. In Winter School on Modelling and Verifying Parallel Processes, MOVEP'04, Bruxelles, Belgique, December 2004. [bibtex]


  2. Fabrice Ambert, Fabrice Bouquet, Bruno Legeard, Fabien Peureux, L. Py, and E. Torrebore. Automated Test Case and Test Driver Generation for Embedded Software. In CNAM, editor, ICSSEA - Int. Conf. on Software, System Engineering and Applications, pages 34--49, December 2004. [bibtex]


  3. Tafsir Ba, Eric Garcia, Julien Henriet, and Jean-Christophe Lapayre. Le pèlerin optimiste. Gestion de la concurrence dans les collectitiels : vers des protocoles optimistes. In 7th African Conference on Research in Computer Science, CARI'04, Hammamet, Tunisia, pages 389--396, November 2004. [bibtex]


  4. Jacques Bahi, Sylvain Contassot-Vivier, and Raphaël Couturier. Performance comparison of parallel programming environments for implementing AIAC algorithms. In 18th IEEE and ACM Int. Conf. on Parallel and Distributed Processing Symposium, IPDPS 2004, Santa Fe, United States, pages 247b, 8 pages, April 2004. IEEE Computer Society Press. [bibtex]


  5. Jacques Bahi, Raphaël Couturier, and Philippe Vuillemin. Asynchronous iterative algorithms for computational science on the grid: three case studies. In procs. of Vecpar 2004, volume 3402 of LNCS, Valencia, Spain, pages 302--314, June 2004. Springer. [bibtex]


  6. Jacques Bahi, Stéphane Domas, and Kamel Mazouzi. Combination of Java and Asynchronism for the Grid : a Comparative Study Based on a Parallel Power Method. In 18th IEEE and ACM Int. Conf. on Parallel and Distributed Processing Symposium, IPDPS 2004, Santa Fe, United States, pages 158a, 8 pages, April 2004. IEEE Computer Society Press. [bibtex]


  7. Jacques Bahi, Stéphane Domas, and Kamel Mazouzi. Jace : a Java environment for distributed asynchronous iterative computations. In 12th Euromicro Conference on Parallel, Distributed and Network based Processing, PDP'04, Coruna, Spain, pages 350--357, February 2004. IEEE Computer Society Press. [bibtex]


  8. Marie-Laure Betbeder and P. Tchounikine. Modélisation et perception de l'activité dans l'environnement Symba. In Actes de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2004), Toulouse, France, pages 1217--1225, January 2004. [bibtex]


  9. M. Blanc, Patrice Clemente, S. Franche, L. Oudot, P. Courtieu, L. Vessiller, and C. Toinard. Hardening large-scale networks security through a meta-policy framework. In The 3rd Workshop on the Internet, Telecommunications and Signal Processing (WITSP'2004), Adelaide, Australia, October 2004. [bibtex]


  10. Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko, and F. Oehl. Improvements on the Genet and Klay Technique to Automatically Verify Security Protocols. In Proc. Int. Ws. on Automated Verification of Infinite-State Systems (AVIS'2004), joint to ETAPS'04, Barcelona, Spain, pages 1--11, April 2004. Note: The final version will be published in EN in Theoretical Computer Science, Elsevier. [bibtex]


  11. Fabrice Bouquet, Franck Lebeau, and Bruno Legeard. Test case and Test driver generation for automotive embedded systems. In 5th Int. Conf. on Software Testing, ICS-Test 2004, Düsseldorf, Germany, pages 37--53, April 2004. [bibtex]


  12. Fabrice Bouquet, Bruno Legeard, Fabien Peureux, and E. Torreborre. Mastering Test Generation from Smart Card Software Formal Models. In Procs. of the Int. Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS'04), volume 3362 of LNCS, Marseille, France, pages 70--85, March 2004. Springer. Note: Selected papers from the CASSIS'04 workshop. [bibtex]


  13. Fabrice Bouquet, Bruno Legeard, Mark Utting, and Nicolas Vacelet. Faster Analysis of Formal Specification. In J. Davies, W. Schulte, and M. Barnett, editors, 6th Int. Conf. on Formal Engineering Methods (ICFEM'04), volume 3308 of LNCS, Seattle, WA, United States, pages 239--258, November 2004. Springer. [bibtex]


  14. Philippe Canalda, Pascal Chatonnay, and D. Josselin. Énumeration d'arbres couvrants tentaculaires, une solution au problème de transport à la demande en convergence. In IEEE Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunications, SETIT'2004, Sousse, Tunisia, pages 146--154, March 2004. Note: ISBN: 9973-41-902-2. [bibtex]


  15. E. Caron, F. Desprez, Bruno Del Fabbro, and A. Vernois. Gestion de données dans les NES. In DistRibUtIon de Données à grande Echelle, DRUIDE 2004, Domaine du Port-aux-Rocs, Le Croisic, France, May 2004. IRISA. [bibtex]


  16. Damien Charlet. Une politique de prise en compte de la mobilité dans les caches vidéos. In François Spies, Julien Bourgeois, and Pascal Chatonnay, editors, Première Conférence Nationale Mcube MultiMédia Mobile (MCUBE'04), Montbéliard, France, pages 52--59, March 2004. [bibtex]


  17. S. Colin, Franck Lebeau, and Bruno Legeard. Génération de tests à partir de statecharts fondée sur le calcul de comportements. In Jacques Julliand, editor, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, pages 153--167, June 2004. [bibtex]


  18. Jean-François Couchot. Vérification d'invariant par superposition. In MAJECSTIC'04, MAnifestation de JEunes Chercheurs STIC, Calais, France, October 2004. Note: Actes en ligne sur http://lil.univ-littoral.fr/~lewandowski/majecstic/programme.html. [Abstract] [bibtex]


  19. Jean-François Couchot, Frédéric Dadeau, D. Déharbe, Alain Giorgetti, and S. Ranise. Proving and Debugging Set-Based Specifications. In A. Cavalcanti and P. Machado, editors, WMF'03 proceedings, volume 95 of ENTCS, Electronic Notes in Theoretical Computer Science, Campina Grande, Brazil, pages 189--208, May 2004. [bibtex]


  20. Jean-François Couchot, D. Déharbe, Alain Giorgetti, and S. Ranise. Barvey : Vérification automatique de consistance de machines abstraites B. In Jacques Julliand, editor, AFADL'04, Approches Formelles dans l'Assistance au Développement de Logiciels,, Besançon, France, pages 369--372, June 2004. Note: Session outils. [bibtex]


  21. Jean-François Couchot and Alain Giorgetti. Analyse d'atteignabilité déductive. In Jacques Julliand, editor, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, pages 269--283, June 2004. [bibtex]


  22. Raphaël Couturier, Régis Gras, and F. Guillet. Reducing the number of variables using implicative analysis. In International Federation of Classification Societies, IFCS 2004, Classification, Clustering, and Data Mining Applications, pages 277--285, 2004. Springer. [bibtex]


  23. Gérard Cécé, Pierre-Cyrille Héam, and Yann Mainier. Clôtures transitives de semi-commutations et model-checking régulier. In Jacques Julliand, editor, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, pages 257--268, June 2004. [bibtex]


  24. Sylvain Dahan, Jean-Marc Nicod, and Laurent Philippe. Scalability in a GRID Server Discovery Mechanism. In 10th IEEE Int. Workshop on Future Trends of Distributed Computing Systems, FTDCS 2004, Suzhou, China, pages 46--51, May 2004. IEEE Computer Society Press. [bibtex]


  25. Bruno Del Fabbro, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. A Data Persistency Approach for the DIET Metacomputing Environment. In Int. Conf. on Internet Computing, IC'04, Las Vegas, United States, pages 701--707, June 2004. [bibtex]


  26. Bruno Del Fabbro, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. Gestion des données dans une plate-forme de métacomputing. In GRIDUSe 2004, Ecole SUPELEC, Metz, France, pages 151--158, June 2004. LORIA. [bibtex]


  27. Dominique Dhoutaut and I. Guérin-Lassous. Performance of a multi-hops configuration with 802.11: from simulation to experimentation. In 15th IEEE Int. Symposium on Personal, Indoor and Mobile Radio Communications, Barcelona, Spain, September 2004. [bibtex]


  28. Dominique Dhoutaut, Q. Vo, and I. Guérin-Lassous. Global visualization of experiments in ad hoc networks. In INC'04, 4th International Network Conference, Plymouth, UK, July 2004. [bibtex]


  29. Jean-Baptiste Ernst-Desmulier, Julien Bourgeois, François Spies, and J. Verbeke. Using Similarity Groups to Increase Performance of P2P Computing. In 10th Int. Euro-Par Conference (Europar'04), volume 3149 of LNCS, Pisa, Italy, pages 1056-1059, August 2004. Springer. [bibtex]


  30. Jean-Baptiste Ernst-Desmulier and Damien Charlet. PACS : une architecture Peer-to-Peer de cache sibling. In François Spies, Julien Bourgeois, and Pascal Chatonnay, editors, Première Conférence Nationale Mcube MultiMédia Mobile (MCUBE'04), Montbéliard, France, pages 116--123, March 2004. [bibtex]


  31. Violeta Felea and B. Toursel. Adaptive Distributed Execution of Java Applications. In PDP'2004, 12th Euromicro Conference on Parallel, Distributed and Network-Based Processing, A Coruña, Espagne, pages 16--21, February 2004. IEEE Computer Society Press. [bibtex]


  32. A.-J. Fougères, V. Ospina, and Philippe Canalda. Conception de système de multi-assistance à base d'agents. Application à un environnement pédagogique. In IEEE Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunications, SETIT'2004, Sousse, Tunisia, pages 293--301, March 2004. Note: ISBN: 9973-41-902-2. [bibtex]


  33. David Fuin. Qualité de Service dans les Réseaux Actifs. In MAJECSTIC'04, MAnifestation de JEunes Chercheurs STIC, Calais, France, October 2004. Note: Actes en ligne sur http://lil.univ-littoral.fr/~lewandowski/majecstic/programme.html. [bibtex]


  34. David Fuin, Eric Garcia, and Hervé Guyennet. A Novel Approach to Quality of Service in Active Networks. In 3rd IEEE Workshop on High-Speed Local Networks, HSLN'04, Tampa, Florida, pages 760--767, November 2004. [bibtex]


  35. David Fuin, Eric Garcia, and Hervé Guyennet. Behavior and Performance of QoS Mechanisms on Different Router OS. In ICN'2004, 3rd IEEE International Conference on Networking, Pointe-a-Pitre, Guadeloupe, France, pages 747--754, March 2004. [bibtex]


  36. Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and Fabien Renard. A Novel Approach to Handle Ubiquitous Communication: Global Adaptation. In 2nd Int. Workshop on Managing Ubiquitous Communications and Services, MUCS 2004, Dublin, Ireland, pages 96--105, December 2004. [bibtex]


  37. Eric Garcia, Julien Henriet, and Jean-Christophe Lapayre. Comparison of Continuous Flow Transmission Strategies Over A Distributed Platform Based on SOAP. In IEEE Int. Conf. on Services Computing (SCC'04), Shangai, China, pages 664--669, September 2004. [bibtex]


  38. Eric Garcia, Julien Henriet, and Jean-Christophe Lapayre. Gestion du multimédia sur une plate-forme générique basée sur les Web-services. In procs. of the IEEE Int. Conf. SETIT'2004, Sousse, Tunisia, pages 104-112, March 2004. Note: ISBN: 9973-41-902-2. [bibtex]


  39. Arnaud Giersch, Yves Robert, and Frédéric Vivien. Scheduling Tasks Sharing Files from Distributed Repositories. In M. Danelutto, M. Vanneschi, and D. Laforenza, editors, Euro-Par'2004, Parallel Processing, 10th Int. Euro-Par Conference, volume 3149 of LNCS, Pisa, Italy, pages 246--253, September 2004. Springer. [bibtex]


  40. Arnaud Giersch, Yves Robert, and Frédéric Vivien. Scheduling tasks sharing files on heterogeneous master-slave platforms. In PDP'2004, 12th Euromicro Conference on Parallel, Distributed and Network-Based Processing, A Coruña, Spain, pages 364--371, February 2004. IEEE Computer Society Press. [bibtex]


  41. Françoise Greffier. Tutorat et informatique, le geste et l'outil en synergie. In Actes du colloque CNED-EIFAD (Ecole d'ingénierie de la formation à distance), Poitiers, France, December 2004. [bibtex]


  42. Hervé Guyennet, Christophe Lang, X. Rebeuf, and M. Thron. Middleware for Global e-Maintenance. In IEEE Mechatronics and Robotics, volume 3, Aachen, Germany, pages 1129--1134, September 2004. Note: Invited Talk. [bibtex]


  43. Mourad Hakem and Franck Butelle. A New On-Line Scheduling Algorithm for Distributed Real-Time System. In ISADS'04, 3rd IEEE Int. Symposium on Advanced Distributed Systems, volume 3061 of LNCS, pages 241--251, 2004. Springer. [bibtex]


  44. Ahmed Hammad, Jacques Julliand, Hassan Mountassir, and Mohammed Al'Achhab. Conception et vérification de systèmes temps réel par raffinement. In 12th Conf. on Real Time and Embedded Systems, RTS EMBEDDED SYSTEMS'04, Paris, France, pages 85--99, March 2004. [bibtex]


  45. Ahmed Hammad, Hassan Mountassir, and Emilie Oudot. Préservation de propriétés MITL par raffinement temporisé. In Jacques Julliand, editor, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, pages 207--221, June 2004. [bibtex]


  46. Jean-Michel Hufflen. Order Relations and European Languages. Extended Abstract. In WADT 2004, Barcelona, Spain, pages 53--54, March 2004. [bibtex]


  47. Jean-Michel Hufflen. mlBibTeX beyond LaTeX. In TeX, XML, and Digital Typography, volume 3130 of LNCS, Xanthi, Greece, pages 203--215, August 2004. [bibtex]


  48. Nikolaï Kosmatov, Bruno Legeard, Fabien Peureux, and Mark Utting. Boundary Coverage Criteria for Test Generation from Formal Models. In Proc. of the 15th Int. Symp. on Software Reliability Engineering (ISSRE'04), Saint-Malo, France, pages 139--150, November 2004. IEEE Computer Society Press. [bibtex]


  49. Olga Kouchnarenko and Arnaud Lanoix. Verifying Invariants of Component-based Systems through Refinement. In C. Rattray, S. Maharaj, and C. Shankland, editors, 10th Int. Conf. on Algebraic Methodology and Software Technology (AMAST'04), volume 3116 of LNCS, Stirling, Scotland, pages 289--303, July 2004. Springer.
    Keywords: invariance properties, refinement, compositional verification, synchronized product, preservation. [Abstract] [bibtex]


  50. Arnaud Lanoix. A compositional framework using refinement. In Winter School on Modelling and Verifying Parallel Processes, MOVEP'04, Bruxelles, Belgique, December 2004.
    Keywords: Component-based System, Refinement, Invariant, PLTL property. [Abstract] [bibtex]


  51. Arnaud Lanoix. SynCo : vérification du raffinement des systèmes à composants synchronisés. In Jacques Julliand, editor, Sessions Outils, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, pages 373--376, June 2004.
    Keywords: raffinement, préservation, composants, systèmes de transitions, produit synchronisé, vérification compositionnelle. [Abstract] [bibtex]


  52. Arnaud Lanoix. Vérifier le raffinement de manière compositionnelle. In MAJECSTIC'04, MAnifestation de JEunes Chercheurs STIC, Calais, France, October 2004. Note: Actes en ligne sur http://lil.univ-littoral.fr/~lewandowski/majecstic/programme.html.
    Keywords: génie logiciel, informatique théorique et fondamentale, méthodes formelles, vérification algorithmique, composition, raffinement. [Abstract] [bibtex]


  53. Bruno Legeard, Fabrice Bouquet, and Franck Lebeau. Automated Test Generation and Execution for Automative Embedded Software. In INCOSE 2004, Annual Int. Symp., 4th European Systems Engineering Conference, pages 252--268, June 2004. [bibtex]


  54. Emmanuel Mory. Utilisation du mixeur NetMoVie dans la gestion de perte de paquets. In François Spies, Julien Bourgeois, and Pascal Chatonnay, editors, Première Conférence Nationale Mcube MultiMédia Mobile (MCUBE'04), Montbéliard, France, pages 92--94, March 2004. [bibtex]


  55. Ahmed Mostefaoui. Retrieving Multimedia Presentations from Multimedia Server. In Int. Conf. on Information and Communication Technologies: from Theory to Applications, ICTTA'04, Damascus, Syrian Arab Republic, pages 515--516, April 2004. IEEE Computer Society Press. [bibtex]


  56. Emilie Oudot. Refinement based verification of real-time systems. In Winter School on Modelling and Verifying Parallel Processes, MOVEP'04, Bruxelles, Belgique, December 2004. [bibtex]


  57. G. Paroux, B. Toursel, R. Olejnik, and Violeta Felea. A Java CPU Calibration Tool for Load Balancing in Distributed Applications. In ISPDC/HeteroPar 2004, Cork, Ireland, pages 155--159, 2004. [bibtex]


  58. Laurent Philippe. GridRPC : normalisation des API d'accès aux applications de grilles. In GRIDUSe 2004, Ecole SUPELEC, Metz, France, pages 3--11, June 2004. LORIA. [bibtex]


  59. X. Rebeuf, N. Blanc, F. Charpillet, D. Cheve, A. Dutech, Christophe Lang, L. Pélissier, and J.-P. Thomesse. Proteus, des web services pour les systèmes de maintenance. In NOTERE 2004 - NOuvelles TEchnologies de la REpartition, Saidia, Morocco, pages 163--178, June 2004. [bibtex]


  60. J. Szymansky, M. Thron, J.-P. Thomesse, X. Rebeuf, and Christophe Lang. Web Service Driven Integration Platform for Industrial Maintenance Oriented Applications. In 2nd IEEE int. conf. on Industrial Informatics, INDIN'04, Berlin, Germany, pages 114--119, June 2004. [bibtex]


Books and proceedings
  1. Thierry Chanier. Archives ouvertes et publication scientifique. Comment mettre en place l'accès libre aux résultats de la recherche. L'Harmattan, Paris, France, 2004. Note: 186 pages. ISBN 2 7475 7695 7. [bibtex]


  2. Jacques Julliand, editor. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, June 2004. Note: 385 pages. [bibtex]


  3. Marie-France Lasalle and Claire Grossin. Sytème de Gestion de base de données CACHé. Hermes, 2004. [bibtex]


  4. Ahmed Mostefaoui, F. Prêteux, V. Lecuire, and J.-M. Moureaux, editors. Gestion des données multimédias, IC2, Informatique-Commande-Communication. Hermes, March 2004. Note: Coordonateurs. ISBN 2-7462-0824-5. [bibtex]


  5. François Spies, Julien Bourgeois, and Pascal Chatonnay, editors. Première Conférence Nationale Mcube MultiMédia Mobile (MCUBE'04), Montbéliard, France, March 2004. Note: 126 pages. [bibtex]


Internal reports
  1. Mohammed Al'Achhab, K. Cristiano, Ahmed Hammad, and Hassan Mountassir. Implementing Hierarchical automata in Promela/Spin. Technical Report RT2004-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2004. [bibtex]


  2. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Refinement of Hierarchical Systems. Research Report RR2004-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2004.
    Keywords: Specification, hierarchical automata, refinement, Kripke structure, verification. [Abstract] [bibtex]


  3. Tafsir Ba, Eric Garcia, Julien Henriet, and Jean-Christophe Lapayre. The Optimistic Pilgrim: Proof and Validation. Technical Report RT2004-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, February 2004. [bibtex]


  4. Yohann Bardin, Sylvain Dahan, Sylvie Damy, and Bénédicte Herrmann. Mediation Service: Heterogenous client handling. Research Report RR2004-08, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2004.
    Keywords: distributed systems, heterogeneity, service access. [Abstract] [bibtex]


  5. Yohann Bardin, Sylvie Damy, Bénédicte Herrmann, and Laurent Philippe. Un Service de Médiation pour les applications réparties. Research Report RR2004-07, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2004.
    Keywords: distributed system, middleware, service, runtime environment, localisation. [Abstract] [bibtex]


  6. E. Bernard, Bruno Legeard, X. Luck, and Fabien Peureux. Generation of test sequences from formal specifications: GSM 11.11 standard case-study. Research Report RR2004-16, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2004. [bibtex]


  7. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. AVISPA tool. Delivrable 4.5, AVISPA project tool vs 2, July 2004. Note: 24 pages, written with others AVISPA members. [bibtex]


  8. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Abstractions. Delivrable D5.1, AVISPA project, April 2004. Note: 30 pages, written with others AVISPA members. [bibtex]


  9. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Infinite State Model Checking. Delivrable D5.2, AVISPA project, September 2004. Note: 30 pages, written with others AVISPA members. [bibtex]


  10. Fabrice Bouquet, Frédéric Dadeau, and Julien Groslambert. Checking JML specifications with B machines. Research Report RR2004-12, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2004. Note: 29 pages.
    Keywords: Java Modeling Language, JML, object-oriented, B method, specifications, abstract machines. [Abstract] [bibtex]


  11. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. JML-Testing-Tools - A symbolic animator for JML specifications. Technical Report RT2004-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2004.
    Keywords: Java Modeling Language, model-based, constraint, symbolic animation. [Abstract] [bibtex]


  12. F. Bouquet, B. Legeard, and F. Peureux. A constraint solver to animate a B specification. Research Report RR2004-13, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2004. [bibtex]


  13. C. Chaudet, Dominique Dhoutaut, and I. Guérin-Lassous. Performance issues with IEEE 802.11 in ad hoc networking. Technical report RR-5304, INRIA, September 2004. [bibtex]


  14. S. Colin, Bruno Legeard, and Fabien Peureux. Preamble Computation in Automated Test Case Generation using Constraint Logic Programming. Research Report RR2004-15, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2004. [bibtex]


  15. Sylvain Dahan, Jean-Marc Nicod, and Laurent Philippe. Scalability in a GRID Server Discovery Mechanism. Research Report RR2004-10, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2004.
    Keywords: Discovery service, GRID, scalability. [Abstract] [bibtex]


  16. Bruno Del Fabbro, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. A Data Persistency Approach for the DIET Metacomputing Environment. Research Report RR2004-11, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2004.
    Keywords: Grid Computing, Grid RPC, Data Persistency, DIET. [Abstract] [bibtex]


  17. David Fuin, Eric Garcia, and Hervé Guyennet. Adaptation d'un flux vidéo pour client léger sur un résea u actif. Research Report RR2004-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2004. [bibtex]


  18. David Fuin, Eric Garcia, and Hervé Guyennet. Qualité de Service dans les Réseaux Actifs. Research Report RR2004-06, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2004. [bibtex]


  19. Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and Fabien Renard. Appat: a New Platform to Perform Global Adaptation. Research Report RR2004-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2004. [bibtex]


  20. Eric Garcia and Julien Henriet. Definition of Web Portal Architecture. Délivrable D4.3, ITEA Proteus, June 2004. Note: 20 pages. [bibtex]


  21. Eric Garcia and Julien Henriet. State of the Art of Web Portal Technology and ERP. Délivrable D4.1, ITEA Proteus, April 2004. Note: 20 pages. [bibtex]


  22. Julien Henriet and David Saint-Voirin. e-Documentation Server Architecture Design. Délivrable D1.2, ITEA Proteus, September 2004. Note: 20 pages. [bibtex]


  23. Olga Kouchnarenko and Arnaud Lanoix. Verifying some PLTL Properties through Component-based Refinement. Research report RR2004-09, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2004.
    Keywords: component-based systems, refinement, PLTL properties, compositional verification. [Abstract] [bibtex]


  24. Christophe Lang. Requirements Specification for Platform Configuration Workbench. Délivrable D6.5, ITEA Proteus, June 2004. Note: 6 pages. [bibtex]


  25. Christophe Lang and Michel Salvadori. Quality of Service. Délivrable D6.6, ITEA Proteus, April 2004. Note: 17 pages. [bibtex]


  26. Bruno Legeard, Fabien Peureux, and Mark Utting. Controlling Test Case Explosion in Test Generation from B Formal Models. Research Report RR2004-14, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2004. [bibtex]


Other publications
  1. Thierry Chanier. Edition et diffusion de productions scientifiques pour l'éducation dans le domaine des TICE. Note: Journées SCEREN/CNDP, 'Quelles ressources, quelles documentations pédagogiques, pour quels usages avec quels métiers ?', Lons-le-Saunier, France, June 2004. [bibtex]


  2. Thierry Chanier. Etudier et soutenir les interactions dans les groupes d'apprentissage (des langues) à distance. Note: Séminaire Industrie de la Langue, organisé par Georges Antoniadis, Université Stendhal, Grenoble, France, February 2004. [bibtex]


  3. Thierry Chanier. L'archive ouverte Education et Tice. Note: Séminaire TémaTice sur 'Les TIC dans la formation des enseignants aux Etats-Unis et en France', MSH Paris, France, June 2004. [bibtex]


  4. Thierry Chanier. Le cas de la Revue Alsic. Note: Séminaire à la Semaine du Document Numérique, Atelier 'Normalisation d'une revue', La Rochelle, France, June 2004. [bibtex]


  5. Ahmed Hammad. Apport du raffinement pour la vérification des systèmes temps-r eel. Conférence invitée aux Journées d'Informatique pour l'Entreprise (JIE2'04), Université de Blida, Algérie, October 2004. [bibtex]


  6. Jean-Michel Hufflen. Beschreibung der mlBibTeX-Implementierung mit pgScheme. Note: Dante 2004, Herbsttagung, Hannover, October 2004. [bibtex]


  7. Jean-Michel Hufflen. mlBibTeX: der Zustand. Note: DANTE 2004. Darmstadt, March 2004. [bibtex]


  8. Pierre-Cyrille Héam. Semi-commutations et automates finis. Séminaire invité à l'ENS Cachan, April 2004. [bibtex]


  9. Bruno Legeard. Controlling Test Case Explosion in Test Generation from Formal Models. Invited Talk at the Microsoft Resarch Summer Institute on Trends in Testing: Theory, Techniques and Tools, University of Washington, USA, August 2004. [bibtex]


  10. Roland Mathieu, R. Gschwind, M. Martin, Libor Makovicka, Sylvain Contassot-Vivier, and Jacques Bahi. Use of the neural networks in external radiotherapy, May 2004. Note: Current Topics in Monte Carlo Treatment Planning, Advanced Workshop, Montréal, Canada. [bibtex]


  11. Roland Mathieu, Éric Martin, Régine Gschwind, Libor Makovicka, Sylvain Contassot-Vivier, and Jacques Bahi. Utilisation des réseaux d'apprentissage neuronaux en radiothérapie externe, June 2004. Note: 43ème Journées scientifiques de la Société Française de Physique Médicale, Montpellier, France. [bibtex]


  12. Christophe Reffay. Utiliser les réseaux sociaux pour représenter les communications dans les groupes de FAD. Note: Séminaire 'Instrumentation des activités du tuteur', organisé par Pascal Leroux, Paris, France, March 2004. [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