Back to INDEX

  Conference articles  

2012
  1. Mouhannad Alattar, Françoise Sailhan, and Julien Bourgeois. Log-based Intrusion Detection for MANET. In IWCMC'12, 8-th IEEE Int. Conf. on Wireless Communications and Mobile Computing, Limassol, Cyprus, pages ***--***, August 2012. IEEE Computer Society. Note: 6 pages. To appear. [bibtex]


  2. Mouhannad Alattar, Françoise Sailhan, and Julien Bourgeois. Trust-enabled Link Spoofing Detection in MANET. In workshop of ICDCS 2012, in conjunction with the 32-nd IEEE Int. Conf. on Distributed Computing Systems, Macau, China, pages ***--***, June 2012. IEEE Computer Society. Note: 8 pages. To appear. [bibtex]


  3. Jacques Bahi, Jean-François Couchot, Nicolas Friot, and Christophe Guyeux. A Robust Data Hiding Process Contributing to the Development of a Semantic Web. In INTERNET'2012, 4-th Int. Conf. on Evolving Internet, Venice, Italy, pages ***--***, June 2012. Note: To appear. [bibtex]


  4. Jacques Bahi, Jean-François Couchot, Nicolas Friot, and Christophe Guyeux. Application of Steganography for Anonymity through the Internet. In IHTIAP'2012, 1-st Workshop on Information Hiding Techniques for Internet Anonymity and Privacy, Venice, Italy, pages ***--***, June 2012. Note: To appear. [bibtex]


  5. Jacques Bahi, Xiaole Fang, and Christophe Guyeux. An optimization technique on pseudorandom generators based on chaotic iterations. In INTERNET'2012, 4-th Int. Conf. on Evolving Internet, Venice, Italy, pages ***--***, June 2012. Note: To appear. [bibtex]


  6. Jacques Bahi, Xiaole Fang, and Christophe Guyeux. State-of-the-art in Chaotic Iterations based pseudorandom numbers generators Application in Information Hiding. In IHTIAP'2012, 1-st Workshop on Information Hiding Techniques for Internet Anonymity and Privacy, Venice, Italy, pages ***--***, June 2012. Note: To appear. [bibtex]


  7. Jacques Bahi, Nicolas Friot, and Christophe Guyeux. Lyapunov exponent evaluation of a digital watermarking scheme proven to be secure. In IIH-MSP'2012, 8-th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing, Piraeus-Athens, Greece, pages ***--***, July 2012. IEEE Computer Society. Note: To appear. [bibtex]


  8. Jacques Bahi, Abdallah Makhoul, and Maguy Medlej. Frequency Filtering Approach for Data Aggregation in Periodic Sensor Networks. In NOMS 2012, 13-th IEEE/IFIP Network Operations and Management Symposium, Hawaii, USA, pages ***--***, April 2012. IEEE Computer Society Press. Note: To appear. [bibtex]


  9. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis. In SAC 2012, 27-th ACM Symposium On Applied Computing, Trento, Italy, pages 1284--1291, March 2012. [bibtex]


  10. Samir Chouali, Ahmed Hammad, and Hasan Mountassir. Assembling Components using SysML with Non-Functional Requirements. In FESCA 2012, 9th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, volume * of ENTCS, Electronic Notes in Theoretical Computer Science, Tallinn, Estonia, pages ***--***, March 2012. Note: To appear. [bibtex]


  11. Jean-François Couchot, Karine Deschinkel, and Michel Salomon. Suitability of Artificial Neural Network for MEMS-based Flow Control. In Julien Bourgeois and Michel de Labachelerie, editors, dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS, Besançon, France, pages ***--***, April 2012. IEEE CPS. [bibtex]


  12. Youssou Faye, Hervé Guyennet, and Ibrahima Niang. A User Authentication-Based Probabilistic Risk Approach for Wireless Sensor Networks. In iWMANET 2012, Int. Workshop on Mobile Ad-Hoc Wireless Networks, conjointly organized with IEEE iCOST’2012, Avignon, France, pages ***-***, July 2012. IEEE Computer Society. Note: To appear. [bibtex]


  13. Youssou Faye, Hervé Guyennet, Ibrahima Niang, and Y. Shou. Optimisation d'un Protocole d'Authentification dans les Réseaux de Capteurs Sans Fil. In SAR-SSI 2012, 7ème Conf. sur la sécurité des architectures réseaux et systèmes d'information, Cabourg, France, pages ***--***, May 2012. Note: À paraître. [bibtex]


  14. Elizabeta Fourneret, Fabrice Bouquet, Martin Ochoa, Jan Jürjens, and Sven Wenzel. Vérification et Test pour des systèmes évolutifs. In AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Grenoble, France, pages 150--164, January 2012. [bibtex]


  15. Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, and Fabien Peureux. Transformation of SysML structure diagrams to VHDL-AMS. In Julien Bourgeois and Michel de Labachelerie, editors, dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS, Besançon, France, pages ***--***, April 2012. IEEE CPS. [bibtex]


  16. I. Hassoumi, Christophe Lang, Nicolas Marilleau, M. Temani, K. Ghedira, and J.-D. Zucker. Toward a spatially-centered approach to integrate heterogeneous and multi-scales urban component models. In Y. Demazeau, J. Müller, J.-M. Corchado, and J. Bajo, editors, PAAMS 2012, 10th Int. Conf. on Practical Applications of Agents and Multi-Agent Systems, volume * of AISC, Salamanca, Spain, pages ***--***, March 2012. Springer. Note: To appear. [bibtex]


  17. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. Efficient Cluster-based Fault-tolerant Schemes for Wireless Sensor Networks. In NTMS 2012, 5-th IFIP Int. Conf. on New Technologies, Mobility and Security, Istanbul, Turkey, pages ***--***, May 2012. Note: To appear. [bibtex]


  18. Pascale Minet and Julien Bourgeois. Towards Usage of Wireless MEMS Networks in Industrial Context. In Julien Bourgeois and Michel de Labachelerie, editors, dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS, Besançon, France, pages 1--8, April 2012. IEEE CPS. [bibtex]


  19. T. Moulahi, Hervé Guyennet, and S. Nasri. Amelioration of MPR by a Backbone-Based Broadcasting Algorithm for WSNs. In ICITeS'2012, IEEE sponsored Int. Conf. on Information Technology and e-services, Sousse, Tunisia, pages ***-***, March 2012. Note: To appear. [bibtex]


  20. Sebastian Möbes, Benoît Piranda, Guillaume J. Laurent, Julien Bourgeois, Cédric Clévy, and Nadine Le Fort-Piat. Toward a 2D Modular and Self-Reconfigurable Robot for Conveying Microparts. In Julien Bourgeois and Michel de Labachelerie, editors, dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS, Besançon, France, pages 1--8, April 2012. IEEE CPS. [bibtex]


  21. Atsushi Sato, Eugen Dedu, Julien Bourgeois, and Runhe Huang. Tree-structured knowledge in a distributed intelligent MEMS application. In Julien Bourgeois and Michel de Labachelerie, editors, dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS, Besançon, France, pages 22--29, April 2012. IEEE CPS. [bibtex]


  22. Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, and Julien Botella. Model-Based Filtering of Combinatorial Test Suites. In J. de Lara and A. Zisman, editors, FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, volume 7212 of LNCS, Tallinn, Estonia, pages 439--454, March 2012. [bibtex]


2011
  1. Nabil Abdennadher, Mohamed Ben Belgacem, Raphaël Couturier, David Laiymani, Sébastien Miquée, Marko Niinimäki, and Marc Sauget. Gridification of a Radiotherapy Dose Computation Application with the XtremWeb-CH Environment. In GPC 2011, Grid and Pervasive Computing, volume 6646 of LNCS, Oulu, Finland, pages 188--197, May 2011. [bibtex]


  2. Wahabou Abdou, Christelle Bloch, Damien Charlet, Dominique Dhoutaut, and François Spies. Designing Smart Adaptive Flooding in MANET using Evolutionary Algorithm. In MobilWare 2011, 4th Int. ICST Conf. on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, volume * of LNCS, London, UK, pages ***--***, June 2011. Springer. Note: To appear. [Abstract] [bibtex]


  3. Wahabou Abdou, Christelle Bloch, Damien Charlet, and François Spies. Conception d'un protocole de diffusion auto-adaptatif pour les MANETs par approche évolutionniste. In ROADEF'11, 12ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, volume II, Saint-Etienne, France, pages 483--484, March 2011. [bibtex]


  4. Mouhannad Alattar, Françoise Sailhan, and Julien Bourgeois. Détection de liens falsifiés basée sur les traces en réseau mobile ad hoc. In JDIR'11, 12èmes Journées Doctorales en Informatique et Réseaux, Session algorithmes sur les graphes, Belfort, France, November 2011. [bibtex]


  5. Jean-Baptiste Aupet, Rami Kassab, Jean-Christophe Lapayre, and Franck Marzani. Adaptative image flow in collaborative medical telediagnosis environments. In CSCWD'11, 15-th Int. Conf. on Computer Supported Cooperative Work in Design, Lausanne, Switzerland, pages 685--689, June 2011. IEEE Computer Society Press. [bibtex]


  6. Jean-Baptiste Aupet, Jean-Christophe Lapayre, and Yanbo Shou. Adaptabilité des flux vidéos dans les logiciels collaboratifs : Test de qualité par référence prédéfinie. In Ubimob 2011, 7es journées francophones Mobilité et Ubiquité, Toulouse, France, pages 96--108, June 2011. [bibtex]


  7. Jacques Bahi, Sylvain Contassot-Vivier, and Arnaud Giersch. Load balancing in dynamic networks by bounded delays asynchronous diffusion. In José Palma, Michel Daydé, Osni Marques, and João Lopes, editors, VECPAR'10, 9-th Int. Meeting on High Performance Computing for Computational Science: revised selected papers, volume 6449 of LNCS, pages 352--365, 2011. Springer. [bibtex]


  8. Jacques Bahi, Jean-François Couchot, and Christophe Guyeux. Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations. In INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet, Luxembourg, Luxembourg, pages 52--57, June 2011. Note: Best paper award. [bibtex]


  9. Jacques Bahi, Jean-François Couchot, and Christophe Guyeux. Steganography: a Class of Algorithms having Secure Properties. In IIH-MSP-2011, 7-th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing, Dalian, China, pages ***--***, October 2011. Note: To appear. [bibtex]


  10. Jacques Bahi, Jean-François Couchot, Christophe Guyeux, and Adrien Richard. On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems. In FCT'11, 18th Int. Symp. on Fundamentals of Computation Theory, volume 6914 of LNCS, Oslo, Norway, pages 126--137, August 2011. [bibtex]


  11. Jacques Bahi, Jean-François Couchot, Christophe Guyeux, and Qianxue Wang. Class of Trustworthy Pseudo Random Number Generators. In INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet, Luxembourg, Luxembourg, pages ***--***, June 2011. Note: To appear. [bibtex]


  12. Jacques Bahi, Raphaël Couturier, and Lilia Ziane Khodja. Parallel GMRES implementation for solving sparse linear systems on GPU clusters. In HPC 2011, High Performance Computing Symposium, Boston, Massachusetts, United States, pages 21--28, April 2011. ACM. [bibtex]


  13. Jacques Bahi, Raphaël Couturier, and Lilia Ziane Khodja. Parallel sparse linear solver GMRES for GPU clusters with compression of exchanged data. In HeteroPar'11, 9-th Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms, volume *** of LNCS, Bordeaux, France, pages ***--***, August 2011. Springer. Note: To appear. [bibtex]


  14. Jacques Bahi, Nathalie Côté, and Christophe Guyeux. Chaos of Protein Folding. In IJCNN 2011, Int. Joint Conf. on Neural Networks, San Jose, California, United States, pages 1948--1954, July 2011. [bibtex]


  15. Jacques Bahi, Xiaole Fang, Christophe Guyeux, and Qianxue Wang. On the design of a family of CI pseudo-random number generators. In WICOM'11, 7th Int. IEEE Conf. on Wireless Communications, Networking and Mobile Computing, Wuhan, China, pages 1--4, September 2011. [bibtex]


  16. Jacques Bahi, Christophe Guyeux, Abdallah Makhoul, and Congduc Pham. Secure scheduling of wireless video sensor nodes for surveillance applications. In ADHOCNETS 11, 3rd Int. ICST Conference on Ad Hoc Networks, volume 0089 of LNICST, Paris, France, pages ***--***, September 2011. Springer. Note: To appear. [bibtex]


  17. Jacques Bahi, Christophe Guyeux, and Michel Salomon. Building a Chaotic Proven Neural Network. In ICCANS 2011, IEEE Int. Conf. on Computer Applications and Network Security, Maldives, Maldives, pages ***--***, May 2011. [bibtex]


  18. Jacques Bahi, Mourad Hakem, and Abdallah Makhoul. Reliable Distributed Data Fusion Scheme in Unsafe Sensor Networks. In AICCSA 2011, 9-th ACS/IEEE Int. Conf. on Computer Systems and Applications, Sharm El-Sheikh, Egypt, pages ***--***, December 2011. IEEE Computer Society Press. Note: To appear. [bibtex]


  19. Jacques Bahi, Abdallah Makhoul, and Maguy Medlej. Data Aggregation for Periodic Sensor Networks Using Sets Similarity Functions. In IWCMC 2011, 7th IEEE Int. Wireless Communications and Mobile Computing Conference, Istanbul, Turkey, pages 559--564, July 2011. IEEE Computer Society Press. [bibtex]


  20. Jacques Bahi, Abdallah Makhoul, and Maguy Medlej. Energy Efficient 2-Tiers Weighted in-Sensor Data Cleaning. In SENSORCOMM'11, 5-th Int. Conf. on Sensor Technologies and Applications, Nice, France, pages 197--202, August 2011. [bibtex]


  21. Walid Belkhir and Alain Giorgetti. Lazy Rewriting Modulo Associativity and Commutativity. In WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming, Novi Sad, Serbia, pages 17--21, May 2011. [bibtex]


  22. Nacéra Benaouda, Hervé Guyennet, Ahmed Hammad, and Mohamed Lehsaini. Design and Verification of a Self-organisation Algorithm for Sensor Networks. In Azizah Abd Manaf, Shamsul Sahibuddin, Rabiah Ahmad, Salwani Mohd Daud, and Eyas El-Qawasmeh, editors, ICIEIS 2011, Int. Conf. on Informatics Engineering and Information Science, volume 253 of Communications in Computer and Information Science, Kuala Lumpur, Malaysia, pages 530--543, 2011. Springer. [bibtex]


  23. Anne Benoit, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Workload balancing and throughput optimization for heterogeneous systems subject to failures. In Euro-Par 2011, 17th Int. European Conf. on Parallel and Distributed Computing, Bordeaux, France, pages 242--254, August 2011. Springer. [bibtex]


  24. E. Blanchart, C. Cambier, C. Canape, B. Gaudou, T.-N. Ho, T.-V. Ho, Christophe Lang, F. Michel, Nicolas Marilleau, and Laurent Philippe. EPIS: a grid platform to ease and optimize multi-agent simulators running. In PAAMS 2011, 9th Int. Conf. on Practical Applications of Agents and Multiagent Systems, Salamanca, Spain, pages 129--134, April 2011. Springer. [bibtex]


  25. Julien Bourgeois and S.C. Goldstein. Distributed Intelligent MEMS: Progresses and perspectives. In ICT Innovations 2011: 3-rd Int. Conf. ICT Innovations, volume * of Communications in Computer and Information Science, Ohrid, Macedonia, pages ***--***, September 2011. Springer. Note: Keynote talk at ICT Innovations 2011. [bibtex]


  26. Julien Bourgeois, Vaidy Sunderam, Jaroslaw Slawinski, and Bogdan Cornea. Extending executability of applications on varied target platforms. In HPCC 2011, 13-th IEEE Int. Conf. on High Performance Computing and Communications, Banff, Canada, pages 1--8, September 2011. Note: Proceedings on CD ROM. [bibtex]


  27. Pierre-Christophe Bué, Jacques Julliand, and Pierrre-Alain Masson. Association of Under-Approximation Techniques for Generating Tests from Models. In TAP'11, 5-th Int. Conf. of Tests and Proofs, volume 6706 of LNCS, Zurich, Switzerland, pages 51--68, June 2011. Springer. [bibtex]


  28. Kalou Cabrera Castillos and Julien Botella. Scenario Based Test Generation using Test Designer. In SCENARIOS'11, 1st Int. Workshop on Scenario Based Testing -- co-located with ICST'2011, Berlin, Germany, pages 79--88, March 2011. IEEE Computer Society Press. [bibtex]


  29. Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, and Safouan Taha. Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests. In B. Wolff and F. Zaidi, editors, ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems, volume 7019 of LNCS, Paris, France, pages 32--47, November 2011. Springer. [bibtex]


  30. Ming Chau, Raphaël Couturier, Jacques Bahi, and Pierre Spiteri. Parallel solution of sequence of obstacle problems in grid environments. In PARENG 2011, 2-nd Int. Conf. on Parallel, Distributed, Grid and Cloud Computing for Engineering, Ajaccio, France, April 2011. Civil-Comp Press. Note: Electronic proceedings. [bibtex]


  31. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. In TAP'11, 5-th Int. Conf. of Tests and Proofs, volume 6706 of LNCS, Zurich, Switzerland, pages 78--83, June 2011. Springer. Note: Short paper, TOOL session. [bibtex]


  32. Sébastien Chipeaux, Fabrice Bouquet, Christophe Lang, and Nicolas Marilleau. Modelling of complex systems with AML as realized in MIRO project. In LAFLang 2011, workshop of the Int. Conf. WI/IAT (Web Intelligence and Intelligent Agent Technology), Lyon, France, pages 159--162, August 2011. IEEE Computer Society. [bibtex]


  33. Bogdan Cornea and Julien Bourgeois. Performance Prediction of Distributed Applications Using Block Benchmarking Methods. In PDP'11, 19-th Int. Euromicro Conf. on Parallel, Distributed and Network-Based Processing, Ayia Napa, Cyprus, pages 183--190, February 2011. IEEE Computer Society Press. [Abstract] [bibtex]


  34. Bogdan Cornea, Julien Bourgeois, The Tung Nguyen, and Didier El-Baz. Performance Prediction in a Decentralized Environment for Peer-to-Peer Computing. In HotP2P'11, 8-th Int. Workshop on Hot Topics in Peer-to-Peer Systems, IEEE IPDPS Workshops, Anchorage, Alaska, United States, pages 1613--1621, May 2011. IEEE Computer Society Press. [Abstract] [bibtex]


  35. Roméo Courbis. Rewriting Approximations For Properties Verification Over CCS Specifications. In FSEN'11, 4th Int. Conf. of Fundamentals of Software Ingeneering, volume * of LNCS, Tehran, Iran, pages ***--***, April 2011. Springer. Note: To appear. [bibtex]


  36. Raphaël Couturier, David Laiymani, and Sébastien Miquée. MAHEVE: An Efficient Reliable Mapping of Asynchronous Iterative Applications on volatile and Heterogeneous Environments. In HeteroPar'10, 8-th Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms, volume 6586 of LNCS, Ischia, Italy, pages 31--39, August 2011. Springer. Note: Appeared in 2011 in an LNCS volume. [bibtex]


  37. Gérard Cécé and Alain Giorgetti. Simulations over Two-Dimensional On-Line Tessellation Automata. In Giancarlo Mauri and Alberto Leporati, editors, DLT 2011, Developments in Language Theory, volume 6795 of LNCS, Milan, Italy, pages 141--152, July 2011. Springer. [bibtex]


  38. Frédéric Dadeau, Pierre-Cyrille Héam, and Rafik Kheddam. Mutation-Based Test Generation from Security Protocols in HLPSL. In M. Harman and B. Korel, editors, ICST 2011, 4th Int. Conf. on Software Testing, Verification and Validation, Berlin, Germany, pages 240--248, March 2011. IEEE Computer Society Press. [bibtex]


  39. Frédéric Dadeau and Fabien Peureux. Grey-box Testing and Verification of Java/JML. In CSTVA'11, 3rd Int. Workshop on Constraint in Software Testing Verification and Analysis - co-located with ICST'2011, Berlin, Germany, pages 298--303, March 2011. IEEE Computer Society Press. [bibtex]


  40. Karine Deschinkel. A column generation based heuristic for maximum lifetime coverage in wireless sensor networks. In SENSORCOMM'11, 5-th Int. Conf. on Sensor Technologies and Applications, Nice, France, pages 209--214, August 2011. Note: Best papers award. [bibtex]


  41. Julien Dormoy, Olga Kouchnarenko, and Arnaud Lanoix. Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. In FACS 2011, 8th Int. Symposium on Formal Aspects of Component Software, volume * of LNCS, Oslo, Norway, pages ***--***, September 2011. Springer. Note: To appear in the LNCS series. [bibtex]


  42. Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, and Abdallah Ben Othman. Praspel: A Specification Language for Contract-Based Testing in PHP. In B. Wolff and F. Zaidi, editors, ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems, volume 7019 of LNCS, Paris, France, pages 64--79, November 2011. Springer. [bibtex]


  43. Elizabeta Fourneret and Fabrice Bouquet. UML/OCL based impact analysis to test evolvin critical software. In ETAI'11, Society for Electronics, Telecommunications, Automatics and Informatics 10-th Int. Conf., Ohrid, Macedonia, pages 73--79, September 2011. [bibtex]


  44. Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, and Stéphane Debricon. Selective Test Generation Method for Evolving Critical Systems. In REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011, Berlin, Germany, pages 125--134, March 2011. IEEE Computer Society Press. [bibtex]


  45. Elizabeta Fourneret, Martin Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, and Parvaneh Yousefi. Model-Based Security Verification and Testing for Smart-cards. In ARES 2011, 6-th Int. Conf. on Availability, Reliability and Security, Vienna, Austria, pages 272--279, August 2011. [bibtex]


  46. Nicolas Friot, Christophe Guyeux, and Jacques Bahi. Chaotic Iterations for Steganography - Stego-security and chaos-security. In SECRYPT'2011, Int. Conf. on Security and Cryptography, Sevilla, Spain, pages ***--***, July 2011. Note: To appear. [bibtex]


  47. Mohamed Hedi Karray, Brigitte Chebel-Morello, Christophe Lang, and Noureddine Zerhouni. A component based system for S-maintenance. In INDIN'11, Conference on Industrial Informatics, Lisbon, Portugal, pages 1--8, July 2011. IEEE Computer Society Press. [Abstract] [bibtex]


  48. Hui Hui, Youssef Yakoubi, Michel Lenczner, Scott Cogan, André Meister, Mélanie Favre, Raphaël Couturier, and Stéphane Domas. Modeling, Filtering and Optimization for AFM Arrays. In EuroSimE 2011, 12-th Int. Conf. on Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, Linz, Austria, May 2011. IEEE Computer Society Press. Note: Electronic proceedings. [bibtex]


  49. Pierre-Cyrille Héam, Vincent Hugot, and Olga Kouchnarenko. Loops and overloops for tree walking automata. In CIAA'11, 6-th Int. Conf. on Implementation and Application of Automata, volume 6807 of LNCS, Blois, France, pages 166--177, July 2011. Springer. [bibtex]


  50. Pierre-Cyrille Héam and Catherine Masson. A Random Testing Approach Using Pushdown Automata. In TAP'11, 5-th Int. Conf. of Tests and Proofs, volume 6706 of LNCS, Zurich, Switzerland, pages 119--133, June 2011. Springer. [bibtex]


  51. Pierre-Cyrille Héam and Cyril Nicaud. Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing. In ICST'11, 4-th IEEE Int. Conf. on Software Testing, Verification and Validation, Berlin, Germany, pages 60--69, March 2011. IEEE Computer Society. [bibtex]


  52. Arnaud Lanoix, Julien Dormoy, and Olga Kouchnarenko. Combining Proof and Model-checking to Validate Reconfigurable Architectures. In FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, volume 279-2 of ENTCS, Electronic Notes in Theoretical Computer Science, Saarbrücken, Germany, pages 43--57, April 2011. [bibtex]


  53. Jonathan Lasalle, Fabien Peureux, and Jérôme Guillet. Automatic test concretization to supply end-to-end MBT for automotive mecatronic systems. In ETSE 2011, 1st Int. Workshop on End-to-End Test Script Engineering. In conjuction with ISSTA 2011, Toronto, Canada, pages 16--23, July 2011. [bibtex]


  54. Fabio Massacci, Fabrice Bouquet, Elizabeta Fourneret, Jan Jurjens, Mass Lund, Sébastien Madelénat, JanTobias Muehlberg, Federica Paci, Stéphane Paul, Frank Piessens, Bjornar Solhaug, and Sven Wenzel. Orchestrating Security and System Engineering for Evolving Systems. In Towards a Service-Based Internet, volume 6994 of LNCS, Poznan, Poland, pages 134--143, October 2011. Note: Invited Talk at the 4th European Conference, ServiceWave 2011. [bibtex]


  55. Malika Mehdi, Jean-Claude Charr, Nouredine Melab, EL-Ghazali Talbi, and Pascal Bouvry. A Cooperative Tree-based Hybrid GA-B&B Approach for Solving Challenging Permutation-based Problems. In GECCO 2011, Genetic and Evolutionary Computation Conference, Dublin, Ireland, pages ***--***, July 2011. ACM. Note: To appear. [bibtex]


  56. Sebti Mouelhi, Samir Chouali, and Hassan Mountassir. Invariant Preservation by Component Composition Using Semantical Interface Automata. In ICSEA 2011, 6-th Int. Conf. on Software Engineering Advances, Barcelona, Spain, pages 305--311, October 2011. [bibtex]


  57. T. Moulahi, Hervé Guyennet, Mohamed Lehsaini, and S. Nasri. An Energy Aware MPR-based Broadcasting Algorithms for Wireless Sensor. In iCOST 2011, IEEE sponsored Int. Conf. on Selected Topics in Mobile and Wireless Networking, Shanghai, China, pages 13--18, October 2011. IEEE Computer Society. [bibtex]


  58. Jean-Marc Nicod, Laurent Philippe, Veronika Rehn-Sonigo, and Lamiel Toch. Using Virtualization and Job Folding for Batch Scheduling. In ISPDC'2011, 10th Int. Symposium on Parallel and Distributed Computing, Cluj-Napoca, Romania, pages 39--41, July 2011. IEEE Computer Society Press. [bibtex]


  59. Gilles Perrot, Stéphane Domas, Raphaël Couturier, and Nicolas Bertaux. GPU Implementation of a Region Based Algorithm for Large Images Segmentation. In CIT 2011, 11-th IEEE Int. Conf. on Computer and Information Technology, Pafos, Cyprus, August 2011. IEEE Computer Society Press. Note: Electronic proceedings. [bibtex]


  60. Laurent Philippe, Jean-Marc Nicod, and Lamiel Toch. A Genetic Algorithm with Communication Costs to Schedule Workflows on a SOA-Grid. In HeteroPar'2011, 9-th Int. Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms, volume 7155 of LNCS, Bordeaux, France, pages 419--428, 2011. Note: To appear in the Springer LNCS series. [bibtex]


  61. Wassim Ramadan. Améliorer la qualité de la vidéo sur Internet. In Prix A'Doc de la jeune recherche en Franche-Comté, Besançon, France, pages 91--108, June 2011. Presses Universitaires de Franche-Comté. Note: Prix : Lauréat du prix A'Doc 2011. [bibtex]


  62. Wassim Ramadan, Eugen Dedu, and Julien Bourgeois. Avoiding zigzag quality switching in real content adaptive video streaming. In Hocine Cherifi, Jasni Mohamad Zain, and Eyas El-Qawasmeh, editors, DICTAP 2011, 1st Int. Conf. on Digital Information and Communication Technology and Its Applications, volume 167 of CCIS, Communications in Computer and Information Science, Dijon, France, pages 421--435, June 2011. Springer. [bibtex]


  63. Veronika Rehn-Sonigo, Denis Trystram, Frédéric Wagner, Haifeng Xu, and Guochuan Zhang. Offline Scheduling of Multi-Threaded Request Streams on a Caching Server. In IPDPS'11, Int. Parallel and Distributed Processing Symposium, Anchorage, Alaska, United States, pages 1154--1163, May 2011. IEEE Computer Society Press. [bibtex]


  64. Aurélie Robert, Karine Deschinkel, Sébastien Roth, Xiu Tian Yan, and Samuel Gomes. Approche DFA et conception fonctionnelle de produits modulaires : le modèle FARD. In CIGI 2011, 9ème congrès international de Génie Industriel, Québec, Canada, pages 8 pages, October 2011. [bibtex]


  65. Aurélie Robert, Xiu Tian Yan, Sébastien Roth, Karine Deschinkel, and Samuel Gomes. A new approach to modularity in product development - utilising assembly sequence knowledge. In ICED'11, Int. Conf. on Engineering Design, Copenhague, Denmark, pages ***--***, August 2011. Note: To appear. [bibtex]


  66. Aurélie Robert, Xiu Tian Yan, Sébastien Roth, Karine Deschinkel, and Samuel Gomes. Vers une nouvelle approche de conception ''hautement productive'' intégrant la démarche DFA. In AIP PRIMECA 2011, 12e Colloque National, Le Mont-Dore, France, pages ***--***, April 2011. [bibtex]


  67. Marc Sauget, Julien Henriet, Michel Salomon, and Sylvain Contassot-Vivier. Large Datasets: A Mixed Method to Adapt and Improve Their Learning by Neural Networks Used in Regression Contexts. In EANN/AIAI 2011, Engineering Applications of Neural Networks, volume 363 of IFIP Advances in Information and Communication Technology, Corfu, Greece, pages 182--191, September 2011. Springer. [bibtex]


  68. Raheel Hassan Syed, Jasmina Pazardzievska, and Julien Bourgeois. Minimization of Security Alerts Under Denial of Service Attacks in Grid Computing Networks. In GCA 2011, Int. Conf. on Grid Computing and Applications, Las Vegas, United States, pages 1--7, July 2011. Note: Electronic proceedings. [bibtex]


  69. Raheel Hassan Syed, Jasmina Pazardzievska, Maxime Syrame, and Julien Bourgeois. Une proposition pour améliorer la sécurité des grilles de calcul face aux attaques distribuées par déni de service. In JDIR'11, 12èmes Journées Doctorales en Informatique et Réseaux, Belfort, France, November 2011. [bibtex]


  70. Qing Xu, Hakim Mabed, Frédéric Lassabe, and Alexandre Caminada. Efficient dynamic radio ressources management for multimedia broadcast multicast services. In JDIR'11, 12èmes Journées Doctorales en Informatique et Réseaux, Belfort, France, November 2011. [bibtex]


  71. Youssef Yakoubi, Michel Lenczner, Gwenael Goavec-Merou, Raphaël Couturier, and Jean-Michel Friedt. Diffusive Realization of a Lyapunov Equation Solution, and its FPGA Implementation. In 18th IFAC World Congress, Milano, Italy, May 2011. Note: Electronic proceedings. [bibtex]


  72. Bin Yang, Walid Belkhir, Raj Narayan Dhara, Michel Lenczner, and Alain Giorgetti. Computer-Aided Multiscale Model Derivation for MEMS Arrays. In EuroSimE 2011, 13-th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, Linz, Austria, April 2011. IEEE Computer Society. Note: 6 pages. Electronic proceedings. [bibtex]


  73. Bin Yang, Raj Narayan Dhara, Walid Belkhir, Michel Lenczner, and Alain Giorgetti. Formal Methods for Multiscale Models Derivation. In CFM 2011, 20-th Congrès Français de Mécanique, Besançon, France, August 2011. Note: 5 pages. Electronic proceedings. [bibtex]


