Back to INDEX

  Publications of year 2010  

Articles in journal or book chapters
  1. Jean-Baptiste Aupet, Nabil Elmarzouqi, Eric Garcia, and Jean-Christophe Lapayre. Using Awareness to Adapt Working Group Environment: A Lightweight Virtual Awareness Card. IJICT, International Journal on Information and Communication Technologies, Special Issue on Information Technologies, 3(1):35--40, February 2010. [bibtex]


  2. Jacques Bahi, Raphaël Couturier, and David Laiymani. Asynchronous Multi-Splitting Methods. In Substructuring techniques and domain decomposition, pages 105--135. Chapman & Hall/CRC, 2010. [bibtex]


  3. Jacques Bahi, Raphaël Couturier, and A. Sider. Load balancing algorithms for dynamic networks. In Fundamentals of Grid Computing: Theory, Algorithms and Technologies, pages 235--271. Chapman & Hall/CRC, 2010. [bibtex]


  4. Jacques Bahi and Christophe Guyeux. Hash Functions Using Chaotic Iterations. Journal of Algorithms & Computational Technology, 4(2):167--181, 2010. [bibtex]


  5. Jacques Bahi and Michel Salomon. A Decentralized Energy-based Diffusion Algorithm to Increase the Lifetime of MANETs. Computer Networks Journal, 54(16):2887--2898, 2010. [bibtex]


  6. Philippe Balbiani, Fahima Cheikh, Pierre-Cyrille Héam, and Olga Kouchnarenko. Composition of Services with Constraints. ENTCS, selected papers of FACS'09, 263:31--46, 2010. [bibtex]


  7. Arnaud Banos, Annabelle Boffet-Mas, Sonia Chardonnel, Christophe Lang, Nicolas Marilleau, and Thomas Thévenin. MIRO, des trajectoires individuelles à la ville en mouvement. In Modéliser la ville : formes urbaines et politiques de transport, pages ***--***. Economica, November 2010. [bibtex]


  8. Arnaud Banos, Annabelle Boffet-Mas, Sonia Chardonnel, Christophe Lang, Nicolas Marilleau, and Thomas Thévenin. Simuler la mobilité urbaine quotidienne : le projet MIRO. In Arnaud Banos and Thomas Thévenin, editors, Mobilités urbaines et risques des transports - approches géographiques, chapter 2, pages 51--86. Hermès, 2010. [bibtex]


  9. S. Benbernou, Abdallah Makhoul, and Ahmed Mostefaoui. An adaptation framework for Web Multimedia Presentations. In Emergent Web Intelligence: avanced information retrieval, pages 321--340. Springer, 2010. [bibtex]


  10. Anne Benoit, Henri Casanova, Veronika Rehn-Sonigo, and Yves Robert. Resource allocation for multiple concurrent in-network stream applications. Parallel Computing, 2010. [bibtex]


  11. Anne Benoit, Henri Casanova, Veronika Rehn-Sonigo, and Yves Robert. Ressource allocation strategies for constructive in-network stream processing. IJFCS, International Journal of Foundations of Computer Science, 2010. Note: Accepted manuscript. To appear. [bibtex]


  12. Julien Bourgeois, Jean-Baptiste Ernst-Desmulier, and François Spies. Calcul distribué et réseaux P2P. In Évolution des technologies pair-à-pair, optimisation, sécurité et application, IC2, Réseaux et télécommunications, chapter 10, pages ***--***. Hermes, October 2010. [bibtex]


  13. Julien Bourgeois, Jean-Baptiste Ernst-Desmulier, and François Spies. Le modèle pair-à-pair (P2P). In Évolution des technologies pair-à-pair, optimisation, sécurité et application, IC2, Réseaux et télécommunications, chapter 1, pages ***--***. Hermes, October 2010. [bibtex]


  14. Jean-Claude Charr, Raphaël Couturier, and David Laiymani. A Decentralized and Fault Tolerant Convergence Detection Algorithm for Asynchronous Iterative Algorithms. The journal of Supercomputing, 53(2):269--292, 2010. [bibtex]


  15. Samir Chouali, Julien Dormoy, Ahmed Hammad, Jean-Michel Hufflen, Sebti Mouelhi, Olga Kouchnarenko, Hassan Mountassir, Bruno Tatibouët, and others. Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles. Génie Logiciel, 95:13--18, December 2010. [bibtex]


  16. Eugen Dedu, Julien Bourgeois, and Kahina Boutoustous. Simulation to help calibration of a MEMS Sensor Network. International Journal of Pervasive Computing and Communications, 6(4):356--372, 2010. [Abstract] [bibtex]


  17. O. Dini, Pascal Lorenz, A. Abouaissa, and Hervé Guyennet. A Framework for Progressively Trusting Services. International Journal on Advances in Intelligent Systems, 3(3-4):***--***, 2010. Note: Article in press. To appear. [bibtex]


  18. Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. VETESS : IDM, Test et SysML. Génie Logiciel, (93):43--48, June 2010. Note: Selected paper from the 7-th NEPTUNE Workshop. [bibtex]


  19. Ahmed Hammad. Modèles UML de E-PRAGMA et intégration des bases de données de l'Observatoire Education et Territoires. In L'enseignement scolaire en milieu rural et montagnard - Tome 5, Après le Collège, Groupe d'intérêt scientifique 36, pages 41--56. Presses Universitaires de Franche-Comté, Collection Annales littéraires de l'Université de Franche-Comté, 2010. [bibtex]


  20. Pierre-Cyrille Héam, Olga Kouchnarenko, and Jérôme Voinot. Component Simulation-based Substitutivity Managing QoS Aspects. ENTCS, Electronic Notes Theoretical Computer Science, special issue on FACS'08 selected best papers, 260:109--123, 2010. [bibtex]


  21. Pierre-Cyrille Héam, Olga Kouchnarenko, and Jérôme Voinot. Component simulation-based substitutivity managing QoS and composition issues. Science of Computer Programming, 75(10):898--917, 2010. [bibtex]


  22. Pierre-Cyrille Héam, Cyril Nicaud, and Sylvain Schmitz. Parametric Random Generation of Deterministic Tree Automata. Theoretical Computer Science, 411:3469--3480, 2010. [bibtex]


  23. Mohamed Kallel, M.-S. Bouhlel, and Jean-Christophe Lapayre. Use of Multi-Watermarking Schema to Maintain Awareness in a Teleneurology Diagnosis Platform. Radioengineering journal, 19(1):68--73, 2010. [bibtex]


  24. 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. ISSE, Innovations in Systems and Software Engineering, 6(1-2):47--54, 2010. Note: Revised and extended version of a paper from the UML&FM'09 conference. [bibtex]


  25. Bruno Legeard and Mark Utting. Model-Based Testing - Next Generation Functional Testing. SoftwareTech News, 12(4):9--18, January 2010. [bibtex]


  26. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. An Efficient Cluster-based Self-organization Algorithm for Wireless Sensor Networks. IJSN, International Journal of Sensor Networks, 7(1/2):85--94, February 2010. Note: Manuscript accepted in 2008. [bibtex]


  27. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. Cluster-based Energy-efficient k-Coverage for Wireless Sensor Networks. Network Protocols and Algorithms, 2(2):89--106, 2010. [bibtex]


  28. Pierre-Alain Masson, Marie-Laure Potet, Jacques Julliand, Régis Tissot, Georges Debois, Bruno Legeard, Boutheina Chetali, Fabrice Bouquet, Eddie Jaffuel, Lionel Van Aertrick, June Andronick, and Amal Haddad. An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project. JIAS, Journal of Information Assurance and Security, 5(1):335--351, 2010. [bibtex]


  29. Ahmed Mostefaoui and Benoît Piranda. 3D Real-Time Reconstruction Approach for Multimedia Sensor Networks. IJOCI, International Journal on Organisational and Collective Intelligence, 1(4):61--77, 2010. [bibtex]


  30. Manuela Popescu, Pascal Lorenz, Marc Gild, and Jean-Marc Nicod. A Semantic-oriented Framework for System Diagnosis. International Journal on Advances in Telecommunication, 3(3-4):290--310, 2010. [bibtex]


  31. Touati S.A.A, Karine Deschinkel, and B. Dupont-De-Dinechin. Efficient Spilling Reduction for software Pipelined Loops in Presence of Multiple Register Types. ACM Transactions on Embedded Computing Systems, *(*):***--***, 2010. Note: Accepted manuscript. To appear. [bibtex]


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


