@inproceedings{aahm07:np,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Al'Achhab, Mohammed and Hammad, Ahmed and Mountassir, Hassan},
title = {Sp\'ecification et Validation d'un Contr\^oleur de Performances Sportives},
booktitle = {E-Medisys 07, int. conf. on E-Medical Systems},
address = {Fez, Morocco},
pages = {173--178},
month = oct,
year = 2007,

}

@inproceedings{bccl07:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Charr, Jean-Claude and Couturier, Rapha\"el and Laiymani, David},
title = {A Parallel Algorithm to Solve Large Stiff {ODE} Systems on Grid Systems},
booktitle = {Cluster 2007, Int. Conf. on Cluster Computing},
pages = {534--541},
address = {Austin, Texas, United States},
doi = {10.1109/CLUSTR.2007.4629280},
url = {http://dx.doi.org/10.1109/CLUSTR.2007.4629280},
publisher = {IEEE Computer Society Press},
year = 2007,

}

@inproceedings{bclm07b:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTIN},
author = {Bahi, Jacques and Couturier, Rapha\"el and Laiymani, David and Mazouzi, Kamel},
title = {A Comparative Study of Two {J}ava High Performance Environments for Implementing Parallel Iterative Methods},
booktitle = {APPT'07, Advanced Parallel Programming Technologies},
address = {Guangzhou, China},
pages = {313--321},
year = 2007,

}

@inproceedings{bclm07a:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Couturier, Rapha\"el and Laiymani, David and Mazouzi, Kamel},
title = {Java and asynchronous iterative applications: large scale experiments},
booktitle = {IPDPS'07, 21th IEEE and ACM Int. Symposium on Parallel and Distributed Processing Symposium},
pages = {(8 pages)},
doi = {10.1109/IPDPS.2007.370420},
url = {http://dx.doi.org/10.1109/IPDPS.2007.370420},
address = {Long Beach, California, United States},
publisher = {IEEE Computer Society Press},
year = 2007,
month = mar,
note = {Published electronically},

}

@inproceedings{bcv07:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Couturier, Rapha\"el and Vernier, Flavien},
title = {Synchronous Distributed Load Balancing on Totally Dynamic Networks},
booktitle = {IPDPS'2007, 21th IEEE and ACM Int. Symposium on Parallel and Distributed Processing Symposium},
pages = {(8 pages)},
doi = {10.1109/IPDPS.2007.370572},
url = {http://dx.doi.org/10.1109/IPDPS.2007.370572},
address = {Long Beach, California, United States},
publisher = {IEEE Computer Society Press},
month = mar,
year = 2007,
note = {Published electronically},

}

@inproceedings{bmm07b:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Makhoul, Abdallah and Mostefaoui, Ahmed},
title = {A Mobile Beacon Based Approach for Sensor Network Localization},
booktitle = {WiMob'07, 3rd IEEE Int. Conf. on Wireless and Mobile Computing, Networking and Communications},
pages = 44,
address = {New York, United States},
month = oct,
year = 2007,

}

@inproceedings{bmm07a:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Makhoul, Abdallah and Mostefaoui, Ahmed},
title = {Localization and Coverage for High Density Sensor Networks},
booktitle = {PerComW'07, 5th IEEE Int. Conf. on Pervasive Computing and Communications Workshops},
pages = {295--300},
address = {New York, United States},
publisher = {IEEE Computer Society Press},
month = mar,
year = 2007,

}

@inproceedings{brsr07b:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Benoit, Anne and Rehn-Sonigo, Veronika and Robert, Yves},
title = {Impact of {QoS} on Replica Placement in Tree Networks},
booktitle = {ICCS'07, Int. Conference on Computational Science},
publisher = {Springer},
year = 2007,

}

@inproceedings{brsr07a:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Benoit, Anne and Rehn-Sonigo, Veronika and Robert, Yves},
title = {Multi-criteria Scheduling of Pipeline Workflows},
booktitle = {HeteroPar'07, Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks (in conjunction with Cluster 2007)},
publisher = {IEEE Computer Society Press},
year = 2007,

}

@inproceedings{brsr07c:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Benoit, Anne and Rehn-Sonigo, Veronika and Robert, Yves},
title = {Strategies for Replica Placement in Tree Networks},
booktitle = {HCW'07, the 16th Heterogeneity in Computing Workshop},
publisher = {IEEE Computer Society Press},
year = 2007,

}

@inproceedings{bcgr+07:onp,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {COM},
author = {Betbeder, Marie-Laure and Ciekanski, M. and Greffier, Fran\c{c}oise and Reffay, Christophe and Chanier, Thierry },
title = {Comment sp\'ecifier, codifier et repr\'esenter les interactions multimodales synchrones issues de formations en ligne~: probl\'ematiques, m\'ethodologie et analyses},
booktitle = {EPAL~2007, Echanger pour Apprendre en Ligne},
address = {Grenoble, France},
url = {http://w3.u-grenoble3.fr/epal/dossier/06_act/pdf/betbeder.pdf},
abstract = {Le développement d'environnements de formation en ligne permettant aux utilisateurs de communiquer et de travailler ensemble de façon synchrone a suscité l'engouement de plus en plus de formateurs et d'apprenants depuis la dernière décennie. Ces plateformes de formation génèrent des interactions complexes entre les participants dont les analyses renouvellent le questionnement sur les traces et leurs traitements. Les travaux présentés dans cet article portent sur la transcription et l'analyse de données d'interactions multimodales synchrones issues d'une formation en ligne. Une description de la méthodologie développe le protocole de recueil des données, les conventions de transcription, l'organisation et la représentation des données. Des exemples d'analyses effectuées sur ces données à une échelle macroscopique et microscopique permettent de présenter des résultats et de discuter des atouts et des limites des outils employés. },
month = jun,
year = 2007,

}

@inproceedings{btr07:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Betbeder, Marie-Laure and Tissot, R\'egis and Reffay, Christophe},
title = {Recherche de patterns dans un corpus d'actions multimodales},
booktitle = {EIAH~2007},
pages = {533--544},
url = {http://edutice.archives-ouvertes.fr/edutice-00158881/fr/},
address = {Lausanne, Switzerland},
abstract = {Nous présentons dans cet article nos travaux sur la recherche de patterns dans un corpus d'actions multimodales issues d'une formation en ligne. De par la multitude et l'hétérogénéité des traces issues d'une formation en ligne, il devient difficile d'avoir une bonne appréhension des interactions. L'outil proposé a pour objectif d'aider un chercheur à analyser des données en repérant les épisodes récurrents (patterns). Ce premier repérage automatique peut ensuite être étudié plus précisément par l'analyste. Nous présentons ici, un premier bilan de l'outil implémenté.},
month = jun,
year = 2007,

}

@inproceedings{bhk07:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga},
title = {Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives},
booktitle = {INFINITY'07, Int. Ws. on Verification of Infinite-State Systems, joint to CONCUR'07},
month = sep,
pages = {44--53},
address = {Lisboa, Portugal},
year = 2007,
note = {The final version will be published in EN in Theoretical Computer Science, Elsevier},

}

@inproceedings{bcdg07:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Bouquet, Fabrice and Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and Giorgetti, Alain},
title = {Instantiation of Parameterized Data Structures for Model-Based Testing},
booktitle = {B'2007, the 7th Int. B Conference},
pages = {96--110},
series = {LNCS},
volume = 4355,
publisher = {Springer},
doi = {10.1007/11955757_10},
url = {http://dx.doi.org/10.1007/11955757_10},
editor = {Julliand, Jacques and Kouchnarenko, Olga},
address = {Besancon, France},
month = jan,
year = 2007,

}

@inproceedings{bdg07:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Groslambert, Julien},
title = {{JML2B}: Checking {JML} specifications with {B} machines},
booktitle = {B'2007, the 7th Int. B Conference - Tool Session},
pages = {285--288},
series = {LNCS},
volume = 4355,
publisher = {Springer},
editor = {Julliand, Jacques and Kouchnarenko, Olga},
address = {Besancon, France},
month = jan,
year = 2007,

}

@inproceedings{bglp+07:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Bouquet, Fabrice and Grandpierre, Christophe and Legeard, Bruno and Peureux, Fabien and Vacelet, Nicolas and Utting, Mark},
title = {A subset of precise {UML} for model-based testing},
booktitle = {A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing},
pages = {95--104},
isbn = {978-1-59593-850-3},
doi = {http://doi.acm.org/10.1145/1291535.1291545},
url = {http://doi.acm.org/10.1145/1291535.1291545},
address = {London, United Kingdom},
publisher = {ACM Press},
month = jul,
year = 2007,
note = {A-MOST'O7 is colocated with ISSTA 2007, Int. Symposium on Software Testing and Analysis},

}

@inproceedings{brocard07:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Brocard, Thibaud},
title = {Modeling and simulation of microsystem: holonic organization and wireless communication},
booktitle = {DFMA'07, 3rd int. workshop on Distributed Framework for Multimedia Applications},
pages = {61--68},
address = {Paris, France},
month = jul,
year = 2007,

}

@inproceedings{bfh07:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Butelle, Franck and Finta, Lucian and Hakem, Mourad},
title = {Real-Time Distributed Scheduling of Precedence Graphs on Arbitrary Wide Networks},
booktitle = {IPDPS'07},
pages = {1--6},
publisher = {IEEE Computer Society Press},
year = 2007,

}

@inproceedings{ccin07:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Caporuscio, M. and Charlet, Damien and Issarny, V. and Navarra, A.},
title = {Energetic performance of service-oriented multi-radio networks: issues and perspectives},
booktitle = {WOSP'07, Procs of the 6th int. workshop on Software and Performance},
pages = {42--45},
address = {Buenos Aires, Argentina},
publisher = {ACM Press},
url = {http://doi.acm.org/10.1145/1216993.1217002},
pdf = {http://rma.pu-pm.univ-fcomte.fr/bibadmin/uploads/pdf/CCIN-WOSP2007-CR.pdf},
year = 2007,
note = {ISBN 1-59593-297-6},

}

@inproceedings{cb07:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTIN},
author = {Chemak, Chockri and Bouhlel, M.-S.},
title = {A New Scheme of Image Watermarking Robust Against {JPEG} Compression Adapting to Terminal Multimedia For PocketNeuro Project},
booktitle = {E-Medisys 07, int. conf. on E-Medical Systems},
address = {Fez, Morocco},
pages = {47--51},
isbn = {9954-8905-0-5},
month = oct,
year = 2007,

}

@inproceedings{cbl07:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Chemak, Chockri and Bouhlel, M.-S. and Lapayre, Jean-Christophe},
title = {A New Scheme of Image Watermarking Based On 5/3 Wavelet Decomposition and Turbo Code},
booktitle = {ECC'07, European Computing Conference},
address = {Athens, Greece},
pages = {11--17},
month = sep,
year = 2007,

}

@inproceedings{cbl07:oip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {COM},
author = {Chemak, Chockri and Bouhlel, M.-S. and Lapayre, Jean-Christophe},
title = {A New Scheme of Robust Image Watermarking: The Double Watermarking Algorithm},
booktitle = {SCSC'07, Summer Computer Simulation Conference},
pages = {1207--1208},
address = {San Diego, United States},
isbn = {1-56555-316-0},
month = jul,
year = 2007,

}

@inproceedings{cbl07:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Chemak, Chockri and Bouhlel, M.-S. and Lapayre, Jean-Christophe},
title = {Un Nouveau Sch\'ema de Tatouage Aveugle Robuste \`a la Compression {JPEG} pour la D\'eontologie et le Transfert des Informations M\'edicales},
booktitle = {SETIT'07, 4th IEEE int. conf. on Sciences of Electronic, Technologies of Information and Telecommunications},
pages = {1--7},
isbn = {978-9973-63-474-2},
address = {Hammamet, Tunisia},
month = mar,
year = 2007,

}

@inproceedings{ccj07:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Chevrier, R. and Canalda, Philippe and Josselin, D.},
title = {Une approche g\'en\'etique multi-objectifs pour r\'esoudre le Transport \`a la Demande en multi-convergence},
booktitle = {ROADEF'07, 5\`eme journ\'ees Francophones de Recherche Op\'erationnelle (FRANCORO) et 8\`eme Congr\`es de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide \`a la D\'ecision},
pages = {133--134},
address = {Grenoble, France},
year = 2007,
month = feb,

}

@inproceedings{cd07:bl,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {ie},
classement = {*},
author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric},
title = {Guiding the Correction of Parameterized Specifications},
booktitle = {IFM'07, 6th Int. Conf. on Integrated Formal Methods},
pages = {176--194},
series = {LNCS},
volume = 4591,
publisher = {Springer},
doi = {10.1007/978-3-540-73210-5_10},
url = {http://dx.doi.org/10.1007/978-3-540-73210-5_10},
address = {Oxford, UK},
month = jul,
year = 2007,

}

@inproceedings{ch07:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Couchot, Jean-Fran\c{c}ois and Hubert, T.},
title = {A Graph-based Strategy for the Selection of Hypotheses},
booktitle = {FTP'07, Int. Workshop on First-Order Theorem Proving},
address = {Liverpool, UK},
month = sep,
year = 2007,

}

@inproceedings{cl07:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Couchot, Jean-Fran\c{c}ois and Lescuyer, S.},
title = {Handling Polymorphism in Automated Deduction},
booktitle = {CADE'07, 21st Int. Conf. on Automated Deduction},
pages = {263--278},
series = {LNCS},
volume = 4603,
publisher = {Springer},
isbn = {978-3-540-73594-6},
doi = {10.1007/978-3-540-73595-3_18},
url = {http://dx.doi.org/10.1007/978-3-540-73595-3_18},
address = {Bremen, Germany},
month = jul,
year = 2007,

}

@inproceedings{couturier07:np,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTN},
author = {Couturier, Rapha\"el},
title = {{CHIC}: utilisation et fonctionnalit\'es},
booktitle = {ASI'07, 4e Rencontres Analyse Statistique Implicative},
pages = {41--50},
address = {Castellon, Spain},
month = oct,
year = 2007,

}

@inproceedings{cd07:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Couturier, Rapha\"el and Domas, St\'ephane},
title = {{CRAC}: a Grid Environment to solve Scientific Applications with Asynchronous Iterative Algorithms},
booktitle = {IPDPS'2007, 21th IEEE and ACM Int. Symposium on Parallel and Distributed Processing Symposium},
pages = {(8 pages)},
doi = {10.1109/IPDPS.2007.370568},
url = {http://dx.doi.org/10.1109/IPDPS.2007.370568},
address = {Long Beach, California, United States},
publisher = {IEEE Computer Society Press},
month = mar,
year = 2007,
note = {Published electronically},

}

@inproceedings{dhm07:bl,
inhal = {no},
equipe = {vesontio},
classement = {*},
author = {Dadeau, Fr\'ed\'eric and Haddad, Amal and Moutet, T.},
title = {Test fonctionnel de conformit\'e vis-\`a-vis d'une politique de contr\^ole d'acc\`es},
booktitle = {{AFADL}'07, {A}pproches {F}ormelles dans l'{A}ssistance au {D}\'eveloppement de {L}ogiciels},
address = {Namur, Belgique},
month = jun,
year = 2007,

}

@inproceedings{dldb07b:bl,
inhal = {no},
equipe = {vesontio},
classement = {ACTI},
author = {Dadeau, Fr\'ed\'eric and Ledru, Yves and du Bousquet, L.},
title = {Directed Random Reduction of Combinatorial Test Suites},
booktitle = {RT'07, 2nd Int. Workshop on Random Testing, co-located with ASE'07, the 22nd IEEE/ACM Int. Conf. on Automated Software Engineering},
pages = {18--25},
address = {Atlanta, USA},
publisher = {ACM Press},
month = nov,
year = 2007,

}

@inproceedings{dldb07a:bl,
inhal = {no},
equipe = {vesontio},
classement = {ACTI},
author = {Dadeau, Fr\'ed\'eric and Ledru, Yves and du Bousquet, L.},
title = {Measuring the Coverage of a Java Test Suite using {JML} Specifications},
booktitle = {MBT'07, 3rd Int. Workshop on Model-Based Testing, co-located with ETAPS'2007)},
pages = {21--32},
series = {ENTCS},
volume = 190,
editor = {Finkbeiner, B. and Gurevich, Y. and Petrenko, A.K.},
address = {Braga, Portugal},
month = apr,
year = 2007,

}

@inproceedings{dhjg+07:oip,
inhal = {no},
domainehal = {INFO:INFO_MO, INFO:INFO_NI},
equipe = {ie},
classement = {COM},
author = {Damy, Sylvie and Herrmann, B\'en\'edicte and Jacques, Isabelle and Girardot, J.-J. and Masselot, C.},
title = {The contribution of the computer science as well as the information and communication science approaches for the editorial function of the territorial information systems},
booktitle = {Int. Conf. on Territorial Intelligence},
address = {Huelva, Spain},
month = oct,
year = 2007,

}

@inproceedings{ddgl+07:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_DC},
equipe = {ie},
classement = {ACTIN},
author = {Descourvi\`eres, E. and Debricon, St\'ephane and Gendreau, D. and Lutz, P. and Philippe, Laurent and Bouquet, Fabrice},
title = {Towards automatic control for microfactories},
booktitle = {5th Int. Conf. on Industrial automation},
pages = {***--***},
organization = {ETS},
address = {Montr\'eal, Qu\'ebec, Canada},
isbn = {ISBN 978-2-9802946-4-8},
month = jun,
year = 2007,
note = {ISBN 978-2-9802946-4-8},

}

@inproceedings{dmc07:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Devarenne, Isabelle and Mabed, Hakim and Caminada, Alexandre},
title = {Auto-adaptation de la dur\'ee tabou dans une m\'ethode de recherche locale},
booktitle = {ROADEF'07, 7e Congr\`es de la Soci\'et\'e Francaise de Recherche Op\'erationnelle et d'Aide \`a la D\'ecision},
pages = {***--***},
year = 2007,

}

@inproceedings{drs07:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
title = {Mod\`eles de propagation pour les r\'eseaux mobiles ad hoc \`a large \'echelle},
classement = {COM},
author = {Dhoutaut, Dominique and Regis, A. and Spies, Fran\c{c}ois},
booktitle = {IRAMUS'06 workshop, Interface RAdio pour les r\'eseaux MUlti-Sauts},
address = {Val-thorens, France},
month = jan,
year = 2007,

}

@inproceedings{ds07:ip,
iinhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Dhoutaut, Dominique and Spies, Fran\c{c}ois},
title = {Adding Geographical Interferences into the Shadowing Pattern Model for Vehicular Ad Hoc Networks Simulations},
booktitle = {ITST'07. 7th Int. Conf. on Intelligent Transport Systems Communications},
pages = {1--6},
isbn = {1-4244-1178-5},
doi = {10.1109/ITST.2007.4295843},
url = {http://dx.doi.org/10.1109/ITST.2007.4295843},
address = {Sophia Antipolis, France},
year = 2007,

}

@inproceedings{egl07:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Elmarzouqi, Nabil and Garcia, Eric and Lapayre, Jean-Christophe},
title = {{ACCM}: a New Architecture Model for {CSCW}},
booktitle = {CSCWD'07, 11th IEEE int. conf. on Computer Supported Cooperative Work in Design},
pages = {84--91},
isbn = {1-4244-0962-4},
address = {Melbourne, Australia},
month = apr,
year = 2007,

}

@inproceedings{egl07:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Elmarzouqi, Nabil and Garcia, Eric and Lapayre, Jean-Christophe},
title = {Continuum de Collaboration Augment\'ee dans un nouveau mod\`ele de {TCAO}},
booktitle = {SETIT'07, 4th IEEE int. conf. on Sciences of Electronic, Technologies of Information and Telecommunications},
pages = {94--106},
isbn = {978-9973-63-474-2},
address = {Hammamet, Tunisia},
month = mar,
year = 2007,

}

@inproceedings{eglh07:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Elmarzouqi, Nabil and Garcia, Eric and Lapayre, Jean-Christophe and Humbert, P.},
title = {Use of {ACCM} Model for teledermatology implementation},
booktitle = {DFMA'07, 3rd int. workshop on Distributed Framework for Multimedia Applications},
pages = {84--89},
address = {Paris, France},
month = jul,
year = 2007,

}

@inproceedings{gbbs07:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Ganame, Abdoul-Karim and Bourgeois, Julien and Bidou, Renaud and Spies, Fran\c{c}ois},
title = {A {G}lobal {S}ecurity {A}rchitecture for {I}ntrusion {D}etection on {C}omputer {N}etworks},
booktitle = {SSN'07, Int. Workshop on Security in Systems and Networks. Joint to IPDPS'07, 21th IEEE and ACM Int. Symposium on Parallel and Distributed Processing Symposium},
pages = {(8 pages)},
doi = {10.1109/IPDPS.2007.370621},
url = {http://dx.doi.org/10.1109/IPDPS.2007.370621},
address = {Long Beach, California, United States},
publisher = {IEEE Computer Society Press},
month = mar,
year = 2007,
note = {Published electronically},

}

@inproceedings{gbbs07:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Ganame, Abdoul-Karim and Bourgeois, Julien and Bidou, Renaud and Spies, Fran\c{c}ois},
title = {{E}valuation des {C}apacit\'es de {D}\'etection d'{I}ntrusions et des {P}erformances d'un {C}entre de {G}estion de la {S}\'ecurit\'e},
address = {Marne la Vall\'ee, France},
booktitle = {JDIR'07, 8\`emes {J}ourn\'ees {D}octorales {I}nformatique et {R}\'eseau},
month = jan,
year = 2007,

}

@inproceedings{gg07:np,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTN},
author = {Giorgetti, Alain and Groslambert, Julien},
title = {Un programme annot\'e en vaut deux},
booktitle = {JFLA'07, Journ\'ees francophones des langages applicatifs},
pages = {87--101},
editor = {Pierre-Etienne Moreau},
publisher = {INRIA},
address = {Aix-les-Bains, France},
month = jan,
year = 2007,

}

@inproceedings{gmdh+07:oip,
inhal = {no},
domainehal = {INFO:INFO_MO, INFO:INFO_NI},
equipe = {ie},
classement = {COM},
author = {Girardot, J.-J. and Masselot, C. and Damy, Sylvie and Herrmann, B\'en\'edicte and Jacques, Isabelle and Sanchez, C. and Asensio, M.J.},
title = {Progress and prospects in designing tools of territorial intelligence ({WP6 of CAENTI})},
booktitle = {Int. Conf. on Territorial Intelligence},
pages = {81--104},
address = {Huelva, Spain},
month = oct,
year = 2007,

}

@inproceedings{gbcm07:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Gondran, Alexandre and Baala, Oumaya and Caminada, Alexandre and Mabed, Hakim},
title = {{3-D BSS} Geometric Indicator for {WLAN} Planning},
booktitle = {ICS'07, Int. Conf. on Software},
pages = {1--5},
month = sep,
year = 2007,

}

@inproceedings{gbcm07b:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Gondran, Alexandre and Baala, Oumaya and Caminada, Alexandre and Mabed, Hakim},
title = {Joint Optimization of Access Point Placement and Frequency Assignment in {WLAN}},
booktitle = {3rd IEEE Int. Conf. in Central Asia on Internet},
pages = {1--5},
month = sep,
year = 2007,

}

@inproceedings{groslambert07:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Groslambert, Julien },
title = {A {JAG} extension for verifying {LTL} properties on {B} Event Systems},
booktitle = {B'2007, the 7th Int. B Conference - Tool Session},
pages = {262--265},
series = {LNCS},
volume = 4355,
publisher = {Springer},
editor = {Julliand, Jacques and Kouchnarenko, Olga},
address = {Besancon, France},
month = jan,
year = 2007,

}

@inproceedings{groslambert07:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Groslambert, Julien},
title = {Verification of {LTL} on {B} Event Systems},
booktitle = {B'2007, the 7th Int. B Conference},
pages = {111--125},
series = {LNCS},
volume = 4355,
publisher = {Springer},
editor = {Julliand, Jacques and Kouchnarenko, Olga},
address = {Besancon, France},
month = jan,
year = 2007,

}

@inproceedings{hakem07:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Hakem, Mourad},
title = {Reliability and Scheduling on Systems Subject to Failures},
booktitle = {ICPP'07, 36th IEEE Int. Conf. on Parallel Processing},
pages = {38--38},
publisher = {IEEE Computer Society Press},
doi = {10.1109/ICPP.2007.72},
url = {http://dx.doi.org/10.1109/ICPP.2007.72},
year = 2007,

}

@inproceedings{hppm07:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Herman, T. and Pemmaraju, S.V. and Pilard, Laurence and Mjelde, M.},
title = {Temporal Partition in Sensor Networks},
booktitle = {SSS'07, 9th int. symposium on Stabilization, Safety, and Security of Distributed Systems},
publisher = {Springer},
volume = 4838,
editor = {Toshimitsu Masuzawa and S{\'e}bastien Tixeuil},
pages = {325--339},
series = {LNCS},
address = {Paris, France},
month = nov,
year = 2007,

}

@inproceedings{hbce+07:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Hippolyte, Jean-Laurent and Bloch, Christelle and Chatonnay, Pascal and Espanet, Christophe and Chamagne, Didier},
title = {A Self-adaptive Multiagent Evolutionary Algorithm for Electrical Machine Design},
booktitle = {GECCO'07, 9th annual conference on Genetic and evolutionary computation},
volume = 2,
editor = {Dirk Thierens and others},
pages = {1250--1255},
publisher = {ACM Press},
address = {New York, United States},
year = 2007,

}

@inproceedings{hecb+07:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Hippolyte, Jean-Laurent and Espanet, Christophe and Chamagne, Didier and Bloch, Christelle and Chatonnay, Pascal},
title = {A Multiagent Evolutionary Algorithm to Design Complex Electric Systems},
booktitle = {1st Int. Conf. on Multidisciplinary Optimization and Applications},
editor = {D.H. Bassir and J.L. Zapico Valle and W.H. Zhang and D. Chamoret and S. Guessama},
organization = {ASMDO},
year = 2007,

}

@inproceedings{hufflen07:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Hufflen, Jean-Michel},
title = {Implementing Language-Dependent Lexicographic Orders in {pgScheme}},
booktitle = {Proc. of the 8th Workshop on {Scheme} and {Functional} {Programming}},
editor = {Danny Dub\'e},
series = {University Laval, Technical Report},
volume = {DIUL--RT--0701},
pages = {139--144},
address = {Freiburg, Germany},
langue = {English},
month = sep,
year = 2007,

}

@inproceedings{hkv07:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {H\'eam, Pierre-Cyrille and Kouchnarenko, Olga and Voinot, J\'er\^ome},
title = {How to Handle {QoS} Aspects in Web Services Substitutivity Verification},
booktitle = {WETICE'07, 16th IEEE Int. Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises},
pages = {333--338},
address = {Paris, France},
publisher = {IEEE Computer Society Press},
month = jun,
year = 2007,

}

@inproceedings{hlpp+07:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {H\'erault, T. and Lemarinier, P. and Peres, O. and Pilard, Laurence and Beauquier, J.},
title = {A Model for Large Scale Self-Stabilization},
publisher = {IEEE Computer Society Press},
booktitle = {{IPDPS} 2007, Parallel and Distributed Processing Symposium},
pages = {1--10},
month = mar,
address = {Long Beach, California, USA},
year = 2007,

}

@inproceedings{jl07:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Jaffuel, Eddie and Legeard, Bruno},
title = {{LEIRIOS} {T}est {G}enerator: Automated Test Generation from {B} models},
booktitle = {B'2007, the 7th Int. B Conference - Industrial Tool Session},
pages = {277--280},
series = {LNCS},
volume = 4355,
publisher = {Springer},
editor = {Julliand, Jacques and Kouchnarenko, Olga},
address = {Besancon, France},
month = jan,
year = 2007,

}

@inproceedings{jmo07b:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie},
title = {Preservation of timed properties during an incremental development by components},
booktitle = {ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation},
pages = {159--166},
series = {RNTI, Revue des Nouvelles Technologies de l'Information},
editor = {Ait Ameur, Y. and Boniol, F. and Wiels, V.},
publisher = {C\'epadu\`es \'editions},
address = {Poitiers, France},
month = dec,
year = 2007,

}

@inproceedings{jmo07:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie},
title = {{VeSTA} : V\'erification de la pr\'eservation des propri\'et\'es d'un composant lors de son int\'egration dans un syst\`eme temporis\'e},
booktitle = {AFADL'07, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels - Session Outils},
pages = {289--290},
address = {Namur, Belgium},
month = jun,
year = 2007,

}

@inproceedings{jmo07:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Julliand, Jacques and Mountassir, Hassan and Oudot, Emilie},
title = {{VeSTA} : a Tool to Verify the Correct Integration of a Component in a Composite Timed System},
booktitle = {ICFEM'07, the 9th Int. Conf. on Formal Engineering Methods},
pages = {116--135},
volume = 4789,
series = {LNCS},
publisher = {Springer},
editor = {Butler, M. and Hinchey, M. and Larrondo-Petrie, M.M.},
address = {Boca Raton, Florida, United States},
month = nov,
year = 2007 
}

@inproceedings{llbb+07:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Laleau, R\'egine and Ledru, Yves and Bert, Didier and Bouquet, Fabrice and Lemoine, Michel and Dubois, Catherine and Vignes, Sylvie and Vigui\'e Donzeau-Gouge, V\'eronique.},
title = {Using Computer Science Modeling Techniques for Airport Security Certification},
booktitle = {RCIS'07, 1st Int. Conf. on Research Challenges in Information Science},
pages = {61--72},
address = {Ouarzazate, Morocco},
month = apr,
year = 2007,

}

@inproceedings{le07:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Le, Hung-Cuong},
title = {A Clustered Data-Centric Storage for Wireless Sensor Networks},
booktitle = {DFMA'07, 3rd IEEE int. workshop on Distributed Framework for Multimedia Applications},
pages = {90--96},
address = {Paris, France},
month = jul,
year = 2007,

}

@inproceedings{lgf07:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Le, Hung-Cuong and Guyennet, Herv\'e and Felea, Violeta},
title = {{OBMAC}: An Overhearing Based {MAC} Protocol for Wireless Sensor Networks},
booktitle = {SENSORCOMM'07, int. conf. on Sensor Technologies and Applications},
pages = {547--553},
address = {Valencia, Spain},
month = oct,
year = 2007,

}

@inproceedings{lgfz07:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Le, Hung-Cuong and Guyennet, Herv\'e and Felea, Violeta and Zerhouni, N.},
title = {A Low Latency {MAC} Scheme for Event-Driven Wireless Sensor Networks},
booktitle = {MSN'07, Mobile Ad-Hoc and Sensor Network},
pages = {291--301},
address = {Beijing, China},
year = 2007,

}

@inproceedings{lgz07a:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Le, Hung-Cuong and Guyennet, Herv\'e and Zerhouni, N.},
title = {A New Contention Access Method for Collision Avoidance in Wireless Sensor Networks},
booktitle = {ICN'07, 6th int. conf. on Networking},
pages = {27--34},
url = {http://dx.doi.org/10.1109/ICN.2007.4},
doi = {10.1109/ICN.2007.4},
address = {Sainte-Luce, Martinique, France},
editor = {Cosmin Dini and Zdenek Smekal and Emanuel Lochin and Pramode Verma},
publisher = {IEEE Computer Society Press},
month = apr,
year = 2007,

}

@inproceedings{lgz07b:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTIN},
author = {Le, Hung-Cuong and Guyennet, Herv\'e and Zerhouni, N.},
title = {Mobile Effect Reduction in Data-Centric Storage for Wireless Sensor Networks},
booktitle = {IE'07, 3rd int. conf. on Intelligent Environments},
pages = {304--311},
address = {Ulm, Germany},
month = sep,
year = 2007,

}

@inproceedings{lddbv+07:bl,
inhal = {no},
equipe = {vesontio},
classement = {ACTI},
author = {Ledru, Yves and Dadeau, Fr\'ed\'eric and du Bousquet, L. and Ville, S. and Rose, E.},
title = {Mastering Combinatorial Explosion with the {Tobias-2} Test Generator},
booktitle = {ASE'07, 22nd IEEE/ACM Int. Conf. on Automated Software Engineering, Tool Session},
pages = {535--536},
address = {Atlanta, USA},
publisher = {ACM Press},
month = nov,
year = 2007,

}

@inproceedings{lvrdb+07:bl,
inhal = {no},
equipe = {vesontio},
classement = {*},
author = {Ledru, Yves and Ville, S. and Rose, E. and du Bousquet, L. and Dadeau, Fr\'ed\'eric},
title = {{Tobias-2}, un outil pour la ma\^itrise de tests combinatoires},
booktitle = {AFADL'07, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, Session outils},
address = {Namur, Belgium},
month = jun,
year = 2007,

}

@inproceedings{ldbda07:bl,
inhal = {no},
equipe = {vesontio},
classement = {ACTI},
author = {Ledru, Yves and du Bousquet, L. and Dadeau, Fr\'ed\'eric and Allouti, F.},
title = {A Case Study in Matching Test and Proof Coverage},
booktitle = {MBT'07, 3rd Int. Workshop on Model-Based Testing, co-located with ETAPS'2007)},
pages = {73--84},
series = {ENTCS},
volume = 190,
editor = {Finkbeiner, B. and Gurevich, Y. and Petrenko, A.K.},
address = {Braga, Portugal},
month = apr,
year = 2007,

}

@inproceedings{lrlplb+07:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Lemoine, Michel and R. Lopez Ruiz, Eduardo and Ledru, Yves and Bert, Didier and Laleau, R\'egine and Peureux, Fabien and Bouquet, Fabrice and Donzeau-Gouge, V\'eronique and Dubois, Catherine and Etienne, Jean-Fr\'ed\'eric and Vignes, Sylvie},
title = {{EDEMOI}: a methodology for security of air transport system},
bookTitle = {EUCASS'10, 2nd European Conference on Aerospace Sciences},
year = 2007,

}

@inproceedings{lds07:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Linck, S\'ebastien and Dedu, Eugen and Spies, Fran\c{c}ois},
title = {Distance-Dependent {RED} Policy ({DDRED})},
booktitle = {ICN'07, 6th int. conf. on Networking},
pages = {51--57},
url = {http://dx.doi.org/10.1109/ICN.2007.37},
doi = {10.1109/ICN.2007.37},
editor = {Cosmin Dini and Zdenek Smekal and Emanuel Lochin and Pramode Verma},
address = {Sainte-Luce, Martinique, France},
publisher = {IEEE Computer Society Press},
month = apr,
year = 2007,

}

@inproceedings{ldrg07:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Louat, C. and Deschinkel, Karine and Roucairol, C. and Gonzalez, R.},
title = {Mixing Gomory mixed integer inequalities with others cutting plane},
booktitle = {ECCO'07, European Chapter on Combinatorial Optimization},
pages = {***--***},
address = {Chypre},
month = may,
year = 2007,

}

@inproceedings{mdc07:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Mabed, Hakim and Devarenne, Isabelle and Caminada, Alexandre},
title = {Frequency Planning for Slow Frequency Hopping System},
booktitle = {Int. Network Optimization Conference},
month = apr,
year = 2007,

}

@inproceedings{mmpt07:bl,
inhal = {no},
equipe = {and},
title = {A New Self-stabilizing Maximal Matching Algorithm},
classement = {*},
author = {Manne, F. and Mjelde, M. and Pilard, Laurence and Tixeuil, S.},
booktitle = {{SIROCCO} 2007, 14th International Colloquium on Structural Information and Communication Complexity},
publisher = {Springer},
volume = 4474,
editor = {Giuseppe Prencipe and Shmuel Zaks},
pages = {96--108},
series = {LNCS},
address = {Castiglioncello, Italy},
month = jun,
year = 2007,

}

@inproceedings{mjpj+07:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Masson, Pierre-Alain and Julliand, Jacques and Plessis, J.-C. and Jaffuel, Eddie and Debois, Georges},
title = {Automatic Generation of Model Based Tests for a Class of Security Properties},
booktitle = {A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing},
accrate = 60,
pages = {12--22},
isbn = {978-1-59593-850-3},
doi = {http://doi.acm.org/10.1145/1291535.1291537},
url = {http://doi.acm.org/10.1145/1291535.1291537},
address = {London, United Kingdom},
publisher = {ACM Press},
month = jul,
year = 2007,
note = {A-MOST'O7 is colocated with ISSTA 2007, Int. Symposium on Software Testing and Analysis},

}

@inproceedings{nrb07:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Noras, Muriel and Reffay, Christophe and Betbeder, Marie-Laure},
title = {Structuration de corpus de formation en ligne en vue de leur \'echange},
booktitle = {EIAH~2007},
pages = {59--64},
url = {http://edutice.archives-ouvertes.fr/edutice-00154372/fr/},
address = {Lausanne, Switzerland},
month = jun,
year = 2007,

}

@inproceedings{pbl07:oip,
inhal = {no},
domainehal = {INFO:INFO_MO, INFO:INFO_NI, INFO:INFO_SE},
equipe = {ie},
classement = {COM},
author = {Pretre, Vincent and Bouquet, Fabrice and Lang, Christophe},
title = {A Model-Based Validation Framework for Web Services},
booktitle = {STV07, Procs of the 5th workshop on Systems Testing and Validation},
pages = {63--76},
address = {Paris, France},
month = dec,
year = 2007,

}

@inproceedings{rcnb07:onp,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {COM},
author = {Reffay, Christophe and Chanier, Thierry and Noras, Muriel and Betbeder, Marie-Laure},
title = {Contribution \`a la structuration de corpus d'apprentissage pour un meilleur partage en recherche},
booktitle = {EPAL~2007, Echanger pour Apprendre en Ligne},
address = {Grenoble, France},
url = {http://w3.u-grenoble3.fr/epal/dossier/06_act/pdf/reffay.pdf},
abstract = {Du point de vue méthodologique, pour permettre une analyse des interactions situées, il convient de relier les différentes données issues de formations en ligne, pour construire un objet d'analyse, exploitable par différentes équipes et disciplines. Le constat actuel est que les données sont souvent décontextualisées, parcellaires ou simplement inaccessibles. Nous définissons le corpus d'apprentissage, en identifiant l'information qu'il doit contenir et une certaine structuration pour rendre possible son échange et la capitalisation des analyses. Le protocole de recherche, le scénario pédagogique, les interactions, productions et traces, les licences et les analyses capitalisables en sont les principaux constituants. Nous illustrons la démarche de construction d'un tel corpus sur l'exemple de la formation Simuligne. Ce travail est ensuite positionné au regard des questions d'éthique et de droit, des efforts de standardisation et des avancées sur l'analyse des traces en EIAH pour rendre les outils d'analyse interopérables.},
month = jun,
year = 2007,

}

@inproceedings{rehn-sonigo07:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Rehn-Sonigo, Veronika},
title = {Optimal Closest Policy with {QoS} and Bandwidth Constraints for Placing Replicas in Tree Networks},
booktitle = {CoreGRID'07, Core GRID Symposium},
publisher = {Springer},
year = 2007,

}

@inproceedings{rsrv07:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Rehn-Sonigo, Veronika and Robert, Yves and Vivien, Fr\'ed\'eric},
title = {Scheduling and data redistribution strategies on star platforms},
booktitle = {PDP'2007, 15th Euromicro Workshop on Parallel, Distributed and Network-based Processing},
publisher = {IEEE Computer Society Press},
year = 2007,

}

@inproceedings{svlgz07:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Saint-Voirin, David and Lang, Christophe and Guyennet, Herv\'e and Zerhouni, N.},
title = {Scoop: a complete methodology for cooperative systems modeling and analysis},
booktitle = {ICCGI'07, 2nd IEEE Int. Conf. on Computing in the Global Information Technology Challanges for the Next Generation of IT and C},
pages = {47--54},
address = {Guadeloupe, France},
month = mar,
year = 2007,

}

@inproceedings{vmms+07:onp,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {COM},
author = {Vasseur, Aur\'elien and Marin, E. and Makovicka, Libor and Sauget, Marc and Contassot-Vivier, Sylvain and Bahi, Jacques},
title = {Utilisation d'un code de calcul dosim\'etrique bas\'e sur les R\'eseaux de Neurones Artificiels et la m\'ethode de Monte-Carlo},
booktitle = {1er Forum CGE},
address = {Vittel, France},
month = oct,
year = 2007,

}