2010
  1. Bouamari Abdelkader, Mohammed Mostefai, Hassan Mountassir, and Ahmed Hammad. Efficient model checking with UML and specification patterns. In ICWIT'10, the 3rd Int. Conf. on Web and Information Technologies, Marrakech, Morocco, pages 55--67, June 2010. [bibtex]


  2. Jacques Bahi, Sylvain Contassot-Vivier, and Arnaud Giersch. Load balancing in dynamic networks by bounded delays asynchronous diffusion. In VECPAR'10, 10-th int. meeting on High Performance Computing for Computational Science, Berkeley, United States, June 2010. [bibtex]


  3. Jacques Bahi and Christophe Guyeux. A new chaos-based watermarking algorithm. In SECRYPT'10, Int. conf. on security and cryptography, Athens, Greece, pages 455--458, July 2010. SciTePress. [bibtex]


  4. Jacques Bahi and Christophe Guyeux. Topological chaos and chaotic iterations, application to Hash functions. In IJCNN'10, Int. Joint Conf. on Neural Networks, joint to WCCI'10, IEEE World Congress on Computational Intelligence, Barcelona, Spain, pages 1--7, July 2010. Note: Best paper award. [bibtex]


  5. Jacques Bahi, Christophe Guyeux, and Abdallah Makhoul. Efficient and Robust Secure Aggregation of Encrypted Data in Sensor Networks. In SENSORCOMM'10, 4-th Int. Conf. on Sensor Technologies and Applications, Venice-Mestre, Italy, pages 472--477, July 2010. [bibtex]


  6. Jacques Bahi, Christophe Guyeux, and Abdallah Makhoul. Secure Data Aggregation in Wireless Sensor Networks. Homomorphism versus Watermarking Approach. In ADHOCNETS 2010, 2nd Int. Conf. on Ad Hoc Networks, volume 49 of Lecture Notes in ICST, Victoria, Canada, pages 344--358, August 2010. [bibtex]


  7. Jacques Bahi, Christophe Guyeux, and Qianxue Wang. A Pseudo Random Numbers Generator Based on Chaotic Iterations. Application to Watermarking. In WISM 2010, Int. Conf. on Web Information Systems and Mining, volume 6318 of LNCS, Sanya, China, pages 202--211, October 2010. [bibtex]


  8. Jacques Bahi, Christophe Guyeux, and Qianxue Wang. Improving random number generators by chaotic iterations. Application in data hiding. In ICCASM 2010, Int. Conf. on Computer Application and System Modeling, Taiyuan, China, pages V13-643--V13-647, October 2010. [bibtex]


  9. Jacques Bahi, Mohammed Haddad, Mourad Hakem, and Hamamache Kheddouci. A New Reliable and Self-Stabilizing Data Fusion Scheme in Unsafe Wireless Sensor Networks. In PDCAT'10, 11th IEEE Int. Conf. on Parallel and Distributed Computing Applications and Technologies, Wuhan, China, pages 87--93, December 2010. IEEE Computer Society Press. [bibtex]


  10. Jacques Bahi, Abdallah Makhoul, and Christophe Guyeux. Efficient and Robust Secure Aggregation of Encrypted Data in Sensor Networks for critical applications. In RESSACS, Journée thématique PHC/ResCom sur RESeaux de capteurS et Applications Critiques de Surveillance, Bayonne, France, June 2010. Note: Communication orale. [bibtex]


  11. N. Benaouda, Hervé Guyennet, Ahmed Hammad, and Mohammed Mostefai. A New Two Level Hierarchy Structuring for node Partitionning in Ad Hoc Networks. In SAC'10, 25th ACM Symposium on Applied Computing, Zurich, Switzerland, pages 719--726, March 2010. [bibtex]


  12. Anne Benoit, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Throughput optimization for micro-factories subject to task and machine failures. In APDCM'10, 12th Workshop on Advances on Parallel and Distributed Processing Symposium, Atlanta, United States, pages 11--18, April 2010. IEEE Computer Society Press. [bibtex]


  13. Antonia Bertolino, Wolfgang Grieskamp, Robert Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit Paradkar, David Rosenblum, and Jan Tretmans. Model-Based Testing for the Cloud. In Mark Harman, Henry Muccini, Wolfram Schulte, and Tao Xie, editors, Practical Software Testing: Tool Automation and Human Factors, Dagstuhl Seminar Proceedings, Dagstuhl, Germany, pages 1--11, 2010. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. [bibtex]


  14. Kamal Beydoun and Violeta Felea. Wireless Sensor Networks Routing over Zones. In SoftCOM 2010, 18th Int. Conf. on Software, Telecommunications and Computer Networks, Split-Bol, Croatia, pages 402--406, September 2010. [bibtex]


  15. Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, and Pierre-Alain Masson. Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. In A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10, Paris, France, pages 54--61, April 2010. [bibtex]


  16. Kahina Boutoustous, Guillaume J. Laurent, Eugen Dedu, Laetitia Matignon, Julien Bourgeois, and Nadine Le Fort-Piat. Distributed control architecture for smart surfaces. In Ren C. Luo and Hajime Asaman, editors, IROS 2010, 23-rd IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, Taipei, Taiwan, pages 2018--2024, October 2010. IEEE Computer Society Press. [bibtex]


  17. Pierre-Christophe Bué, Frédéric Dadeau, and Pierre-Cyrille Héam. Model-Based Testing using Symbolic Animation and Machine Learning. In CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, Paris, France, pages 355--360, April 2010. IEEE Computer Society Press. [bibtex]


  18. Pierre-Christophe Bué, Frédéric Dadeau, Adrien de Kermadec, and Fabrice Bouquet. Building a Test-ready Abstraction of a Behavioral Model using CLP. In G. Fraser and A. Gargantini, editors, TAP'10, 4-th Int. Conf. on Tests and Proofs, volume 6143 of LNCS, Malaga, Spain, pages 167--182, July 2010. [bibtex]


  19. Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson, and Fabrice Bouquet. Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 11--25, June 2010. [bibtex]


  20. A. Caciula, Roméo Courbis, Violeta Felea, Pierre-Cyrille Héam, and R. Ionescu. Une approche parallèle et distribuée pour la complétion d'automates d'arbre. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 43--46, June 2010. Note: Papier court. [bibtex]


  21. Omar Chebaro. Outil SANTE : Détection d'erreurs par analyse statique et test structurel des programmes C. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 75--79, June 2010. Note: Papier court. [bibtex]


  22. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Combining Frama-C and PathCrawler for C Program Debugging. In GDR GPL 2010, 2èmes journées nationales du Groupement de recherche CNRS du Génie de la programmation et du logiciel, Pau, France, pages 217--218, March 2010. Note: Résumé étendu. [bibtex]


  23. Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, and Jacques Julliand. Combining Static Analysis and Test Generation for C Program Debugging. In G. Fraser and A. Gargantini, editors, TAP'10, 4th Int. Conf. on Tests and Proofs, volume 6143 of LNCS, Malaga, Spain, pages 94--100, July 2010. [bibtex]


  24. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adaptation des Protocoles des Composants par les Automates d'Interface. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 253--266, June 2010. [bibtex]


  25. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adapting Components Behaviours using Interface Automata. In SEAA'10, 36th Euromicro Conference on Software Engineering and Advanced Applications, Lille, France, pages 119-122, September 2010. IEEE Computer Society Press. [bibtex]


  26. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Adapting Components using Interface Automata strengthened by Action Semantics. In FoVeoos 2010, int. conf. on Formal Verification of Object-oriented software, Paris, France, pages 7--21, June 2010. [bibtex]


  27. Samir Chouali, Sebti Mouelhi, and Hassan Mountassir. Assembly of components based on interface automata and UML component model. In Khalil Drira, editor, CAL'10, 4e Conf. Francophone sur les Architectures Logicielles, volume RNTI-L-5 of RNTI, Revue des Nouvelles Technologies de l'Information, Pau, France, pages 73--85, March 2010. Cépaduès éditions. [bibtex]


  28. Roméo Courbis, Pierre-Cyrille Héam, Pierre Jourdan, and Olga Kouchnarenko. Approximations par réécriture pour deux problèmes indécidables. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 7--10, June 2010. Note: Papier court. [bibtex]


  29. Raphaël Couturier and Fabienne Jézéquel. Solving large sparse linear systems in a grid environment using Java. In PDSEC'10, 11-th IEEE Int. Workshop on Parallel and Distributed Scientific and Engineering Computing, joint to IPDPS'10, ACM/IEEE Int. Parallel and Distributed Processing Symposium, Atlanta, United States, pages 1--7, 2010. IEEE Computer Society Press. Note: Electronic proceedings. [bibtex]


  30. Raphaël Couturier, David Laiymani, and Sébastien Miquée. Mapping Asynchronous Iterative Applications on Heterogeneous Distributed Architectures. In IPDPS'10, ACM/IEEE Int. Parallel and Distributed Processing Symposium, Workshop on Parallel and Distributed Scientific and Engineering Computing, Atlanta, United States, pages 1--8, 2010. IEEE Computer Society Press. Note: Electronic Proceedings. [bibtex]


  31. Matteo Cypriani, Philippe Canalda, Frédéric Lassabe, and François Spies. Wi-Fi-Based Indoor Positioning: Basic Techniques, Hybrid Algorithms and Open Software Platform. In R. Mautz, M. Kunz, and H. Ingensand, editors, IPIN 2010, Int. Conf. on Indoor Positioning and Indoor Navigation, Session WLAN RSS (Signal Strength Based Methods), Zurich, Switzerland, pages 116--125, September 2010. [bibtex]


  32. Karine Deschinkel and S.A.A. Touati. Elimination des circuits nuls dans les graphes cycliques pour l'ordonnancement périodique de tâches. In ROADEF'10, 11e conférence de la Société Française de Recherche Opérationnelle et d'Aide á la Décision, Toulouse, France, February 2010. [bibtex]


  33. Mohammad Dib, Alexandre Caminada, and Hakim Mabed. A New Method to Solve and Optimize Military FAP with N-ary Constraints. In MOSIM'10, 8-th Int. Conf. on Modeling and Simulation, Hammamet, Tunisia, pages ***--***, May 2010. [bibtex]


  34. Mohammad Dib, Alexandre Caminada, and Hakim Mabed. Frequency management in Radio military Networks. In INFORMS Telecom 2010, 10th INFORMS Telecommunications Conference, Montreal, Canada, May 2010. [bibtex]


  35. O. Dini, P. Lorenz, A. Abouaissa, and Hervé Guyennet. Dynamic Feedback for Service Reputation Updates. In ICAS'10, 6-th Int. Conf. on Autonomic and Autonomous Systems, Cancun, Mexico, pages 168--175, March 2010. [bibtex]


  36. O. Dini, P. Lorenz, A. Abouaissa, and Hervé Guyennet. Online Service Similarities and Reputation-based Selection. In SERVICE COMPUTATION'10, 2-nd Int. Conf. on Advanced Service Computing, Lisbon, Portugal, November 2010. [bibtex]


  37. Julien Dormoy, Aloïs Dreyfus, and Olga Kouchnarenko. EVA4Fractal: adaptation de composants Fractal basée sur des événements. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 245--278, June 2010. Note: Papier court. [bibtex]


  38. Julien Dormoy and Olga Kouchnarenko. Event-based Adaptation Policies for Fractal Components. In AICCSA 2010, ACS/IEEE Int. Conf. on Computer Systems and Applications, Hammamet, Tunisia, pages 1--8, May 2010. IEEE Computer Society Press. [bibtex]


  39. Julien Dormoy, Olga Kouchnarenko, and Arnaud Lanoix. Using Temporal Logic for Dynamic Reconfigurations of Components. In FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, volume 6921 of LNCS, Guimaraes, Portugal, pages 200--217, October 2010. Springer. [bibtex]


  40. Rajaa Edaoudi, Marouane Hamdani, Khalid Bouragba, Mohammed Ouzzif, Hassan Mountassir, and Mohammed Erradi. Architecture Formalisée d'une Application Collaborative. Cas d'une Situation d'Urgence en Neurologie. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 249--252, June 2010. Note: Papier court. [bibtex]


  41. Didier El-Baz, Vincent Boyer, Julien Bourgeois, Eugen Dedu, and Kahina Boutoustous. Distributed discrete state acquisition and concurrent pattern recognition in a MEMS-based smart surface. In dMEMS'10, 1st Workshop on design, control and software implementation for distributed MEMS, Besançon, France, pages 1--8, June 2010. IEEE Computer Society Press. [bibtex]


  42. Mirna Eskandar, Jacques Bahi, and Ahmed Mostefaoui. Continuous data availability in instantaneous streaming networks. In MEDES 2010, Int. Conf. on Management of Emergent Digital EcoSystems, Bangkok, Thailand, pages 252--257, October 2010. [bibtex]


  43. Violeta Felea. Management of Real Time Constraints in Sensor Networks. In SoftCOM 2010, 18th Int. Conf. on Software, Telecommunications and Computer Networks, Split-Bol, Croatia, pages 47--50, September 2010. [bibtex]


  44. Frédéric Fondement, Fabien Peureux, Bruno Legeard, Claude Scherrer, and Marc Alter. VETESS: MDE, Testing approaches and SysML. In Neptune workshop, Toulouse, France, June 2010. [bibtex]


  45. Alain Giorgetti. Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System. In T. Jebelean, M. Mosbah, and N. Popov, editors, SCSS 2010, 3-rd Int.Workshop on Symbolic Computation in Software Science, Hagenberg, Austria, pages 5--18, July 2010. [bibtex]


  46. Alain Giorgetti, Ahmed Hammad, and Bruno Tatibouët. Using SysML for Smart Surface Modeling. In dMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS, Besançon, France, pages 100--107, June 2010. IEEE Computer Society Press. [bibtex]


  47. Gwenhaël Goavec-Merou, Youssef Yakoubi, Raphaël Couturier, Michel Lenczner, Jean-Michel Friedt, and Fan Yang. FPGA Implementation Of Diffusive Realization For A Distributed Control Operator. In dMEMS'10, 1st Workshop on design, control and software implementation for distributed MEMS, Besançon, France, June 2010. IEEE Computer Society Press. Note: Electronic proceedings. [bibtex]


  48. Régis Gras and Raphaël Couturier. Spécificité de l'A.S.I. par rapport à d'autres mesures de qualité de règles d'association. In 5ème Colloque International sur Analyse Statistique Implicative, Palerme, Italy, pages 175--198, November 2010. [bibtex]


  49. Christophe Guyeux and Jacques Bahi. An improved watermarking algorithm for Internet applications. In INTERNET'2010. The 2nd Int. Conf. on Evolving Internet, Valencia, Spain, pages 119--124, September 2010. [bibtex]


  50. Christophe Guyeux, Nicolas Friot, and Jacques Bahi. Chaotic iterations versus Spread-spectrum: chaos and stego security. In IIH-MSP'10, 6-th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing, Darmstadt, Germany, pages 208--211, October 2010. [bibtex]


  51. Mais Haj Rachid, Christelle Bloch, Wahiba Ramdane-Cherif, and Pascal Chatonnay. Solving capacitated vehicle routing problem via different genetic operators. In META'2010, 3rd Int. Conf. on Metaheuristics and Nature Inspired Computing, Djerba Island, Tunisia, pages ***--***, October 2010. Note: To appear. [bibtex]


  52. Mais Haj Rachid, Wahiba Ramdane-Cherif, Pascal Chatonnay, and Christelle Bloch. A study of performance on crossover and mutation operators for vehicle routing problem. In ILS'10, 3rd int. Conf. on Information Systems, Logistics and Supply Chain, Casablanca, Morocco, April 2010. Note: Proceedings on CD-ROM. [bibtex]


  53. Mais Haj Rachid, Wahiba Ramdane-Cherif, Pascal Chatonnay, and Christelle Bloch. Comparing the performance of genetic operators for the vehicle routing problem. In MCPL 2010, 5th Int. Conf. on Management and Control of Production Logistics, Coimbra, Portugal, pages ***--***, September 2010. Note: To appear. [bibtex]


  54. I. Hassoumi, Christophe Lang, and Nicolas Marilleau. Mise en place et évaluation d'un algorithme de répartition de charge pour les plateformes de simulations distribuées basées sur les SMA. In M. Occello and L. Rejeb, editors, Systèmes Multi-agents : Défis Sociétaux, Mahdia, Tunisie, pages 85--94, October 2010. Cepaduès. [bibtex]


  55. Jean-Michel Hufflen. Introduction to XQuery and XPath Full Text. In Tomasz Przechlewski, Karl Berry, Gaby Gic-Grusza, Ewa Kolsar, and Jerzy B. Ludwichowski, editors, BachoTeX 2010 Conference - Typographers and Programmers: Mutual Inspirations, pages 25--28, April 2010. [bibtex]


  56. Jean-Michel Hufflen. Recycling Previous Documents for Distance Education. In csedu 2010, volume 1, Valencia, Spain, pages 469--472, April 2010. [bibtex]


  57. Jean-Michel Hufflen. Using mlBibTeX to Populate Open Archives. In Tomasz Przechlewski, Karl Berry, Gaby Gic-Grusza, Ewa Kolsar, and Jerzy B. Ludwichowski, editors, BachoTeX 2010 Conference - Typographers and Programmers: Mutual Inspirations, pages 45--48, April 2010. [bibtex]


  58. Jean-Michel Hufflen. When Typography Meets Programming. In Tomasz Przechlewski, Karl Berry, Gaby Gic-Grusza, Ewa Kolsar, and Jerzy B. Ludwichowski, editors, BachoTeX 2010 Conference - Typographers and Programmers: Mutual Inspirations, pages 29--32, April 2010. [bibtex]


  59. Pierre-Cyrille Héam, Vincent Hugot, and Olga Kouchnarenko. SAT Solvers for Queries over Tree Automata with Constraints. In CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, Paris, France, pages 343--348, April 2010. IEEE Computer Society Press. [bibtex]


  60. Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, and Pierre-Alain Masson. B Model Abstraction Combining Syntactic and Semantic Methods. In ABZ'10, ASM, Alloy, B and Z conference, Orford, Québec, Canada, February 2010. Note: Short paper. [bibtex]


  61. Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, and Pierre-Alain Masson. Syntactic Abstraction of B Models to Generate Tests. In G. Fraser and A. Gargantini, editors, TAP'10, 4th Int. Conf. on Tests and Proofs, volume 6143 of LNCS, Malaga, Spain, pages 151--166, July 2010. [bibtex]


  62. Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, and Fabien Peureux. SysML to UML model transformation for test generation purpose. In UML&FM'10, 3rd IEEE Int. Workshop on UML and Formal Methods, Shanghai, China, pages 1--8, November 2010. [bibtex]


  63. Abdallah Makhoul, Rachid Saadi, and Congduc Pham. Risk Management in Intrusion Detection Applications with Wireless Video Sensor Networks. In WCNC'10 IEEE Int. Conf., Sydney, Australia, pages ***--***, April 2010. Note: To appear. [bibtex]


  64. David Martins and Hervé Guyennet. Attacks with Steganography in PHY and MAC Layers of 802.15.4 Protocol. In ICSNC 2010, 5-th International Conference on Systems and Networks Communications, Nice, France, pages ***--***, August 2010. Note: To appear. [bibtex]


  65. David Martins and Hervé Guyennet. Steganography in MAC Layers of 802.15.4 Protocol for securing Wireless Sensor Networks. In IWNS 2010, 2nd IEEE Int. Workshop on Network Steganography, Nanjing, China, pages ***--***, November 2010. Note: To appear. [bibtex]


  66. David Martins and Hervé Guyennet. Wireless Sensor Network Attacks and Security Mechanisms - A short survey. In NBiS'10, 13-th Int. Conf. on Network-Based Information Systems, Takayama, Gifu, Japan, pages ***--***, September 2010. Note: To appear. [bibtex]


  67. Eugène Pamba-Capo-Chichi, Jean-Michel Friedt, and Hervé Guyennet. Using Data Compression for Delay Constrained Applications in Wireless Sensor Networks. In SENSORCOMM'10, 4-th Int. Conf. on Sensor Technologies and Applications, Venice-Mestre, Italy, pages ***--***, 2010. Note: To appear. [bibtex]


  68. D. Pasquier, Régis Gras, and Raphaël Couturier. L'analyse statistique implicative vectorielle; une application au domaine de la description personnologique en passation répétée. In 5ème Colloque International sur Analyse Statistique Implicative, Palerme, Italy, pages 341--353, November 2010. [bibtex]


  69. Matthieu Petiot, Lionel Droz-Bartholet, and Eric Garcia. Nouvelle approche pour la distribution des donnéées d'imagerie médicale pour la téléradiologie temps réel. In E-Medisys 10, int. conf. on E-Medical Systems, Fez, Morocco, pages ***--***, May 2010. Note: À paraître. [bibtex]


  70. Congduc Pham and Abdallah Makhoul. Performance study of multiple cover-set strategies for mission-critical video surveillance with wireless video sensors. In WIMOB 2010, 6th IEEE Int. Conf. on Wireless and Mobile Computing, Networking and Communications,, Niagara Falls, Canada, pages 208--216, October 2010. [bibtex]


  71. Manuela Popescu, Pascal Lorenz, Marc Gild, and Jean-Marc Nicod. Event Management Ontology: Mechanisms for Semantic-drivent Diagnosis. In ICNS'10, 6-th Int. Conf. on Networking and Services, Cancun, Mexico, pages 129--136, March 2010. CPS. [bibtex]


  72. Manuela Popescu, Pascal Lorenz, Marc Gild, and Jean-Marc Nicod. Temporal Aspects in Diagnosis Validation. In SEMAPRO'10, 4-th Int. Conf. on Advances in Semantic Processing, Florence, Italy, pages 43--48, October 2010. Xpert Publishing Services. [bibtex]


  73. Wassim Ramadan, Eugen Dedu, and Julien Bourgeois. VAAL, Video Adaptation at Application Layer and Experiments using DCCP. In Marcelo S. Alencar and Valdemar C. da Rocha, Jr., editors, WPMC 2010, 13-th Int. Symposium on Wireless Personal Multimedia Communications, Recife, Brazil, pages 1--5, October 2010. Springer. Note: Proceedings on CD-ROM. [bibtex]


  74. Marc Sauget, Remy Laurent, Julien Henriet, Michel Salomon, Régine Gschwind, Sylvain Contassot-Vivier, Libor Makovicka, and Charles Soussen. Efficient domain decomposition for a neural network learning algorithm. In ICANN 2010, Int. Conf. on Artificial Neural Networks, volume 6352 of LNCS, Thessaloniki, Greece, pages 261--266, September 2010. Springer. [bibtex]


  75. Marc Tchiboukdjian, Nicolas Gast, Denis Trystram, Jean-Louis Roch, and Julien Bernard. A Tighter Analysis of Work Stealing. In ISAAC 2010, Int. Symposium on Algorithms and Computation, volume 6507 of LNCS, Jeju Island, Korea, pages 291--302, 2010. Springer. [bibtex]


  76. Elena Tushkanova, Alain Giorgetti, Claude Marché, and Olga Kouchnarenko. Specifying Generic Java Programs: two case studies. In LDTA 2010, 10th Workshop on Language Descriptions, Tools, and Applications, Paphos, Cyprus, pages 8:1--8:8, March 2010. ACM. [bibtex]


  77. Qianxue Wang, Jacques Bahi, Christophe Guyeux, and Xiaole Fang. Randomness quality of CI chaotic generators. Application to Internet security. In INTERNET'2010. The 2nd Int. Conf. on Evolving Internet, Valencia, Spain, pages 125--130, September 2010. IEEE Computer Society Press. Note: Best Paper award. [bibtex]


  78. Soumaya Zirari, Philippe Canalda, Hakim Mabed, and François Spies. Combined Indoor and Outdoor DOP criteria helpful to position and dimension. In IPIN 2010, Int. Conf. on Indoor Positioning and Indoor Navigation, Session WLAN RSS (Signal Strength Based Methods), Zurich, Switzerland, September 2010. Note: Short paper, 2 pages. [bibtex]


  79. Soumaya Zirari, Philippe Canalda, and François Spies. Towards a wireless combined positioning based on refined 802.11-indoor mobility models and GPS. In MELAHA'10, Le Caire, Egypt, pages ***--***, May 2010. Note: 6 pages. [bibtex]


  80. Soumaya Zirari, Philippe Canalda, and François Spies. WiFi GPS based Combined positioning Algorithm. In WCNIS'10, IEEE Int. Conf. on Wireless Communications, Networking and Information Security, Beijing, China, pages ***--***, June 2010. Note: 5 pages. To appear. [bibtex]


  81. Adrien de Kermadec, Frédéric Dadeau, and Fabrice Bouquet. Assessing the Quality of B Models. In SEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods, Pisa, Italy, pages 83--90, September 2010. IEEE Computer Society Press. [bibtex]


