@inproceedings{abcvs05:ip,
inhal = {no},
author = {Abbas, Amine and Bahi, Jacques and Contassot-Vivier, Sylvain and Salomon, Michel},
title = {Mixing Synchronism / Asynchronism in Discrete-State Discrete-Time Dynamic Networks},
booktitle = {4th Int. Conf. on Engineering Applications and Computational Algorithms, DCDIS'2005},
pages = {524--529},
address = {Guelph, Canada},
month = jul,
year = 2005,
note = {ISSN 1492-8760},

}

@inproceedings{abm05:oip,
inhal = {no},
author = {Abbas, Amine and Bahi, Jacques and Mostefaoui, Ahmed},
title = {Optimizing Energy Consumption in Wireless Ad Hoc Networks},
booktitle = {PE-WASUN'05, 2nd IEEE and ACM Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor and Ubiquitous Networks},
pages = {279--280},
address = {Montr\'eal, Canada},
month = oct,
year = 2005,

}

@inproceedings{aahm05:onp,
inhal = {no},
author = {Al'Achhab, Mohammed and Hammad, Ahmed and Mountassir, Hassan},
title = {Exploitation du raffinement pour v\'erifier les mod\`eles hi\'erarchiques},
booktitle = { Actes du RJCITR'05, 1\`ere Rencontres des Jeunes Chercheurs en Informatique Temps R\'eel},
address = {Nancy, France},
month = sep,
year = 2005,

}

@inproceedings{abbc+05:ip,
inhal = {no},
author = {Armando, A. and Basin, D. and Boichut, Yohan and Chevalier, Y. and Compagna, L. and Cuellar, J. and Hankes Drielsma, P. and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga and Mantovani, J. and Moedersheim, S. and von Oheimb, D. and Rusinowitch, M. and Santiago, J. and Turuani, M. and Vigan\`o, L. and Vigneron, L.},
title = {The {A}vispa Tool for the automated validation of internet security protocols and applications},
booktitle = {CAV~2005, 17th Int. Conf. on Computer Aided Verification},
pages = {281--285},
series = {LNCS},
volume = 3576,
publisher = {Springer},
address = {Edinburgh, Scotland, United Kingdom},
month = jul,
year = 2005,

}

@inproceedings{bc05:ip,
inhal = {no},
author = {Bahi, Jacques and Couturier, Rapha\"el},
title = {Parallelization of direct algorithms using multisplitting methods in grid environments},
booktitle = {19th IEEE and ACM Int. Parallel and Distributed Processing Symposium, IPDPS 2005},
publisher = {IEEE Computer Society Press},
pages = {254b, 8 pages},
address = {Denver, Colorado, United States},
month = apr,
year = 2005,

}

@inproceedings{bcs05:ip,
inhal = {no},
author = {Bahi, Jacques and Couturier, Rapha\"el and Salomon, Michel},
title = {Solving Three-Dimensional Transport Models with Asynchronism in Iterat ive Algorithms},
booktitle = {19th IEEE and ACM Int. Parallel and Distributed Processing Symposium, IPDPS 2005},
publisher = {IEEE Computer Society Press},
pages = {253b, 7 pages},
address = {Denver, Colorado, United States},
month = apr,
year = 2005,

}

@inproceedings{bclm+05a:onp,
inhal = {no},
author = {Banos, A. and Chardonnel, S. and Lang, Christophe and Marilleau, Nicolas and Thevenin, T.},
title = {Approche multi-agents de la ville en mouvement. R\'eflexions autour du projet {MIRO} ({M}od\'elisation {I}ntra-urbaine des {R}ythmes qu{O}tidiens)},
booktitle = {procs. of the joint Conf. on Multi-Agent Modeling for Environment Management, CABM-HEMA-SMAGET 2005},
pdf = {http://smaget.lyon.cemagref.fr/contenu/SMAGET%20proc/PAPERS/Marielleau.pdf},
address = {Bourg St Maurice-Les Arcs, France},
month = mar,
year = 2005,
note = {Actes sur CD},

}

@inproceedings{bclm+05c:onp,
inhal = {no},
author = {Banos, A. and Chardonnel, S. and Lang, Christophe and Marilleau, Nicolas and Thevenin, T.},
title = {Mod\'eliser et simuler la ''fourmili\`ere'' urbaine par les syst\`emes multi-agents},
booktitle = {procs. of the Int. Conf. on Spatial Analysis and GEOmatic, SAGEO 2005},
address = {Avignon, France},
month = jun,
year = 2005,

}

@inproceedings{bclm+05:ip,
inhal = {no},
author = {Banos, A. and Chardonnel, S. and Lang, Christophe and Marilleau, Nicolas and Thevenin, T.},
title = {Simulating the swarming city: a {MAS} approach},
booktitle = {procs. of The 9th Int. Conf. on Computers in Urban Planning and Urban Management, CUPUM~2005},
address = {London, United Kingdom},
pdf = {http://128.40.59.163/cupum/searchPapers/papers/paper97.pdf},
month = jun,
year = 2005,

}

@inproceedings{bpr05:bl,
inhal = {no},
equipe = {and},
author = {Beauquier, J. and Pilard, Laurence and Rozoy, B.},
title = {Observing Locally Self-stabilization in a Probabilistic Way},
booktitle = {{DISC} 2006, int. Symposium on Distributed Computing},
publisher = {Springer},
series = {LNCS},
volume = 3724,
pages = {399--413},
address = {Kracow, Poland},
month = oct,
year = 2005,

}

@inproceedings{bcj05:ip,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise and Chouali, Samir and Julliand, Jacques},
title = {Refinement Verification of Fair Transition Systems can Contribute to {PLTL} Model Checking},
booktitle = {Third ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE'2005)},
address = {Verona, Italy},
pages = {167--176},
publisher = {IEEE Computer Society Press},
ISBN = {0-7803-9227-2},
month = jul,
year = 2005,
note = {ISBN 0-7803-9227-2},

}

@inproceedings{bjmo05:ip,
inhal = {no},
author = {Bellegarde, Fran\c{c}oise and Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie},
title = {On the contribution of a tau-simulation in the incremental modeling of timed systems},
booktitle = {FACS'05, 2nd Int. Workshop on Formal Aspects of Components Software},
pages = {97--111},
series = {Electronic Notes in Theoretical Computer Science},
volume = 160,
address = {Macao, Macao},
publisher = {Elsevier},
month = oct,
year = 2005,

}

@inproceedings{bhmm05:ip,
inhal = {no},
author = {Benbernou, S. and Hacid, M.S. and Makhoul, Abdallah and Mostefaoui, Ahmed},
title = {A Spatio-Temporal Adaptation Model for Multimedia Presentations},
booktitle = {ISM'05, IEEE Int. Symposium on Multimedia},
pages = {143--150},
address = {Irvine, California, United States},
month = dec,
year = 2005,

}

@inproceedings{bsm05:oip,
inhal = {no},
author = {Benguerabi, M. and Sehad, A. and Mostefaoui, Ahmed},
title = {Experiencing Audio Indexation on Broadcasted News},
booktitle = {EUROMEDIA'05 Workshop on Distributed Multimedia Databases and Multimedia Adaptation (WDMDMA)},
pages = {169--172},
address = {Toulouse, France},
month = apr,
year = 2005,

}

@inproceedings{bccf+05:onp,
inhal = {no},
author = {Blanc, M. and Clemente, Patrice and Courtieu, P. and Franche, S. and Oudot, L. and Toinard, C. and Vessiller, L.},
title = {Am\'elioration de la s\'ecurit\'e des grands r\'eseaux par une infrastructure de m\'eta-politique},
booktitle = {Actes du Colloque Francophone sur l'Ing\'enierie des Protocoles, CFIP'05},
address = {Bordeaux, France},
month = mar,
year = 2005,

}

@inproceedings{bmh05:np,
inhal = {no},
author = {Bouamari, A. and Mostefai, Mohammed and Hammad, Ahmed},
title = {Mod\'elisation {UML} des Syst\`emes Temps R\'eel},
booktitle = {CIP~2005 -~Conf\'erence Internationale sur la Productique},
address = {Tlemcen, Algeria},
month = dec,
year = 2005,
note = {7 pages, Actes sur CD},

}

@inproceedings{bdg05:ip,
inhal = {no},
author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Groslambert, Julien},
title = {Checking {JML} Specifications with {B} Machines},
booktitle = {Procs of the Int. Conf. on Formal Specification and Development in {Z} and {B}, (ZB'05)},
pages = {435--454},
series = {LNCS},
volume = 3455,
address = {Guildford, United Kingdom},
publisher = {Springer},
editor = {Treharne, H. and King, S. and Henson, M. and Schneider, S.},
month = apr,
year = 2005,

}

@inproceedings{bdl05:ip,
inhal = {no},
author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno},
title = {How Symbolic Animation can help designing an Efficient Formal Model},
booktitle = {Procs of the 7th Int. Conf. on Formal Engineering Methods (ICFEM'05)},
pages = {96--110},
volume = 3785,
series = {LNCS},
address = {Manchester, United Kingdom},
publisher = {Springer},
editors = {Lau, K.K. and Banach, R.},
isbn = {3-540-29797-9},
month = nov,
year = 2005,

}

@inproceedings{bdl05:oip,
inhal = {no},
author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno},
title = {Using Constraint Logic Programming for the Symbolic Animation of Formal Models},
booktitle = {Procs of the Int. Workshop on Constraints in Formal Verification (CFV'05) -- Co-located with the Int. Conf. on Automated Deduction (CADE'05)},
pages = {32--46},
address = {Tallinn, Estonia},
editor = {Marques-Silva, J. and Velev, M.},
month = jul,
year = 2005,

}

@inproceedings{bdlu05:ip,
inhal = {no},
author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno and Utting, Mark},
title = {{JML-Testing-Tools}: a Symbolic Animator for {JML} Specifications using {CLP}},
booktitle = {Procs of the 11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Tool session (TACAS'05)},
pages = {551--556},
series = {LNCS},
volume = 3440,
address = {Edinburgh, United Kingdom},
publisher = {Springer},
editor = {Halbwachs, N. and Zuck, L.},
month = apr,
year = 2005,

}

@inproceedings{bdlu05b:ip,
inhal = {no},
author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno and Utting, Mark},
title = {Symbolic Animation of {JML} Specifications},
booktitle = {Procs of the Int. Conf. on Formal Methods (FM'2005)},
address = {Newcastle Upon Tyne, United Kingdom},
publisher = {Springer},
series = {LNCS},
volume = 3582,
pages = {75--90},
editor = {Fitzgerald, J.S. and Hayes, I.J. and Tarlecki, A.},
month = jul,
year = 2005,

}

@inproceedings{bjlp+05:oip,
inhal = {no},
author = {Bouquet, Fabrice and Jaffuel, Eddie and Legeard, Bruno and Peureux, Fabien and Utting, Mark},
title = {Requirement Traceability in Automated Test Generation - {A}pplication to Smart Card Software Validation},
booktitle = {Procs. of the ICSE Int. Workshop on Advances in Model-Based Software Testing (A-MOST'05)},
address = {St. Louis, United States},
publisher = {ACM Press},
month = may,
year = 2005,

}

@inproceedings{bhlp05:oip,
inhal = {no},
author = {Bourgeois, Julien and Henriet, Adrien and Lacan, J. and Perennou, T.},
title = {Using a trace-based simulation tool to test the efficiency of error codes applied to wireless multimedia streaming},
booktitle = {Euromedia Conference, Workshop on Distributed Multimedia Databases and Multimedia Adaptation},
pages = {173--177},
editor = {Al-Akaidi, M. and Rothkrantz, L.},
organization = {Eurosis},
address = {Toulouse, France},
month = apr,
year = 2005,

}

@inproceedings{bys05:ip,
inhal = {no},
author = {Bourgeois, Julien and Yoginath, S.B. and Sellah, S.},
title = {Integrating an {RTP} Mixer Model into {Opnet Modeler}},
booktitle = {Procs of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005},
isbn = {0-7695-2273-4},
pages = {106--112},
publisher = {IEEE Computer Society Press},
address = {Besan\c{c}on, France},
month = feb,
year = 2005,
accrate = 56,

}

@inproceedings{cdgl05b:bl,
inhal = {no},
author = {Chaudet, C. and Dhoutaut, Dominique and Gu\'erin-Lassous, I.},
title = {Experiments of some performance issues with {IEEE} 802.11b in ad hoc networks},
booktitle = {WONS~2005, 2nd Int. Conf. on Wireless On-Demand Network Systems},
address = {St Moritz, Switzerland},
year = 2005,

}

@inproceedings{clo05:ip,
inhal = {no},
author = {Chevalley, Ph. and Legeard, Bruno and Orsat, J.},
title = {{A}utomated {T}est {C}ase {G}eneration for {S}pace {O}n-{B}oard {S}oftware},
booktitle = {DASIA 2005, Data Systems In Aerospace Int. Conf.},
pages = {153--159},
editor = {Eurospace},
address = {Edinburgh, United Kingdom},
month = may,
year = 2005,

}

@inproceedings{clemente05:np,
inhal = {no},
author = {Clemente, Patrice},
title = {Allocating Media and Modalities According to Physical Constraints and Information Types within a Theory of Interaction},
booktitle = {SETIT'05, 3rd IEEE Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunications},
address = {Sousse, Tunisia},
month = mar,
year = 2005,
note = {Actes sur CD. ISBN~9973-51-546-3},

}

@inproceedings{clemente05:oip,
inhal = {no},
author = {Clemente, Patrice},
title = {Taking into account Users' (Dis-)Abilities within a Formal Theory of Rational Interaction},
booktitle = {AIA'05, IEEE Int. Conf. on Arficial Intelligence and Application},
address = {Innsbruck, Austria},
month = feb,
year = 2005,

}

@inproceedings{cp05:oip,
inhal = {no},
author = {Clemente, Patrice and Panaget, F.},
title = {Modality Allocation Within a Formal Theory of Rational Agency: the Relevance of Modality to the Information and the User},
booktitle = {KIMAS'05, IEEE Int. Conf. Knowledge Intensive for Multi-Agent Systems},
address = {Waltham, Massachusetts, United States},
month = apr,
year = 2005,

}

@inproceedings{cm05:oip,
inhal = {no},
author = {Colin, S. and Mariani, L.},
title = {{Run-Time} Verification},
booktitle = {Model-based testing of Reactive Sytems},
series = {LNCS},
volume = 3472,
publisher = {Springer},
year = 2005,
note = {ISBN 3-540-26278-4. The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004},

}

@inproceedings{cgk05:ip,
inhal = {no},
author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain and Kosmatov, Nikola\"{\i}},
title = {A Uniform Deductive Approach for Parameterized Protocol Safety},
booktitle = {ASE'05: Procs of the 20th IEEE/ACM Int. Conf. on Automated Software Engineering},
pages = {364--367},
publisher = {IEEE Computer Society Press},
year = 2005,
note = {isbn~1-59593-993-4},

}

@inproceedings{couturier05:onp,
inhal = {no},
author = {Couturier, Rapha\"el},
title = {Un syst\`eme de recommandation bas\'e sur l'{A.S.I}},
booktitle = {Troisi\`eme rencontre internationale de l'Analyse Statistique Implicative (ASI3)},
pages = {157--162},
year = 2005,

}

@inproceedings{cg05:onp,
inhal = {no},
author = {Couturier, Rapha\"el and Gras, R\'egis},
title = {{CHIC}~: traitement de donn\'ees avec l'analyse implicative},
booktitle = {Journ\'ees Extraction et gestion des connaissances (EGC'2005)},
volume = 2,
pages = {679--684},
month = jan,
year = 2005,

}

@inproceedings{dahan05:ip,
inhal = {no},
author = {Dahan, Sylvain},
title = {{D}istributed {S}panning {T}ree Algorithms for Large Scale Traversals},
booktitle = {Procs of the 11th Int. Conf. on Parallel and Distributed Systems, (ICPADS 2005)},
volume = 1,
pages = {453--459},
year = 2005,
month = jul,
address = {Fukuoka, Japan},
publisher = {IEEE Computer Society Press},

}

@inproceedings{dnp05:oip,
inhal = {no},
author = {Dahan, Sylvain and Nicod, Jean-Marc and Philippe, Laurent},
title = {The {D}istributed {S}panning {T}ree: A Scalable Interconnection Topology for Efficient and Equitable Traversal},
booktitle = {5th Int. Symposium on Cluster Computing and the Grid (CCGrid 2005), workshop on Global and Peer-to-Peer Computing, GP2PC~2005},
address = {Cardiff, United Kingdom},
publisher = {IEEE Computer Society Press},
month = may,
year = 2005,
note = {CD-ROM},

}

@inproceedings{dls05:oip,
inhal = {no},
author = {Dedu, Eugen and Linck, S\'ebastien and Spies, Fran\c{c}ois},
title = {Removing the {MAC} Retransmission Times from the {RTT} in {TCP}},
booktitle = {Euromedia Conference, Workshop on Distributed Multimedia Databases and Multimedia Adaptation},
pages = {190--193},
editor = {Al-Akaidi, M. and Rothkrantz, L.},
organization = {Eurosis},
address = {Toulouse, France},
month = apr,
year = 2005,

}

@inproceedings{del-fabbro05:np,
inhal = {no},
author = {Del~Fabbro, Bruno},
title = {{Data Tree Manager}~: un service de gestion des donn\'ees persistantes pour le calcul {ASP} sur la grille},
booktitle = {4\`eme Conf. Fran\c{c}aise sur les Syst\`emes d'Exploitation, CFSE'4},
pages = {147--157},
address = {Le Croisic, France},
month = apr,
year = 2005,

}

@inproceedings{dflp05:ip,
inhal = {no},
author = {Del~Fabbro, Bruno and Laiymani, David and Nicod, Jean-Marc and Philippe, Laurent},
title = {Data Management in Grid Applications Providers},
booktitle = {Procs of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005},
pages = {315--322},
address = {Besan\c{c}on, France},
month = feb,
year = 2005,
accrate = 56,

}

@inproceedings{dgr05:bl,
inhal = {no},
equipe = {and},
author = {Deschinkel, Karine and Galea, F. and Roucairol, C.},
title = {Catheter placement and dwell time computations},
booktitle = {INFORMS, annual Meeting of Institut for Operations Research and the Management Sciences},
address = {San Fransisco, USA},
month = nov,
year = 2005,

}

@inproceedings{do05:bl,
inhal = {no},
equipe = {and},
author = {Deschinkel, Karine and Oudot, A.},
title = {Planification et tarification dans un r\'eseau},
booktitle = {ROADEF'05, 6e Congr\`es de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide à la D\'ecision},
address = {Tours, France},
month = feb,
year = 2005,

}

@inproceedings{edbsv05:ip,
inhal = {no},
author = {Ernst-Desmulier, Jean-Baptiste and Bourgeois, Julien and Spies, Fran\c{c}ois and Verbeke, J.},
title = {Adding New Features In A {P}eer-to-{P}eer Distributed Computing Framework},
booktitle = {13th Euromicro Conf. on Parallel Distributed and Network Based Processing (PDP'05)},
isbn = {0-7695-2280-7},
pages = {34--41},
address = {Lugano, Switzerland},
publisher = {IEEE Computer Society Press},
month = feb,
year = 2005,

}

@inproceedings{edccs05:ip,
inhal = {no},
author = {Ernst-Desmulier, Jean-Baptiste and Charlet, Damien and Chatonnay, Pascal and Spies, Fran\c{c}ois},
title = {A {P}eer-to-{P}eer Approach for Cache Sibling},
booktitle = {Procs of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005},
isbn = {0-7695-2273-4},
pages = {323--330},
publisher = {IEEE Computer Society Press},
address = {Besan\c{c}on, France},
month = feb,
year = 2005,
accrate = 56,

}

@inproceedings{fpt05:ip,
inhal = {no},
author = {Felea, Violeta and Paroux, G. and Toursel, B.},
title = {{J}ava {A}pplication {E}xecution in {H}eterogeneous and {M}ulti-user {S}ystems},
booktitle = {Procs of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005},
pages = {331--337},
address = {Besan\c{c}on, France},
month = feb,
year = 2005,
accrate = 56,

}

@inproceedings{fuin05:np,
inhal = {no},
author = {Fuin, David},
title = {Int\'egration horizontale de la {QoS} dans un noeud actif},
booktitle = {CFSE'4, 4\`eme Conf\'erence Fran\c{c}aise sur les Syst\`emes d'Exploitation},
pages = {183--194},
address = {Le Croisic, France},
month = apr,
year = 2005,

}

@inproceedings{fg05:np,
inhal = {no},
author = {Fuin, David and Garcia, Eric},
title = {Adaptation d'un flux vid\'eo pour client l\'eger sur un r\'eseau actif},
booktitle = {Actes de la 4\`em Conf\'erence Fran\c{c}aise sur les Syst\`emes d'Exploitation, CFSE 4},
address = {Le Croisic, France},
month = apr,
year = 2005,

}

@inproceedings{fg05:ip,
inhal = {no},
author = {Fuin, David and Garcia, Eric},
title = {Impact of Quality of Service Horizontal Integration in Active Nodes: Modeling and Implementation},
booktitle = {procs. of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005},
pages = {72--79},
address = {Besan\c{c}on, France},
month = feb,
year = 2005,
accrate = 56,

}

@inproceedings{fgg05:ip,
inhal = {no},
author = {Fuin, David and Garcia, Eric and Guyennet, Herv\'e},
title = {Video Flow Adaptation for Light Clients on an Active Network},
booktitle = {4th IEEE Int. Conf. on Networking, ICN'2005},
pages = {672--679},
address = {Reunion Island, France},
month = apr,
year = 2005,
note = {Actes sur CD},

}

@inproceedings{fggj05:oip,
inhal = {no},
author = {Fuin, David and Garcia, Eric and Guyennet, Herv\'e and Jeanvoine, E.},
title = {Quality of Service Vertical and Horizontal Integration in Active Nodes},
booktitle = {procs of the IEEE joint Int. Conf. on Autonomic and Autonomous Systems (ICAS'05) and Int. Conf. on Networking and Services (ICNS'05)},
address = {Tahiti, French Polynesia},
month = oct,
year = 2005,
note = {Actes sur CD},

}

@inproceedings{ggldb+05:np,
inhal = {no},
author = {Garcia, Eric and Guyennet, Herv\'e and Lapayre, Jean-Christophe and Droz-Bartholet, Lionel and Haberbusch, Jean-Loup and al},
title = {Collaborative Tele-Neurology for Remote Diagnosis},
booktitle = {SETIT'05, 3rd IEEE Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunications},
address = {Sousse, Tunisia},
month = mar,
year = 2005,
note = {Actes sur CD. ISBN~9973-51-546-3},

}

@inproceedings{gglr+05:oip,
inhal = {no},
author = {Garcia, Eric and Guyennet, Herv\'e and Lapayre, Jean-Christophe and Ramadass, S. and Budiarto, R. and Kassim, N. and Bouhlel, M.-S.},
title = {Collaborative Telemedicine Components Integration in a Multimedia Conferencing System},
pages = {59--67},
booktitle = {20th APAN Meeting: Advanced Network Conference},
address = {Taipei, Taiwan},
month = aug,
year = 2005,

}

@inproceedings{gglr05:ip,
inhal = {no},
author = {Garcia, Eric and Guyennet, Herv\'e and Lapayre, Jean-Christophe and Renard, Fabien},
title = {Performing Global Adaptation With the {Appat} Platform},
booktitle = {IADIS International Conference - Applied Computing 2005},
pages = {41--48},
address = {Algarve, Portugal},
month = feb,
year = 2005,

}

@inproceedings{ghl05b:ip,
inhal = {no},
author = {Garcia, Eric and Henriet, Julien and Lapayre, Jean-Christophe},
title = {Comparison of Optimistic and Pessimistic Pilgrims for Concurrency Management in {CSCW} through a Probabilistic Study},
booktitle = {3rd IEEE Int. Conf. on Information Technology: Research and Education (ITRE~05)},
pages = {307--311},
publisher = {IEEE Computer Society Press},
address = {Hsinchu, Taiwan},
month = jun,
year = 2005,

}

@inproceedings{ghl05c:ip,
inhal = {no},
author = {Garcia, Eric and Henriet, Julien and Lapayre, Jean-Christophe},
title = {Modelization of a Communication Protocol for {CSCW} Systems Using Coloured Petri Nets},
booktitle = {The 2nd Int. Conf. on Cooperative Design, Visualization and Engineering, CDVE~2005},
publisher = {Springer},
series = {LNCS},
volume = 3675,
pages = {14--21},
address = {Palma de Mallorca, Spain},
month = sep,
year = 2005,

}

@inproceedings{ghl05:ip,
inhal = {no},
author = {Garcia, Eric and Henriet, Julien and Lapayre, Jean-Christophe},
title = {Study of an Optimistic Protocol for Concurrency Management in {CSCW}},
booktitle = {Procs. of the 9th IEEE Int. Conf. on {CSCW} in Design},
volume = 1,
pages = {128--133},
address = {Coventry, United Kingdom},
month = may,
year = 2005,

}

@inproceedings{giersch05:np,
inhal = {no},
author = {Giersch, Arnaud},
title = {Ordonnancement sur plates-formes h\'et\'erog\`enes de t\^aches partageant des donn\'ees},
booktitle = {RenPar'2005, 16\`eme Rencontres Francophones du Parall\'elisme},
pages = {159--170},
address = {Le Croisic, France},
month = apr,
year = 2005,

}

@inproceedings{hb05b:bl,
inhal = {no},
equipe = {and},
author = {Hakem, Mourad and Butelle, Franck},
title = {Dynamic Critical Path Scheduling Parallel Programs onto Multiprocessors},
booktitle = {IPDPS'05},
publisher = {IEEE Computer Society Press},
year = 2005,

}

@inproceedings{hb05a:bl,
inhal = {no},
equipe = {and},
author = {Hakem, Mourad and Butelle, Franck},
title = {Efficient Critical Task Scheduling Parallel Programs on a Bounded Number of Processors},
booktitle = {PDCS'05, 17th Int. Conf. on Parallel and Distributed Computing and Systems},
pages = {139--144},
year = 2005,

}

@inproceedings{hg05:ip,
inhal = {no},
author = {Hantz, Fabien and Guyennet, Herv\'e},
title = {{HiPoP}: Highly Distributed Platform of Computing},
booktitle = {procs of the IEEE joint Int. Conf. on Autonomic and Autonomous Systems (ICAS'05) and Int. Conf. on Networking and Services (ICNS'05)},
pages = {91--96},
address = {Tahiti, French Polynesia},
month = oct,
year = 2005,

}

@inproceedings{hh05:ip,
inhal = {no},
author = {Hantz, Fabien and Henriet, Julien},
title = {Multimedia Flow Transmission Policies for Collaborative Platform based on {SOAP}},
booktitle = {Procs of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005},
pages = {32--38},
address = {Besan\c{c}on, France},
month = feb,
year = 2005,
accrate = 56,

}

@inproceedings{hufflen05:ip,
inhal = {no},
author = {Hufflen, Jean-Michel},
title = {Bibliography Styles Easier with {MlBibTeX}},
booktitle = {EuroTeX~2005},
address = {Pont-\`a Mousson, France},
pages = {179--192},
month = mar,
year = 2005,

}

@inproceedings{hufflen05b:ip,
inhal = {no},
author = {Hufflen, Jean-Michel},
title = {Implementing a Bibliography Processor in Scheme},
booktitle = {Proc. of the 6th Workshop on {S}cheme and {F}unctional {P}rogramming},
editor = {Michael Ashley, J. and Sperber, M.},
series = {Indiana University Computer Science Department},
volume = 619,
pages = {77--87},
address = {Tallinn, Estonia},
month = sep,
year = 2005,
langue = {English},

}

@inproceedings{hufflen05b:oip,
inhal = {no},
author = {Hufflen, Jean-Michel},
title = {{mlBibTeX}: a Survey},
booktitle = {Proc. {GUIT} Meeting},
address = {Pisa, Italy},
pages = {171--179},
month = oct,
year = 2005,
langue = {English},

}

@inproceedings{jtv05:ip,
inhal = {no},
author = {Jacques, Isabelle and Tatibou\"et, Bruno and Voisinet, Jean-Christophe},
title = {Generation of {OCL} Constraints from {B} Abstract Machines},
booktitle = {The 2005 Int. Conf. on Software Engineering Research and Practice (SERP~05)},
pages = {260--266},
volume = 1,
publisher = {CSREA Press},
isbn = {1-932415-49-1},
address = {Las Vegas, Nevada, United States},
month = jun,
year = 2005,
note = {ISBN 1-932415-49-1},

}

@inproceedings{kalg05:ip,
inhal = {no},
author = {Kettaf, N. and Abouaissa, A. and Lorenz, Pascal and Guyennet, Herv\'e},
title = {A self organizing algorithm for ad hoc networks},
booktitle = {Procs of the 10th IFIP Int. Conf. on Personal Wireless Communication (PWC'05)},
pages = {115--124},
address = {Colmar, France},
month = aug,
year = 2005,

}

@inproceedings{kosmatov05:oip,
inhal = {no},
author = {Kosmatov, Nikola\"{\i}},
title = {A Constraint Solver for Sequences},
booktitle = {Procs of the 1st Int. Workshop on Constraint Programming Beyond Finite Intege Domains (BeyondFD'05)},
pages = {49--54},
address = {Sitges (Barcelona), Spain},
month = oct,
year = 2005,

}

@inproceedings{lvll+05:ip,
inhal = {no},
author = {Laleau, R\'egine and Vignes, Sylvie and Ledru, Yves and Lemoine, Michel and Bert, Didier and Donzeau-Gouge, V\'eronique and Dubois, Catherine and Peureux, Fabien},
title = {Application of Requirements Engineering Techniques to the Analysis of Civil Aviation Security Standards},
booktitle = {Procs of the Int. Workshop on Situational Requirements Engineering Processes (SREP'05)},
pages = {91--106},
address = {Paris, France},
month = aug,
year = 2005,

}

@inproceedings{lr05:ip,
inhal = {no},
author = {Lapayre, Jean-Christophe and Renard, Fabien},
title = {{Appat}: a New Platform to Perform Global Adaptation},
booktitle = {procs. of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005},
pages = {351--358},
address = {Besan\c{c}on, France},
month = feb,
year = 2005,
accrate = 56,

}

@inproceedings{lbcc+05:ip,
inhal = {no},
author = {Lassabe, Fr\'ed\'eric and Baala, Oumaya and Canalda, Philippe and Chatonnay, Pascal and Spies, Fran\c{c}ois},
title = {A Friis-based Calibrated Model for {WiFi} Terminals Positioning},
booktitle = {Proceedings of IEEE Int. Symp. on a World of Wireless, Mobile and Multimedia Networks (WoWMoM~2005)},
pages = {382--387},
address = {Taormina, Italy},
month = jun,
year = 2005,

}

@inproceedings{al05:ip,
inhal = {no},
author = {Le, Hung-Cuong and Abdallah, M.},
title = {Scalable Range Query Processing for Large-Scale Distributed Database Applications},
booktitle = {PDCS'05, int. conf. on Parallel and Distributed Computing and Systems},
pages = {433--439},
address = {Phoenix, United States},
month = nov,
year = 2005,

}

@inproceedings{marilleau05:ip,
inhal = {no},
author = {Marilleau, Nicolas},
title = {An Agent Based Meta-Model for Urban Mobility Modeling},
booktitle = {procs. of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005},
pages = {168--175},
address = {Besan\c{c}on, France},
month = feb,
year = 2005,
accrate = 56,

}

@inproceedings{mlcp05:ip,
inhal = {no},
author = {Marilleau, Nicolas and Lang, Christophe and Chatonnay, Pascal and Philippe, Laurent},
title = {A Meta-Model of Group for Urban Mobility Modeling},
booktitle = {procs. of The Third Int. Conf. on Active Media Technology, AMT~2005},
pages = {397--400},
address = {Takamatsu, Japon},
month = may,
year = 2005,

}

@inproceedings{mlcp05b:ip,
inhal = {no},
author = {Marilleau, Nicolas and Lang, Christophe and Chatonnay, Pascal and Philippe, Laurent},
title = {Cognitive Perception in {RAFALES-SP} Methodology},
booktitle = {Int. Conf. on Computational Intelligence for Modelling Control and Automation, CIMCA'05},
pages = {594--600},
address = {Vienna, Austria},
month = nov,
year = 2005,

}

@inproceedings{mlcp05:np,
inhal = {no},
author = {Marilleau, Nicolas and Lang, Christophe and Chatonnay, Pascal and Philippe, Laurent},
title = {Un m\'eta-mod\`ele \`a base d'agents pour mod\'eliser la mobilit\'e urbaine},
booktitle = {SETIT~2005, 3rd IEEE Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunications},
isbn = {9973-51-546-3},
address = {Sousse, Tunisia},
month = mar,
year = 2005,
note = {Actes sur CD. ISBN~9973-51-546-3},

}

@inproceedings{mlcp05:onp,
inhal = {no},
author = {Marilleau, Nicolas and Lang, Christophe and Chatonnay, Pascal and Philippe, Laurent},
title = {Une biblioth\`eque multi-agents pour la simulation de la mobilit\'e intra-urbaine},
booktitle = {procs. of the Int. Conf. on Spatial Analysis and GEOmatic, SAGEO 2005},
address = {Avignon, France},
month = jun,
year = 2005,

}

@inproceedings{mra05:oip,
inhal = {no},
author = {Mbala, Alo\"{i}s and Reffay, Christophe and Anyouzoa, A.G.N.},
title = {Supporting Distributed Collaborative Learning with Usage Analysis Based Systems},
booktitle = {Procs of the Int. Workshop 'Usage analysis in learning systems', in conjuction with the AIED'2005 Int. Conf. on Artificial Intelligence and EDucation},
pages = {111--112},
address = {Amsterdam, Netherlands},
month = jul,
year = 2005,
pdf = {http://lium-dpuls.iut-laval.univ-lemans.fr/aied-ws/PDFFiles/mbala.pdf},

}

@inproceedings{reffay05:np,
inhal = {no},
author = {Reffay, Christophe},
title = {R\'eseaux sociaux et analyse de traces des forums d'une communaut\'e d'apprentissage},
booktitle = {Symposium, formation et nouveaux instruments de communication},
editor = {Baron, G.-L. and Bruillard, E. and Sidir (Dir.), M.},
pages = {13 pages},
address = {Amiens, France},
url = {http://archive-edutice.ccsd.cnrs.fr/edutice-00000811},
abstract = {Après une mise en contexte de nos travaux, proposant une classification des indicateurs quantitatifs de suivi des interactions humaines médiatisées par les LMS (Learning Management System), cette prépublication de chapitre aborde diverses notions proposées par les réseaux sociaux (Social Network Analysis), en vue de les intégrer dans un tableau de bord du tuteur pour le suivi de la formation à distance, basée sur la production collaborative. Quelques-uns de nos résultats antérieurs concernant la mesure et la représentation de la cohésion sont repris pour discuter de la validité, de l'expressivité et de la transférabilité des modèles issus des réseaux sociaux dans le contexte des communications médiatisées. Basée par essence sur l'analyse des relations, l'analyse structurale (autre nom des réseaux sociaux) dépend avant tout d'une bonne définition des relations étudiées. Elle passe par la construction d'un graphe des relations appelé sociogrammes. Des algorithmes sont appliqués sur ces graphes pour construire des représentations synthétiques mettant en relief certaines propriétés du groupe ou la place singulière qu'y ont les individus. On peut alors proposer des images de la cohésion du groupe, de l'intermédiarité ou de la centralité d'un individu pour le situer dans la structure de communication du groupe afin d'en déduire son rôle, son pouvoir ou son implication.},
month = jan,
year = 2005,

}

@inproceedings{renard05:np,
inhal = {no},
author = {Renard, Fabien},
title = {Performing Dynamic and Distributed Adaptation with a Novel Approach: Global Adaptation},
booktitle = {SETIT'05, 3rd IEEE Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunication},
address = {Sousse, Tunisia},
month = mar,
year = 2005,
note = {Actes sur CD. ISBN~9973-51-546-3},

}

@inproceedings{svlz05:ip,
inhal = {no},
author = {Saint-Voirin, David and Lang, Christophe and Zerhouni, N.},
title = {Distributed cooperative systems meta-model for maintenance using Petri nets and multi-agents systems},
booktitle = {Procs of the 1st IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, DFMA'2005},
pages = {254--261},
address = {Besan\c{c}on, France},
month = feb,
year = 2005,
accrate = 56,

}

@inproceedings{svlzg05:ip,
inhal = {no},
author = {Saint-Voirin, David and Lang, Christophe and Zerhouni, N. and Guyennet, Herv\'e},
title = {Cooperative systems modeling, example of a cooperative e-maintenance system},
booktitle = {6th Int. Symposium on computational intelligence in robotics and automation (CIRA'05)},
pages = {439--444},
address = {Espoo, Finland},
publisher = {IEEE Computer Society Press},
month = jun,
year = 2005,

}

@inproceedings{sc05:bl,
inhal = {no},
author = {Souqui\`eres, J. and Chouali, Samir},
title = {Verifying the compatibility of component interfaces using the {B} formal method},
booktitle = {SERP'05, int. conf. on Software Engineering Research and Practice},
publisher = {CSREA Press},
pages = {850--856},
year = 2005,

}

@inproceedings{vdbp05:oip,
inhal = {no},
author = {van der Bijl, M. and Peureux, Fabien},
title = {{I/O}-automata based testing},
booktitle = {Model-based testing of Reactive Sytems},
pages = {173--200},
series = {LNCS},
volume = 3472,
publisher = {Springer},
year = 2005,
note = {ISBN 3-540-26278-4. The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004},

}