Back to INDEX

  Publications of year 2009  

Articles in journal or book chapters
  1. Anne-Marie Aebischer, Bruno Aebischer, Jean-Michel Hufflen, and François Pétiard. Introducing New French-Speaking Users to LaTeX Quickly and Convincingly. maps, 39:99--104, August 2009. Note: In EuroTeX 2009 conference. [bibtex]


  2. Jean-Baptiste Aupet, Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and David Martins. Security in Medical Telediagnosis. In Multimedia Services in Intelligent Environments - Integrated Systems, chapter 9. Springer, 2009. [bibtex]


  3. Jacques Bahi, Jean-Claude Charr, Raphaël Couturier, and David Laiymani. A Parallel Algorithm to Solve Large Stiff ODE Systems on Grid Systems. IJHPCA, The International Journal of High Performance Computing Applications, 23(2):140--151, 2009. [bibtex]


  4. Jacques Bahi and Sylvain Contassot-Vivier. Corrections to: basins of attraction in fully asynchronous discrete-time discrete-state dynamic networks. IEEE Transactions on Neural Networks, 20(8):1372--1374, 2009. [bibtex]


  5. Jacques Bahi, Raphaël Couturier, and Flavien Vernier. Synchronous load balancing on asynchronous iterative computation. Journal of Algorithms and Computational Technology, 3(1):135--153, 2009. [bibtex]


  6. Jacques Bahi, Mirna Eskandar, and Ahmed Mostefaoui. Maximizing Mobile Multimedia Adhoc Networks Lifetime Using a Distributed Cooperation mechanism. JDIM, Journal of Digital Information Management, 7(6):351--356, December 2009. [bibtex]


  7. Jacques Bahi and C.J. Michel. A stochastic model of gene evolution with time dependent pseudochaotic mutations. Bulletin of Mathematical Biology, 71:681--700, 2009. [bibtex]


  8. Anne Benoit, Mourad Hakem, and Yves Robert. Contention awareness and fault-tolerant scheduling for precedence constrained tasks in heterogeneous systems. Parallel Computing, 35(2):83--108, 2009. [bibtex]


  9. Anne Benoit, Mourad Hakem, and Yves Robert. Multi-criteria scheduling of precedence task graphs on heterogeneous platforms. The Computer Journal, pp ***--***, 2009. Note: Accepted manuscript. To appear. [bibtex]


  10. Anne Benoit, Harald Kosch, Veronika Rehn-Sonigo, and Yves Robert. Multi-criteria Scheduling of Pipeline Workflows (and Application to the JPEG Encoder). IJHPCA, International Journal of High Performance Computing Applications, 2009. [bibtex]


  11. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. Handling Non Left-Linear Rules When Completing Tree Automata. IJFCS, Intern. Journal of Foundations of Computer Science, 20(5):837--849, 2009. [bibtex]


  12. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives. ENTCS, Electronic Notes in Theoretical Computer Science, 239:57--72, 2009. Note: Infinity 2006, 2007, 2008 Best papers. [bibtex]


  13. Raphaël Couturier and Sado Ag Almouloud. Historique et fonctionnalités de CHIC. In Analyse Statistique Implicative, Une méthode d'analyse de données pour la recherche de causalités, pages 279--293. Cépaduès Ed., 2009. [bibtex]


  14. Frédéric Dadeau, Amal Haddad, and T. Moutet. Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès. TSI - Technique et Science Informatiques, 28(4):533--563, April 2009. [bibtex]


  15. Sylvain Dahan, Laurent Philippe, and Jean-Marc Nicod. The Distributed Spanning Tree Structure. IEEE Trans. Parallel Distributed Systems, 20(12):1738--1751, December 2009. [bibtex]


  16. Christophe Denis, Raphaël Couturier, and Fabienne Jézéquel. A sparse linear system solver used in a distributed and heterogeneous grid computing environment. In Parallel Scientific Computing and Optimization, volume 27 of Springer Optimization and Its Applications, pages 47--56. Springer, 2009. [bibtex]


  17. Julien Dormoy, Olga Kouchnarenko, and Hassan Mountassir. Politiques d'adaptation pour la reconfiguration du composant de localisation. JESA, Journal européen des systèmes automatisés, 43(7-8-9):773--789, November 2009. Note: Edition spéciale MSR'09 - Modélisation des systèmes réactifs. [bibtex]


  18. I. Fourati Kallel, M.-S. Bouhlel, Jean-Christophe Lapayre, and Eric Garcia. Control of dermatology image integrity using reversible watermarking. International Journal of Imaging Systems and Technology, 19(1):5--9, 2009. [bibtex]


  19. Jean-Laurent Hippolyte, Christelle Bloch, Pascal Chatonnay, Christophe Espanet, Didier Chamagne, and Geneviève Wimmer. A Multiagent Evolutionary Algorithm to Design Complex Electrical Systems. International Journal of Computational Intelligence Research, *(*):***--***, 2009. Note: Accepted manuscript. To appear. [bibtex]


  20. Jean-Michel Hufflen. Managing Languages within mlBibTeX. TUGB, 30(1):49--57, July 2009. [bibtex]


  21. Jean-Michel Hufflen. Processing Computed Texts. ArsTeXnica, 8:102--109, October 2009. Note: In GUIT 2009 meeting. [bibtex]


  22. Jean-Michel Hufflen. Using TeX's Language within a Course about Functional Programming. maps, 39:92--98, August 2009. Note: In EuroTeX 2009 conference. [bibtex]


  23. Jacques Julliand, Pierre-Alain Masson, and Emilie Oudot. Partitioned PLTL Model-Checking for Refined Transition Systems. Information and Computation, 207(6):681--698, June 2009. [bibtex]


  24. Frédéric Lassabe, Philippe Canalda, Pascal Chatonnay, and François Spies. Indoor Wi-Fi Positioning: Techniques and Systems. Annals of telecommunications, 64(9/10):651--664, September 2009. [bibtex]


  25. Bruno Legeard and Fabrice Bouquet. Le Model-Based Testing aligne exigences métier et référentiel de tests. IT-Expert, La référence technique on-line des professionnels de l'informatique, 82:26--33, November 2009. [bibtex]


  26. L. Mackovicka, Aurélien Vasseur, Marc Sauget, Éric Martin, Régine Gschwind, Julien Henriet, and Michel Salomon. Avenir des nouveaux concepts des calculs dosimétriques basés sur les méthodes de Monte Carlo. Radioprotection, 44(1):77--88, 2009. [bibtex]


  27. F. Manne, M. Mjelde, Laurence Pilard, and S. Tixeuil. A New Self-Stabilizing Maximal Matching Algorithm. Theoretical Computer Science, 410(14):1336--1345, March 2009. [bibtex]


  28. Vincent Pretre, Adrien de Kermadec, Fabrice Bouquet, Christophe Lang, and Frédéric Dadeau. Automated UML models merging for web services testing. Int. Journal on Web and Grid Services, 5(2):107--129, 2009. [bibtex]


  29. A. Sider and Raphaël Couturier. Fast load balancing with the most to least loaded policy in dynamic networks. Journal of Supercomputing, 49(3):291--317, 2009. [bibtex]


  30. Soumaya Zirari, Philippe Canalda, and François Spies. Geometric and Signal Strength Dilution of Precision (DoP) Wi-Fi. Int. Journal of Computer Science Issues, 3:35--44, August 2009. [bibtex]


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


