Back to INDEX

  Publications of year 2005  

Articles in journal or book chapters
  1. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Vérification de systèmes hiérarchiques par raffinement. Journal européen des systèmes automatisés, 39(1-3):239--254, October 2005. Note: Édition spéciale MSR'05, Modélisation des Systèmes Réactifs. [bibtex]


  2. Jacques Bahi, Sylvain Contassot-Vivier, and Raphaël Couturier. Dynamic Load Balancing and Efficient Load Estimators for Asynchronous Iterative Algorithms. IEEE Transactions on Parallel and Distributed Systems, 16(4):289--299, 2005. [bibtex]


  3. Jacques Bahi, Sylvain Contassot-Vivier, and Raphaël Couturier. Evaluation of the asynchronous iterative algorithms in the context of distant heterogeneous clusters. Parallel Computing, 31(5):439--461, 2005. [bibtex]


  4. Jacques Bahi, Sylvain Contassot-Vivier, Raphaël Couturier, and Flavien Vernier. A decentralized convergence detection algorithm for asynchronous parallel iterative algorithms. IEEE Transactions on Parallel and Distributed Systems, 16(1):4--13, 2005. [bibtex]


  5. Jacques Bahi, Raphaël Couturier, and Flavien Vernier. Synchronous Distributed Load Balancing on Dynamic Networks. Journal of Parallel and Distributed Computing, 65(11):1397-1405, 2005. [bibtex]


  6. Marie-Laure Betbeder and P. Tchounikine. Conception d'activités collectives dans un contexte d'apprentissage. In R. Teulier, J. Charlet, and P. Tchounikine, editors, Ingénierie des Connaissances, pages 437--458. L'Harmattan, 2005. [bibtex]


  7. E. Caron, Bruno Del Fabbro, F. Desprez, E. Jeannot, and Jean-Marc Nicod. Managing Data Persistence in Network Enabled Servers. Scientific Programming Journal, 13(4):333--354, 2005. Note: Special Issue on Dynamic Grids and Worldwide Computing. [bibtex]


  8. Damien Charlet, Philippe Canalda, Pascal Chatonnay, and François Spies. Mobilité dans les caches vidéo : une stratégie adaptative. TSI (Technique et Science Informatiques), 24(7):837--864, 2005. [bibtex]


  9. C. Chaudet, Dominique Dhoutaut, and I. Guérin-Lassous. Performance Issues with IEEE 802.11 in Ad Hoc Networking. IEEE Communication Magazine, 43(7), July 2005. [bibtex]


  10. Samir Chouali, Jacques Julliand, Pierre-Alain Masson, and Françoise Bellegarde. PLTL Partitionned Model-Checking for Reactive Systems under Fairness Assumptions. ACM Transactions on Embedded Computing Systems (TECS), 4(2):267--301, May 2005. [bibtex]


  11. Gérard Cécé and A. Finkel. Verification of programs with half-duplex communication. Information and Computation, 202(2):166--190, November 2005. [bibtex]


  12. Jean-Baptiste Ernst-Desmulier, Damien Charlet, Julien Bourgeois, Pascal Chatonnay, and François Spies. Optimisation du cache sibling à l'aide d'une architecture pair-à-pair. TSI (Technique et Science Informatiques), 24(7):897--907, 2005. [bibtex]


  13. Eric Garcia, Hervé Guyennet, Julien Henriet, and Jean-Christophe Lapayre. Research Approach Advance in Concurrency Management Algorithms for Cooperative Work. International Journal of Computer Science and Network Security, Special issue on Computer Science, 5(10):1--12, October 2005. [bibtex]


  14. Eric Garcia, Hervé Guyennet, Julien Henriet, and Jean-Christophe Lapayre. Towards an Optimistic Management of Concurrency: a Probabilistic Study of the Pilgrim Protocol. LNCS Book, Special issue on Computer Supported Cooperative Work in Design 2005, 3865:51--65, 2005. [bibtex]


  15. Eric Garcia, Hervé Guyennet, Jean-Christophe Lapayre, and T. Moulin. Adaptive Tele-application for Remote Neurology Diagnosis. International Journal of Telemedicine and e-Health, 11(6):692--701, 2005. [bibtex]


  16. Françoise Greffier. Le tutorat, un geste pédagogique. Distances & Savoirs, 3(2):231--250, 2005. [bibtex]


  17. Jean-Michel Hufflen. MlBibTeX in Scheme (First Part). Biuletyn GUST, 22:17--22, April 2005. Note: In BachoTeX 2005 conference. [bibtex]


  18. Jean-Michel Hufflen. TeX's Language within the History of Programming Languages. Biuletyn GUST, 22:23--32, April 2005. Note: In BachoTeX 2005 conference. [bibtex]


  19. Hakim Mabed, Alexandre Caminada, and J.-K. Hao. Impact of Tradeoff Between Blocking and Interference on TDMA Cell Capacity Planning. IJMNDI, International Journal of Mobile Network Design and Innovation, 1(1):24--33, October 2005. [bibtex]


  20. Roland Mathieu, Éric Martin, Régine Gschwind, Libor Makovicka, Sylvain Contassot-Vivier, and Jacques Bahi. Calculations of Dose Distributions Using a Neural Network Model. Physics in Medicine and Biology, 50(5):1019--1028, 2005. [bibtex]


  21. Michel Salomon, F. Heitz, G.-R. Perrin, and J.-P. Armspach. A massively parallel approach to deformable matching of 3D medical images via stochastic differential equations. Parallel Computing, 31(1):45--71, January 2005. Note: Doi 10.1016/j.parco.2004.12.003. issn 0167-8191. [bibtex]


  22. Michel Salomon, F. Heitz, G.-R. Perrin, and J.-P. Armspach. Parallel Differential Evolution: Application to 3D Medical Image Registration. In K. Price, R. Storn, and J. Lampinen, editors, Differential Evolution: A Practical Approach to Global Optimization, Natural Computing Series, pages 393--411. Springer, 2005. [bibtex]


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