2009
  1. Husam Alustwani, Jacques Bahi, and Ahmed Mostefaoui. JStreaper : a Java Adaptive P2P Streaming System. In ICMCS'09, IEEE Int. Conf. on Multimedia Computing and Systems, pages 181--186, April 2009. [bibtex]


  2. Jean-Baptiste Aupet, Nabil Elmarzouqi, Eric Garcia, and Jean-Christophe Lapayre. Virtual Awareness Card for adaptability in Collaborative Virtual Environments. In SETIT 2009, 5th Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunications, Hammamet, Tunisia, pages 228--234, March 2009. IEEE Computer Society Press. [bibtex]


  3. Jean-Baptiste Aupet, Rami Kassab, and Jean-Christophe Lapayre. WAVA: a New Web Service for Automatic Video Data Flow Adaptation in Heterogeneous Collaborative Environments. In CDVE'09: 6th Int. Conf. on Cooperative Design, Visualization and Engineering, volume 5738 of LNCS, Luxembourg City, Luxembourg, pages 280--288, September 2009. [bibtex]


  4. Jacques Bahi, Christophe Guyeux, and Qianxue Wang. A novel pseudo-random generator based on discrete chaotic iterations. In INTERNET'09, 1-st Int. Conf. on Evolving Internet, Cannes, France, pages 71--76, August 2009. [bibtex]


  5. Jacques Bahi, Mourad Hakem, and Kamel Mazouzi. Reliable Parallel Programming Model for Distributed Computing Environments. In HeteroPar'09, volume 6043 of LNCS, Delft, Netherlands, pages 162--171, 2009. Springer. [bibtex]


  6. S. Bardin, B. Botella, Frédéric Dadeau, F. Charreteur, A. Gotlieb, B. Marre, C. Michel, M. Rueher, and N. Williams. Constraint-Based Software Testing. In Yves Ledru and M. Pantel, editors, Journées du GDR Génie de la Programmation du Logiciel 2009, Toulouse, France, pages 204--208, January 2009. [bibtex]


  7. Anne Benoit, Henri Casanova, Veronika Rehn-Sonigo, and Yves Robert. Resource Allocation Strategies for Constructive In-Network Stream Processing. In APDCM'09, 11-th Workshop on Advances in Parallel and Distributed Computational Models, 2009. IEEE Computer Society Press. [bibtex]


  8. Anne Benoit, Henri Casanova, Veronika Rehn-Sonigo, and Yves Robert. Resource Allocation for Multiple Concurrent In-network Stream-processing Applications. In HeteroPar'09, Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms, 2009. IEEE Computer Society Press. [bibtex]


  9. Anne Benoit, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Throughput optimization for micro-factories subject to failures. In ISPDC'2009, 8th Int. Symposium on Parallel and Distributed Computing, Lisbon, Portugal, pages 11--18, July 2009. [bibtex]


  10. Anne Benoit, Mourad Hakem, and Yves Robert. Optimizing the latency of streaming applications under throughput and reliability constraints. In ICPP'09, 38th IEEE Int. Conf. on Parallel Processing, pages 325--332, 2009. IEEE Computer Society Press. [bibtex]


  11. Kamal Beydoun, Violeta Felea, and Hervé Guyennet. Wireless Sensor Network Infrastructure: Construction and Evaluation. In ICWMC'09, Int. Conf. on Wireless and Mobile Communications, Cannes, France, pages 279--284, August 2009. [bibtex]


  12. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. How to Tackle Integer Weighted Automata Positivity. In Olivier Bournez and Igor Potapov, editors, RP'09, 3rd Int. Workshop on Reachability Problems, volume 5797 of LNCS, Paris, France, pages 79--92, September 2009. Springer. [bibtex]


  13. Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, and Pierre-Alain Masson. Génération de tests à partir de critères dynamiques de sélection et par abstraction. In AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels, Toulouse, France, pages 161--176, January 2009. [bibtex]


  14. Julien Bourgeois, Jean-Baptiste Ernst-Desmulier, and François Spies. Evaluation of a Performance Prediction Tool for Peer-to-Peer Distributed Computing Applications. In PMAC-2WN'09, workshop on Performance Modelling and Analysis of Communication in Wired and Wireless Networks. Held in conjunction with ICPADS'09, Shenzhen, China, pages 814--820, December 2009. IEEE Computer Society Press. [bibtex]


  15. Julien Bourgeois and Raheel Hassan Syed. Managing Security of Grid Architecture with a Grid Security Operation Center. In SECRYPT'09, Int. Conf. on Security and Cryptography, Milan, Italy, pages 403--408, July 2009. INSTICC Press. [Abstract] [bibtex]


  16. Kahina Boutoustous, Eugen Dedu, and Julien Bourgeois. A framework to Calibrate a MEMS Sensor Network. In Daquing Zhang, Marius Portmann, Ah-Hwee Tan, and Jadwiga Indulska, editors, UIC'09, 6-th Int. Conf. on Ubiquitous Intelligence and Computing, volume 5585 of LNCS, Brisbane, Australia, pages 136--149, July 2009. [bibtex]


  17. Kahina Boutoustous, Eugen Dedu, and Julien Bourgeois. Un calibrateur pour un réseau de capteurs MEMS. In Alexandre Caminada, editor, JDIR'09, 10èmes Journées doctorales en informatique et réseaux, Belfort, France, pages 122--127, February 2009. [bibtex]


  18. Jean-Claude Charr, Raphaël Couturier, and David Laiymani. JACEP2P-V2: a Fully Decentralized and Fault Tolerant Environment for Executing Parallel Iterative Asynchronous Applications on Volatile Distributed Architectures. In GPC'09, 4th Int. Conf. on Grid and Pervasive Computing, volume 5529 of LNCS, Geneva, Switzerland, pages 446--458, May 2009. [bibtex]


  19. Jean-Claude Charr, Raphaël Couturier, and David Laiymani. Parallel Numerical Asynchronous Iterative Algorithms: Large Scale Experimentations. In IPDPS'09, 23-rd IEEE/ACM Int. Parallel and Distributed Processing Symposium, Roma, Italy, pages 1--8, May 2009. IEEE Computer Society Press. Note: Electronic Proceedings. [bibtex]


  20. Jean-François Couchot, Alain Giorgetti, and Nicolas Stouls. Graph Based Reduction of Program Verification Conditions. In Hassen Saïdi and N. Shankar, editors, AFM'09, Automated Formal Methods (colocated with CAV'09), Grenoble, France, pages 40--47, 2009. ACM Press. [Abstract] [bibtex]


  21. Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. TAGED Approximations for Temporal Properties Model-Checking. In Sebastian Maneth, editor, CIAA'09, 14th Int. Conf. and Application of Automata, volume 5642 of LNCS, Sydney, Australia, pages 135--144, July 2009. Springer. [bibtex]


  22. Raphaël Couturier, David Laiymani, and Sébastien Miquée. High Performance Computing Using ProActive Environment and The Asynchronous Iteration Model. In IPDPS'09, ACM/IEEE Int. Parallel and Distributed Processing Symposium, Rome, Italy, pages 1--7, 2009. IEEE Computer Society Press. [bibtex]


  23. Matteo Cypriani, Philippe Canalda, and François Spies. Problématiques de sécurité dans un système de géolocalisation implicite. In CFIP'09, Colloque Francophone sur l'Ingénierie des Protocoles, Strasbourg, France, October 2009. Note: 2 pages, Poster session. [bibtex]


  24. Matteo Cypriani, Adrien Henriet, Philippe Canalda, and François Spies. Étude de l'interception et du positionnement de trafic Wi-Fi dans un environnement hétérogène. In C&ESAR'09, Computer and Electronics Security Applications Rendez-vous - Session Réseaux sans fil, Rennes, France, pages 4--19, November 2009. [bibtex]


  25. Matteo Cypriani, Frédéric Lassabe, Philippe Canalda, and François Spies. Open Wireless Positionning System: a Wi-Fi-Based Indoor Positionning System. In VTC-fall 2009, 70th IEEE Vehicular Technologie Conference, Anchorage, Alaska, United States, September 2009. IEEE Computer Society Press. Note: 5 pages. [bibtex]


  26. Matteo Cypriani, Frédéric Lassabe, Philippe Canalda, Soumaya Zirari, and François Spies. Open Wireless Positioning System : un système de géopositionnement par Wi-Fi en intérieur. In Alexandre Caminada, editor, JDIR'09, 10èmes Journées Doctorales en Informatique et Réseaux - Session Systèmes de localisation, Belfort, France, pages 73--78, February 2009. [bibtex]


  27. Frédéric Dadeau. Génération automatique de tests à partir de patrons de propriétés. In AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels, Toulouse, France, pages 177--191, January 2009. [bibtex]


  28. Frédéric Dadeau, Pierre-Cyrille Héam, and J. Levrey. On the Use of Uniform Random Generation of Automata for Testing. In B. Finkbeiner, Y. Gurevich, and A.K. Petrenko, editors, MBT'09 proceedings, volume 253-2 of ENTCS, Electronic Notes in Theoretical Computer Science, York, United Kingdom, pages 37--51, March 2009. [bibtex]


  29. Frédéric Dadeau and Régis Tissot. jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. In B. Finkbeiner, Y. Gurevich, and A.K. Petrenko, editors, MBT'09 proceedings, volume 253-2 of ENTCS, Electronic Notes in Theoretical Computer Science, York, United Kingdom, pages 117--132, October 2009. [bibtex]


  30. Sylvie Damy, Bénédicte Herrmann, J.-J. Girardot, C. Masselot, and Rémi Thomas. First steps in the modelling of Territorial Intelligence Community Systems. In Int. Conf. of Territorial Intelligence, Salermo, Italy, November 2009. [bibtex]


  31. Stéphane Debricon, Fabrice Bouquet, and Bruno Legeard. From Business Processes to Integration Testing. In Olivier Zendra, editor, IDM'09, 5èmes journées sur l'Ingéniérie Dirigée par les Modèles, volume 1, Nancy, France, March 2009. [bibtex]


  32. Eugen Dedu and E. Lochin. A Study on the Benefit of TCP Packet Prioritisation. In PDP'09, 17th Euromicro Int. Conf. on Parallel, Distributed, and Network-Based Processing, Weimar, Germany, pages 161--166, February 2009. [bibtex]


  33. Karine Deschinkel and S.A.A. Touati. Une heuristique efficace pour l'ordonnancement périodique de tâches avec contraintes de stockage. In ROADEF'09, 10e conférence de la Société Française de Recherche Opérationnelle et d'Aide á la Décision, Nancy, France, February 2009. [bibtex]


  34. Sékou Diakité, Loris Marchal, Jean-Marc Nicod, and Laurent Philippe. Steady-State for Batches of Identical Task Graphs. In Euro-Par'09, volume 5704 of LNCS, Delft, Netherlands, pages 203--215, August 2009. [bibtex]


  35. Mohammad Dib, Alexandre Caminada, and Hakim Mabed. MinOrder optimization in FAP with nogood-tabu search. In CIE'09, IEEE International Computers & Industrial Engineering Conference, Troyes, France, pages 525--530, July 2009. [bibtex]


  36. Mohammad Dib, Isabelle Devarenne, Hakim Mabed, and Alexandre Caminada. Étude Comparative de Recherche Locale et de Propagation de Contraintes en CSP n-aire. In ROADEF'09, 10e conférence de la Société Française de Recherche Opérationnelle et d'Aide á la Décision, pages 332--333, February 2009. [bibtex]


  37. Mohammad Dib, Hakim Mabed, and Alexandre Caminada. A fast Algorithm to solve frequency assignment problem. In CPAIOR'09, Integration of AI and OR Techniques in Constraint Programming, volume 5547 of LNCS, pages 316--318, May 2009. Springer. [bibtex]


  38. Mohammad Dib, Hakim Mabed, and Alexandre Caminada. Nogood Recording with Tabu Search for CSP (Application to FAP). In AMS'09, 3rd Asia Modelling Symposium, pages 218--223, May 2009. [bibtex]


  39. O. Dini, Pascal Lorenz, and Hervé Guyennet. An Enhanced Framework for Web Recommenders. In SERVICECOMP'09, 1st Int. Conf. on Advanced Service Computing, Athens, Greece, pages 372--378, November 2009. [bibtex]


  40. Alexandru Dobrila. Optimisation du débit dans les micro-usines sujettes aux pannes liées aux tâches et aux machines. In Renpar'19, Toulouse, France, September 2009. Note: Publication électronique. [bibtex]


  41. Julien Dormoy. Modèle à composants Fractal pour simuler et reconfigurer le CyCab. In AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels, Toulouse, France, pages 139, January 2009. [bibtex]


  42. Mourad Hakem. Iso-Level CAFT: How to Tackle the Combination of Communication Overhead Reduction and Fault Tolerance Scheduling. In APPT'09, 8th Int. Symposium on Advanced Parallel Processing Technologies, volume 5737 of LNCS, Rapperswil, Switzerland, pages 259--272, 2009. Springer. [bibtex]


  43. Ahmed Hammad and Hassan Mountassir. Verification of real time systems: application to the transportation domain. In SCLP'09, 2nd Int. Workshop on Service computing, Context-aware, Location-aware and Positioning techniques, joint to NTMS'09, Cairo, Egypt, pages 719--727, December 2009. IEEE Computer Society Press. [bibtex]


  44. J. Hu, Mohammad Dib, Alexandre Caminada, and Hakim Mabed. Recherche de zone de blocage dans un graphe. In ROADEF'09, 10e conférence de la Société Française de Recherche Opérationnelle et d'Aide á la Décision, pages 330--331, February 2009. [bibtex]


  45. Jean-Michel Hufflen. A Framework for Managing Components Using Non-Functional Properties. In keod 2009, Funchal, Madeira, Portugal, pages 460--463, October 2009. [bibtex]


  46. Jean-Michel Hufflen. How mlBibTeX's Documentation Is Organised. In Tomasz Przechlewski, Karl Berry, and Jerzy B. Ludwichowski, editors, BachoTeX 2009 Conference, Bachotek, Poland, pages 26--30, April 2009. [bibtex]


  47. Jean-Michel Hufflen. Introduction to XQuery. In Tomasz Przechlewski, Karl Berry, and Jerzy B. Ludwichowski, editors, BachoTeX 2009 Conference, Bachotek, Poland, pages 17--25, April 2009. [bibtex]


  48. Jean-Michel Hufflen. Multidirectional Typesetting in xsl-fo. In Tomasz Przechlewski, Karl Berry, and Jerzy B. Ludwichowski, editors, BachoTeX 2009 Conference, Bachotek, Poland, pages 37--40, April 2009. [bibtex]


  49. Pierre-Cyrille Héam, Cyril Nicaud, and Sylvain Schmitz. Random Generation of Deterministic Tree (Walking) Automata. In CIAA'09, 14th Int. Conf. on Implementation and Application of Automata, volume 5642 of LNCS, Sidney, Australia, pages 115--124, July 2009. Springer. [bibtex]


  50. D. Josselin, Christophe Lang, and Nicolas Marilleau. Modelling dynamic demand responsive transport using an agent based spatial representation. In ECCS'09, European Conference on Complex Systems, University of Warwick, United Kingdom, 2009. Note: Published electronically. [bibtex]


  51. Olga Kouchnarenko, Natalia Sidorova, and Nikola Trcka. Petri Nets with May/Must Semantics. In CS&P 2009, Concurrency, Specification, and Programming, volume 1, Kraków-Przegorzaly, Poland, pages 291--302, 2009. Humboldt University. [bibtex]


  52. Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, and Bruno Tatibouët. A first attempt to combine SysML requirements diagrams and B. In UML&FM'09, 2nd IEEE International workshop UML and Formal Methods (joint to ICFEM'09), Rio de Janeiro, Brazil, December 2009. [bibtex]


  53. Hakim Mabed, Marie-Ange Manier, H. Manier, Oumaya Baala, S. Lamrous, and R. Claude. Génération d'emplois du temps pour les établissements à formation à ''la carte''. In ROADEF'09, 10e conférence de la Société Française de Recherche Opérationnelle et d'Aide á la Décision, pages 175--176, February 2009. [bibtex]


  54. Abdallah Makhoul and Congduc Pham. Dynamic Scheduling of Cover-Sets in Randomly Deployed Wireless Video Sensor Networks for Surveillance Applications. In WD'09, 2nd IFIP Wireless Days Conference, Paris, France, December 2009. [bibtex]


  55. Abdallah Makhoul, Rachid Saadi, and Congduc Pham. Adaptive Scheduling of Wireless Video Sensor Nodes for Surveillance Applications. In PM2HW2N'09, Procs of the 4th ACM Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, in conjunction with 12th ACM MSWIM 2009, Tenerife, Canary Islands, Spain, pages 54--60, 2009. [bibtex]


  56. Abdallah Makhoul, Rachid Saadi, and Congduc Pham. Coverage and Adaptive Scheduling algorithms for Criticality Management on Video Wireless Sensor Networks. In ICUMT'09, pages 335--341, 2009. [bibtex]


  57. Abdallah Makhoul, Rachid Saadi, and Congduc Pham. Surveillance vidéo sur réseaux de capteurs sans-fils : ordonnancement adaptatif avec prise en compte de la criticité. In CFIP'09, Colloque francophone sur l'ingénierie des protocoles, Strasbourg, France, 2009. [bibtex]


  58. Ahmed Mostefaoui and Benoît Piranda. Multimedia Sensor Networks: an Approach based on 3D Real-Time Reconstruction. In MEDES'09, Int. ACM Conf. on Management of Emergent Digital EcoSystems, Lyon, France, pages 188--195, October 2009. [bibtex]


  59. Sebti Mouelhi, Samir Chouali, and Hassan Mountassir. Refinement of Interface Automata Strengthened by Action Semantics. In FESCA'09 proceedings, volume 253-1 of ENTCS, Electronic Notes in Theoretical Computer Science, York, United Kingdom, pages 111--126, 2009. [bibtex]


  60. Eugène Pamba-Capo-Chichi, Hervé Guyennet, and Jean-Michel Friedt. IEEE 802.15.4 Performance on a Hierarchical Hybrid Sensor Network Platform. In ICNS'09, 5th Int. Conf. on Networking and Services, Valencia, Spain, pages 303--308, April 2009. [bibtex]


  61. Eugène Pamba-Capo-Chichi, Hervé Guyennet, and Jean-Michel Friedt. K-RLE: A new Data Compression Algorithm for Wireless Sensor Network. In SENSORCOMM'09, 3rd Int. Conf. on Sensor Technologies and Applications, Athens-Glyfada, Greece, pages 502--507, June 2009. [bibtex]


  62. Eugène Pamba-Capo-Chichi, David Martins, Hervé Guyennet, and Violeta Felea. A dynamic clustering construction for wireless sensor networks. In CTS'09, int. symposium on Collaborative Technologies and Systems, Los Alamitos, CA, United States, pages 565--570, 2009. IEEE Computer Society Press. [bibtex]


  63. Odile Peyron, Amandine Bordon, Nathalie Combourieu-Nebout, Anne Vignot, Sylvie Damy, Jean-Daniel Tissot, Isabelle Dormoy, Simon Brewer, Pavel Tarasov, and Doris Barboni. Une nouvelle base de donnés polliniques actuelles : une étape majeure pour les quantifications climatiques et les reconstructions de végétation et de biodiversité. In 21ème symposium APLF, Prospectives en Paléontologie et Palynologie, Lille, France, 2009. [bibtex]


  64. C. Pieralli, B. Wacogne, V. Bonnans, P. Humbert, Pazart L., F. Marzani, Jean-Christophe Lapayre, and Christophe Lang. Collaborative platform for skin cancer screening and associated optical fibered probe for diagnosis. In Sin'Fran09, Singaporean-French IPAL Symposium, pages 44--55, February 2009. World Scientific. [bibtex]


  65. Manuela Popescu, Pascal Lorenz, and Jean-Marc Nicod. An Adaptive Framework for Diagnosis Validation. In ADVCOMP'09, 3-rd Int. Conf. on Advances Engineering Computing and Applications in Sciences, Sliema, Malta, pages 123--129, October 2009. IEEE Computer Society Press. [bibtex]


  66. Wassim Ramadan, Eugen Dedu, and Julien Bourgeois. EcnLD, ECN Loss Differentiation to optimize the performance of transport protocols on wireless networks. In ICUMT'09, Int. Conf. on Ultra Modern Telecommunications & Workshops, WMCNT workshop, Saint Petersburg, Russian Federation, pages 1--6, October 2009. IEEE Computer Society Press. [bibtex]


  67. Wassim Ramadan, Eugen Dedu, and Julien Bourgeois. Une méthode de différenciation de pertes pour améliorer la performance des protocoles de transport sur réseaux sans-fil. In Alexandre Caminada, editor, JDIR'09, 10èmes Journées doctorales en informatique et réseaux, Belfort, France, pages 128--133, February 2009. [bibtex]


  68. Christophe Reffay and Marie-Laure Betbeder. Improving CSCL indicators by sharing multimodal teaching and learning Corpora. In CSCL 2009, Computer Supported Collaborative Learning, Rhodos, Greece, June 2009. Note: Poster. [Abstract] [bibtex]


  69. Christophe Reffay and Marie-Laure Betbeder. Sharing corpora and tools to improve interaction analysis. In EC-TEL 2009, 4th European Conference on Technology Enhanced Learning, volume 5794 of LNCS, Nice, France, pages 196--210, October 2009. [Abstract] [bibtex]


  70. Soumaya Zirari, Philippe Canalda, and François Spies. A Very First Geometric Dilution Of Precision Proposal For Wireless Access Mobile Networks. In SPACOMM'09, 1st Int. Conf. on Advances in Satellite and Space Communications, Colmar, France, pages 162--167, July 2009. [bibtex]


  71. Soumaya Zirari, Philippe Canalda, and François Spies. Critère de dilution de précision pour un positionnement en intérieur et en extérieur. In CFIP'09, Colloque Francophone sur l'Ingénierie des Protocoles, Strasbourg, France, October 2009. Note: 2 pages, Poster session. [bibtex]


  72. Soumaya Zirari, Philippe Canalda, and François Spies. Modelling and Emulation of an Extended GDOP For Hybrid And Combined Positioning System. In ENC-GNSS'09, European Navigation Conference - Global Navigation Satellite Systems, Naples, Italy, May 2009. Note: Proceedings available online: http://www.enc-gnss09.it/proceedingsPDF/C1/5_C1.pdf. [bibtex]