Books and proceedings
  1. Bruno Legeard, Fabrice Bouquet, and Natacha Pickaert. Industrialiser le test fonctionnel (des exigences métier au référentiel de tests automatisés), Collection InfoPro. Dunod, April 2009. Note: 288 pages. EAN13 : 9782100515332. [bibtex]


Internal reports
  1. Anne Benoit, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Throughput optimization for micro-factories subject to failures. Research report RR-6896, INRIA, April 2009. Note: Also available as LIP report RR2009-02.
    Keywords: Distributed Systems, Fault Tolerance, Scheduling, Optimization Heuristics. [Abstract] [bibtex]


  2. Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, and Pierre-Alain Masson. Test Generation Based on Abstraction and Dynamic Selection Criteria. Research Report RR2009-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2009. Note: 18 pages. [Abstract] [bibtex]


  3. Sékou Diakité, Loris Marchal, Jean-Marc Nicod, and Laurent Philippe. Steady-State for Batches of Identical Task Graphs. Research Report RR2009-18, LIP - Laboratoire de l'Informatique du Parallélisme - ENS-LYON, 2009. [Abstract] [bibtex]


  4. J.-J. Girardot, C. Masselot, Sylvie Damy, Bénédicte Herrmann, C. Sanchez, A. Moreno Moreno, and B. Miedes. Specifications for a Territorial Information System. deliverable 60, caENTI project, funded under FP6 research program of the European Union, 2009. [bibtex]


  5. Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, and Pierre-Alain Masson. B Model Abstraction Combining Syntactic and Semantics Methods. Research Report RR2009-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2009. Note: 15 pages. [Abstract] [bibtex]


  6. Elena Tushkanova, Alain Giorgetti, and Olga Kouchnarenko. Specifying and Proving a Sorting Algorithm. Research Report RR2009-03, LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté, October 2009. Note: 35 pages. [Abstract] [bibtex]


  7. Elena Tushkanova, Alain Giorgetti, Claude Marché, and Olga Kouchnarenko. Modular Specification of Java Programs. Research Report RR-7097, INRIA, 2009. [Abstract] [bibtex]


