Back to INDEX

  Publications of year 2007  

Articles in journal or book chapters
  1. Jacques Bahi, Abdallah Makhoul, and Ahmed Mostefaoui. Localization and Coverage for High Density Sensor Networks.. Special Issue of the Computer Communications: Algorithmic and Theoretical Aspects of Wireless Ad Hoc and Sensor Networks, 31(4):770--781, 2007. [bibtex]


  2. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Vérifier automatiquement les protocoles de sécurité. Techniques de l'ingénieur, pp 1--8, October 2007. Note: Référence TI : RE95. [bibtex]


  3. Damien Charlet, Frédéric Lassabe, Philippe Canalda, Pascal Chatonnay, and François Spies. Services localisés dans l'informatique diffuse. In Informatique Diffuse, volume 31 of ARAGO, Rapport de synthèse de l'Observatoire Français des Techniques Avancées (OFTA) 5, pages 107--126. OFTA, 2007. [bibtex]


  4. Chockri Chemak, M.-S. Bouhlel, and Jean-Christophe Lapayre. A new scheme of image Watermarking based on 5/3 Wavelet decomposition and Turbo-Code. WSEAS Transaction on Biology and Biomedicine, 4(4):45--52, April 2007. Note: ISSN 1109-9518. [bibtex]


  5. Chockri Chemak, Jean-Christophe Lapayre, and M.-S. Bouhlel. New Watermarking Scheme for Security and Transmission of Medical Images for PocketNeuro Project. Radioengineering. Special Issue: Advanced Digital Signal Processing, 16(4):58--63, 2007. Note: ISSN 1210-2512. [bibtex]


  6. Sylvie Damy and Isabelle Jacques. L'enseignement en ligne - A l'université et dans les formations professionnelles, chapter *, pages ***--***. Perspectives en Education. De Boeck et Larcier s.a., 2007. Note: ISBN 978-2-8041-5329-8. Chapitre d'un ouvrage collectif rédigé sous la direction de J.-C. Manderscheid et C. Jeunesse. [bibtex]


  7. Bruno Del Fabbro, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. DTM: a service for managing data persistency and data replication in network-enabled server environments. Concurrency and Computation: Practice and Experience, 19(16):2125--2140, November 2007.
    Keywords: DIET. [bibtex]


  8. I. Fourati Kallel, M.-S. Bouhlel, and Jean-Christophe Lapayre. Improved Tian's Method for Medical Image Reversible Watermarking. GVIP, International Journal on Graphics and Image Processing, 7(2):1--5, 2007. Note: ISSN 1687-398X. [bibtex]


  9. Eric Garcia, Hervé Guyennet, Fabien Hantz, and Jean-Christophe Lapayre. Security in Grid Computing. In Advances in Enterprise Information Technology Security, pages 20-30. Idea Group Inc., 2007. Note: 368 pages. [bibtex]


  10. Jean-Michel Hufflen. Guidelines for Bibliographical Citations in LaTeX. ArsTeXnica, 4:103--110, October 2007. Note: In guit 2007 meeting. [bibtex]


  11. Jean-Michel Hufflen. Introducing LaTeX users to xsl-fo. TUGB, 29(1):118--124, 2007. Note: EuroBachoTeX 2007 proceedings. [bibtex]


  12. Jean-Michel Hufflen. Managing Order Relations in mlBibTeX. TUGB, 29(1):101--108, 2007. Note: EuroBachoTeX 2007 proceedings. [bibtex]


  13. Jean-Michel Hufflen. mlBibTeX: Reporting the Experience. TUGB, 29(1):157--162, 2007. Note: EuroBachoTeX 2007 proceedings. [bibtex]


  14. Mohamed Kallel, Jean-Christophe Lapayre, and M.-S. Bouhlel. A multiple Watermarking Scheme for Medical Image in the Spatial Domain. GVIP, International Journal on Graphics and Image Processing, 7(1):37--42, 2007. Note: ISSN 1687-398X. [bibtex]


  15. Hung-Cuong Le, Hervé Guyennet, and N. Zerhouni. Redundant Communication Avoidance for Event-Driven Sensor Network. IJCSNS, Journal of Computer Science and Network Security, 7(3):193--200, 2007. [bibtex]


  16. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. MPR-based broadcasting in ad hoc and sensor networks with a realistic environment. IJCSNS, Journal of Computer Science and Network Security, 7(10):82--89, October 2007. Note: ISSN 1738-7906. [bibtex]


  17. Loris Marchal, Veronika Rehn-Sonigo, Yves Robert, and Frédéric Vivien. Scheduling algorithms for data redistribution and load-balancing on master-slave platforms. Parallel Processing Letters, 17(1), 2007. [bibtex]


  18. David Saint-Voirin, Christophe Lang, Hervé Guyennet, and N. Zerhouni. Scoop Methodology: Modeling, Simulation And Analysis For Cooperative Systems. JSW, Journal of Software, 2(4):32--42, October 2007. [bibtex]


Conference articles
  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]