Books and proceedings
  1. El Hassan Abdelwahed and Hassan Mountassir, editors. ICWIT 2010, 3-rd Int. Conf. on Web and Information Technologies, Marrakech, Morocco, June 2010. [bibtex]


  2. Julien Bourgeois and Michel de Labachelerie, editors. DMEMS'10, 1st Workshop on Hardware and Software Implementation and Control of Distributed MEMS, 2010. IEEE Computer Society Press. [bibtex]


  3. M. Danelutto, Julien Bourgeois, and Tom Gross, editors. 18th Euromicro International Conference on Parallel, Distributed and network-based Processing, 2010. IEEE Computer Society Press. [bibtex]


  4. Jacques Julliand. Cours et exercices corrigés d'algorithmique - Vérifier, tester et concevoir des programmes en les modélisant. Vuibert, February 2010. [bibtex]


Internal reports
  1. Jacques Bahi, Sylvain Contassot-Vivier, and Jean-François Couchot. Convergence Results of Combining Synchronism and Asynchronism for Discrete-State Discrete-Time Dynamic Network. Research Report RR2010-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, May 2010. [Abstract] [bibtex]


  2. Jacques Bahi, Jean-François Couchot, Olivier Grasset, and Christophe Guyeux. Discrete Dynamical Systems: Necessary Divergence Conditions for Synchronous Iterations. Research Report RR2010-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2010. [bibtex]


  3. Anne Benoit, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Throughput optimization for micro-factories subject to task and machine failures. Research report RR-7479, INRIA, December 2010.
    Keywords: Distributed Systems, Fault Tolerance, Scheduling, Optimization Heuristics. [Abstract] [bibtex]


  4. Bogdan Cornea and Julien Bourgeois. Simulation of a P2P Parallel Computing Environment - Introducing dPerf, A Tool for Predicting the Performance of Parallel MPI or P2P-SAP Applications. Technical Report RT2010-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2010.
    Keywords: Technical Report, ANR CIP CIS, dPerf, instrumentation, performance evaluation, parallel application, source code. [Abstract] [bibtex]


  5. Jean-François Couchot. Formal Convergence Proof for Discrete Dynamical Systems. Research Report RR2010-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, May 2010. [Abstract] [bibtex]


  6. Sékou Diakité, Jean-Marc Nicod, Laurent Philippe, and Lamiel Toch. Assessing new approches to schedule workflows on heterogeneous platforms. Research report RR2010-05, LIFC - Laboratoire d'Informatique de Franche-Comté, July 2010.
    Keywords: Batch scheduling, grid computing, heterogeneous platform, list-based scheduling, steady-state scheduling, genetic algorithm. [Abstract] [bibtex]


  7. Ivan Enderlin, Abdallah Ben Othman, Frédéric Dadeau, and Alain Giorgetti. Realistic Domains for Unit Tests Generation. Research Report RR2010-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2010. [bibtex]


  8. Elizabeta Fourneret. Experimentation on SeTGaM. Technical Report RT2010-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, June 2010. [bibtex]


  9. Elizabeta Fourneret and Fabrice Bouquet. Impact Analysis for UML/OCL Statechart diagrams based on Dependence Algorithms for Evolving Critical Software. Technical Report RT2010-06, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2010. [bibtex]


  10. Mais Haj Rachid, Christelle Bloch, Wahiba Ramdane-Cherif, and Pascal Chatonnay. Différentes opérateurs évolutionnaires de permutation : sélections, croisements et mutations. Research Report RR2010-07, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2010.
    Keywords: Algorithmes évolutionnaires, méthodes de sélection, recombinaison, mutation. [Abstract] [bibtex]


  11. Mais Haj Rachid, Christelle Bloch, Wahiba Ramdane-Cherif, and Pascal Chatonnay. Vehicle routing problem: survey and methods of resolution. Technical Report RR2010-06, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, June 2010. [bibtex]


  12. Pierre-Cyrille Héam, Vincent Hugot, and Olga Kouchnarenko. Random Generation of Positive TAGEDs wrt. the Emptiness Problem. Research Report RR-7441, INRIA, November 2010. Note: 43 pages.
    Keywords: tree automata with constraints, TAGED, membership problem, emptiness problem, random generation, difficult cases. [Abstract] [bibtex]