Books and proceedings
  1. G. Antoniadis and Thierry Chanier, editors. TAL (Traitement Automatique des Langues) et apprentissage des langues, volume 8(2) of Apprentissage des langues et Systèmes d'Information et de Communication (Alsic), numéro thématique. Université Marc Bloch, 2005. Note: Publication électronique. 90 pages. [bibtex]


  2. Julien Bourgeois, editor. Multimédia Mobile, volume 24(7) of RTSI TSI - Technique et Science Informatiques. Hermes, 2005. [bibtex]


  3. Hervé Guyennet, Jean-Christophe Lapayre, Pascal Lorenz, and R. Sureswaran, editors. Proceedings of DFMA 05, Distributed Framework for Multimedia Applications, February 2005. IEEE Computer Society Press. Note: 368 pages, ISBN 0-7695-2273-4, Library of Congress Number 2004114959. [bibtex]


Internal reports
  1. Françoise Bellegarde, Julien Groslambert, M. Huisman, Jacques Julliand, and Olga Kouchnarenko. Verification of Liveness Properties with JML. Research Report RR2005-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2005.
    Keywords: Java Modeling Language, JML, Liveness, Verification. [bibtex]


  2. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Automatic Verification of Security Protocols Using Approximations. Research Report RR2005-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, January 2005.
    Keywords: Security protocols, Verification, Approximations, Abstractions. [Abstract] [bibtex]


  3. E. Caron, B. DelFabbro, F. Desprez, E. Jeannot, and Jean-Marc Nicod. Managing Data Persistence in Network Enabled Servers. Research Report RR-5725, INRIA, October 2005. [bibtex]


  4. Bruno Del Fabbro, David Laiymani, Jean-Marc Nicod, and Laurent Philippe. Design and experimentations on an efficient Data Persistency Service for ASP Architecture.. Research Report RR2005-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2005.
    Keywords: DIET, persistence, DTM. [Abstract] [bibtex]


  5. Eric Garcia, Lionel Droz-Bartholet, and Jean-Loup Haberbusch. Collaborative Tele-Neurology for Remote Diagnosis, Conformance Statement for the Dicom Explorer. Technical Report RT2005-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, January 2005.
    Keywords: Conformance, DICOM, SCP, SCU, Teneci. [Abstract] [bibtex]


  6. Eric Garcia, Hervé Guyennet, Fabien Hantz, and Jean-Christophe Lapayre. Modélisation des scénarios de maintenance et passage à l'implémentation. Technical Report RT2005-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2005.
    Keywords: Evénement, Acteur, Capteur, Alarme. [Abstract] [bibtex]


  7. Eric Garcia, Julien Henriet, and Jean-Christophe Lapayre. Modeling the Chameleon using a Coloured-Petri Net: Proof and Validation. Technical Report RT2005-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2005.
    Keywords: Coloured Petri Net, Modelization, Communication Protocol, Qualitative Study, Collaborative Work. [Abstract] [bibtex]


Other publications
  1. A. Banos, S. Chardonnel, Christophe Lang, Nicolas Marilleau, and T. Thevenin. MIRO : une approche multi-agents de la ville en mouvement, January 2005. Note: 7èmes Rencontres Théo Quant, Besançon, France. [bibtex]


  2. Jean-Baptiste Ernst-Desmulier. JXTA and Peer-to-Peer Video Streaming, July 2005. Note: Invited talk at the 1st Int. Conf. on Open Source Systems, Workshop on Open Source and Multimedia, OSS'2005. Genova, Italy. [bibtex]


  3. Jean-Michel Hufflen. Introduction to XSLT. Extended abstract in Biuletyn GUST vol. 22 of an Invited Talk to the BachoTeX 2005 conference, April 2005. [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