Books and proceedings
  1. Jacques Bahi, Sylvain Contassot-Vivier, and Raphaël Couturier. Parallel Iterative Algorithms: from sequential to grid computing, volume 1 of Numerical Analysis & Scientific Computating. Chapman & Hall/CRC, 2007. [bibtex]


  2. M.-S. Boulel, Jean-Christophe Lapayre, and K. Mekouar, editors. Proceedings of e-Medisys'07, International Conference on e-Medical Systems. IEEE Computer Society Press, 2007. Note: 222 pages, ISBN 9954-8905-0-5. [bibtex]


  3. Jacques Julliand and Olga Kouchnarenko, editors. B 2007: Formal Specification and Development in B, volume 4355 of LNCS. Springer, Besancon, France, January 2007. [bibtex]


Internal reports
  1. Philippe Canalda, D. Josselin, B. Folin, Pascal Chatonnay, Christophe Lang, Nicolas Marilleau, and A. Guillas. Transports Innovants. Rapport d'expérimentation du Modulobus-noël. Rapport intermédiaire fin de phase 2/3, Projet Transports Innovants, Convention I038, March 2007. Note: 31 pages (dont 17 pages annexes). [bibtex]


  2. Sylvain Dahan, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Performances study of management and traversal algorithms on the DST overlay network. Research Report RR2007-02, LIFC - Laboratoire d'Informatique de l'Universit é de Franche Comté, November 2007.
    Keywords: Distributed Spanning Tree, random graph, tree, overlay network, simulation. [Abstract] [bibtex]


  3. 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. Research Report RR2007-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2007.
    Keywords: ordonnancement hétérogène, grille de calcul, régime permanent, lots bornés. [Abstract] [bibtex]


  4. Pierre-Cyrille Héam. Transitive Closures of Semi-commutation Relations on Regular omega-Languages. Research Report RR-6239, INRIA, June 2007. Note: 20 pages. [bibtex]


  5. Pierre-Cyrille Héam, Olga Kouchnarenko, and Jérôme Voinot. Towards Formalizing QoS of Web Services with Weighted Automata. Research Report RR-6218, INRIA, June 2007. Note: 22 pages. [bibtex]


  6. D. Josselin, Philippe Canalda, E. Castex, Christophe Genre-Grandpierre, J. Bolot, Christophe Lang, T. Garaix, S. Houzet, A.C. Madignier, Nicolas Marilleau, Pascal Chatonnay, R. Chevrier, and B. Folin. Transports Flexibles dans la Société de l'Information. Le concept du Modulobus. Rapport de fin de recherches, Action Concertée Incitative num. 9130, December 2007. Note: 102 pages (30 pages + 72 pages annexes). [bibtex]


  7. Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Composability, compatibility, compositionality: automatic preservation of timed properties during incremental development. Research Report RR2007-01, LIFC - Laboratoire d'Informatique de l'Universit é de Franche Comté, November 2007.
    Keywords: tau-simulations, component-based timed systems, integration of components, preservation of timed linear properties.. [Abstract] [bibtex]


Other publications
  1. A. Banos and Christophe Lang. Modéliser et simuler la mobilité spatiale et les systèmes de transport : nouveaux enjeux, nouvelles approches. Introduction au dossier, 2007. Note: Direction de Revue Les Cahiers Scientifiques du Transport. Numero 52. JEL : C19, C51, C61, C63, C65, R40, R41. [bibtex]


  2. Julien Bourgeois. Optimization and securization in grid computing. Séminaire invité, LORIA, Laboratoire Lorrain de Recherche en Informatique et ses Applications, Nancy, France., April 2007. [bibtex]


  3. Jean-François Couchot. Efficiently dealing with SMT-LIB provers in software verification. Séminaire invité au pôle MDSC (Modèles Discrets pour les Systèmes Complexes) du laboratoire I3S, December 2007. [bibtex]


  4. A.-J. Fougères, Philippe Canalda, and V. Ospina. Assistance à la gestion et au suivi de projets d'étudiants dans un environnement d'apprentissage coopératif.. e-TI - la revue électronique internationale des technologies d'information, January 2007. Note: Publié par SIR - Ecole Mohammadia d'Ingénieurs (Maroc), en partenariat avec l'ENSIAS (Maroc), Cnam (France), ENIT (Tunisie) et Khawarizmi'c (Maroc) avec le soutien de l'Agence universitaire de la Francophonie. [Abstract] [bibtex]


  5. Jean-Christophe Lapayre. Médecine Mobile un Nouvel Enjeu de la Télémédecine. Séminaire invité, Faculté de Médecine et Pharmacie de Fès, April 2007. [bibtex]


  6. Réseau TADvance, D. Josselin, Philippe Canalda, Pascal Chatonnay, R. Chevrier, Christophe Lang, and Nicolas Marilleau. Le transport à la demande TADOU dans le Pays du Doubs Central : cap sur l'innovation, April 2007. Note: Trans Flash, Bulletin d'information des déplacements urbains départementaux et régionaux. vol. 322, p. 7. [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