2008
  1. Wahabou Abdou, Adrien Henriet, Dominique Dhoutaut, François Spies, and Christelle Bloch. Optimizing communications in vehicular ad hoc networks using evolutionary computation and simulation. In Richard Chbeir, Youakim Badr, Ajith Abraham, Dominique Laurent, Mario Köppen, Fernando Ferri, Lotfi A. Zadeh, and Yukio Ohsawa, editors, CSTST'2008, Int. Conf. on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, pages 158--165, 2008. ACM Press. [bibtex]


  2. Husam Alustwani, Jacques Bahi, and Ahmed Mostefaoui. Data Availability in P2P Streaming Systems. In FMN'08, IEEE Int. Workshop on Future Multimedia Networking, pages 531--536, September 2008. [bibtex]


  3. Husam Alustwani, Jacques Bahi, and Ahmed Mostefaoui. Improving Data Availability in P2P Streaming Systems Using Distributed Virtual Cache. In ISM'08, IEEE Int. Symposium on Multimedia, pages 384--389, 2008. [bibtex]


  4. Jacques Bahi, Sylvain Contassot-Vivier, and Raphaël Couturier. An Efficient and Robust Decentralized Algorithm for Detecting the Global Convergence in Asynchronous Iterative Algorithms. In VECPAR'08, volume 5336 of LNCS, Toulouse, France, pages 240--254, 2008. [bibtex]


  5. Jacques Bahi, Sylvain Contassot-Vivier, Marc Sauget, and Aurélien Vasseur. A parallel incremental learning algorithm for neural networks with fault tolerance. In VECPAR'08, 8-th int. meeting on High Performance Computing for Computational Science, volume 5336 of LNCS, Toulouse, France, pages 502--515, June 2008. [bibtex]


  6. Jacques Bahi, Raphaël Couturier, and David Laiymani. Comparison of the Conjugate Gradient of NAS benchmark and of the Multisplitting algorithm with the Jace environment. In IPDPS'08, ACM/IEEE Int. Parallel and Distributed Processing Symposium, Miami, Florida, United States, 2008. IEEE Computer Society Press. Note: Proceedings on CD-ROM, 7 pages. [bibtex]


  7. Jacques Bahi, Mirna Eskandar, and Ahmed Mostefaoui. A Robust Cooperation Approach For Mobile Multimedia Adhoc Networks. In ICDIM'08, 3rd Int. Conf. on Digital Information Management, University of East London, United Kingdom, pages 489--494, November 2008. [bibtex]


  8. Jacques Bahi, Mirna Eskandar, and Ahmed Mostefaoui. Une approche robuste pour la prolongation de la durée de vie des réseaux ad hoc multimédias. In UbiMob'08, 4èmes journées Francophones Mobilité et Ubiquité, volume 277 of ACM International Conference Proceedings, IUT de Saint-Malo, France, pages 49--56, May 2008. [bibtex]


  9. Jacques Bahi, Arnaud Giersch, and Abdallah Makhoul. A Scalable Fault Tolerant Diffusion Scheme for Data Fusion in Sensor Networks. In Infoscale 2008, 3rd International ICST Conference on Scalable Information Systems, Vico Equense, Italy, pages 10--15, June 2008. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). [bibtex]


  10. Jacques Bahi, Abdallah Makhoul, and Ahmed Mostefaoui. Improving Lifetime and Coverage Through a Mobile Beacon for High Density Sensor Networks. In SENSORCOMM'08, 2nd IEEE Int. Conf. on Sensor Technologies and Applications, Cap Esterel, France, pages 335--341, 2008. [bibtex]


  11. Anne Benoit, Mourad Hakem, and Yves Robert. Fault tolerant scheduling of precedence task graphs on heterogeneous platforms. In IPDPS'08, pages 1--8, 2008. IEEE Computer Society Press. [bibtex]


  12. Anne Benoit, Mourad Hakem, and Yves Robert. Realistic Models and Efficient Algorithms for Fault Tolerant Scheduling on Heterogeneous Platforms. In ICPP'08, 37th IEEE Int. Conf. on Parallel Processing, pages 246--253, 2008. IEEE Computer Society Press. [bibtex]


  13. Anne Benoit, Harald Kosch, Veronika Rehn-Sonigo, and Yves Robert. Bi-criteria Pipeline Mappings for Parallel Image Processing. In ICCS'08, Int. Conf. on Computational Science, 2008. Springer. [bibtex]


  14. Anne Benoit, Veronika Rehn-Sonigo, and Yves Robert. Optimizing Latency and Reliability of Pipeline Workflow Applications. In HCW'08, the 17th Heterogeneity in Computing Workshop, 2008. IEEE Computer Society Press. [bibtex]


  15. Julien Bernard, Jean-Louis Roch, and Daouda Traoré. Processor-Oblivious Parallel Stream Computations. In PDP'08, 16th Euromicro Int. Conf. on Parallel, Distributed and Network-Based Processing, Toulouse, France, pages 72--76, 2008. IEEE Computer Society Press. [bibtex]


  16. Kamal Beydoun and Violeta Felea. Energy-Efficient WSN Infrastructure. In DCSN'08, Int. Workshop on Distributed Collaborative Sensor Networks, Irvine, California, United States, pages 58--65, May 2008. IEEE Computer Society Press. [bibtex]


  17. Kamal Beydoun, Violeta Felea, and Hervé Guyennet. Wireless sensor network system helping navigation of the visually impaired. In ICTTA'08, IEEE int. conf. on Information and Communication Technologies: from Theory to Applications, Damascus, Syrian Arab Republic, pages 1--5, April 2008. [bibtex]


  18. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. Finer is better: Abstraction Refinement for Rewriting Approximations. In A. Voronkov, editor, RTA'08, 19th int. conf. on Rewriting Techniques and Applications, volume 5117 of LNCS, Hagenberg, Austria, pages 48--62, July 2008. Springer. [bibtex]


  19. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. Handling Left-Quadratic Rules When Completing Tree Automata. In RP'08 proceedings, Workshop on Reachability Problems in Computational Models, volume 223 of ENTCS, Electronic Notes in Theoretical Computer Science, Liverpool, United Kingdom, pages 61--70, 2008. Elsevier. [bibtex]


  20. Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, and Fabien Peureux. A test generation solution to automate software testing. In AST'08, 3rd Int. workshop on Automation of Software Test, Leipzig, Germany, pages 45--48, May 2008. ACM Press. [bibtex]


  21. Thibaud Brocard, Fabrice Bouquet, Alain Giorgetti, and Christophe Lang. Agent based modelling of complex systems with AML and the situation calculus. In ABS2, Int. workshop on Agent Based Spatial Simulation, Paris, France, November 2008. [bibtex]


  22. Catherine Caille-Cattin, Ahmed Hammad, Jean-Louis Poirey, and Rémi Thomas. Integration of the E&T database in the E-pragma system. In Besançon 2008, Int. Conf. of Territorial Intelligence, Besançon, France, October 2008. [bibtex]


  23. Jean-Claude Chamagne, Raphaël Couturier, and David Laiymani. Un algorithme décentralisé et asynchrone pour la détection de la convergence dans un environnement volatil. In Renpar 2008, Fribourg, Switzerland, pages (8 pages), February 2008. Note: Publication électronique. [bibtex]


  24. Samir Chouali, Hassan Mountassir, and Sebti Mouelhi. An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. In FESCA'08, Formal Foundations of Embedded Software and Component-based Software Architectures, volume 238-6 of ENTCS, Electronic Notes in Theoretical Computer Science, Budapest, Hungary, pages 3--13, 2008. Elsevier. Note: A paper from 2008 published in ENTCS in 2010. [bibtex]


  25. S. Colin, Arnaud Lanoix, Olga Kouchnarenko, and J. Souquières. Towards Validating a Platoon of Cristal Vehicles Using CSP||B. In AMAST'08, 12th Int. Conf. on Algebraic Methodology and Software Technology, volume 5140 of LNCS, Urbana, IL, United States, pages 139--144, July 2008. Springer. [bibtex]


  26. S. Colin, Arnaud Lanoix, Olga Kouchnarenko, and J. Souquières. Using CSP||B Components: Application to a Platoon of Vehicles. In FMICS'08, 13th workshop on Formal Methods for Industrial Critical Systems, volume 5596 of LNCS, L'Aquila, Italy, pages 103--118, September 2008. [bibtex]


  27. Frédéric Dadeau, Jacques Julliand, and Régis Tissot. Leirios Test Generator: from Research to Teaching, through Industry. In C. Attiogbé and E. Habrias, editors, Int. Workshop on the B Method: from Research to Teaching, Nantes, France, pages 1--16, June 2008. APCB. [bibtex]


  28. Frédéric Dadeau, J. Lamboley, T. Moutet, and Marie-Laure Potet. A Verifiable Conformance Relationship between Smart Card Applets and B Models. In E. Borger, J. Bowen, and M. Butler, editors, ABZ'2008, International Conference on ASM, B and Z, volume 5238 of LNCS, London, United Kingdom, pages 237--250, September 2008. Springer. [bibtex]


  29. Frédéric Dadeau, Marie-Laure Potet, and Régis Tissot. A B Formal Framework for Security Developments in the Domain of Smart Card Applications. In S. Jajodia and P. Samarati, editors, SEC'2008, 23rd int. Information Security Conference, volume 278 of IFIP, Milano, Italy, pages 141--155, September 2008. Springer. [bibtex]


  30. Frédéric Dadeau and Régis Tissot. Teaching Model-Based Testing with Leirios Test Generator. In Z. Istenes, editor, FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008), Budapest, Hungary, pages 129--138, March 2008. [bibtex]


  31. Frédéric Dadeau, Adrien de Kermadec, and Régis Tissot. Combining Scenario and Model-Based Testing to ensure POSIX Compliance. In E. Borger, J. Bowen, and M. Butler, editors, ABZ'2008, Int. Conf. on ASM, B and Z, volume 5238 of LNCS, London, United Kingdom, pages 153--166, September 2008. Springer. [bibtex]


  32. Sylvain Dahan, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Performances Study of the Distributed Spanning Tree an Overlay Network for Server Lookup. In ICIW'08, 3rd int. Conf. on Internet and Web Applications and Services, Athens, Greece, pages 330--335, June 2008. IEEE Computer Society Press. [bibtex]


  33. Sylvain Dahan, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Étude des performances du Distributed Spanning Tree : un Overlay Network pour la Recherche de Services. In CFSE'6, 6ème Conf. Française en Systèmes d'Exploitation, Fribourg, Switzerland, pages (6 pages), February 2008. Note: Publication électronique. [bibtex]


  34. Sylvie Damy and Bénédicte Herrmann. Metadata for the caENTI. In Besançon 2008, Int. Conf. of Territorial Intelligence, Besançon, France, October 2008. [bibtex]


  35. Sylvie Damy, Bénédicte Herrmann, C. Masselot, J. Benilan, and M. Ramage. Progress and prospects of Catalyse tools Integration. In Besançon 2008, Int. Conf. of Territorial Intelligence, Besançon, France, October 2008. [bibtex]


  36. Eugen Dedu, Kahina Boutoustous, and Julien Bourgeois. An exhaustive comparison framework for distributed shape differentiation in a MEMS sensor actuator array. In ISPDC'08, 7th int. Symposium on Parallel and Distributed Computing, Kraków, Poland, pages 429--433, July 2008. IEEE Computer Society Press. [bibtex]


  37. Karine Deschinkel and J. Cohen. Arrangement linéaire minimal des graphes d'intervalles. In ROADEF'08, 9e conférence de la Société Française de Recherche Opérationnelle et d'Aide á la Décision, Clermont-Ferrand, France, February 2008. [bibtex]


  38. Karine Deschinkel, F. Galea, C. Louat, and C. Roucairol. Intégration de méthodes de coupes : Librairies Glop et Glock. In ROADEF'08, 9e conférence de la Société Française de Recherche Opérationnelle et d'Aide á la Décision, Clermont-Ferrand, France, February 2008. [bibtex]


  39. Karine Deschinkel and S.A.A. Touati. A two-phases heuristic for the problem of periodic scheduling with storage minimisation. In ECCO'08, European Chapter on Combinatorial Optimization, Dubrovnik, Croatie, pages ***--***, May 2008. [bibtex]


  40. Karine Deschinkel and S.A.A. Touati. Efficient Method for Periodic Task Scheduling with Storage Requirement Minimisation. In COCOA'08, 2nd Int. Conf. on Combinatorial Optimization and Applications, volume 5165 of LNCS, St John, Canada, pages 438--447, August 2008. Springer. [bibtex]


  41. Isabelle Devarenne, Hakim Mabed, and Alexandre Caminada. Adaptive Tabu Tenure Computation in Local Search. In EvoCOP'08, Evolutionary Computation in Combinatorial Optimization, volume 4972 of LNCS, pages 1--12, March 2008. [bibtex]


  42. Isabelle Devarenne, Hakim Mabed, and Alexandre Caminada. Adaptive local search for a new military frequency hopping planning problem. In EvoComNet'08, 5th European Workshop on the Application of Nature-inspired Techniques to Telecommunication Networks and other Connected Systems, volume 4974 of LNCS, pages 11--20, March 2008. [bibtex]


  43. Sékou Diakité, Jean-Marc Nicod, and Laurent Philippe. Adaptation d'un algorithme optimal d'ordonnancement en régime permanent pour des lots bornés. In RenPar'18, 18èmes Rencontres francophones du Parallélisme, Fribourg, Switzerland, pages (6 pages), 2008. Note: Publication électronique. [bibtex]


  44. Sékou Diakité, Jean-Marc Nicod, and Laurent Philippe. Comparison of Batch Scheduling for Identical Multi-Tasks Jobs on Heterogeneous Platforms. In PDP 2008, 16th Euromicro Int. Conf. on Parallel, Distributed and network-based Processing, Toulouse, France, pages 374--378, 2008. [bibtex]


  45. Sékou Diakité, Jean-Marc Nicod, and Laurent Philippe. Processing Identical Workflows on SOA Grids: Comparison of Three Approaches. In DFMA'08, 4th IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, Penang, Malaysia, pages 27--34, October 2008. [bibtex]


  46. Mohammad Dib, Alexandre Caminada, and Hakim Mabed. Propagation de Contraintes et Listes Tabou pour le CSP. In JFCP'08, 4e Journées Francophones de Programmation par Contraintes, pages 409--413, September 2008. [bibtex]


  47. Mohammad Dib, Hakim Mabed, and Alexandre Caminada. Constraint Propagation with Tabu List for Min-Span Frequency Assignment Problem. In MCO'08, Modelling, Computation and Optimization in Information Systems and Management Sciences, Metz, France, pages 97--106, September 2008. [bibtex]


  48. Abdoul-Karim Ganame and Julien Bourgeois. Defining a simple metric for real-time security level evaluation of multi-sites networks. In SSN/IPDPS'08, 4th int. Workshop on Security in Systems and Networks, join to IPDPS'08, Int. Parallel and Distributed Processing Symposium, Miami, United States, pages 1--8, March 2008. IEEE Computer Society Press. [bibtex]


  49. Alexandre Gondran, Oumaya Baala, Alexandre Caminada, and Hakim Mabed. Hypergraph T-Coloring for Automatic Frequency Planning problem in Wireless LAN. In PIMRC'08, 19th IEEE Int. Symposium on Personal, Indoor and Mobile Radio Communications, Cannes, France, pages 15--18, September 2008. [bibtex]


  50. A. Gondron, Oumaya Baala, Alexandre Caminada, and Hakim Mabed. Interference Management in IEEE 802.11 Frequency Assignment. In 67th IEEE Vehicular Technology Conference, pages 2238--2242, May 2008. [bibtex]


  51. Françoise Greffier and Sandrine Rolando. Peut mieux faire, ou comment les messages entravent la réussite en milieu scolaire. In IFAT'08, 29e congrès de l'Institut Français d'Analyse Transationnelle, thème Alternatives à la violence : comment faire face à la complexité des enjeux ?, Bordeaux, France, pages 69--75, November 2008. [bibtex]


  52. Mais Haj Rachid, Wahiba Ramdane-Cherif, Christelle Bloch, and Pascal Chatonnay. Classification de Problèmes de Tournées de Véhicules. In MOSIM'08, 7ème Conférence Internationale de MOdélisation et SIMulation, Paris, France, pages 1149--1158, March 2008. [bibtex]


  53. Mais Haj Rachid, Wahiba Ramdane-Cherif, Christelle Bloch, and Pascal Chatonnay. Nouvelle Approche pour Classifier les Problèmes de Tournées de Véhicules. In CIFMA'03, 3ème Congrès International Francophone de Mécanique Avancée, Conception, Fiabilité et Optimisation, Faculté de Génie Mécanique, Aleppo, Syrian Arab Republic, pages 38--46, April 2008. [bibtex]


  54. Mais Haj Rachid, Wahiba Ramdane-Cherif, Christelle Bloch, and Pascal Chatonnay. Proposition de Notation pour les Problèmes de Tournées. In ROADEF'08, 9ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Clermont-Ferrand, France, pages 63--77, February 2008. [bibtex]


  55. Ahmed Hammad and Hassan Mountassir. Heuristics to verify LTL properties of hierarchical systems. In VECoS'2008, 2nd Int. Workshop on Verification and Evaluation of Computer and Communication Systems, eWiC - electronic Workshops in Computing, Leeds, United Kingdom, pages ***--***, July 2008. British Computer Society. [bibtex]


  56. Ahmed Hammad, Hassan Mountassir, and Bruno Tatibouët. Using the profile UML4SoC for modeling a smart surface. In ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology, Hammamet, Tunisia, November 2008. Note: Proceedings on CD-ROM. 6 pages. [bibtex]


  57. Jean-Laurent Hippolyte, Christelle Bloch, Pascal Chatonnay, Christophe Espanet, Didier Chamagne, and Geneviève Wimmer. Tuning an Evolutionary Algorithm with Taguchi Methods. In Richard Chbeir, Youakim Badr, Ajith Abraham, Dominique Laurent, and Fernando Ferri, editors, CSTST'08, 5th Int. Conf. on Soft Computing as Transdisciplinary Science and Technology, pages 265--272, 2008. ACM Press. [bibtex]


  58. Jean-Laurent Hippolyte, Christophe Espanet, Didier Chamagne, Christelle Bloch, and Pascal Chatonnay. Permanent Magnet Motor Multiobjective Optimization Using Multiple Runs Of An Evolutionary Algorithm. In Vehicle Power and Propulsion Conference, 2008. IEEE. [bibtex]


  59. Jean-Michel Hufflen. Asian TeX-like typeset engines. In BachoTeX 2008 Conference, Bachotek, Poland, pages 129--131, April 2008. [bibtex]


  60. Jean-Michel Hufflen. Revisiting Lexicographic Order Relations on Person Names. In BachoTeX 2008 Conference, Bachotek, Poland, pages 82--90, April 2008. [bibtex]


  61. Jean-Michel Hufflen. xslt 2.0 vs. xslt 1.0. In BachoTeX 2008 Conference, Bachotek, Poland, pages 67--77, April 2008. [bibtex]


  62. Jacques Julliand, Pierre-Alain Masson, and Régis Tissot. Generating Security Tests in Addition to Functional Tests. In AST'08, 3rd Int. workshop on Automation of Software Test, Leipzig, Germany, pages 41--44, May 2008. ACM Press. [bibtex]


  63. Jacques Julliand, Pierre-Alain Masson, and Régis Tissot. Generating Tests from B Specifications and Test Purposes. In E. Borger, J. Bowen, and M. Butler, editors, ABZ'2008, Int. Conf. on ASM, B and Z, volume 5238 of LNCS, London, United Kingdom, pages 139--152, September 2008. Springer. [bibtex]


  64. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. $\alpha$-coverage Scheme for Wireless Sensor Networks. In ICWMC'08, 4th IEEE int. Conf. on Wireless and Mobile Communications, Athens, Greece, pages 91--96, July 2008. [bibtex]


  65. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. A Novel Cluster-based Self-organization Algorithm for Wireless Sensor Networks. In Int. Workshop on Distributed Collaborative Sensor Networks, co-located with CTS'08, Int. Symposium on Collaborative Technologies and Systems, California, United States, pages 19--26, May 2008. [bibtex]


  66. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. CES: Cluster-based Energy-efficient Scheme for Mobile Wireless Sensor Networks. In IFIP Conference on Wireless Sensor and Actor Networks, Ontario, Canada, pages 13--24, July 2008. Springer. [bibtex]


  67. F. Manne, M. Mjelde, Laurence Pilard, and S. Tixeuil. A self-stabilizing 2/3-approximation algorithm for the maximum matching problem. In SSS'08, 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems, volume 5340 of LNCS, Detroit, USA, pages 94--108, November 2008. Springer. [bibtex]


  68. David Martins and Hervé Guyennet. État de l'art - Sécurité dans les réseaux de capteurs sans fil. In SAR-SSI 2008 : 3rd conference on Security of Network Architectures and Information Systems, Loctudy, France, pages 167--181, October 2008. Editions Publibook Universite. [bibtex]


  69. Jean-Marc Nicod, Laurent Philippe, and Hala Sabbah. Optimizing the Cost of an Heterogeneous Distributed Platform. In DFMA'08, 4th IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, Penang, Malaysia, pages 60--67, October 2008. [bibtex]


  70. Eugène Pamba-Capo-Chichi and Jean-Michel Friedt. Design of Embedded Sensor Platform for Multimedia Application. In DFMA'08, 4th IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, Penang, Malaysia, pages 146--150, October 2008. [bibtex]


  71. Eugène Pamba-Capo-Chichi, Hervé Guyennet, Jean-Michel Friedt, I. Johnson, and C. Duffy. Design and implementation of a generic hybrid Wireless Sensor Network platform. In WLN'08, 8th IEEE Int. Workshop on Wireless Local Networks, part of LCN'08, 33rd IEEE Int. Conf. Conference on Local Computer Networks, Montreal, Canada, pages 836--840, October 2008. [Abstract] [bibtex]


  72. Odile Peyron, Amandine Bordon, Anne Vignot, Sylvie Damy, Nathalie Combourieu-Nebout, Simon Brewer, Pavel Tarasov, Doris Barboni, and MPD contributors, all. A modern pollen-climate database as a tool for quantitative climate reconstructions. In 12-th Int. Palynological Congress et 8-th Int. Organisation of Palaeobotany Conference, Bonn, Germany, September 2008. Note: Poster. [bibtex]


  73. Vincent Pretre, Fabrice Bouquet, and Christophe Lang. Automating UML Models Merge for Web Services Testing. In iiWAS'08, 10th int. Conf. on Information Integration and Web-based Applications and Services, Linz, Austria, pages 55--62, 2008. ACM Press. [bibtex]


  74. Françoise Sailhan and Julien Bourgeois. Log-based Distributed Intrusion Detection for Hybrid Networks. In CSIIR'08, Cyber Security and Information Intelligence Research Workshop, Oak Ridge, Tennessee, United States, pages 1--3, May 2008. ACM Press. [bibtex]


  75. Daouda Traoré, Jean-Louis Roch, Nicolas Maillard, Thierry Gautier, and Julien Bernard. Deque-free work-optimal parallel STL algorithms. In Euro-Par'08, 14-th int. conf. on Parallel Processing, volume 5168 of LNCS, Las Palmas de Gran Canaria, Spain, pages 887--897, 2008. Springer. [bibtex]


  76. Soumaya Zirari, Frédéric Lassabe, Matteo Cypriani, Philippe Canalda, Pascal Chatonnay, and François Spies. Towards a wireless hybrid positionning based on refined 802.11-indoor mobility models. In ENC-GNSS 08, European Navigation Conference, Toulouse, France, pages 377, April 2008. Note: Paper number 291, Posters Session: Positioning technologies and applications, publication dans les actes papier et dvd. [bibtex]