Other publications
  1. Wahabou Abdou, Damien Charlet, Christelle Bloch, and François Spies. Limites des protocoles de routage ad hoc contraints à une mobilité permanente. CNRIUT2010, 16 ème Colloque National de la Recherche dans les IUT. Angers, France, June 2010. [Abstract] [bibtex]


  2. Julien Bourgeois. Writing proposals for ANR and FP7. Invited Talk at the Hong-Kong Polytechnic University, August 2010. [bibtex]


  3. Julien Bourgeois and Bogdan Cornea. CPU modelling in SimGrid using dPerf. Invited talk at the SimGrid Users' Days, 2010. [bibtex]


  4. Julien Bourgeois and Nadine Le Fort-Piat. Combining Nanotechnology, Robotics, Electronics, Computer Science and Networking: The Example of the Smart Surface Project. Invited Talk at the Carnegie Mellon University, May 2010. [bibtex]


  5. Julien Bourgeois and Nadine Le Fort-Piat. Distributed Intelligent MEMS: The Example of the Smart Surface Project. Invited Talk at the Hong-Kong Polytechnic University, August 2010. [bibtex]


  6. Sébastien Chipeaux, Fabrice Bouquet, Christophe Lang, and Nicolas Marilleau. Critères génériques de comparaison de méthodes de modélisation de systèmes complexes pour la génération de simulations multi-agents. CoMMISCo'10, 1ère Conférence Modélisation Mathématique et Informatique des Systèmes Complexes, IRD Bondy, France, October 2010. [bibtex]


  7. Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. VETESS : IDM, Test et SysML. 7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France, May 2010. [bibtex]


  8. Eric Garcia. Prix de l'innovateur. 12e édition des Technologies Numériques à l'assemblée Nationale, May 2010. Note: Prix remis par la secrétaire d'état chargée de l'économie numérique. [bibtex]


  9. Christophe Gentil, Marie-Laure Betbeder, Jacques Béziat, and Eric Bruillard. Virtual learning community and dynamics of groups in the test of brakes, May 2010. Note: Aix-en-Provence, France, Organised during COOP 2010, 9th International Conference on the Design of Cooperative Systems. [bibtex]


  10. Françoise Greffier. Réussite et analyse de traces en FOAD. Le modèle de la boucle des réalisations. exposé invité par le CNED-Eifad, April 2010. [bibtex]


  11. Pierre-Cyrille Héam. Semi-commutations et sûreté des systèmes. Séminaire invité à l'Université de Nancy, March 2010. [bibtex]


  12. Hassan Mountassir. Tacos : de l'expression des besoins aux spécifications formelles. 7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France, May 2010. [bibtex]


  13. Hassan Mountassir. Trustworthy Assembling of Components from requirements to Specifications. Tutoriel invité, Workshop NEPTUNE (Nice Environment with a Process and Tools Using Norms and Examples), Toulouse, May 2010. [bibtex]


  14. Raheel Hasan Syed, Jasmina Pazardzievska, Maxime Syrame, and Julien Bourgeois. 2ème prix. Challenge international XtreemOS, Naples, Italie, September 2010. [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