Back to INDEX

  Publications of year 2006  

Articles in journal or book chapters
  1. Jacques Bahi and Sylvain Contassot-Vivier. Basins of attraction in fully asynchronous discrete-time discrete-state dynamic networks. IEEE Transactions on Neural Networks, 17(2):397--408, 2006. [bibtex]


  2. Jacques Bahi, Sylvain Contassot-Vivier, and Raphaël Couturier. Performance comparison of parallel programming environments for implementing AIAC algorithms. Journal of Supercomputing, 35(3):227--244, 2006. [bibtex]


  3. Jacques Bahi and Raphaël Couturier. Asynchronous multisplitting methods for linear and nonlinear systems. In Domain Decomposition Methods: Theory and Applications, Gakuto International Series, Mathematical Science and Applications, chapter 6, pages 147--181. Gakkotosho, Tokyo Japan, 2006. Note: ISBN 4-7625-0434-3. [bibtex]


  4. Jacques Bahi, Raphaël Couturier, Kamel Mazouzi, and Michel Salomon. Synchronous and asynchronous solution of a 3D transport model in a grid computing environment. Applied Mathematical Modelling, 30(7):616--628, 2006. [bibtex]


  5. Jacques Bahi, Raphaël Couturier, and Philippe Vuillemin. Solving nonlinear wave equations in the grid computing environment: an experimental study. Journal of Computational Acoustics, 14(1):113--130, 2006. [bibtex]


  6. J. Beauquier, Laurence Pilard, and B. Rozoy. Observing locally self-stabilization in a probabilistic way. Journal of Aerospace Computing, Information, and Communication, 3(10):516--537, 2006. [bibtex]


  7. Marie-Laure Betbeder, P. Cottier, C. Schmidt, and P. Tchounikine. Dialogue in context, towards a referential approach in collective learning. AI and Society: The Journal of Human-Centred Systems and Machine Intelligence, 20(3):314--330, June 2006. [bibtex]


  8. M.-S. Bouhlel, F. Kammoun, and Eric Garcia. An Efficient DCT-based Crypto-compression Scheme for a Secure and Authentic Medical Image Transmission. Journal of Testing and Evaluation for Applied Sciences and Engineering, 34(6):459--463, 2006. [bibtex]


  9. Thierry Chanier, A. Vetter, Marie-Laure Betbeder, and Christophe Reffay. Retrouver le chemin de la parole en environnement audio-graphique synchrone. Le Français Dans Le Monde, numéro thématique Les Échanges En Ligne Dans l'Apprentissage Et La Formation, F. Mangenot Et C. Dejean-Thircuir (Coord.), pp 139--150, July 2006. [Abstract] [bibtex]


  10. Damien Charlet, Frédéric Lassabe, Philippe Canalda, Pascal Chatonnay, and François Spies. Mobility Prediction for Multimedia Services. In I. K. Ibrahim, editor, Handbook of Research in Mobile Multimedia, chapter 33, pages 491--506. Idea Group Inc., 2006. Note: ISBN: 1591408660. [bibtex]


  11. Samir Chouali, M. Heisel, and J. Souquières. Proving Component Interoperability with B Refinement. ENTCS, Electronic Notes in Theoretical Computer Science, special issue on FACS'05 selected best papers, 160-8:157--172, 2006. [bibtex]


  12. S. Colin, Franck Lebeau, and Bruno Legeard. Génération de tests à partir de statecharts fondée sur le calcul de comportements. TSI, Technique et Science Informatiques, 25(1):103--132, 2006. [bibtex]


  13. Violeta Felea and B. Toursel. Dynamic Load Balancing Mechanism for Distributed Java Applications. Concurrency and Computation: Practice and Experience, 18(3):305--331, 2006. [bibtex]


  14. Abdoul-Karim Ganame, Julien Bourgeois, Renaud Bidou, and François Spies. A High Performance System for Intrusion Detection and Reaction Management. JIAS, Journal of Information Assurance and Security, 3:181--194, September 2006. [bibtex]


  15. Eric Garcia, Hervé Guyennet, and Jean-Christophe Lapayre. Groups partitionning over CORBA for Cooperative Work. Journal of Cluster Computing, 9(1):67--78, 2006. [bibtex]


  16. Arnaud Giersch, Yves Robert, and Frédéric Vivien. Scheduling tasks sharing files on heterogeneous master-slave platforms. Journal of Systems Architecture, Special Issue on Parallel, Distributed and Network-Based Processing: Selected Papers From the 12Th Euromicro Conference, 52(2):88--104, February 2006. [bibtex]


  17. Régis Gras, Raphaël Couturier, Fabrice Guillet, and Filippo Spagnolo. Extraction de Règles en Incertain par la Méthode Implicative. In Analyse Statistique Implicative, Une méthode d'analyse de données pour la recherche de causalités, pages 385--389. Cépaduès éditions, 2006. [bibtex]


  18. Mourad Hakem and Franck Butelle. Critical Path Scheduling Parallel Programs on an Unbounded Number of Processors. International Journal of Foundations of Computer Science, 17(2):287--302, 2006. [bibtex]


  19. Jean-Michel Hufflen. Advanced Techniques in XSLT. Biuletyn GUST, 23:69--75, April 2006. Note: In BachoTeX'2006 conference. [bibtex]


  20. Jean-Michel Hufflen. BibTeX, mlBibTeX and Bibliography Styles. Biuletyn GUST, 23:76--80, April 2006. Note: In BachoTeX 2006 conference. [bibtex]


  21. Jean-Michel Hufflen. Names in BibTeX and mlBibTeX. TUGB, 27(2):243--253, November 2006. Note: TUG 2006 proceedings, Marrakesh, Morocco. [bibtex]


  22. Jean-Michel Hufflen. Writing Structured and Semantics-Oriented Documents: TeX vs XML. Biuletyn GUST, 23:104--108, April 2006. Note: In BachoTeX 2006 conference. [bibtex]


  23. Jean-Michel Hufflen. mlBibTeX Architecture. ArsTeXnica, 2:54--59, October 2006. Note: In GUIT'2006 meeting. [bibtex]


  24. Jean-Michel Hufflen. mlBibTeX Meets ConTeXt. TUGB, 27(1):76--82, July 2006. Note: In EuroTeX 2006, Debrecen, Hungary. [bibtex]


  25. L. Jeannot, A. Vetter, and Thierry Chanier. Repérage des stratégies des apprenants et du tuteur dans un environnement audio-graphique synchrone. Le Français Dans Le Monde, numéro thématique Les Échanges En Ligne Dans l'Apprentissage Et La Formation, F. Mangenot Et C. Dejean-Thircuir (Coord.), pp 151--161, July 2006. [Abstract] [bibtex]


  26. Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, and Fabien Peureux. Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. SPIP, The Journal of Software Process: Improvement and Practice, 11(5):487--503, 2006. [bibtex]


  27. Ahmed Mostefaoui. A Modular and Adaptive Framework for Large Scale Video Indexing and Content-Based Retrieval: The SIRSALE System. Software: Practice and Experience Journal, 36(8):871--890, July 2006. [bibtex]


  28. M. Rahoual, Hakim Mabed, C. Dhaenens, and E.-G. Talbi. A comparative Study of different optimization techniques for a bi-criteria Flow shop Problem. Journal of Combinatorial Mathematics and Combinatorial Computing, 57:3--32, 2006. [bibtex]


  29. Christophe Reffay and Marie-Laure Betbeder. Spécificités des plates-formes audio-synchrones pour un dispositif de formation. Le Français Dans Le Monde, numéro thématique Les Échanges En Ligne Dans l'Apprentissage Et La Formation, F. Mangenot Et C. Dejean-Thircuir (Coord.), pp 124--127, July 2006. [Abstract] [bibtex]


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