2007
  1. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Spécification et Validation d'un Contrôleur de Performances Sportives. In E-Medisys 07, int. conf. on E-Medical Systems, Fez, Morocco, pages 173--178, October 2007. [bibtex]


  2. Jacques Bahi, Jean-Claude Charr, Raphaël Couturier, and David Laiymani. A Parallel Algorithm to Solve Large Stiff ODE Systems on Grid Systems. In Cluster 2007, Int. Conf. on Cluster Computing, Austin, Texas, United States, pages 534--541, 2007. IEEE Computer Society Press. [bibtex]


  3. Jacques Bahi, Raphaël Couturier, David Laiymani, and Kamel Mazouzi. A Comparative Study of Two Java High Performance Environments for Implementing Parallel Iterative Methods. In APPT'07, Advanced Parallel Programming Technologies, Guangzhou, China, pages 313--321, 2007. [bibtex]


  4. Jacques Bahi, Raphaël Couturier, David Laiymani, and Kamel Mazouzi. Java and asynchronous iterative applications: large scale experiments. In IPDPS'07, 21th IEEE and ACM Int. Symposium on Parallel and Distributed Processing Symposium, Long Beach, California, United States, pages (8 pages), March 2007. IEEE Computer Society Press. Note: Published electronically. [bibtex]


  5. Jacques Bahi, Raphaël Couturier, and Flavien Vernier. Synchronous Distributed Load Balancing on Totally Dynamic Networks. In IPDPS'2007, 21th IEEE and ACM Int. Symposium on Parallel and Distributed Processing Symposium, Long Beach, California, United States, pages (8 pages), March 2007. IEEE Computer Society Press. Note: Published electronically. [bibtex]


  6. Jacques Bahi, Abdallah Makhoul, and Ahmed Mostefaoui. A Mobile Beacon Based Approach for Sensor Network Localization. In WiMob'07, 3rd IEEE Int. Conf. on Wireless and Mobile Computing, Networking and Communications, New York, United States, pages 44, October 2007. [bibtex]


  7. Jacques Bahi, Abdallah Makhoul, and Ahmed Mostefaoui. Localization and Coverage for High Density Sensor Networks. In PerComW'07, 5th IEEE Int. Conf. on Pervasive Computing and Communications Workshops, New York, United States, pages 295--300, March 2007. IEEE Computer Society Press. [bibtex]


  8. Anne Benoit, Veronika Rehn-Sonigo, and Yves Robert. Impact of QoS on Replica Placement in Tree Networks. In ICCS'07, Int. Conference on Computational Science, 2007. Springer. [bibtex]


  9. Anne Benoit, Veronika Rehn-Sonigo, and Yves Robert. Multi-criteria Scheduling of Pipeline Workflows. In HeteroPar'07, Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks (in conjunction with Cluster 2007), 2007. IEEE Computer Society Press. [bibtex]


  10. Anne Benoit, Veronika Rehn-Sonigo, and Yves Robert. Strategies for Replica Placement in Tree Networks. In HCW'07, the 16th Heterogeneity in Computing Workshop, 2007. IEEE Computer Society Press. [bibtex]


  11. Marie-Laure Betbeder, M. Ciekanski, Françoise Greffier, Christophe Reffay, and Thierry Chanier. Comment spécifier, codifier et représenter les interactions multimodales synchrones issues de formations en ligne : problématiques, méthodologie et analyses. In EPAL 2007, Echanger pour Apprendre en Ligne, Grenoble, France, June 2007. [Abstract] [bibtex]


  12. Marie-Laure Betbeder, Régis Tissot, and Christophe Reffay. Recherche de patterns dans un corpus d'actions multimodales. In EIAH 2007, Lausanne, Switzerland, pages 533--544, June 2007. [Abstract] [bibtex]


  13. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives. In INFINITY'07, Int. Ws. on Verification of Infinite-State Systems, joint to CONCUR'07, Lisboa, Portugal, pages 44--53, September 2007. Note: The final version will be published in EN in Theoretical Computer Science, Elsevier. [bibtex]


  14. Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, and Alain Giorgetti. Instantiation of Parameterized Data Structures for Model-Based Testing. In Jacques Julliand and Olga Kouchnarenko, editors, B'2007, the 7th Int. B Conference, volume 4355 of LNCS, Besancon, France, pages 96--110, January 2007. Springer. [bibtex]


  15. Fabrice Bouquet, Frédéric Dadeau, and Julien Groslambert. JML2B: Checking JML specifications with B machines. In Jacques Julliand and Olga Kouchnarenko, editors, B'2007, the 7th Int. B Conference - Tool Session, volume 4355 of LNCS, Besancon, France, pages 285--288, January 2007. Springer. [bibtex]


  16. Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, and Mark Utting. A subset of precise UML for model-based testing. In A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing, London, United Kingdom, pages 95--104, July 2007. ACM Press. Note: A-MOST'O7 is colocated with ISSTA 2007, Int. Symposium on Software Testing and Analysis. [bibtex]


  17. Thibaud Brocard. Modeling and simulation of microsystem: holonic organization and wireless communication. In DFMA'07, 3rd int. workshop on Distributed Framework for Multimedia Applications, Paris, France, pages 61--68, July 2007. [bibtex]


  18. Franck Butelle, Lucian Finta, and Mourad Hakem. Real-Time Distributed Scheduling of Precedence Graphs on Arbitrary Wide Networks. In IPDPS'07, pages 1--6, 2007. IEEE Computer Society Press. [bibtex]


  19. M. Caporuscio, Damien Charlet, V. Issarny, and A. Navarra. Energetic performance of service-oriented multi-radio networks: issues and perspectives. In WOSP'07, Procs of the 6th int. workshop on Software and Performance, Buenos Aires, Argentina, pages 42--45, 2007. ACM Press. Note: ISBN 1-59593-297-6. [bibtex]


  20. Chockri Chemak and M.-S. Bouhlel. A New Scheme of Image Watermarking Robust Against JPEG Compression Adapting to Terminal Multimedia For PocketNeuro Project. In E-Medisys 07, int. conf. on E-Medical Systems, Fez, Morocco, pages 47--51, October 2007. [bibtex]


  21. Chockri Chemak, M.-S. Bouhlel, and Jean-Christophe Lapayre. A New Scheme of Image Watermarking Based On 5/3 Wavelet Decomposition and Turbo Code. In ECC'07, European Computing Conference, Athens, Greece, pages 11--17, September 2007. [bibtex]


  22. Chockri Chemak, M.-S. Bouhlel, and Jean-Christophe Lapayre. A New Scheme of Robust Image Watermarking: The Double Watermarking Algorithm. In SCSC'07, Summer Computer Simulation Conference, San Diego, United States, pages 1207--1208, July 2007. [bibtex]


  23. Chockri Chemak, M.-S. Bouhlel, and Jean-Christophe Lapayre. Un Nouveau Schéma de Tatouage Aveugle Robuste à la Compression JPEG pour la Déontologie et le Transfert des Informations Médicales. In SETIT'07, 4th IEEE int. conf. on Sciences of Electronic, Technologies of Information and Telecommunications, Hammamet, Tunisia, pages 1--7, March 2007. [bibtex]


  24. R. Chevrier, Philippe Canalda, and D. Josselin. Une approche génétique multi-objectifs pour résoudre le Transport à la Demande en multi-convergence. In ROADEF'07, 5ème journées Francophones de Recherche Opérationnelle (FRANCORO) et 8ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Grenoble, France, pages 133--134, February 2007. [bibtex]


  25. Jean-François Couchot and Frédéric Dadeau. Guiding the Correction of Parameterized Specifications. In IFM'07, 6th Int. Conf. on Integrated Formal Methods, volume 4591 of LNCS, Oxford, UK, pages 176--194, July 2007. Springer. [bibtex]


  26. Jean-François Couchot and T. Hubert. A Graph-based Strategy for the Selection of Hypotheses. In FTP'07, Int. Workshop on First-Order Theorem Proving, Liverpool, UK, September 2007. [bibtex]


  27. Jean-François Couchot and S. Lescuyer. Handling Polymorphism in Automated Deduction. In CADE'07, 21st Int. Conf. on Automated Deduction, volume 4603 of LNCS, Bremen, Germany, pages 263--278, July 2007. Springer. [bibtex]


  28. Raphaël Couturier. CHIC: utilisation et fonctionnalités. In ASI'07, 4e Rencontres Analyse Statistique Implicative, Castellon, Spain, pages 41--50, October 2007. [bibtex]


  29. Raphaël Couturier and Stéphane Domas. CRAC: a Grid Environment to solve Scientific Applications with Asynchronous Iterative Algorithms. In IPDPS'2007, 21th IEEE and ACM Int. Symposium on Parallel and Distributed Processing Symposium, Long Beach, California, United States, pages (8 pages), March 2007. IEEE Computer Society Press. Note: Published electronically. [bibtex]


  30. Frédéric Dadeau, Amal Haddad, and T. Moutet. Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès. In AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels, Namur, Belgique, June 2007. [bibtex]


  31. Frédéric Dadeau, Yves Ledru, and L. du Bousquet. Directed Random Reduction of Combinatorial Test Suites. In RT'07, 2nd Int. Workshop on Random Testing, co-located with ASE'07, the 22nd IEEE/ACM Int. Conf. on Automated Software Engineering, Atlanta, USA, pages 18--25, November 2007. ACM Press. [bibtex]


  32. Frédéric Dadeau, Yves Ledru, and L. du Bousquet. Measuring the Coverage of a Java Test Suite using JML Specifications. In B. Finkbeiner, Y. Gurevich, and A.K. Petrenko, editors, MBT'07, 3rd Int. Workshop on Model-Based Testing, co-located with ETAPS'2007), volume 190 of ENTCS, Braga, Portugal, pages 21--32, April 2007. [bibtex]


  33. Sylvie Damy, Bénédicte Herrmann, Isabelle Jacques, J.-J. Girardot, and C. Masselot. The contribution of the computer science as well as the information and communication science approaches for the editorial function of the territorial information systems. In Int. Conf. on Territorial Intelligence, Huelva, Spain, October 2007. [bibtex]


  34. E. Descourvières, Stéphane Debricon, D. Gendreau, P. Lutz, Laurent Philippe, and Fabrice Bouquet. Towards automatic control for microfactories. In 5th Int. Conf. on Industrial automation, Montréal, Québec, Canada, pages ***--***, June 2007. ETS. Note: ISBN 978-2-9802946-4-8. [bibtex]


  35. Isabelle Devarenne, Hakim Mabed, and Alexandre Caminada. Auto-adaptation de la durée tabou dans une méthode de recherche locale. In ROADEF'07, 7e Congrès de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision, pages ***--***, 2007. [bibtex]


  36. Dominique Dhoutaut, A. Regis, and François Spies. Modèles de propagation pour les réseaux mobiles ad hoc à large échelle. In IRAMUS'06 workshop, Interface RAdio pour les réseaux MUlti-Sauts, Val-thorens, France, January 2007. [bibtex]


  37. Dominique Dhoutaut and François Spies. Adding Geographical Interferences into the Shadowing Pattern Model for Vehicular Ad Hoc Networks Simulations. In ITST'07. 7th Int. Conf. on Intelligent Transport Systems Communications, Sophia Antipolis, France, pages 1--6, 2007. [bibtex]


  38. Nabil Elmarzouqi, Eric Garcia, and Jean-Christophe Lapayre. ACCM: a New Architecture Model for CSCW. In CSCWD'07, 11th IEEE int. conf. on Computer Supported Cooperative Work in Design, Melbourne, Australia, pages 84--91, April 2007. [bibtex]


  39. Nabil Elmarzouqi, Eric Garcia, and Jean-Christophe Lapayre. Continuum de Collaboration Augmentée dans un nouveau modèle de TCAO. In SETIT'07, 4th IEEE int. conf. on Sciences of Electronic, Technologies of Information and Telecommunications, Hammamet, Tunisia, pages 94--106, March 2007. [bibtex]


  40. Nabil Elmarzouqi, Eric Garcia, Jean-Christophe Lapayre, and P. Humbert. Use of ACCM Model for teledermatology implementation. In DFMA'07, 3rd int. workshop on Distributed Framework for Multimedia Applications, Paris, France, pages 84--89, July 2007. [bibtex]


  41. Abdoul-Karim Ganame, Julien Bourgeois, Renaud Bidou, and François Spies. A Global Security Architecture for Intrusion Detection on Computer Networks. In SSN'07, Int. Workshop on Security in Systems and Networks. Joint to IPDPS'07, 21th IEEE and ACM Int. Symposium on Parallel and Distributed Processing Symposium, Long Beach, California, United States, pages (8 pages), March 2007. IEEE Computer Society Press. Note: Published electronically. [bibtex]


  42. Abdoul-Karim Ganame, Julien Bourgeois, Renaud Bidou, and François Spies. Evaluation des Capacités de Détection d'Intrusions et des Performances d'un Centre de Gestion de la Sécurité. In JDIR'07, 8èmes Journées Doctorales Informatique et Réseau, Marne la Vallée, France, January 2007. [bibtex]


  43. Alain Giorgetti and Julien Groslambert. Un programme annoté en vaut deux. In Pierre-Etienne Moreau, editor, JFLA'07, Journées francophones des langages applicatifs, Aix-les-Bains, France, pages 87--101, January 2007. INRIA. [bibtex]


  44. J.-J. Girardot, C. Masselot, Sylvie Damy, Bénédicte Herrmann, Isabelle Jacques, C. Sanchez, and M.J. Asensio. Progress and prospects in designing tools of territorial intelligence (WP6 of CAENTI). In Int. Conf. on Territorial Intelligence, Huelva, Spain, pages 81--104, October 2007. [bibtex]


  45. Alexandre Gondran, Oumaya Baala, Alexandre Caminada, and Hakim Mabed. 3-D BSS Geometric Indicator for WLAN Planning. In ICS'07, Int. Conf. on Software, pages 1--5, September 2007. [bibtex]


  46. Alexandre Gondran, Oumaya Baala, Alexandre Caminada, and Hakim Mabed. Joint Optimization of Access Point Placement and Frequency Assignment in WLAN. In 3rd IEEE Int. Conf. in Central Asia on Internet, pages 1--5, September 2007. [bibtex]


  47. Julien Groslambert. A JAG extension for verifying LTL properties on B Event Systems. In Jacques Julliand and Olga Kouchnarenko, editors, B'2007, the 7th Int. B Conference - Tool Session, volume 4355 of LNCS, Besancon, France, pages 262--265, January 2007. Springer. [bibtex]


  48. Julien Groslambert. Verification of LTL on B Event Systems. In Jacques Julliand and Olga Kouchnarenko, editors, B'2007, the 7th Int. B Conference, volume 4355 of LNCS, Besancon, France, pages 111--125, January 2007. Springer. [bibtex]


  49. Mourad Hakem. Reliability and Scheduling on Systems Subject to Failures. In ICPP'07, 36th IEEE Int. Conf. on Parallel Processing, pages 38--38, 2007. IEEE Computer Society Press. [bibtex]


  50. T. Herman, S.V. Pemmaraju, Laurence Pilard, and M. Mjelde. Temporal Partition in Sensor Networks. In Toshimitsu Masuzawa and Sébastien Tixeuil, editors, SSS'07, 9th int. symposium on Stabilization, Safety, and Security of Distributed Systems, volume 4838 of LNCS, Paris, France, pages 325--339, November 2007. Springer. [bibtex]


  51. Jean-Laurent Hippolyte, Christelle Bloch, Pascal Chatonnay, Christophe Espanet, and Didier Chamagne. A Self-adaptive Multiagent Evolutionary Algorithm for Electrical Machine Design. In Dirk Thierens and others, editors, GECCO'07, 9th annual conference on Genetic and evolutionary computation, volume 2, New York, United States, pages 1250--1255, 2007. ACM Press. [bibtex]


  52. Jean-Laurent Hippolyte, Christophe Espanet, Didier Chamagne, Christelle Bloch, and Pascal Chatonnay. A Multiagent Evolutionary Algorithm to Design Complex Electric Systems. In D.H. Bassir, J.L. Zapico Valle, W.H. Zhang, D. Chamoret, and S. Guessama, editors, 1st Int. Conf. on Multidisciplinary Optimization and Applications, 2007. ASMDO. [bibtex]


  53. Jean-Michel Hufflen. Implementing Language-Dependent Lexicographic Orders in pgScheme. In Danny Dubé, editor, Proc. of the 8th Workshop on Scheme and Functional Programming, volume DIUL--RT--0701 of University Laval, Technical Report, Freiburg, Germany, pages 139--144, September 2007. [bibtex]


  54. Pierre-Cyrille Héam, Olga Kouchnarenko, and Jérôme Voinot. How to Handle QoS Aspects in Web Services Substitutivity Verification. In WETICE'07, 16th IEEE Int. Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises, Paris, France, pages 333--338, June 2007. IEEE Computer Society Press. [bibtex]


  55. T. Hérault, P. Lemarinier, O. Peres, Laurence Pilard, and J. Beauquier. A Model for Large Scale Self-Stabilization. In IPDPS 2007, Parallel and Distributed Processing Symposium, Long Beach, California, USA, pages 1--10, March 2007. IEEE Computer Society Press. [bibtex]


  56. Eddie Jaffuel and Bruno Legeard. LEIRIOS Test Generator: Automated Test Generation from B models. In Jacques Julliand and Olga Kouchnarenko, editors, B'2007, the 7th Int. B Conference - Industrial Tool Session, volume 4355 of LNCS, Besancon, France, pages 277--280, January 2007. Springer. [bibtex]


  57. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Preservation of timed properties during an incremental development by components. In Y. Ait Ameur, F. Boniol, and V. Wiels, editors, ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, RNTI, Revue des Nouvelles Technologies de l'Information, Poitiers, France, pages 159--166, December 2007. Cépaduès éditions. [bibtex]


  58. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. VeSTA : Vérification de la préservation des propriétés d'un composant lors de son intégration dans un système temporisé. In AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels - Session Outils, Namur, Belgium, pages 289--290, June 2007. [bibtex]


  59. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. VeSTA : a Tool to Verify the Correct Integration of a Component in a Composite Timed System. In M. Butler, M. Hinchey, and M.M. Larrondo-Petrie, editors, ICFEM'07, the 9th Int. Conf. on Formal Engineering Methods, volume 4789 of LNCS, Boca Raton, Florida, United States, pages 116--135, November 2007. Springer. [bibtex]


  60. Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Sylvie Vignes, and Véronique. Viguié Donzeau-Gouge. Using Computer Science Modeling Techniques for Airport Security Certification. In RCIS'07, 1st Int. Conf. on Research Challenges in Information Science, Ouarzazate, Morocco, pages 61--72, April 2007. [bibtex]


  61. Hung-Cuong Le. A Clustered Data-Centric Storage for Wireless Sensor Networks. In DFMA'07, 3rd IEEE int. workshop on Distributed Framework for Multimedia Applications, Paris, France, pages 90--96, July 2007. [bibtex]


  62. Hung-Cuong Le, Hervé Guyennet, and Violeta Felea. OBMAC: An Overhearing Based MAC Protocol for Wireless Sensor Networks. In SENSORCOMM'07, int. conf. on Sensor Technologies and Applications, Valencia, Spain, pages 547--553, October 2007. [bibtex]


  63. Hung-Cuong Le, Hervé Guyennet, Violeta Felea, and N. Zerhouni. A Low Latency MAC Scheme for Event-Driven Wireless Sensor Networks. In MSN'07, Mobile Ad-Hoc and Sensor Network, Beijing, China, pages 291--301, 2007. [bibtex]


  64. Hung-Cuong Le, Hervé Guyennet, and N. Zerhouni. A New Contention Access Method for Collision Avoidance in Wireless Sensor Networks. In Cosmin Dini, Zdenek Smekal, Emanuel Lochin, and Pramode Verma, editors, ICN'07, 6th int. conf. on Networking, Sainte-Luce, Martinique, France, pages 27--34, April 2007. IEEE Computer Society Press. [bibtex]


  65. Hung-Cuong Le, Hervé Guyennet, and N. Zerhouni. Mobile Effect Reduction in Data-Centric Storage for Wireless Sensor Networks. In IE'07, 3rd int. conf. on Intelligent Environments, Ulm, Germany, pages 304--311, September 2007. [bibtex]


  66. Yves Ledru, Frédéric Dadeau, L. du Bousquet, S. Ville, and E. Rose. Mastering Combinatorial Explosion with the Tobias-2 Test Generator. In ASE'07, 22nd IEEE/ACM Int. Conf. on Automated Software Engineering, Tool Session, Atlanta, USA, pages 535--536, November 2007. ACM Press. [bibtex]


  67. Yves Ledru, S. Ville, E. Rose, L. du Bousquet, and Frédéric Dadeau. Tobias-2, un outil pour la maîtrise de tests combinatoires. In AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels, Session outils, Namur, Belgium, June 2007. [bibtex]


  68. Yves Ledru, L. du Bousquet, Frédéric Dadeau, and F. Allouti. A Case Study in Matching Test and Proof Coverage. In B. Finkbeiner, Y. Gurevich, and A.K. Petrenko, editors, MBT'07, 3rd Int. Workshop on Model-Based Testing, co-located with ETAPS'2007), volume 190 of ENTCS, Braga, Portugal, pages 73--84, April 2007. [bibtex]


  69. Michel Lemoine, Eduardo R. Lopez Ruiz, Yves Ledru, Didier Bert, Régine Laleau, Fabien Peureux, Fabrice Bouquet, Véronique Donzeau-Gouge, Catherine Dubois, Jean-Frédéric Etienne, and Sylvie Vignes. EDEMOI: a methodology for security of air transport system. In EUCASS'10, 2nd European Conference on Aerospace Sciences, 2007. [bibtex]


  70. Sébastien Linck, Eugen Dedu, and François Spies. Distance-Dependent RED Policy (DDRED). In Cosmin Dini, Zdenek Smekal, Emanuel Lochin, and Pramode Verma, editors, ICN'07, 6th int. conf. on Networking, Sainte-Luce, Martinique, France, pages 51--57, April 2007. IEEE Computer Society Press. [bibtex]


  71. C. Louat, Karine Deschinkel, C. Roucairol, and R. Gonzalez. Mixing Gomory mixed integer inequalities with others cutting plane. In ECCO'07, European Chapter on Combinatorial Optimization, Chypre, pages ***--***, May 2007. [bibtex]


  72. Hakim Mabed, Isabelle Devarenne, and Alexandre Caminada. Frequency Planning for Slow Frequency Hopping System. In Int. Network Optimization Conference, April 2007. [bibtex]


  73. F. Manne, M. Mjelde, Laurence Pilard, and S. Tixeuil. A New Self-stabilizing Maximal Matching Algorithm. In Giuseppe Prencipe and Shmuel Zaks, editors, SIROCCO 2007, 14th International Colloquium on Structural Information and Communication Complexity, volume 4474 of LNCS, Castiglioncello, Italy, pages 96--108, June 2007. Springer. [bibtex]


  74. Pierre-Alain Masson, Jacques Julliand, J.-C. Plessis, Eddie Jaffuel, and Georges Debois. Automatic Generation of Model Based Tests for a Class of Security Properties. In A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing, London, United Kingdom, pages 12--22, July 2007. ACM Press. Note: A-MOST'O7 is colocated with ISSTA 2007, Int. Symposium on Software Testing and Analysis. [bibtex]


  75. Muriel Noras, Christophe Reffay, and Marie-Laure Betbeder. Structuration de corpus de formation en ligne en vue de leur échange. In EIAH 2007, Lausanne, Switzerland, pages 59--64, June 2007. [bibtex]


  76. Vincent Pretre, Fabrice Bouquet, and Christophe Lang. A Model-Based Validation Framework for Web Services. In STV07, Procs of the 5th workshop on Systems Testing and Validation, Paris, France, pages 63--76, December 2007. [bibtex]


  77. Christophe Reffay, Thierry Chanier, Muriel Noras, and Marie-Laure Betbeder. Contribution à la structuration de corpus d'apprentissage pour un meilleur partage en recherche. In EPAL 2007, Echanger pour Apprendre en Ligne, Grenoble, France, June 2007. [Abstract] [bibtex]


  78. Veronika Rehn-Sonigo. Optimal Closest Policy with QoS and Bandwidth Constraints for Placing Replicas in Tree Networks. In CoreGRID'07, Core GRID Symposium, 2007. Springer. [bibtex]


  79. Veronika Rehn-Sonigo, Yves Robert, and Frédéric Vivien. Scheduling and data redistribution strategies on star platforms. In PDP'2007, 15th Euromicro Workshop on Parallel, Distributed and Network-based Processing, 2007. IEEE Computer Society Press. [bibtex]


  80. David Saint-Voirin, Christophe Lang, Hervé Guyennet, and N. Zerhouni. Scoop: a complete methodology for cooperative systems modeling and analysis. In ICCGI'07, 2nd IEEE Int. Conf. on Computing in the Global Information Technology Challanges for the Next Generation of IT and C, Guadeloupe, France, pages 47--54, March 2007. [bibtex]


  81. Aurélien Vasseur, E. Marin, Libor Makovicka, Marc Sauget, Sylvain Contassot-Vivier, and Jacques Bahi. Utilisation d'un code de calcul dosimétrique basé sur les Réseaux de Neurones Artificiels et la méthode de Monte-Carlo. In 1er Forum CGE, Vittel, France, October 2007. [bibtex]