Other publications
  1. Julien Bourgeois. Managing security in complex networks. Invited talk at Sharif University (Iran), May 2009. [bibtex]


  2. Kalou Cabrera Castillos. Scenario Based Testing for ensuring POSIX Compliance (Software Verification: Theory, Tools and Experiments). Conférence invitée SVTTE'09, November 2009. [bibtex]


  3. Matteo Cypriani. Open Wireless Positioning System : un système de géopositionnement par Wi-Fi en intérieur. Note: Présentation à RGE de 30 minutes, June 2009. [Abstract] [bibtex]


  4. Frédéric Dadeau. Model-Based Testing from Behavioural Models using Constraint Logic Programming. École d'été TAROT'2009, Training And Research On Testing, July 2009. [bibtex]


  5. Pierre-Cyrille Héam. Regular Approximations. Séminaire invité à l'Université de Bordeaux, January 2009. [bibtex]


  6. Jean-Christophe Lapayre. Awareness: When Cooperative Work Becomes Collaborative Work. Séminaire invité, University de Sfax, December 2009. [bibtex]


  7. Jonathan Lasalle. Génération automatique de tests à partir de modèles SysML. MTVV, Journée du groupe de travail Méthodes de Test, Vérification et Validation, Besançon, France, June 2009. [bibtex]


  8. Hassan Mountassir. Contrats et Vérification d'assemblage des composants. séminaire invité, ENSIAS, Rabat, December 2009. [bibtex]


  9. Christophe Reffay and Marie-Laure Betbeder. Extending validation of tools and analyses in CSCL situations: How to collaborate on interaction analysis?, June 2009. Note: Pre-conference Workshop on Interaction analysis and visualization for asynchronous communication. Computer Supported Collaborative Learning (CSCL 2009), Rhodos, Greece. [bibtex]


  10. Christophe Reffay and Marie-Laure Betbeder. Sharing Corpora, Analysis and Tools for CSCL Interaction Analysis, June 2009. Note: Pre-conference Workshop on Common Objects for Productive Multivocality in Analysis. Computer Supported Collaborative Learning (CSCL 2009), Rhodos, Greece. [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