Books and proceedings
  1. Hervé Guyennet, Jean-Christophe Lapayre, and R. Sureswaran, editors. Proceedings of DFMA'06, Distributed Framework for Multimedia Applications. IEEE Computer Society Press, 2006. Note: 242 pages, ISBN 1-4244-0409-6, Library of Congress 2006925543. [bibtex]


  2. Jacques Julliand and J. Souquières, editors. Approches Formelles pour le Développement de Logiciels, volume 25(1) of TSI (Technique et Science Informatiques), Numéro Spécial. Hermes, France, April 2006. Note: 139 pages. [bibtex]


  3. Mark Utting and Bruno Legeard. Practical Model-Based Testing - A tools approach. Elsevier, 2006. Note: 550 pages, ISBN 0-12-372501-1. [bibtex]


Internal reports
  1. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. Experiments in the use of tau-simulations for the Verification of Timed Components. Research Report RR2006-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2006.
    Keywords: tau-simulation, integration of components, timed systems, preservation of linear-time properties. [Abstract] [bibtex]


  2. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, and Emilie Oudot. The tool VeSTA: Verification of Simulations for Timed Automata. Technical Report RT2006-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2006.
    Keywords: tau-simulation, integration of components, timed automata, preservation of linear-time properties. [Abstract] [bibtex]


  3. Yohan Boichut and T. Genet. Trace Reconstruction. Research Report RR2006-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comtéand IRISA / Université de Rennes, February 2006.
    Keywords: Reachability analysis, verification, infinite systems, rewriting, approximations, sound and complete method, rewriting path.. [Abstract] [bibtex]


  4. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Automatic Abstraction Generation: How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users. Research Report RR-6039, INRIA, November 2006. [bibtex]


  5. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Handling Algebraic Properties in Automatic Analysis of Security Protocols. Research report RR-5857, INRIA, March 2006.
    Keywords: VERIFICATION, SECURITY PROTOCOLS, APPROXIMATIONS. [Abstract] [bibtex]


  6. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. Automated Boundary Test Generation from JML Specifications. Research Report RR2006-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2006.
    Keywords: Test generation, model-based, Java Modeling Language, automated, boundary values. [Abstract] [bibtex]


  7. Alain Giorgetti and Julien Groslambert. JAG : Génération d'annotations JML pour vérifier des propriétés temporelles. Technical Report RT2006-02, LIFC - Laboratoire d'Informatique de l'Universit é de Franche Comté, September 2006.
    Keywords: Java Modeling Language, temporal logic, annotations, verification. [Abstract] [bibtex]


  8. Julien Groslambert. Verification of LTL on B Event System. Research Report RR2006-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2006.
    Keywords: LTL, Buchi Automaton, Verification, Refinement.. [Abstract] [bibtex]


  9. D. Josselin, Philippe Canalda, Christophe Lang, S. Houzet, Nicolas Marilleau, and R. Chevrier. Définition d'un système de transport innovant pour la CAPM : fonctionnement et gestion. Rapport intermédiaire, Projet Véhicules du Futur, 2006. Note: 31 pages + 17 pages annexes. [bibtex]


  10. Olga Kouchnarenko and Arnaud Lanoix. How to Refine and to Exploit a Refinement of Component-based Systems. Research report RR-5898, INRIA, April 2006.
    Keywords: COMPONENT-BASED SYSTEMS, MODULES, REFINEMENT, LTL PROPERTIES, COMPOSITION, VERIFICATION. [Abstract] [bibtex]


Other publications
  1. Marie-Laure Betbeder. Un environnement malléable support d'activités collectives / Recueil et transcription d'actions multimodales, June 2006. Note: Séminaire 'Hypermédias, Education, Formation', organisé par Eric Bruillard, Georges-Louis Baron et Brigitte de la Passardière, Paris, France. [bibtex]


  2. V. Bonnans, Lionel Droz-Bartholet, Eric Garcia, Hervé Guyennet, Jean-Loup Haberbusch, Jean-Christophe Lapayre, and T. Moulin. Collaborative Tele-Neurology, January 2006. Note: Presentation in Workshop Cross-Border Activities, Good Practice for Better Health, Bielefeld, Germany. [bibtex]


  3. Julien Bourgeois. Transmission of multimedia contents towards wireless clients. Séminaire invité, IRISA, Institut de recherche en informatique et systèmes aléatoires, Rennes, France., January 2006. [bibtex]


  4. Jean-Michel Hufflen. Sprachen in mlBibTeX. Note: DANTE 2006 Tagung, Berlin, March 2006. [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