2006
  1. Amine Abbas, Jacques Bahi, and Ahmed Mostefaoui. Improving Wireless Ad Hoc Networks Lifetime. In SUTC'2006, IEEE Int. Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing, Taipei, Taiwan, June 2006. [bibtex]


  2. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Spécifications hiérarchiques et vérification des propriétés sous hypothèses d'équité. In M. Gourgaud and F. Riane, editors, 6ème Conf. Francophone de Modélisation et Simulation, MOSIM'06, Rabat, Morocco, April 2006. Note: Actes sur CD. 7 pages. ISBN 2-7430-0893-8. [bibtex]


  3. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. In ISoLA 2006, 2nd Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus, pages 19--26, November 2006. IEEE Computer Society Press. [bibtex]


  4. Husam Alustwani, Jacques Bahi, and Ahmed Mostefaoui. Managing VCR Interactions in Multimedia Presentations. In ICDIM'06, IEEE Int. Conference on Digital Information Management, pages 179--186, 2006. [bibtex]


  5. Jacques Bahi, Sylvain Contassot-Vivier, Libor Makovicka, Éric Martin, and Marc Sauget. Neural Network Based Algorithm for Radiation Dose Evaluation in Heterogeneous Environments. In ICANN 2006, Int. Conf. on Artificial Neural Networks, volume 4132 of LNCS, Athens, Greece, pages 777--787, September 2006. Springer. [bibtex]


  6. Jacques Bahi, Raphaël Couturier, and A. Sider. Design and Analysis of the M2LL Policy Distributed Algorithm for Load Balancing in Dynamic Networks. In ISPA'06, volume 4331 of LNCS, pages 195--204, 2006. Springer. [bibtex]


  7. Jacques Bahi, Raphaël Couturier, and Philippe Vuillemin. JaceP2P: an Environment for Asynchronous Computations on Peer-to-Peer Networks. In Cluster 2006, IEEE Int. Conf. on Cluster Computing, Barcelona, Spain, pages 1--10, 2006. IEEE Computer Society Press. Note: CD-ROM Proceedings. ISBN: 1-4244-0328-6. [bibtex]


  8. Jacques Bahi, Raphaël Couturier, and Philippe Vuillemin. JaceV: a Programming and Execution Environment for Asynchronous Iterative Computations on Volatile Nodes. In VECPAR 2006, 7th Int. Meeting on High Performance Computing for Computational Science, volume 4395 of LNCS, Rio De Janeiro, Brazil, pages 79--92, July 2006. Springer. [bibtex]


  9. Jacques Bahi, Stéphane Domas, and Kamel Mazouzi. More on JACE: New functionalities, New experiments. In IPDPS'2006, 20th IEEE and ACM Int. Symposium on Parallel and Distributed Processing Symposium, Rhodes Island, Greece, pages 231--239, April 2006. IEEE Computer Society Press. [bibtex]


  10. Jacques Bahi, Ahmed Mostefaoui, and Michel Salomon. A Local-Control Algorithm to Prolong the Lifetime of Wireless Ad Hoc Networks. In MSN'06, 2-nd int. conf. on Mobile Ad-hoc and Sensor Networks, volume 4325 of LNCS, Hong Kong, China, pages 555--566, December 2006. Springer. [bibtex]


  11. Jacques Bahi, Ahmed Mostefaoui, and Michel Salomon. Increasing Lifetime of Wireless Ad Hoc Networks Using a Decentralized Algorithmic Approach. In ICON 2006, 14th IEEE Int. Conf. on Networks, Singapore, Singapore, September 2006. [bibtex]


  12. A. Banos, S. Chardonnel, Christophe Lang, Nicolas Marilleau, T. Thevenin, and A. Mas-Boffet. Concevoir des agents pour simuler les dynamiques urbaines : de l'enquête ménage à la génération de programmes d'activités. In SAGEO'06, Colloque International de Géomatique et d'Analyse Spatiale, Strasbourg, France, September 2006. Note: Electronic proceedings. [bibtex]


  13. Olivier Beaumont, Loris Marchal, Veronika Rehn-Sonigo, and Yves Robert. FIFO scheduling of divisible loads with return messages under the one-port model. In HCW'06, the 15th Heterogeneous Computing Workshop, 2006. IEEE Computer Society Press. [bibtex]


  14. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Experiments in the use of tau-simulations for the components-verification of real-time systems. In SAVCBS'06, Specification and Verification of Component-Based Systems, Portland, Oregon, United States, pages 33--40, November 2006. [bibtex]


  15. E. Bernard, Fabrice Bouquet, A. Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, and E. Torreborre. Model-based Testing from UML Models. In MBT'2006, Model-based Testing Workshop, INFORMATIK'06, volume P-94 of LNI, Lecture Notes in Informatics, Dresden, Germany, pages 223--230, October 2006. Note: ISBN 978-3-88579-188-1. [bibtex]


  16. Julien Bernard, Serge De Paoli, and Fabrice Salpetrier. Distributed software behaviour analysis through the MPSoC design flow. In IP/SoC'06, IP-Based SoC Design, 2006. [bibtex]


  17. Julien Bernard, Jean-Louis Roch, Serge De Paoli, and Miguel Santana. Adaptive Encoding of Multimedia Streams on MPSoC. In ICCS'06, 4-th Int. Conf. on Computational Science, volume 3994 of LNCS, Reading, UK, pages 999--1006, 2006. Springer. [bibtex]


  18. Didier Bert, Fabrice Bouquet, Yves Ledru, and Sylvie Vignes. Validation of Regulation Documents by Automated Analysis of Formal Models. In REMO2V'06, Int. Workshop on Regulations Modelling and their Validation and Verification (in conjunction with CAiSE'06), Luxembourg, Luxembourg, pages 800--805, June 2006. [bibtex]


  19. Marie-Laure Betbeder, Christophe Reffay, and Thierry Chanier. Environnement audiographique synchrone : recueil et transcription pour l'analyse des interactions multimodales. In JOCAIR 2006, Premières journées Communication et Apprentissage instrumentés en réseau, Amiens, France, pages 406--420, July 2006. [Abstract] [bibtex]


  20. Yohan Boichut and T. Genet. Feasible Trace Reconstruction for Rewriting Approximations. In RTA'06, 17th Int. Conf. on Rewriting Techniques and Applications, volume 4098 of LNCS, Seattle, United States, pages 123--135, August 2006. Springer. [bibtex]


  21. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Handling Algebraic Properties in Automatic Analysis of Security Protocols. In ICTAC 2006, Int. Colloquium on Theoretical Aspects of Computing, volume 4281 of LNCS, Tunis, Tunisia, pages 153--167, November 2006. Springer. [bibtex]


  22. Yohan Boichut, Nikolaï Kosmatov, and L. Vigneron. Validation of Prouvé protocols using the automatic tool TA4SP. In Proc. of the Third Taiwanese-French Conference on Information Technology (TFIT 2006), Nancy, France, pages 467--480, March 2006. [bibtex]


  23. Fabrice Bouquet, F. Celletti, Georges Debois, A. De Lavernette, Eddie Jaffuel, Jacques Julliand, Bruno Legeard, J. Lidoine, J.-C. Plessis, and Pierre-Alain Masson. Model-Based Security Testing, Application to a Smart Card Identity Applet. In eSmart 2006, 7th Int. Conf. on Smart Cards, Sophia-Antipolis, France, September 2006. [bibtex]


  24. Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, and Jacques Julliand. Safety Property Driven Test Generation from JML Specifications. In K. Havelund, M. Garcia, G. Rosu, and B. Wolff, editors, FATES/RV'06, 1st Int. Workshop on Formal Approaches to Testing and Runtime Verification, volume 4262 of LNCS, Seattle, WA, United States, pages 225--239, August 2006. Springer. [bibtex]


  25. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. Automated Boundary Test Generation from JML Specifications. In T. Nipkow and J. Misra, editors, FM'06, 14th Int. Conf. on Formal Methods, volume 4085 of LNCS, Hamilton, Canada, pages 428--443, August 2006. Springer. [bibtex]


  26. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. JML-Testing-Tools, un Animateur Symbolique de Spécifications JML. In AFADL'06, Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France, March 2006. Note: Session outils. [bibtex]


  27. Fabrice Bouquet, Stéphane Debricon, Bruno Legeard, and Jean-Baptiste Nicolet. Extending the Unified Process with Model-Based Testing. In MoDeVa'06, 3rd Int. Workshop on Model Development, Validation and Verification, Genova, Italy, pages 2--15, October 2006. [bibtex]


  28. Mounir Boussedjra, Christelle Bloch, and Abdellah El moudni. Apport d'une technique de diversification dans un algorithme de recherche de chemin intermodal. In Michel Gourgand and Fouad Riane, editors, MoSIM'06, 6ème Conférence Francophone de Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités, Rabat, Morocco, 2006. Note: Actes sur CD-ROM. [bibtex]


  29. Mounir Boussedjra, Christelle Bloch, and Abdellah El moudni. Comparaison d'algorithmes évolutionnistes pour la recherche d'itinéraires intermodaux. In LT'2006, Workshop International Logistique et Transport, Hammamet, Tunisia, pages 243--248, 2006. Systems, Man and Cybernetics Society, IEEE Computer Society Press. [bibtex]


  30. M. Brahma, M. Chaudier, Eric Garcia, J.-P. Gelas, Hervé Guyennet, Fabien Hantz, L. Lefèvre, Pascal Lorenz, and H. Tobiet. TEMIC: a New Cooperative Platform for Industrial Tele-Maintenance. In DFMA'06, Procs of the 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, Penang, Malaysia, pages 106--114, May 2006. [bibtex]


  31. E. Castex, R. Chevrier, D. Josselin, and Philippe Canalda. Le Transport à la Demande en (multi)convergence. Réflexion et proposition autour d'un projet pluridisciplinaire.. In SAGEO'06, Colloque International de Géomatique et d'Analyse Spatiale, Strasbourg, France, pages 99--111, September 2006. Note: Prix du meilleur papier SAGEO'06. [bibtex]


  32. Damien Charlet, V. Issarny, and R. Chibout. Service discovery in multi-radio networks: an assessment of existing protocols. In MSWiM'06: Procs of the 9th ACM int. symposium on Modeling analysis and simulation of wireless and mobile systems, Torremolinos, Malaga, Spain, pages 229--238, September 2006. ACM Press. Note: ISBN 1-59593-477-4. [bibtex]


  33. Damien Charlet, Frédéric Lassabe, Philippe Canalda, Pascal Chatonnay, and François Spies. Predictive Tracking of WiFi Devices: Requirements and Proposals. In Procs of the 14th IEEE Euromicro Conference on Parallel, Distributed and Network based Processing (PDP 2006), Montbéliard, France, pages 362--365, February 2006. [bibtex]


  34. Chockri Chemak and M.-S. Bouhlel. Near Shannon Limit for Turbo Code With Short Frames. In ICTTA'06, 2nd IEEE Int. Conf. on Information and Communication Technologies From Theory to Applications, Damascus, Syrian Arab Republic, pages 1994--1997, April 2006. [bibtex]


  35. Chockri Chemak, M.-S. Bouhlel, Jean-Christophe Lapayre, and F. Kammoun. Un Tatouage Robuste et Aveugle des Images pour le Transfert des Informations Médicales. In MCSEAI'06, 9ème Maghrebian Conference on Software Engineering and Artificial Intelligence, Agadir, Morocco, pages 324--330, December 2006. [bibtex]


  36. R. Chevrier, Philippe Canalda, Pascal Chatonnay, and D. Josselin. An Oriented Convergent Mutation Operator for Solving a Scalable Convergent Demand Responsive Transport Problem. In ICSSSM'06, IEEE Int. Conf. on Service Systems and Service Management, Troyes, France, pages 959--964, October 2006. [bibtex]


  37. R. Chevrier, Philippe Canalda, Pascal Chatonnay, and D. Josselin. Comparison of three Algorithms for solving the Convergent Demand Responsive Transportation Problem. In ITSC'2006, 9th Int. IEEE Conf. on Intelligent Transportation Systems, Toronto, Canada, pages 1096--1101, September 2006. [bibtex]


  38. R. Chevrier, Philippe Canalda, Pascal Chatonnay, and D. Josselin. Vers une Solution Robuste et Flexible du Transport à la Demande en Convergence : Étude Trans-disciplinaire et Mise en Oeuvre. In Actes du Workshop International : Logistique et Transport 2006 (LT 2006), Hammamet, Tunisia, pages 49--55, April 2006. [bibtex]


  39. Samir Chouali. Cooperation between the B method and the automata theory to check the component interoperability. In FACS'2006, 3rd Int. Workshop on Formal Aspects of Components Software, Prague, Czech Republic, pages 211--227, September 2006. [bibtex]


  40. C. Coti, T. Hérault, P. Lemarinier, Laurence Pilard, A. Rezmerita, E. Rodriguez, and F. Cappello. Blocking vs. Non-Blocking Coordinated Checkpointing for Large-Scale Fault Tolerant MPI. In SC 2006, High Performance Networking Computing, Networking, Storage and Analysis, Tampa, Florida, USA, pages 127, November 2006. IEEE Computer Society Press. [bibtex]


  41. Frédéric Dadeau. Animation de modèles JML et génération de tests fonctionnels. In MAJECSTIC'06, MAnifestation de JEunes Chercheurs STIC, Lorient, France, November 2006. [bibtex]


  42. Sylvain Dahan, Jean-Marc Nicod, and Laurent Philippe. Utilisation du Distributed Spanning Tree en tant qu'Overlay. In O. Beaumont and V. Boudet, editors, RenPar'17, 17èmes Rencontres francophones du Parallélisme, Perpignan, France, pages 60--67, October 2006. Université de Perpignan. [bibtex]


  43. Bruno Del Fabbro, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. Design and experimentations of an efficient data management service for NES architectures. In J.-M. Pierson, editor, VLDB DMG 06, 2nd VLDB Workshop on Data Management in Grids, Seoul, Korea, pages 62--75, September 2006. [bibtex]


  44. Karine Deschinkel, F. Galea, and C. Roucairol. Automated Optimization of Brachytherapy Treatment Plans: Software Isodose 3D. In Applied Optimization and Metaheuristics Innovation, Yalta, Ukraine, pages ***--***, July 2006. [bibtex]


  45. Karine Deschinkel, F. Galea, and C. Roucairol. Optimization problems in treating cancer tumour by internal radiations: High Dose Rate Brachytherapy. In APMOD'06, Applied Mathematical Programming and Modeling VIII, Madrid, Espagne, pages ***--***, June 2006. [bibtex]


  46. Karine Deschinkel, F. Galea, and C. Roucairol. Problèmes d’optimisation en curiethérapie. In MOSIM’06, 6ème Conférence Francophone de Modélisation et Simulation, Modélisation, Optimisation et Simulation, Rabat, Maroc, pages ***--***, April 2006. [bibtex]


  47. Isabelle Devarenne, Hakim Mabed, and Alexandre Caminada. Hybridation des mécanismes de détection de boucles et de liste tabou pour la recherche locale. In ROADEF'06, 7e Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, 2006. [bibtex]


  48. Isabelle Devarenne, Hakim Mabed, and Alexandre Caminada. Intelligent neighborhood exploration in local search heuristics. In ICTAI'06, 18th IEEE Int. Conf. on Tools with Artificial Intelligence, pages 144--150, October 2006. [bibtex]


  49. Isabelle Devarenne, Hakim Mabed, and Alexandre Caminada. Optimization by extention-restriction neighborhood in local search: application to graph coloring problem. In 20th European Simulation and Modeling conference, October 2006. [bibtex]


  50. Isabelle Devarenne, Hakim Mabed, and Alexandre Caminada. Self-adaptive neighborhood exploration parameters in a local search. In 7th EU/MEeting on Adaptive, Self-Adaptive, and Multi-Level Metaheuristics, Malaga, Espagne, November 2006. [bibtex]


  51. Dominique Dhoutaut, A. Regis, and François Spies. Impact of Radio Propagation Models in Vehicular Ad Hoc Networks Simulations. In VANET'06: Procs of the 3rd int. workshop on Vehicular ad hoc networks, Los Angeles, United States, pages 40--49, September 2006. ACM Press. [bibtex]


  52. Dominique Dhoutaut, A. Regis, and François Spies. Integration of physical phenomena into an experiment-based propagation model. In PE-WASUN'06: Procs of the 3rd ACM int. workshop on Performance Evaluation of Wireless Ad hoc, Sensor and Ubiquitous Networks, Terromolinos, Spain, pages 98--105, October 2006. ACM Press. [bibtex]


  53. Jean-Baptiste Ernst-Desmulier. Simulation d'un environnement de calcul distribué sur un réseau pair à pair. In O. Beaumont and V. Boudet, editors, RenPar'17, 17èmes Rencontres francophones du Parallélisme, Perpignan, France, pages 44--51, October 2006. Université de Perpignan. [bibtex]


  54. Jean-Baptiste Ernst-Desmulier, Julien Bourgeois, N.M. Thanh, François Spies, and J. Verbeke. Simulating and Optimizing A Peer-to-Peer Computing Framework. In HotP2P/IPDPS'06, Proc. of the ACM/IEEE Int. Parallel and Distributed Processing Symposium, Rhodes Island, Greece, pages 124--132, April 2006. IEEE Computer Society Press. [bibtex]


  55. I. Fourati Kallel, Mohamed Kallel, and Eric Garcia. Fragile Watermarking for medical Image Authentication. In DFMA'06, 2nd IEEE Int. Conf. on Distributed Framework for Multimedia Applications, Penang, Malaisia, pages 1--6, May 2006. Note: Doi 10.1109/DFMA.2006.296919. [bibtex]


  56. Abdoul-Karim Ganame, Julien Bourgeois, Renaud Bidou, and François Spies. Evaluation of the intrusion detection capabilities and performance of a security operation center. In SECRYPT'06, int. conf. on security and cryptography, Setubal, Portugal, pages 48--55, August 2006. INSTICC Press. [bibtex]


  57. Eric Garcia, Julien Henriet, and Jean-Christophe Lapayre. Validation of a Protocol for Communication Management in CSCW Systems Using a Coloured-Petri Net Modelization. In PDP 2006, Procs of the 14th IEEE Euromicro Conference on Parallel, Distributed and Network based Processing, Montbéliard, France, pages 272--275, February 2006. [bibtex]


  58. Alain Giorgetti and Julien Groslambert. JAG : Génération d'annotations JML pour vérifier des propriétés temporelles. In AFADL'06, Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France, March 2006. Note: Session outils. [bibtex]


  59. Alain Giorgetti and Julien Groslambert. JAG: JML Annotation Generation for Verifying Temporal Properties. In FASE'2006, Fundamental Approaches to Software Engineering, volume 3922 of LNCS, Vienna, Austria, pages 373--376, March 2006. Springer. Note: Tools session. [bibtex]


  60. Françoise Greffier and Christophe Reffay. Les échos du forum de discussion en FAD. In JOCAIR 2006, Premières journées Communication et Apprentissage instrumentés en réseau, Amiens, France, pages 130--144, July 2006. [Abstract] [bibtex]


  61. Julien Groslambert, Jacques Julliand, and Olga Kouchnarenko. JML-based Verification of Liveness Properties on a Class. In SAVCBS'06, Specification and Verification of Component-Based Systems, Portland, Oregon, United States, pages 41--48, November 2006. [bibtex]


  62. Mourad Hakem and Franck Butelle. A Bi-objective Algorithm for Scheduling Parallel Applications on Heterogeneous Systems Subject to Failures. In RenPar'06, pages 25--35, 2006. [bibtex]


  63. Fabien Hantz and Hervé Guyennet. A P2P Platform using sandboxing. In HPCS'06, Workshop on Security and High Performance Computing Systems, in conjunction with ECMS 2006, 20th European Conf. on Modelling and Simulation, Bonn, Germany, pages 736--739, May 2006. [bibtex]


  64. Jean-Laurent Hippolyte, Christophe Espanet, Didier Chamagne, Christelle Bloch, and Pascal Chatonnay. Hybridizing Evolutionary Computation And SQP To Optimize A Permanent Magnet Motor. In NUMELEC'06, 5ème Conférence Européenne sur les Méthodes Numériques en Électromagnétisme, November 2006. [bibtex]


  65. Jean-Laurent Hippolyte, Christophe Espanet, Didier Chamagne, Christelle Bloch, and Pascal Chatonnay. Motor design optimization thanks to an hybrid method. In 2nd Conf. on Simulation and Multidisciplinary Design Optimization, May 2006. ASMDO. [bibtex]


  66. Jean-Michel Hufflen. Implementing a variant of XSLT in pgScheme. In IFL'06, 18th Int. Symposium on Implementation and Application of Functional Languages, Budapest, Hungary, pages 484--491, September 2006. [bibtex]


  67. T. Hérault, P. Lemarinier, O. Peres, Laurence Pilard, and J. Beauquier. Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems. In Ajoy Kumar Datta and Maria Gradinariu, editors, SSS 2006, , 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems, volume 4280 of LNCS, Dallas, Texas, USA, pages 574--575, November 2006. Springer. [bibtex]


  68. I.F. Kallel, Mohamed Kallel, Eric Garcia, and M.-S. Bouhlel. Fragile Watermarking for medical Image Authentication. In DFMA'06, Procs of the 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, Penang, Malaysia, pages 1--6, May 2006. [bibtex]


  69. Nikolaï Kosmatov. A Constraint Solver for Sequences and its Applications. In Procs of the 21st Annual ACM Symposium on Applied Computing (SAC'06), Dijon, France, pages 404--408, April 2006. [bibtex]


  70. Nikolaï Kosmatov. Constraint Solving for Sequences in Software Validation and Verification. In INAP'05, Proc. of the 16th Int. Conf. on Applications of Declarative Programming and Knowledge Management, volume 4369 of LNCS, Fukuoka, Japan, pages 25--37, 2006. Springer. Note: ISBN 978-3-540-69233-1. [bibtex]


  71. Olga Kouchnarenko and Arnaud Lanoix. How to Refine and to Exploit a Refinement of Component-based Systems. In I. Virbitskaite and A. Voronkov, editors, PSI 2006, Pesrpectives of System Informatics, 6th Int. Andrei Ershov Memorial Conf., volume 4378 of LNCS, Novosibirsk, Akademgorodok, Russian Federation, pages 297--309, June 2006. Springer. [bibtex]


  72. Frédéric Lassabe, Philippe Canalda, Damien Charlet, Pascal Chatonnay, and François Spies. Refining WiFi Indoor Positionning Renders Pertinent Deploying Location-Based Multimedia Guide. In Procs of IEEE Int. Workshop on Pervasive Computing and Ad Hoc Communications (PCAC06), in conjunction with the IEEE 20th Int. Conf. on Advanced Information Networking and Applications (AINA06), volume 2, Vienna, Austria, pages 126--130, April 2006. [bibtex]


  73. Frédéric Lassabe, Philippe Canalda, Pascal Chatonnay, Damien Charlet, and François Spies. Géolocalisation WiFi et modèles de prédiction de la mobilité dans les réseaux multimédia. In Actes des 3e Journées Francophones Mobilité et Ubiquité (UBIMOB 2006), conférence nationale IEEE-France et ASF, CNAM Paris, France, pages 57--64, September 2006. [bibtex]


  74. Frédéric Lassabe, Philippe Canalda, Pascal Chatonnay, and François Spies. Gestion de la mobilité et positionnement dans les réseaux sans-fil en environnement clos. In 8èmes rencontres francophones sur les aspects algorithmiques des télécommunications, Trégastel, France, pages 117--120, May 2006. [bibtex]


  75. Frédéric Lassabe, Damien Charlet, Philippe Canalda, Pascal Chatonnay, and François Spies. Positioning Awareness: an Essential Component for Mobile Multimedia Applications. In DFMA'06, Procs of the 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, Penang, Malaysia, pages 201--208, May 2006. [bibtex]


  76. Frédéric Lassabe, Damien Charlet, Philippe Canalda, Pascal Chatonnay, and François Spies. Predictive Mobility Models based on Kth Markov Models. In IEEE Int. Conf. on Pervasive Services 2006 (ICPS'06), Lyon, France, pages 303--306, June 2006. [bibtex]


  77. Hung-Cuong Le, Hervé Guyennet, and N. Zerhouni. Over-hearing for Energy Efficient in Event-Driven Wireless Sensor Network. In IST-WSN'06, 1st IEEE Int. Workshop on Intelligent Systems Techniques for Wireless Sensor Networks, part of MASS 2006, 3rd IEEE Int. Conf. on Mobile Ad-hoc and Sensor Systems, Vancouver, Canada, pages 633--638, October 2006. [bibtex]


  78. Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, and Fabien Peureux. An attempt to combine UML and formal methods to model airport security. In Forum of CAISE'06, the 18th Int. Conf. on Advanced Information Systems Engineering, Luxembourg, Luxembourg, pages 47--50, June 2006. [bibtex]


  79. Sébastien Linck, Emmanuel Mory, Julien Bourgeois, Eugen Dedu, and François Spies. Video quality estimation of DCCP streaming over wireless networks. In Procs of the 14th IEEE Euromicro Conference on Parallel, Distributed and Network based Processing (PDP 2006), Montbéliard, France, pages 405--412, February 2006. IEEE Computer Society Press. [bibtex]


  80. Hakim Mabed and Alexandre Caminada. Geometric criteria to improve interference performances of cellular network. In IEEE Vehicular Technology Conference, pages 1--5, September 2006. [bibtex]


  81. Hakim Mabed, Isabelle Devarenne, and Alexandre Caminada. Recherche Locale et contrôle de dégradation. In ROADEF'06, 7e Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, 2006. [bibtex]


  82. Nicolas Marilleau, Christophe Lang, Pascal Chatonnay, and Laurent Philippe. An Agent-Based Framework for Urban Mobility Simulation. In Procs of the 14th IEEE Euromicro Conference on Parallel, Distributed and Network based Processing (PDP 2006), Montbéliard, France, pages 355--361, February 2006. [bibtex]


  83. Nicolas Marilleau, Christophe Lang, Pascal Chatonnay, and Laurent Philippe. Modélisation du déplacement dans la méthode RAFALE-SP. In JFSMA'06, Journées Francophones sur les Systèmes Multi-Agents, Annecy, France, pages 45--48, October 2006. [bibtex]


  84. Muriel Noras. Un besoin de spécifications des corpus de formation en ligne. In RJC-EIAH'2006, Premières Rencontres Jeunes Chercheurs en Environnements Informatique pour l'Apprentissage Humain, Evry, France, pages 165--172, May 2006. [bibtex]


  85. Laurent Philippe, Sylvain Dahan, I. Djama, Sylvie Damy, and Bénédicte Herrmann. Evaluation of large scale lookup algorithm for ASP based grids. In Procs of the 5th Int. Symposium on Parallel and Distributed Computing, Timisoara, Romania, pages 220--229, July 2006. IEEE Computer Society Press. [bibtex]


  86. Vincent Pretre, Christophe Lang, Nicolas Marilleau, and Jean-Christophe Lapayre. A Video Transmission Framework Using Components and Multi-Agent Systems. In DFMA'06, 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, Penang, Malaysia, pages 99--105, May 2006. [bibtex]


  87. Jean-Louis Roch, Daouda Traoré, and Julien Bernard. On-Line Adaptive Parallel Prefix Computation. In Euro-Par'06, int. conf. on Parallel Processing, volume 4128 of LNCS, Dresden, Germany, pages 841--850, 2006. Springer. [bibtex]


  88. David Saint-Voirin and N. Zerhouni. Cooperative systems modeling, example of a cooperative e-maintenance system. In DFMA'06, Procs of the 2nd IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, Penang, Malaysia, pages 83--90, May 2006. [bibtex]


  89. Bruno Tatibouët and Isabelle Jacques. Génération de modèles dirigée par des propriétés à partir d'un métamodèle. In ICSSEA'06, 19th int. Conf. on Software & Systems Engineering and their applications, Session 6: Modeling, Paris, France, December 2006. CNAM. Note: 8 pages. [bibtex]


  90. Bruno Tatibouët and Isabelle Jacques. Understanding B Specifications with UML Class Diagram and OCL Constraints. In ICEIS'06, 8th Int. Conf. on Enterprise Information Systems, volume 3 of Information Systems Analysis and Specification, Paphos, Cyprus, pages 475--478, May 2006. Note: ISBN 972-8865-41-4. [bibtex]


2005
  1. Amine Abbas, Jacques Bahi, Sylvain Contassot-Vivier, and Michel Salomon. Mixing Synchronism / Asynchronism in Discrete-State Discrete-Time Dynamic Networks. In 4th Int. Conf. on Engineering Applications and Computational Algorithms, DCDIS'2005, Guelph, Canada, pages 524--529, July 2005. Note: ISSN 1492-8760. [bibtex]


  2. Amine Abbas, Jacques Bahi, and Ahmed Mostefaoui. Optimizing Energy Consumption in Wireless Ad Hoc Networks. In PE-WASUN'05, 2nd IEEE and ACM Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor and Ubiquitous Networks, Montréal, Canada, pages 279--280, October 2005. [bibtex]


  3. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Exploitation du raffinement pour vérifier les modèles hiérarchiques. In Actes du RJCITR'05, 1ère Rencontres des Jeunes Chercheurs en Informatique Temps Réel, Nancy, France, September 2005. [bibtex]


  4. A. Armando, D. Basin, Yohan Boichut, Y. Chevalier, L. Compagna, J. Cuellar, P. Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, J. Mantovani, S. Moedersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, and L. Vigneron. The Avispa Tool for the automated validation of internet security protocols and applications. In CAV 2005, 17th Int. Conf. on Computer Aided Verification, volume 3576 of LNCS, Edinburgh, Scotland, United Kingdom, pages 281--285, July 2005. Springer. [bibtex]


  5. Jacques Bahi and Raphaël Couturier. Parallelization of direct algorithms using multisplitting methods in grid environments. In 19th IEEE and ACM Int. Parallel and Distributed Processing Symposium, IPDPS 2005, Denver, Colorado, United States, pages 254b, 8 pages, April 2005. IEEE Computer Society Press. [bibtex]


  6. Jacques Bahi, Raphaël Couturier, and Michel Salomon. Solving Three-Dimensional Transport Models with Asynchronism in Iterat ive Algorithms. In 19th IEEE and ACM Int. Parallel and Distributed Processing Symposium, IPDPS 2005, Denver, Colorado, United States, pages 253b, 7 pages, April 2005. IEEE Computer Society Press. [bibtex]


  7. A. Banos, S. Chardonnel, Christophe Lang, Nicolas Marilleau, and T. Thevenin. Approche multi-agents de la ville en mouvement. Réflexions autour du projet MIRO (Modélisation Intra-urbaine des Rythmes quOtidiens). In procs. of the joint Conf. on Multi-Agent Modeling for Environment Management, CABM-HEMA-SMAGET 2005, Bourg St Maurice-Les Arcs, France, March 2005. Note: Actes sur CD. [bibtex]


  8. A. Banos, S. Chardonnel, Christophe Lang, Nicolas Marilleau, and T. Thevenin. Modéliser et simuler la ''fourmilière'' urbaine par les systèmes multi-agents. In procs. of the Int. Conf. on Spatial Analysis and GEOmatic, SAGEO 2005, Avignon, France, June 2005. [bibtex]


  9. A. Banos, S. Chardonnel, Christophe Lang, Nicolas Marilleau, and T. Thevenin. Simulating the swarming city: a MAS approach. In procs. of The 9th Int. Conf. on Computers in Urban Planning and Urban Management, CUPUM 2005, London, United Kingdom, June 2005. [bibtex]


  10. J. Beauquier, Laurence Pilard, and B. Rozoy. Observing Locally Self-stabilization in a Probabilistic Way. In DISC 2006, int. Symposium on Distributed Computing, volume 3724 of LNCS, Kracow, Poland, pages 399--413, October 2005. Springer. [bibtex]


  11. Françoise Bellegarde, Samir Chouali, and Jacques Julliand. Refinement Verification of Fair Transition Systems can Contribute to PLTL Model Checking. In Third ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE'2005), Verona, Italy, pages 167--176, July 2005. IEEE Computer Society Press. Note: ISBN 0-7803-9227-2. [bibtex]


  12. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. On the contribution of a tau-simulation in the incremental modeling of timed systems. In FACS'05, 2nd Int. Workshop on Formal Aspects of Components Software, volume 160 of Electronic Notes in Theoretical Computer Science, Macao, Macao, pages 97--111, October 2005. Elsevier. [bibtex]


  13. S. Benbernou, M.S. Hacid, Abdallah Makhoul, and Ahmed Mostefaoui. A Spatio-Temporal Adaptation Model for Multimedia Presentations. In ISM'05, IEEE Int. Symposium on Multimedia, Irvine, California, United States, pages 143--150, December 2005. [bibtex]


  14. M. Benguerabi, A. Sehad, and Ahmed Mostefaoui. Experiencing Audio Indexation on Broadcasted News. In EUROMEDIA'05 Workshop on Distributed Multimedia Databases and Multimedia Adaptation (WDMDMA), Toulouse, France, pages 169--172, April 2005. [bibtex]


  15. M. Blanc, Patrice Clemente, P. Courtieu, S. Franche, L. Oudot, C. Toinard, and L. Vessiller. Amélioration de la sécurité des grands réseaux par une infrastructure de méta-politique. In Actes du Colloque Francophone sur l'Ingénierie des Protocoles, CFIP'05, Bordeaux, France, March 2005. [bibtex]


  16. A. Bouamari, Mohammed Mostefai, and Ahmed Hammad. Modélisation UML des Systèmes Temps Réel. In CIP 2005 - Conférence Internationale sur la Productique, Tlemcen, Algeria, December 2005. Note: 7 pages, Actes sur CD. [bibtex]


  17. Fabrice Bouquet, Frédéric Dadeau, and Julien Groslambert. Checking JML Specifications with B Machines. In H. Treharne, S. King, M. Henson, and S. Schneider, editors, Procs of the Int. Conf. on Formal Specification and Development in Z and B, (ZB'05), volume 3455 of LNCS, Guildford, United Kingdom, pages 435--454, April 2005. Springer. [bibtex]


  18. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. How Symbolic Animation can help designing an Efficient Formal Model. In K.K. Lau and R. Banach, editors, Procs of the 7th Int. Conf. on Formal Engineering Methods (ICFEM'05), volume 3785 of LNCS, Manchester, United Kingdom, pages 96--110, November 2005. Springer. [bibtex]


  19. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. Using Constraint Logic Programming for the Symbolic Animation of Formal Models. In J. Marques-Silva and M. Velev, editors, Procs of the Int. Workshop on Constraints in Formal Verification (CFV'05) -- Co-located with the Int. Conf. on Automated Deduction (CADE'05), Tallinn, Estonia, pages 32--46, July 2005. [bibtex]


  20. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, and Mark Utting. JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP. In N. Halbwachs and L. Zuck, editors, Procs of the 11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Tool session (TACAS'05), volume 3440 of LNCS, Edinburgh, United Kingdom, pages 551--556, April 2005. Springer. [bibtex]


  21. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, and Mark Utting. Symbolic Animation of JML Specifications. In J.S. Fitzgerald, I.J. Hayes, and A. Tarlecki, editors, Procs of the Int. Conf. on Formal Methods (FM'2005), volume 3582 of LNCS, Newcastle Upon Tyne, United Kingdom, pages 75--90, July 2005. Springer. [bibtex]


  22. Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, and Mark Utting. Requirement Traceability in Automated Test Generation - Application to Smart Card Software Validation. In Procs. of the ICSE Int. Workshop on Advances in Model-Based Software Testing (A-MOST'05), St. Louis, United States, May 2005. ACM Press. [bibtex]


  23. Julien Bourgeois, Adrien Henriet, J. Lacan, and T. Perennou. Using a trace-based simulation tool to test the efficiency of error codes applied to wireless multimedia streaming. In M. Al-Akaidi and L. Rothkrantz, editors, Euromedia Conference, Workshop on Distributed Multimedia Databases and Multimedia Adaptation, Toulouse, France, pages 173--177, April 2005. Eurosis. [bibtex]


  24. Julien Bourgeois, S.B. Yoginath, and S. Sellah. Integrating an RTP Mixer Model into Opnet Modeler. In Procs of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005, Besançon, France, pages 106--112, February 2005. IEEE Computer Society Press. [bibtex]


  25. C. Chaudet, Dominique Dhoutaut, and I. Guérin-Lassous. Experiments of some performance issues with IEEE 802.11b in ad hoc networks. In WONS 2005, 2nd Int. Conf. on Wireless On-Demand Network Systems, St Moritz, Switzerland, 2005. [bibtex]


  26. Ph. Chevalley, Bruno Legeard, and J. Orsat. Automated Test Case Generation for Space On-Board Software. In Eurospace, editor, DASIA 2005, Data Systems In Aerospace Int. Conf., Edinburgh, United Kingdom, pages 153--159, May 2005. [bibtex]


  27. Patrice Clemente. Allocating Media and Modalities According to Physical Constraints and Information Types within a Theory of Interaction. In SETIT'05, 3rd IEEE Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunications, Sousse, Tunisia, March 2005. Note: Actes sur CD. ISBN 9973-51-546-3. [bibtex]


  28. Patrice Clemente. Taking into account Users' (Dis-)Abilities within a Formal Theory of Rational Interaction. In AIA'05, IEEE Int. Conf. on Arficial Intelligence and Application, Innsbruck, Austria, February 2005. [bibtex]


  29. Patrice Clemente and F. Panaget. Modality Allocation Within a Formal Theory of Rational Agency: the Relevance of Modality to the Information and the User. In KIMAS'05, IEEE Int. Conf. Knowledge Intensive for Multi-Agent Systems, Waltham, Massachusetts, United States, April 2005. [bibtex]


  30. S. Colin and L. Mariani. Run-Time Verification. In Model-based testing of Reactive Sytems, volume 3472 of LNCS, 2005. Springer. Note: ISBN 3-540-26278-4. The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004. [bibtex]


  31. Jean-François Couchot, Alain Giorgetti, and Nikolaï Kosmatov. A Uniform Deductive Approach for Parameterized Protocol Safety. In ASE'05: Procs of the 20th IEEE/ACM Int. Conf. on Automated Software Engineering, pages 364--367, 2005. IEEE Computer Society Press. Note: Isbn 1-59593-993-4. [bibtex]


  32. Raphaël Couturier. Un système de recommandation basé sur l'A.S.I. In Troisième rencontre internationale de l'Analyse Statistique Implicative (ASI3), pages 157--162, 2005. [bibtex]


  33. Raphaël Couturier and Régis Gras. CHIC : traitement de données avec l'analyse implicative. In Journées Extraction et gestion des connaissances (EGC'2005), volume 2, pages 679--684, January 2005. [bibtex]


  34. Sylvain Dahan. Distributed Spanning Tree Algorithms for Large Scale Traversals. In Procs of the 11th Int. Conf. on Parallel and Distributed Systems, (ICPADS 2005), volume 1, Fukuoka, Japan, pages 453--459, July 2005. IEEE Computer Society Press. [bibtex]


  35. Sylvain Dahan, Jean-Marc Nicod, and Laurent Philippe. The Distributed Spanning Tree: A Scalable Interconnection Topology for Efficient and Equitable Traversal. In 5th Int. Symposium on Cluster Computing and the Grid (CCGrid 2005), workshop on Global and Peer-to-Peer Computing, GP2PC 2005, Cardiff, United Kingdom, May 2005. IEEE Computer Society Press. Note: CD-ROM. [bibtex]


  36. Eugen Dedu, Sébastien Linck, and François Spies. Removing the MAC Retransmission Times from the RTT in TCP. In M. Al-Akaidi and L. Rothkrantz, editors, Euromedia Conference, Workshop on Distributed Multimedia Databases and Multimedia Adaptation, Toulouse, France, pages 190--193, April 2005. Eurosis. [bibtex]


  37. Bruno Del Fabbro. Data Tree Manager : un service de gestion des données persistantes pour le calcul ASP sur la grille. In 4ème Conf. Française sur les Systèmes d'Exploitation, CFSE'4, Le Croisic, France, pages 147--157, April 2005. [bibtex]


  38. Bruno Del Fabbro, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. Data Management in Grid Applications Providers. In Procs of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005, Besançon, France, pages 315--322, February 2005. [bibtex]


  39. Karine Deschinkel, F. Galea, and C. Roucairol. Catheter placement and dwell time computations. In INFORMS, annual Meeting of Institut for Operations Research and the Management Sciences, San Fransisco, USA, November 2005. [bibtex]


  40. Karine Deschinkel and A. Oudot. Planification et tarification dans un réseau. In ROADEF'05, 6e Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Tours, France, February 2005. [bibtex]


  41. Jean-Baptiste Ernst-Desmulier, Julien Bourgeois, François Spies, and J. Verbeke. Adding New Features In A Peer-to-Peer Distributed Computing Framework. In 13th Euromicro Conf. on Parallel Distributed and Network Based Processing (PDP'05), Lugano, Switzerland, pages 34--41, February 2005. IEEE Computer Society Press. [bibtex]


  42. Jean-Baptiste Ernst-Desmulier, Damien Charlet, Pascal Chatonnay, and François Spies. A Peer-to-Peer Approach for Cache Sibling. In Procs of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005, Besançon, France, pages 323--330, February 2005. IEEE Computer Society Press. [bibtex]


  43. Violeta Felea, G. Paroux, and B. Toursel. Java Application Execution in Heterogeneous and Multi-user Systems. In Procs of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005, Besançon, France, pages 331--337, February 2005. [bibtex]


  44. David Fuin. Intégration horizontale de la QoS dans un noeud actif. In CFSE'4, 4ème Conférence Française sur les Systèmes d'Exploitation, Le Croisic, France, pages 183--194, April 2005. [bibtex]


  45. David Fuin and Eric Garcia. Adaptation d'un flux vidéo pour client léger sur un réseau actif. In Actes de la 4èm Conférence Française sur les Systèmes d'Exploitation, CFSE 4, Le Croisic, France, April 2005. [bibtex]


  46. David Fuin and Eric Garcia. Impact of Quality of Service Horizontal Integration in Active Nodes: Modeling and Implementation. In procs. of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005, Besançon, France, pages 72--79, February 2005. [bibtex]


  47. David Fuin, Eric Garcia, and Hervé Guyennet. Video Flow Adaptation for Light Clients on an Active Network. In 4th IEEE Int. Conf. on Networking, ICN'2005, Reunion Island, France, pages 672--679, April 2005. Note: Actes sur CD. [bibtex]


  48. David Fuin, Eric Garcia, Hervé Guyennet, and E. Jeanvoine. Quality of Service Vertical and Horizontal Integration in Active Nodes. In procs of the IEEE joint Int. Conf. on Autonomic and Autonomous Systems (ICAS'05) and Int. Conf. on Networking and Services (ICNS'05), Tahiti, French Polynesia, October 2005. Note: Actes sur CD. [bibtex]


  49. Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, Lionel Droz-Bartholet, Jean-Loup Haberbusch, and al. Collaborative Tele-Neurology for Remote Diagnosis. In SETIT'05, 3rd IEEE Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunications, Sousse, Tunisia, March 2005. Note: Actes sur CD. ISBN 9973-51-546-3. [bibtex]


  50. Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, S. Ramadass, R. Budiarto, N. Kassim, and M.-S. Bouhlel. Collaborative Telemedicine Components Integration in a Multimedia Conferencing System. In 20th APAN Meeting: Advanced Network Conference, Taipei, Taiwan, pages 59--67, August 2005. [bibtex]


  51. Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and Fabien Renard. Performing Global Adaptation With the Appat Platform. In IADIS International Conference - Applied Computing 2005, Algarve, Portugal, pages 41--48, February 2005. [bibtex]


  52. Eric Garcia, Julien Henriet, and Jean-Christophe Lapayre. Comparison of Optimistic and Pessimistic Pilgrims for Concurrency Management in CSCW through a Probabilistic Study. In 3rd IEEE Int. Conf. on Information Technology: Research and Education (ITRE 05), Hsinchu, Taiwan, pages 307--311, June 2005. IEEE Computer Society Press. [bibtex]


  53. Eric Garcia, Julien Henriet, and Jean-Christophe Lapayre. Modelization of a Communication Protocol for CSCW Systems Using Coloured Petri Nets. In The 2nd Int. Conf. on Cooperative Design, Visualization and Engineering, CDVE 2005, volume 3675 of LNCS, Palma de Mallorca, Spain, pages 14--21, September 2005. Springer. [bibtex]


  54. Eric Garcia, Julien Henriet, and Jean-Christophe Lapayre. Study of an Optimistic Protocol for Concurrency Management in CSCW. In Procs. of the 9th IEEE Int. Conf. on CSCW in Design, volume 1, Coventry, United Kingdom, pages 128--133, May 2005. [bibtex]


  55. Arnaud Giersch. Ordonnancement sur plates-formes hétérogènes de tâches partageant des données. In RenPar'2005, 16ème Rencontres Francophones du Parallélisme, Le Croisic, France, pages 159--170, April 2005. [bibtex]


  56. Mourad Hakem and Franck Butelle. Dynamic Critical Path Scheduling Parallel Programs onto Multiprocessors. In IPDPS'05, 2005. IEEE Computer Society Press. [bibtex]


  57. Mourad Hakem and Franck Butelle. Efficient Critical Task Scheduling Parallel Programs on a Bounded Number of Processors. In PDCS'05, 17th Int. Conf. on Parallel and Distributed Computing and Systems, pages 139--144, 2005. [bibtex]


  58. Fabien Hantz and Hervé Guyennet. HiPoP: Highly Distributed Platform of Computing. In procs of the IEEE joint Int. Conf. on Autonomic and Autonomous Systems (ICAS'05) and Int. Conf. on Networking and Services (ICNS'05), Tahiti, French Polynesia, pages 91--96, October 2005. [bibtex]


  59. Fabien Hantz and Julien Henriet. Multimedia Flow Transmission Policies for Collaborative Platform based on SOAP. In Procs of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005, Besançon, France, pages 32--38, February 2005. [bibtex]


  60. Jean-Michel Hufflen. Bibliography Styles Easier with MlBibTeX. In EuroTeX 2005, Pont-à Mousson, France, pages 179--192, March 2005. [bibtex]


  61. Jean-Michel Hufflen. Implementing a Bibliography Processor in Scheme. In J. Michael Ashley and M. Sperber, editors, Proc. of the 6th Workshop on Scheme and Functional Programming, volume 619 of Indiana University Computer Science Department, Tallinn, Estonia, pages 77--87, September 2005. [bibtex]


  62. Jean-Michel Hufflen. mlBibTeX: a Survey. In Proc. GUIT Meeting, Pisa, Italy, pages 171--179, October 2005. [bibtex]


  63. Isabelle Jacques, Bruno Tatibouët, and Jean-Christophe Voisinet. Generation of OCL Constraints from B Abstract Machines. In The 2005 Int. Conf. on Software Engineering Research and Practice (SERP 05), volume 1, Las Vegas, Nevada, United States, pages 260--266, June 2005. CSREA Press. Note: ISBN 1-932415-49-1. [bibtex]


  64. N. Kettaf, A. Abouaissa, Pascal Lorenz, and Hervé Guyennet. A self organizing algorithm for ad hoc networks. In Procs of the 10th IFIP Int. Conf. on Personal Wireless Communication (PWC'05), Colmar, France, pages 115--124, August 2005. [bibtex]


  65. Nikolaï Kosmatov. A Constraint Solver for Sequences. In Procs of the 1st Int. Workshop on Constraint Programming Beyond Finite Intege Domains (BeyondFD'05), Sitges (Barcelona), Spain, pages 49--54, October 2005. [bibtex]


  66. Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, and Fabien Peureux. Application of Requirements Engineering Techniques to the Analysis of Civil Aviation Security Standards. In Procs of the Int. Workshop on Situational Requirements Engineering Processes (SREP'05), Paris, France, pages 91--106, August 2005. [bibtex]


  67. Jean-Christophe Lapayre and Fabien Renard. Appat: a New Platform to Perform Global Adaptation. In procs. of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005, Besançon, France, pages 351--358, February 2005. [bibtex]


  68. Frédéric Lassabe, Oumaya Baala, Philippe Canalda, Pascal Chatonnay, and François Spies. A Friis-based Calibrated Model for WiFi Terminals Positioning. In Proceedings of IEEE Int. Symp. on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2005), Taormina, Italy, pages 382--387, June 2005. [bibtex]


  69. Hung-Cuong Le and M. Abdallah. Scalable Range Query Processing for Large-Scale Distributed Database Applications. In PDCS'05, int. conf. on Parallel and Distributed Computing and Systems, Phoenix, United States, pages 433--439, November 2005. [bibtex]


  70. Nicolas Marilleau. An Agent Based Meta-Model for Urban Mobility Modeling. In procs. of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005, Besançon, France, pages 168--175, February 2005. [bibtex]


  71. Nicolas Marilleau, Christophe Lang, Pascal Chatonnay, and Laurent Philippe. A Meta-Model of Group for Urban Mobility Modeling. In procs. of The Third Int. Conf. on Active Media Technology, AMT 2005, Takamatsu, Japon, pages 397--400, May 2005. [bibtex]


  72. Nicolas Marilleau, Christophe Lang, Pascal Chatonnay, and Laurent Philippe. Cognitive Perception in RAFALES-SP Methodology. In Int. Conf. on Computational Intelligence for Modelling Control and Automation, CIMCA'05, Vienna, Austria, pages 594--600, November 2005. [bibtex]


  73. Nicolas Marilleau, Christophe Lang, Pascal Chatonnay, and Laurent Philippe. Un méta-modèle à base d'agents pour modéliser la mobilité urbaine. In SETIT 2005, 3rd IEEE Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunications, Sousse, Tunisia, March 2005. Note: Actes sur CD. ISBN 9973-51-546-3. [bibtex]


  74. Nicolas Marilleau, Christophe Lang, Pascal Chatonnay, and Laurent Philippe. Une bibliothèque multi-agents pour la simulation de la mobilité intra-urbaine. In procs. of the Int. Conf. on Spatial Analysis and GEOmatic, SAGEO 2005, Avignon, France, June 2005. [bibtex]


  75. Aloïs Mbala, Christophe Reffay, and A.G.N. Anyouzoa. Supporting Distributed Collaborative Learning with Usage Analysis Based Systems. In Procs of the Int. Workshop 'Usage analysis in learning systems', in conjuction with the AIED'2005 Int. Conf. on Artificial Intelligence and EDucation, Amsterdam, Netherlands, pages 111--112, July 2005. [bibtex]


  76. Christophe Reffay. Réseaux sociaux et analyse de traces des forums d'une communauté d'apprentissage. In G.-L. Baron, E. Bruillard, and M. Sidir (Dir.), editors, Symposium, formation et nouveaux instruments de communication, Amiens, France, pages 13 pages, January 2005. [Abstract] [bibtex]


  77. Fabien Renard. Performing Dynamic and Distributed Adaptation with a Novel Approach: Global Adaptation. In SETIT'05, 3rd IEEE Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunication, Sousse, Tunisia, March 2005. Note: Actes sur CD. ISBN 9973-51-546-3. [bibtex]


  78. David Saint-Voirin, Christophe Lang, and N. Zerhouni. Distributed cooperative systems meta-model for maintenance using Petri nets and multi-agents systems. In Procs of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005, Besançon, France, pages 254--261, February 2005. [bibtex]


  79. David Saint-Voirin, Christophe Lang, N. Zerhouni, and Hervé Guyennet. Cooperative systems modeling, example of a cooperative e-maintenance system. In 6th Int. Symposium on computational intelligence in robotics and automation (CIRA'05), Espoo, Finland, pages 439--444, June 2005. IEEE Computer Society Press. [bibtex]


  80. J. Souquières and Samir Chouali. Verifying the compatibility of component interfaces using the B formal method. In SERP'05, int. conf. on Software Engineering Research and Practice, pages 850--856, 2005. CSREA Press. [bibtex]


  81. M. van der Bijl and Fabien Peureux. I/O-automata based testing. In Model-based testing of Reactive Sytems, volume 3472 of LNCS, pages 173--200, 2005. Springer. Note: ISBN 3-540-26278-4. The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004. [bibtex]


2004
  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]


2003
  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]


2002
  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]


2001
  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]


2000
  1. Tafsir Ba. GENIE : une InterfacE homme/machine GENérique pour le diagnostic coopératif. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 47--53, June 2000. [bibtex]


  2. Françoise Bellegarde, Christophe Darlot, Jacques Julliand, and Olga Kouchnarenko. Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. In Conference ZB 2000, volume 1878 of LNCS, York, United Kingdom, pages 230--249, August 2000. Springer. [bibtex]


  3. Françoise Bellegarde, Jacques Julliand, and Olga Kouchnarenko. Ready-simulation is not Ready to Express a Modular Refinement Relation. In Fondamental Aspects of Software Engineering 2000, FASE'2000, volume 1783 of LNCS, Berlin, Germany, pages 266--283, March 2000. [bibtex]


  4. Fabrice Bouquet, Bruno Legeard, and Fabien Peureux. Constraint Logic Programming with Sets for animation B formal specifications. In Proc. of the 1st Int. Conf. on Computational Logic, Workshop on Constraint Logic Programming and Software Engineering, (C)LPSE2000, Imperial College, London, United Kingdom, July 2000. [bibtex]


  5. Fabrice Bouquet, Bruno Legeard, Fabien Peureux, and L. Py. Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. In 9èmes Journées Francophones de Programmation Logique et Programmation par Contraintes. JFPLC'2000, Marseille, France, pages 125--144, June 2000. [bibtex]


  6. Julien Bourgeois. Utilisation du benchmarking dans la prédiction de performances d'applications réparties hétérogènes. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 79--84, June 2000. [bibtex]


  7. Julien Bourgeois and François Spies. Performance prediction of an NAS Benchmark program with ChronosMix environment. In EuroPar'2000, Munich, Allemagne, pages 208--216, September 2000. [bibtex]


  8. Philippe Canalda and C. Godart. Coopetitive Business to Business Modeling: an experience report. In Int. Workshop of CAISE'2000, PBPM workshop, Stockolm, Sweden, July 2000. [bibtex]


  9. Sylvain Contassot-Vivier, Frédéric Lombard, Jean-Marc Nicod, and Laurent Philippe. Specification of a Scilab Meta-Computing extension. In International Workshop on Metacomputing Systems and Applications (MSA'00), Toronto, Canada, pages 207--214, August 2000. [bibtex]


  10. Sylvain Contassot-Vivier, Frédéric Lombard, Jean-Marc Nicod, and Laurent Philippe. Spécification de services sous CORBA pour une extension méta-computing de Scilab. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 33--38, June 2000. [bibtex]


  11. Sylvain Contassot-Vivier and J.-P. Rasson. Vectorization, matching and simplification of image contours in uncalibrated aerial stereo-vision. In EOS/SPIES Symposium on Remote Sensing: Image and Signal Processing for Remote Sensing VI, Barcelone, Espagne, pages 41--48, September 2000. [bibtex]


  12. Raphaël Couturier. Couplage OpenMP / MPI : une expérimentation. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 133--138, June 2000. [bibtex]


  13. Raphaël Couturier. Traitements de l'analyse implicative avec CHIC. In Journées sur l'implication statistique, Caen, France, pages 33--50, June 2000. [bibtex]


  14. Claude Daval-Frérot, Michel Lacroix, and Hervé Guyennet. Federation of Resource Traders in Object-Oriented Distributed System. In International Conference on Parallel Computing in Electrical Engineering Parelec'2000, Trois-Rivières, Quebec, Canada, pages 84--88, August 2000. IEEE Computer Society Press. [bibtex]


  15. Claude Daval-Frérot, Michel Lacroix, and Hervé Guyennet. Resource Balancing using Trader Federation. In Fifth IEEE Symposium on Computers and Communication. ISCC 2000, Antibes, France, pages 647--652, July 2000. [bibtex]


  16. Claude Daval-Frérot, Michel Lacroix, and Hervé Guyennet. Resource balancing using traders. Performance evaluation. In 5th IEEE International Conference on High Performance Computing in Asia, Bejin, China, pages 45--50, May 2000. [bibtex]


  17. Eugen Dedu. Bibliothèque parallèle pour l'implantation de systèmes multi-agent à composantes connexionnistes. In Rencontres Francophones du Parallélisme, des Architectures et des Systèmes (RENPAR), Besançon, France, pages 211--216, June 2000. [Abstract] [bibtex]


  18. Eugen Dedu, S. Vialle, and C. Timsit. Comparison of OpenMP and Classical Multi-Threading Parallelization for Regular and Irregular Algorithms. In Hacene Fouchal and Roger Y. Lee, editors, Software Engineering Applied to Networking & Parallel/Distributed Computing (SNPD), Reims, France, pages 53--60, May 2000. Association for Computer and Information Science. [Abstract] [bibtex]


  19. F. Desprez and Stéphane Domas. Efficient pipelining of level 3 blas routines. In 4th international meeting VECPAR 2000, 2000. [bibtex]


  20. F. Desprez, F. Suter, E. Jeannot, E. Fleury, and Jean-Marc Nicod. Computational Servers in a Metacomputing Environment. In SIAM International Worshop on Parallel Matrix Algorithms and Applications, Neuchâtel, Switzerland, August 2000. [bibtex]


  21. J. Gaber, Jacques Bahi, and T. El-Ghazawi. Parallel mining of association rules with o Hopfield type neural network. In 12th Int. Conf. on Tools with Artificial Intelligence (ICTAI 2000), Vancouver, Canada, pages 90--93, November 2000. IEEE Computer Society Press. [bibtex]


  22. J. Gaber, Jacques Bahi, B. Toursel, and T. El-Ghazawi. Analysis of Randomized On-Line Load Distribution in Distributed Static Networks. In Procs of the ACIS, 1st Int. Conf. on Software Engineering Applied to Networking and Parallel Distributed Computing (SNPD'00), pages 618--623, 2000. Note: ISBN: 0-9700776-0-2. [bibtex]


  23. Eric Garcia. Caméléon : un protocole à topologie virtuelle reconfigurable pour la communication de groupe. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 127--132, June 2000. [bibtex]


  24. Eric Garcia, Jean-Christophe Lapayre, and G. David. Pilgrim Performance over o New CAliF Communication Layer. In IEEE Int. Conf. On Parallel and Distributed Systems, ICPADS'00, Iwate, Japan, pages 203--210, August 2000. [bibtex]


  25. Ahmed Housni. Un nouvel algorithme d'exclusion mutuelle basé sur une arborescence. In JCS'2000, Congrès des Jeunes Chercheurs en Systèmes, Besançon, France, pages ***--***, June 2000. [bibtex]


  26. Pierre-Cyrille Héam. Automata for pro-V topologies. In Proc. CIAA2000, volume 2088 of LNCS, pages 135--142, 2000. [bibtex]


  27. T. Lancien, Thierry Chanier, and others. Internet et la formation des enseignants. In Invitation à la table ronde du congrès de la FIPF (fédération internationale des professeurs de français), Paris, July 2000. [bibtex]


  28. Christophe Lang. Répartition de charge à l'initiative des processus : expérimentation sur les algorithmes du voyage limité et du tableau noir. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 159--164, June 2000. [bibtex]


  29. Frédéric Lombard. Equilibrage de charge dans les systèmes distribués à objets : réglage des paramètres par un algorithme génétique. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 165--170, June 2000. [bibtex]


  30. Mickaël Marche and Christelle Bergerot. Code mobile : concepts et modèle. In Journées des Jeunes Chercheurs en Système (JCS'2000), Besançon, France, pages 23--28, June 2000. [bibtex]


  31. Mickaël Marche and Y.M. Quemener. Une approche formelle pour le test de conformité de processus mobile. In Douzièmes rencontres Francophones du Parallélisme (RENPAR'12), Besançon, France, pages 197--202, June 2000. [bibtex]


  32. Pierre-Alain Masson, Hassan Mountassir, and Jacques Julliand. Modular verification for a class of PLTL properties. In 2nd Int. Conf. on Integrated Formal Methods, IFM'2000, volume 1945 of LNCS, Dagstuhl, Saarland, Germany, pages 398--419, November 2000. Springer. [bibtex]


  33. Ahmed Mostefaoui, L. Brunie, H. Kosch, and L. Boeszoermenyi. Multi-clip Query Optimization in Video Databases. In IEEE International Conference on Multimedia and Expo. ICME'2000, New York, USA, pages 363--366, July 2000. [bibtex]


  34. Hassan Mountassir, Françoise Bellegarde, Jacques Julliand, and Pierre-Alain Masson. Coopération entre Preuve et Model-Checking pour vérifier des propriétés LTL. In Actes du congrès AFADL'2000, Grenoble, France, pages 127--141, January 2000. [bibtex]


  35. Mohammed Ouzzif and Michel Tréhel. Insertion of new partipants in a conference on a network. Adapting distributed token mutual exclusion algorithms. In International Symposium on Image/Video Communications, ISIVC'2000, Rabat, Maroc, pages 313--323, April 2000. [bibtex]


  36. Laurent Philippe and Vincent Portigliatti. Utilisation de préférences applicatives dans l'administration automatique de l'exécution d'applications. In NOTERE'2000 (Nouvelles Technologies de Répartition), Paris, France, pages 197--209, novembre 2000. [bibtex]


  37. L. Py, Bruno Legeard, and Bruno Tatibouët. Evaluation de spécifications formelles en programmation logique avec contraintes ensemblistes - Application à l'animation de spécifications formelles B. In Actes du congrès AFADL'2000, Grenoble, France, pages 21--35, January 2000. [bibtex]


  38. Michel Salomon. Parallélisation de l'évolution diffférentielle pour le recalage rigide d'images médicales volumiques. In Actes de RENPAR'12, Besançon, France, pages 53--58, June 2000. [bibtex]


  39. Michel Tréhel and Ahmed Housni. Improvement of the distributed algorithms of mutual exclusion by introducing the priority. In IEEE International Conference on Information Society in the 21 Century: Emerging Technologies and New Challenges, IS'2000, University of Aizu, Aizu-Wakamatsu City, Japan, pages 403--407, November 2000. [bibtex]


  40. S. Vialle and Eugen Dedu. Long parallel algorithm design vs. quick parallel implementation. In European Workshop on OpenMP (EWOMP), Edinburgh, Scotland, UK, pages 145--150, September 2000. [Abstract] [bibtex]


1999
  1. Françoise Bellegarde, Jacques Julliand, and Hassan Mountassir. Model-Based Verification through Refinement of Finite B Event Systems. In K. Robinson and Didier Bert, editors, Formal Methods'99 B User Group Meeting, Toulouse, France, September 1999. Springer. [bibtex]


  2. J. Bolot, Pascal Chatonnay, and D. Josselin. Construction and evaluation of spatial partitions to describe geographical flows. In Procs of the Int. Symposium on Spatial Data Quality, Hong Kong, pages 523--533, July 1999. [bibtex]


  3. Fabrice Bouquet, L. Henocque, and P. Jégou. Enumération et représentation d'impliquants premiers. In 5èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'99, Lyon, France, pages 179--188, June 1999. [bibtex]


  4. Fabrice Bouquet and P. Jégou. ROBDD : Une étude sur les ordres et stratégies de construction. In 5èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'99, Lyon, France, pages 207--215, June 1999. [bibtex]


  5. Julien Bourgeois, François Spies, and Michel Tréhel. Performance Prediction of Distributed Applications Running on a Network of workstations. In Parallel and Distributed Applications and Activities: PDPTA'99, Las Vegas, United States, pages 672--678, June 1999. [bibtex]


  6. Huah-Yong Chan, Pascal Chatonnay, Bénédicte Herrmann, and Laurent Philippe. Administration automatique d'applications. In 1ère Conférence Française sur les Systèmes d'Exploitation CFSE'1, Rennes, France, June 1999. [bibtex]


  7. Huah-Yong Chan, Pascal Chatonnay, Bénédicte Herrmann, and Laurent Philippe. Auto Adaptive Administration of Resource Allocation. In ERSADS'99, European Research Seminar on Advances in Distributed Systems, Madeira, Portugal, pages 111--118, April 1999. [bibtex]


  8. Huah-Yong Chan and Bénédicte Herrmann. An intra -and inter- domain placement using multcriteria method to optimize resource access in CORBA. In DAIS'99, 2nd IFIP WG 6.1. International Working Conference on Distributed Applications and Interoperable Systems, Helsinki, Finland, pages 121--129, June 1999. [bibtex]


  9. Raphaël Couturier, B. Couturier, and D. Méry. A compiler for parallel Unity programs using OpenMp. In Parallel and Distributed Processing Techniques and Applications - PDPTA'99, Las Vegas, USA, pages 1992--1998, July 1999. [bibtex]


  10. Raphaël Couturier and Régis Gras. Introdution de variables supplémentaires dans une hiérarchie de classes et application à CHIC. In Société Francophone de Classification- SFC'99, Nancy, France, pages 87--92, 1999. [bibtex]


  11. M. El Kyal, J.-C. Miellou, and Jacques Bahi. Superlinear convergence of asynchronous waveform relaxation methods for nonlinear ODEs. In Procs of the 9th Int. colloquium on differential equations, Plovdiv Bulgaria, VSP, pages 119--126, 1999. Note: ISBN: 90-6764-296-7. [bibtex]


  12. Eric Garcia, Hervé Guyennet, and Jean-Christophe Lapayre. Group Support in Cooperative Work Applications. In Parallel and Distributed Applications and Activities: PDPTA'99, Las Vegas, United States, pages 2802--2807, June 1999. [bibtex]


  13. Ahmed Housni. Apport de la priorité dans les algorithmes distribués de l'exclusion mutuelle. In 3ème édition des Journées Doctorales Informatique et Réseaux, JDIR, INT, Evry, France, pages 11--21, November 1999. [bibtex]


  14. Ahmed Housni and Michel Tréhel. La mise en place de la priorité dans les systèmes distribués. In 13ème congrès DNAC, (De Nouvelles Architectures pour les Communications), Paris, France, pages 149--160, December 1999. Université de Versailles. [bibtex]


  15. Jean-Michel Hufflen. Presentations with Exceptions as Order-Sorted Presentations. In WADT'99, Bonas, Italy, September 1999. Note: Extended abstract. [bibtex]


  16. A. Ibriz, M. Erradi, Hassan Mountassir, and Michel Tréhel. A Layered Cooperative Architecture and its Application in Teleteaching Framework. In Special Session on Coordination in Parallel and Distributed Applications and Activities: PDPTA'99, Las Vegas, United States, pages 1516--1522, June 1999. [bibtex]


  17. D. Josselin, Pascal Chatonnay, L. Guerre, and B. Dancuo. Lien dynamique entre ArcView et Xlisp-Stat (LAV-STAT) : un environnement interactif d'analyse spatiale. In Actes de la Conférence ESRI, pages 10, September 1999. [bibtex]


  18. Jacques Julliand, Pierre-Alain Masson, and Hassan Mountassir. Modular verification of dynamic properties for reactive systems. In International Workshop on Integrated Formal Methods, IFM'99, York, Grande-Bretagne, pages 89--108, June 1999. [bibtex]


  19. J. Lacan and Pascal Chatonnay. Search of Optimal Error Correcting Codes with Genetic Algorithms. In ICCITA: Int. Conf. on Computational Intelligence: Theory and Applications/Fuzzy Days, volume 1625 of LNCS, pages 93--98, 1999. [bibtex]


  20. Christophe Lang, Michel Tréhel, and P. Baptiste. A Distributed Placement Algorithm Based on Process Initiative and on a Limited Travel. In Parallel and Distributed Applications and Activities: PDPTA'99, Las Vegas, United States, pages 2636--2641, June 1999. [bibtex]


  21. Christophe Lang, Michel Tréhel, and P. Baptiste. A New Load Sharing Algorithm based on Process Initiative. In ERSADS'99, European Research Seminar on Advances in Distributed Systems, Madeira, Portugal, pages 97--100, April 1999. [bibtex]


  22. Christophe Lang, Michel Tréhel, and P. Baptiste. PLATINUM: A placement tool based on process initiative. In 5th International Conference on Parallel Computing Technologies, PaCT-99, volume 1662 of LNCS, St-Petersbourg, Russian Federation, pages 503--508, September 1999. [bibtex]


  23. Bruno Legeard and L. Py. Constraint Logic Programming with Sets for animation and verification of B specification. In Proc. of DPS'99, International Workshop on Declarative Programming Systems, Paris, France, September 1999. [bibtex]


  24. Ahmed Mostefaoui and L. Brunie. Multimedia Prefetching Strategy for News On-Demand Applications. In International Workshop on Parallel and Distributed Databases, (PaDD'99), Florence, Italie, pages 24--28, September 1999. IEEE Computer Society Press. [bibtex]


  25. Ahmed Mostefaoui, C. Perez, and L. Brunie. Serveur de séquences audiovisuelles parallèle sur réseau haut débit : concepts et expérimentations. In RenPar'11, Rennes, France, pages 127--132, June 1999. [bibtex]


  26. Yvan Peter and Hervé Guyennet. An implementation of the Lifecycle Service Object Mobility on CORBA. In Fifth International Conference on Parallel Computing Technologies, volume 1662 of LNCS, St-Petersbourg, Russian Federation, pages 283--295, September 1999. [bibtex]


  27. L. Py, Isabelle Jacques, and Bruno Legeard. An efficient CLP approach for large-scale cutting stock problem. In PACLP'99, Pratical Applications of Constraint Technologies and Logic Programming, London, United Kingdom, pages 147--163, 1999. [bibtex]


  28. R. Sureswaran, K. Tharmaraj, Hervé Guyennet, Jean-Christophe Lapayre, and Huah-Yong Chan. A Fully Distributed Architecture to Support Multimedia Conferencing. In Internet Workshop'99, Osaka, Japan, pages 317--323, February 1999. [bibtex]


  29. Michel Tréhel and Ahmed Housni. Introduction of the priority in distributed mutual exclusion algorithms. In ISAS'99, Information Systems Analysis and Synthesis, volume 4, Orlando, United States, pages 215--218, July 1999. [bibtex]


  30. Michel Tréhel and Ahmed Housni. Introduction of the priority in distributed mutual exclusion algorithms. In The joint meeting of the Third World Multiconference on Systemics, Cybernetics and Informatics (SCI'99) and the Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99), Orlando, United States, July 1999. [bibtex]


1998
  1. L. Amanton and M. Naimi. Algorithme d'ordonnancement causal par phases avec initiateurs multiples. In NOTERE'98, Colloque International sur les NOuvelles TEchnologies de la REpartition, Canada, October 1998. [bibtex]


  2. Jean-Luc Anthoine and Pascal Chatonnay. CORBA : un environnement d'exécution pour NOW ?. In RENPAR'10, Strasbourg, France, pages 49--52, June 1998. [bibtex]


  3. Jean-Luc Anthoine, Pascal Chatonnay, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. Parallel numerical computing using CORBA. In H.R. Arabnia, editor, Parallel and Distributed Processing Techniques and Applications PDPTA'98, volume 3, Las Vegas, United States, pages 1221--1228, July 1998. CSREA Press. [bibtex]


  4. B. Barbier. Stream Transformations. In Working groupe Pacsoft, Oregon Graduate Institute, Portland, United States, October 1998. [bibtex]


  5. Françoise Bellegarde. Verifying Progress Properties of reactive Systems with Refinements Patterns : a Hybrid method. In Working group PACSOFT, Oregon Graduate Institute, Portland, United States, August 1998. [bibtex]


  6. L. Berkaoui and Bruno Legeard. Représentation de séquences définies sur des ensembles non instanciés par arbre PQR partiel. In Actes de JFPLC'98, Nantes, France, pages 251--266, May 1998. Hermes. [bibtex]


  7. F. Boumghar and Jean-Marc Nicod. Coherency data management in parallel visualization of a sequence of 3D medical images. In H.R. Arabnia, editor, Parallel and Distributed Processing Techniques and Applications PDPTA'98, volume 3, Las Vegas, United States, pages 1337--1344, July 1998. CSREA Press. [bibtex]


  8. F. Boumghar and Jean-Marc Nicod. Gestion de la Cohérence dans la visualisation parallèle d'une séquence d'images médicales 3D. In RENPAR'10, Strasbourg, France, pages 151--154, June 1998. [bibtex]


  9. Huah-Yong Chan and Laurent Philippe. Un gestionnaire de placement interdomaine sur CORBA. In RENPAR'10, Strasbourg, France, pages 107--111, June 1998. [bibtex]


  10. Pascal Chatonnay. Une méthode multicritère pour l'allocation dynamique des ressources aux objets. In 2èmes journées de Recherche sur le Placement Dynamique et la Répartition de Charges (JRPRC2), Lille, France, pages 65--68, May 1998. LIFL. [bibtex]


  11. Sylvain Contassot-Vivier and S. Miguet. Optimization and Parallelization of a Geographical Stereo Vision Code. In The Sixth International Conference in Central Europe on Computer Graphics and Visualization'98, Compus Bory, Pilzen, République Tchèque, pages 65--72, February 1998. Université de Ouest-Bohémie. [bibtex]


  12. Raphaël Couturier. Formal engineering of the bitonic sort using pvs. In 2nd Irish Workshop in Formal Methods, IWFM'98, Cork, Irland, 1998. [bibtex]


  13. Raphaël Couturier. Parallélisation d'une simulation Monte Carlo d'un système de spins et preuve. In Renpar'10, Strasbourg, France, pages 179--182, June 1998. [bibtex]


  14. Raphaël Couturier and D. Méry. An experiment in parallelizing an application using formal methods. In Computer Aided Verification, CAV'98, volume 1427 of LNCS, Vancouver, Canada, pages 345--356, 1998. [bibtex]


  15. Raphaël Couturier and D. Méry. Parallelization of a Monte Carlo simulation of a spins system. In Parallel and Distributed Processing Techniques and Applications - PDPTA'98, Las Vegas, USA, pages 1533--1537, 1998. [bibtex]


  16. Christophe Darlot. Current work on Functional Programming Defunctionalization. In séminaire, Université de Passau, Germany, May 1998. [bibtex]


  17. T. Delaitre, M.J. Zemerly, P. Vekariya, G.R. Justo, Julien Bourgeois, F. Schinkmann, François Spies, S. Randoux, and S.C. Winter. A Toolset for the Design and Performance Evaluation of Parallel Applications. In J. Reeve D. Pritchard, editor, 4th Int. Euro-Par'98 Conf. on Parallel Processing, volume 1470 of LNCS, Southampton, United Kingdom, pages 113--125, September 1998. [bibtex]


  18. F. Desprez, Stéphane Domas, J. Dongarra, A. Petitet, C. Randriamaro, and Y. Robert. More on scheduling block-cyclic array redistribution. In Proc. of the 4th Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers (LCR98), volume 1511 of LNCS, Pittsburgh, USA, pages 275--287, 1998. Springer. [bibtex]


  19. Isabelle Jacques, Bruno Legeard, and L. Py. Résolution d'un problème de découpe à deux dimensions en Programmation Logique avec Contraintes. In actes de JFPLC'98, Nantes, France, pages 95--111, May 1998. Hermes. [bibtex]


  20. Jacques Julliand and Françoise Bellegarde. Extension des spécifications B pour décrire des propriétés dynamiques de systèmes réactifs. In Congrès AFADL'98, Poitiers, Futuroscope, France, pages 125--136, October 1998. [bibtex]


  21. Jacques Julliand, Bruno Legeard, T. Machicoane, Benoit Parreaux, and Bruno Tatibouët. Specification of an Integrated Circuit Card Protocol Applications using the B method and Linear Temporal Logic. In 2nd B Conference, volume 1393 of LNCS, Montpellier, France, pages 273--292, April 1998. [bibtex]


  22. Olga Kouchnarenko. Approches intentionnelles pour les méthodes symboliques. In Workshop on Modeling and Verification, Marseille, France, December 1998. [bibtex]


  23. Christophe Lang and Michel Tréhel. Algorithmes de répartition de charge à l'initiative des processus. In 2èmes journées de Recherche sur le Placement Dynamique et la Répartition de Charges (JRPRC2), Lille, France, pages 5--8, May 1998. LIFL. [bibtex]


  24. Ahmed Mostefaoui and L. Brunie. Data Modelling Based Scheduling in a Parallel Video Server. In High-Performance Computing and Networking (HPCN'98), volume 1401 of LNCS, Amsterdam, Holland, pages 984--986, April 1998. Springer. [bibtex]


  25. Benoit Parreaux. Difference Compression in SPIN. In 4th Workshop on automata theoric verification with the SPIN model checker, SPIN'98, Paris, France, November 1998. [bibtex]


  26. Thierry Selva and Thierry Chanier. Apport de l'informatique pour l'accès lexical dans les dictionnaires pour apprenants : projet Alexia. In Actes du huitième congrès EURALEX'98 (European Association for Lexicography), Liège, Belgique, pages 631--642, 1998. [bibtex]


1997
  1. L. Amanton and M. Naimi. A multicast algorithm for dynamic closed groups. In OPODIS'97, On Principles Of DIstributed Systems, Chantilly, France, pages 13--27, December 1997. Hermes. [bibtex]


  2. A. Bachelu, P. Baptiste, E. Boucher, Bruno Legeard, and C. Varnier. Multi-criteria comparison between algorithmic, constraint logic and specific constraint programming on a real scheduling problem. In Proceedings of PACT97, pages 47--63, 1997. [bibtex]


  3. J. Bell, Françoise Bellegarde, and J. Hook. Type-Driven Defunctionalization. In Proceedings of the International Conference of Functional Programming, ICFP'97, Amsterdam, Netherlands, June 1997. [bibtex]


  4. Françoise Bellegarde. Transformation to structuring process networks. In Séminaire du groupe PACSOFT, Oregon Graduate Institute, United States, August 1997. [bibtex]


  5. A. Benaini and David Laiymani. Task Sheduling for dynamically Reconfigurable Machines. In 5th Euromicro Workshop on Parallel and Distributed Processing, London, United Kingdom, January 1997. IEEE Computer Society Press. [bibtex]


  6. Romain Bigeard, M. Devel, and Jacques Julliand. Parallelization of an Algorithm Used to Simulate Atomic Force Microscope Images. In High Performance Computing and Networking, volume 1225 of LNCS, Vienne, Autriche, pages 175--189, April 1997. [bibtex]


  7. E. Boucher and Bruno Legeard. Procédures exactes d'optimisation dans le paradigme de la Programmation Logique avec Contraintes ensemblistes. In Actes de JFPLC'97, Orléans, France, pages 179--193, May 1997. Hermes. [bibtex]


  8. Huah-Yong Chan and Claude Daval-Frérot. Dynamic Load Balancing Using MPI Implementation on ATM. In IASTED, Applied Informatics, Innsbruck, Austria, February 1997. [bibtex]


  9. Thierry Chanier, L. Duquette, M. Laurier, and M. Pothier. Stratégies d'apprentissage et évaluation dans des environnements multimédia d'aide à l'apprentissage du français. In Journées Scientifiques et Techniques du Réseau FRANCophone de l'Ingénierie de la Langue de l'Aupelf-Uref (JST'97), Avignon, France, pages 271--276, 1997. [bibtex]


  10. Thierry Chanier, C. Fouqueré, and F. Issac. ALEXIA : un environnement d'aide à l'apprentissage lexical du français langue seconde. In La locution entre syntaxe et pragmatique, Collection Saint-Cloud, Publications de l'INALF, pages 105--118, 1997. Klincksiek. [bibtex]


  11. Thierry Chanier and Ahmed Hammad. Un test adaptatif informatisé pour le français : le projet TAFIC. In Actes du Colloque FRAnche-Comté Traitement Automatique des Langues, (FRACTAL), Besançon, France, 1997. [bibtex]


  12. Thierry Chanier and Thierry Selva. Graphic representation of lexical networks in the Alexia system. In Conf. on Computer-Assisted Language Learning (CALL'97), Exeter, United Kingdom, September 1997. [bibtex]


  13. Thierry Chanier and Thierry Selva. Graphic representation of lexical networks in the Alexia system. In Conference Computer-Assisted Language Learning (CALL'97), University of Exeter, United Kingdom, September 1997. [bibtex]


  14. Pascal Chatonnay. Equilibrage de charge dans les systèmes répartis à objets. In 9èmes rencontres francophones du Parallélisme, Renpar'9, Lausanne, Switzerland, May 1997. [bibtex]


  15. T. Delaitre, G. Justo, François Spies, and S. Winter. EDPEPPS: An Environment for the Design and Performance Evaluation of Portable Parallel Software. In 5th International Workshop on Parallel and Distributed Processing (PDP'97), London, United Kingdom, January 1997. [bibtex]


  16. T. Delaitre, P. Vekariya, Romain Bigeard, G.R. Ribeiro-Justo, S. Winter, and M.J. Zemerly. EDPEPPS: An Integrated Graphical Toolset for the Design and Performance, Evaluation of Portable Parallel Software. In EURO-PAR'97, Passau, Allemagne, August 1997. [bibtex]


  17. T. Delaitre, M.J. Zemerly, P. Vekariya, G.R. Ribeiro Justo, Julien Bourgeois, F. Schinkmann, and S.C. Winter. EDPEPPS : An Environment for the Design and Performance Evaluation of Portable Parallel Software. In Proc. of the Workshop on Portable Software Tools for Parallel Applications, PSTPA'97, Manchester, United Kingdom, July 1997. [bibtex]


  18. Hervé Guyennet, Jean-Christophe Lapayre, and Michel Tréhel. A New Consistency Protocol Implemented in the CALIF System. In 4th IEEE Int. Conf. on High Perf. Comp. (HiPC'97), Bangalore, India, pages 82--87, December 1997. [bibtex]


  19. Hervé Guyennet, Jean-Christophe Lapayre, and Michel Tréhel. Distributed Shared Memory Layer for Cooperative Work Applications. In 22nd Annual Conference on Computer Networks, LCN'97, Minneapolis, United States, pages 72--78, November 1997. IEEE Computer Society and TC Computer Communications. [bibtex]


  20. Hervé Guyennet, Jean-Christophe Lapayre, and Michel Tréhel. The Pilgrim: A New Consistency Protocol for Distributed Shared Memory. In Third IEEE International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, pages 253--264, December 1997. [bibtex]


  21. Nicolas Janey, D. Andritch, and Michel Tréhel. A proposition of group organization for an Internet forum. In GISSIC'97, 3rd annual Internet Realtime Interactive Conference, Polytechnic University, New York, October 1997. Global Information and Software Society. [bibtex]


  22. S. Miguet, Jean-Marc Nicod, and D. Sarrut. A linear algorithm for constructing the Polygon Adjacency Relation in a iso-surface of 3D images. In Christophe Fiorio Ehoud Ahronovitz, editor, Discrete Geometry for Computer Imagery 97, volume 1347 of LNCS, pages 125--136, December 1997. Springer. [bibtex]


  23. P. Paquier, J.C. Gelin, and Jacques Julliand. Comparaison de diverses méthodes pour la parallélisation d'un logiciel de simulation en mise en forme des matériaux. In 3ème Colloque National en Calcul des Structures, volume 1, Giens, France, pages 327--334, 1997. [bibtex]


  24. Yvan Peter. An Implementation of CORBA's LifeCycle Service. In 1st International IEEE Workshop on Enterprise Distributed Object Computing (EDOC'97), Gold Coast, Australie, October 1997. [bibtex]


  25. Yvan Peter. Conception d'un mécanisme générique pour permettre la mobilité dans CORBA. In 9èmes rencontres francophones du Parallélisme, Renpar'9, Lausanne, Switzerland, May 1997. [bibtex]


  26. Yvan Peter. Mobility Management in CORBA: A Generic Implementation of the LifeCycle Service. In 24th Seminar on Current Trends in Theory and Practice of Informatics, (SOFSEM'97), Milovy, République Tchèque, November 1997. [bibtex]


  27. K. Rhofir, François Spies, and J.C. Miellou. Améliorations de la méthode de Durand-Kerner. In Journées Numériques de Besançon intitulées Iterative Domain Decomposition Methods and Communications in Parallel Computing, September 1997. [bibtex]


  28. Thierry Selva and Thierry Chanier. Traitement automatique pour la représentation graphique de réseaux lexicaux en apprentissage des langues. In Actes du Colloque FRAnche-Comté Traitement Automatique des Langues (FRACTAL), Besançon, France, pages 361--371, 1997. [bibtex]


  29. Thierry Selva, F. Issac, Thierry Chanier, and C. Fouqueré. Lexical comprehension and production in the ALEXIA system. In Conférence Language Teaching and Language Technology, Groningen, Netherlands, April 1997. [bibtex]


  30. R. Sureswaran, R.K. Subramanian, Hervé Guyennet, and Michel Tréhel. Using the RSW control Criteria to create a distributed environment for multimedia conferencing. In REDECS'97 (National Conference on Research and Development in Computer Science and Application), Penang, Malaysia, November 1997. [bibtex]


  31. Michel Tréhel, C. Balayer, and A. Alloui. Modeling load balancing inside groups using queueing theory. In 10th int. conf. on Parall. and Distr. Comp. (PDCS'97), New Orleans, United States, October 1997. [bibtex]


1996
  1. F. Boumghar, S. Miguet, and Jean-Marc Nicod. Complexity of Discrete Surface in the Dividing-Cubes algorithm. In A. Ferreira, S. Miguet, and A. Montanvert, editors, Discrete Geometry for Computer Imagery (DGCI'96), volume 1176 of LNCS, ENS Lyon, France, November 1996. LIP-ENS Lyon, Springer. [bibtex]


  2. Pascal Chatonnay, Bénédicte Herrmann, Laurent Philippe, and F. Bourdon. Load Balancing in Distributed Objects Systems, an experience with COOL v2. In ECOOP 96 - Workshop on Mobility and Replication, Linz, Austria, 1996. [bibtex]


  3. A. Clematis, Julien Bourgeois, and V. Gianuzzi. Implementing a Consistent Cut Algorithm in a Message Passing Library. In E.H. D'Hollander et al, editor, Procs. of Parallel Computing: State of the Art and Perspectives, (ParCo'96), pages 577--580, 1996. Elsevier. [bibtex]


  4. Hervé Guyennet and Jean-Christophe Lapayre. A Co-operative Application Management Platform Based on Shared Virtual Memory. In procs of the IEEE Int. Conf. on High Performance Computing, HiPC'96, India, pages 457--462, December 1996. [bibtex]


  5. Hervé Guyennet and Jean-Christophe Lapayre. A Distributed Co-operative Platform. In procs of the IEEE Int. Conf. Telecommunication Distribution Parallelism, TDP'96, La Londe, France, pages 155--164, June 1996. [bibtex]


  6. Jean-Christophe Lapayre. Une plate-forme coopérative utilisant la mémoire virtuelle partagée. In RenPar'8, Bordeaux, France, pages 105--108, May 1996. [bibtex]


1995
  1. Pascal Chatonnay, Bénédicte Herrmann, and Laurent Philippe. Etude comparative d'algorithmes d'équilibrage de charge. In N. Droux, editor, Procs of the SIPAR Workshop, Biel, Switzerland, October 1995. [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