@inproceedings{abm09:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Alustwani, Husam and Bahi, Jacques and Mostefaoui, Ahmed},
title = {{JS}treaper : a {J}ava Adaptive {P2P} Streaming System},
booktitle = {ICMCS'09, IEEE Int. Conf. on Multimedia Computing and Systems},
pages = {181--186},
month = apr,
year = 2009,

}

@inproceedings{aegl09:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Aupet, Jean-Baptiste and Elmarzouqi, Nabil and Garcia, Eric and Lapayre, Jean-Christophe},
booktitle = {SETIT 2009, 5th Int. Conf. on Sciences of Electronic, Technologies of Information and Telecommunications},
title = {Virtual Awareness Card for adaptability in Collaborative Virtual Environments},
pages = {228--234},
publisher = {IEEE Computer Society Press},
address = {Hammamet, Tunisia},
month = mar,
year = 2009,

}

@inproceedings{akl09:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Aupet, Jean-Baptiste and Kassab, Rami and Lapayre, Jean-Christophe},
title = {{WAVA}: a New Web Service for Automatic Video Data Flow Adaptation in Heterogeneous Collaborative Environments},
booktitle = {CDVE'09: 6th Int. Conf. on Cooperative Design, Visualization and Engineering},
series = {LNCS},
volume = 5738,
doi = {10.1007/978-3-642-04265-2_42},
url = {http://dx.doi.org/10.1007/978-3-642-04265-2_42},
pages = {280--288},
address = {Luxembourg City, Luxembourg},
month = sep,
year = 2009,

}

@inproceedings{bgw09:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Guyeux, Christophe and Wang, Qianxue},
title = {A novel pseudo-random generator based on discrete chaotic iterations},
booktitle = {INTERNET'09, 1-st Int. Conf. on Evolving Internet},
pages = {71--76},
doi = {10.1109/INTERNET.2009.18},
url = {http://dx.doi.org/10.1109/INTERNET.2009.18},
address = {Cannes, France},
month = aug,
year = 2009,

}

@inproceedings{bhm09:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Hakem, Mourad and Mazouzi, Kamel},
title = {Reliable Parallel Programming Model for Distributed Computing Environments},
booktitle = {HeteroPar'09},
pages = {162--171},
address = {Delft, Netherlands},
series = {LNCS},
volume = 6043,
doi = {10.1007/978-3-642-14122-5_20},
url = {http://dx.doi.org/10.1007/978-3-642-14122-5_20},
publisher = {Springer},
year = 2009,

}

@inproceedings{bbdc+09:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Bardin, S. and Botella, B. and Dadeau, Fr\'ed\'eric and Charreteur, F. and Gotlieb, A. and Marre, B. and Michel, C. and Rueher, M. and Williams, N.},
title = {Constraint-Based Software Testing},
booktitle = {Journ\'ees du GDR G\'enie de la Programmation du Logiciel 2009},
editor = {Ledru, Yves and Pantel, M.},
pages = {204--208},
address = {Toulouse, France},
month = jan,
year = 2009,

}

@inproceedings{bcrsr09b:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Benoit, Anne and Casanova, Henri and Rehn-Sonigo, Veronika and Robert, Yves},
title = {Resource Allocation Strategies for Constructive In-Network Stream Processing},
booktitle = {{APDCM'09}, 11-th Workshop on Advances in Parallel and Distributed Computational Models},
publisher = {IEEE Computer Society Press},
year = 2009,

}

@inproceedings{bcrsr09a:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Benoit, Anne and Casanova, Henri and Rehn-Sonigo, Veronika and Robert, Yves},
title = {Resource Allocation for Multiple Concurrent In-network Stream-processing Applications},
booktitle = {{HeteroPar'09}, Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms},
publisher = {IEEE Computer Society Press},
year = 2009,

}

@inproceedings{bdnp09:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Benoit, Anne and Dobrila, Alexandru and Nicod, Jean-Marc and Philippe, Laurent},
title = {Throughput optimization for micro-factories subject to failures},
booktitle = {ISPDC'2009, 8th Int. Symposium on Parallel and Distributed Computing},
pages = {11--18},
address = {Lisbon, Portugal},
month = jul,
year = 2009,

}

@inproceedings{bhr09a:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Benoit, Anne and Hakem, Mourad and Robert, Yves},
title = {Optimizing the latency of streaming applications under throughput and reliability constraints},
booktitle = {{ICPP'09}, 38th IEEE Int. Conf. on Parallel Processing},
pages = {325--332},
publisher = {IEEE Computer Society Press},
year = 2009,

}

@inproceedings{bfg09:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Beydoun, Kamal and Felea, Violeta and Guyennet, Herv\'e},
title = {Wireless Sensor Network Infrastructure: Construction and Evaluation},
booktitle = {ICWMC'09, Int. Conf. on Wireless and Mobile Communications},
pages = {279--284},
accrate = 31,
address = {Cannes, France},
month = aug,
year = 2009,

}

@inproceedings{bhk09:ip,
inhal = {inria},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga},
title = {How to Tackle Integer Weighted Automata Positivity},
booktitle = {RP'09, 3rd Int. Workshop on Reachability Problems},
pages = {79--92},
url = {http://dx.doi.org/10.1007/978-3-642-04420-5_9},
doi = {10.1007/978-3-642-04420-5_9},
editor = {Bournez, Olivier and Potapov, Igor},
series = {LNCS},
volume = 5797,
publisher = {Springer},
address = {Paris, France},
month = sep,
year = 2009,

}

@inproceedings{bbjm09:np,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTN},
author = {Bouquet, Fabrice and Bu\'e, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain},
title = {G\'en\'eration de tests \`a partir de crit\`eres dynamiques de s\'election et par abstraction},
booktitle = {AFADL'09, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = {161--176},
address = {Toulouse, France},
month = jan,
year = 2009,

}

@inproceedings{beds09:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Bourgeois, Julien and Ernst-Desmulier, Jean-Baptiste and Spies, Fran\c{c}ois},
title = {Evaluation of a Performance Prediction Tool for Peer-to-Peer Distributed Computing Applications},
booktitle = {PMAC-2WN'09, workshop on Performance Modelling and Analysis of Communication in Wired and Wireless Networks. Held in conjunction with ICPADS'09},
pages = {814--820},
address = {Shenzhen, China},
doi = {10.1109/ICPADS.2009.34},
url = {http://dx.doi.org/10.1109/ICPADS.2009.34},
publisher = {IEEE Computer Society Press},
month = dec,
year = 2009,

}

@inproceedings{bs09:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Bourgeois, Julien and Syed, Raheel Hassan},
title = {Managing Security of Grid Architecture with a Grid Security Operation Center},
isbn = {978-989-674-005-4},
pages = {403--408},
booktitle = {SECRYPT'09, Int. Conf. on Security and Cryptography, Milan, Italy},
publisher = {INSTICC Press},
abstract = {Due to the nature of grid computing networks, security pitfalls are plethora and adversaries are sneaking to launch attacks. Keeping this scope in mind, we will discuss our proposed solution for securing grid computing networks that we have called gSOC (Grid Security Operation Center). The main advantage of gSOC is that it can give a global view of security of the entire grid infrastructure. The main difficulty is to deal with the specificities of grid infrastructure, that are: multi-sites networks, multi-administrative domains, dynamic collaboration between nodes and sites, high number of nodes to manage, no clear view of the foreign networks and exchange of security information among different domains.},
month = jul,
year = 2009,

}

@inproceedings{bdb09:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Boutoustous, Kahina and Dedu, Eugen and Bourgeois, Julien},
title = {A framework to Calibrate a {MEMS} Sensor Network},
booktitle = {UIC'09, 6-th Int. Conf. on Ubiquitous Intelligence and Computing},
editor = {Zhang, Daquing and Portmann, Marius and Tan, Ah-Hwee and Indulska, Jadwiga},
pages = {136--149},
series = {LNCS},
volume = 5585,
address = {Brisbane, Australia},
month = jul,
year = 2009,

}

@inproceedings{bdb09:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Boutoustous, Kahina and Dedu, Eugen and Bourgeois, Julien},
title = {Un calibrateur pour un r\'eseau de capteurs {MEMS}},
booktitle = {JDIR'09, 10\`emes Journ\'ees doctorales en informatique et r\'eseaux},
pages = {122--127},
editor = {Alexandre Caminada},
address = {Belfort, France},
month = feb,
year = 2009,

}

@inproceedings{ccl09a:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Charr, Jean-Claude and Couturier, Rapha\"el and Laiymani, David},
title = {{JACEP2P-V2}: a Fully Decentralized and Fault Tolerant Environment for Executing Parallel Iterative Asynchronous Applications on Volatile Distributed Architectures},
booktitle = {GPC'09, 4th Int. Conf. on Grid and Pervasive Computing},
pages = {446--458},
address = {Geneva, Switzerland},
series = {LNCS},
volume = 5529,
doi = {10.1007/978-3-642-01671-4_40},
url = {http://dx.doi.org/10.1007/978-3-642-01671-4_40},
month = may,
year = 2009,

}

@inproceedings{ccl09b:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Charr, Jean-Claude and Couturier, Rapha\"el and Laiymani, David},
title = {Parallel Numerical Asynchronous Iterative Algorithms: Large Scale Experimentations},
booktitle = {IPDPS'09, 23-rd IEEE/ACM Int. Parallel and Distributed Processing Symposium},
pages = {1--8},
address = {Roma, Italy},
publisher = {IEEE Computer Society Press},
doi = {10.1109/IPDPS.2009.5161158},
url = {http://dx.doi.org/10.1109/IPDPS.2009.5161158},
month = may,
year = 2009,
note = {Electronic Proceedings},

}

@inproceedings{cgs09:ip,
inhal = {inria},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {ie},
classement = {ACTI},
author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain and Stouls, Nicolas},
title = {{G}raph {B}ased {R}eduction of {P}rogram {V}erification {C}onditions},
abstract = {{I}ncreasing the automaticity of proofs in deductive verification of {C} programs is a challenging task. {W}hen applied to industrial {C} programs known heuristics to generate simpler verification conditions are not efficient enough. {T}his is mainly due to their size and a high number of irrelevant hypotheses. {T}his work presents a strategy to reduce program verification conditions by selecting their relevant hypotheses. {T}he relevance of a hypothesis is determined by the combination of a syntactic analysis and two graph traversals. {T}he first graph is labeled by constants and the second one by the predicates in the axioms. {T}he approach is applied on a benchmark arising in industrial program verification.},
affiliation = {{L}aboratoire d'{I}nformatique de l'{U}niversit{\'e} de {F}ranche-{C}omt{\'e} - {LIFC} - {INRIA} - {U}niversit{\'e} de {F}ranche-{C}omt{\'e} - {AMAZONES} - {CITI} {I}nsa {L}yon / {INRIA} {G}renoble {R}h{\^o}ne-{A}lpes - {INSA} - {I}nstitut {N}ational des {S}ciences {A}ppliqu{\'e}es - {INRIA} },
booktitle = {AFM'09, {A}utomated {F}ormal {M}ethods (colocated with {CAV}'09)},
publisher = {ACM Press},
pages = {40--47},
url = {http://arxiv.org/abs/0907.1357},
otherUrl = {http://hal.inria.fr/inria-00402204},
address = {Grenoble, France},
editor = {Hassen Sa\"{i}di and N. Shankar},
year = 2009,

}

@inproceedings{chk09:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Courbis, Rom\'eo and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga},
title = {{TAGED} Approximations for Temporal Properties Model-Checking},
booktitle = {CIAA'09, 14th Int. Conf. and Application of Automata},
series = {LNCS},
volume = 5642,
pages = {135--144},
editor = {Sebastian Maneth},
publisher = {Springer},
address = {Sydney, Australia},
url = {http://dx.doi.org/10.1007/978-3-642-02979-0_17},
doi = {10.1007/978-3-642-02979-0_17},
month = jul,
year = 2009,

}

@inproceedings{clm09:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Couturier, Rapha\"el and Laiymani, David and Miqu\'ee, S\'ebastien},
title = {High Performance Computing Using ProActive Environment and The Asynchronous Iteration Model},
booktitle = {IPDPS'09, ACM/IEEE Int. Parallel and Distributed Processing Symposium},
pages = {1--7},
doi = {10.1109/IPDPS.2009.5161086},
url = {http://dx.doi.org/10.1109/IPDPS.2009.5161086},
address = {Rome, Italy},
publisher = {IEEE Computer Society Press},
year = 2009,

}

@inproceedings{ccs09:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {AFF},
author = {Cypriani, Matteo and Canalda, Philippe and Spies, Fran\c{c}ois},
title = {Probl\'ematiques de s\'ecurit\'e dans un syst\`eme de g\'eolocalisation implicite},
booktitle = {CFIP'09, Colloque Francophone sur l'Ing\'enierie des Protocoles},
address = {Strasbourg, France},
month = oct,
year = 2009,
note = {2 pages, Poster session},

}

@inproceedings{chcs09:np,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Cypriani, Matteo and Henriet, Adrien and Canalda, Philippe and Spies, Fran\c{c}ois},
title = {\'Etude de l'interception et du positionnement de trafic {Wi-Fi} dans un environnement h\'et\'erog\`ene},
booktitle = {C\&ESAR'09, Computer and Electronics Security Applications Rendez-vous - Session R\'eseaux sans fil},
pages = {4--19},
address = {Rennes, France},
month = nov,
year = 2009,

}

@inproceedings{clcs09:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Cypriani, Matteo and Lassabe, Fr\'ed\'eric and Canalda, Philippe and Spies, Fran\c{c}ois},
title = {Open Wireless Positionning System: a {Wi-Fi}-Based Indoor Positionning System},
booktitle = {VTC-fall~2009, 70th IEEE Vehicular Technologie Conference},
doi = {10.1109/VETECF.2009.5378966},
url = {http://dx.doi.org/10.1109/VETECF.2009.5378966},
publisher = {IEEE Computer Society Press},
address = {Anchorage, Alaska, United States},
month = sep,
year = 2009,
note = {5 pages},

}

@inproceedings{clcz+09:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Cypriani, Matteo and Lassabe, Fr\'ed\'eric and Canalda, Philippe and Zirari, Soumaya and Spies, Fran\c{c}ois},
title = {Open Wireless Positioning System : un syst\`eme de g\'eopositionnement par Wi-Fi en int\'erieur},
booktitle = {JDIR'09, 10\`emes Journ\'ees Doctorales en Informatique et R\'eseaux - Session Syst\`emes de localisation},
pages = {73--78},
editor = {Alexandre Caminada},
address = {Belfort, France},
month = feb,
year = 2009,

}

@inproceedings{dadeau09:np,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTN},
author = {Dadeau, Fr\'ed\'eric},
title = {G\'en\'eration automatique de tests \`a partir de patrons de propri\'et\'es},
booktitle = {AFADL'09, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = {177--191},
address = {Toulouse, France},
month = jan,
year = 2009,

}

@inproceedings{dhl09:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Dadeau, Fr\'ed\'eric and H\'eam, Pierre-Cyrille and Levrey, J.},
title = {On the Use of Uniform Random Generation of Automata for Testing},
booktitle = {MBT'09 proceedings},
series = {ENTCS, Electronic Notes in Theoretical Computer Science},
pages = {37--51},
volume = {253-2},
editor = {Finkbeiner, B. and Gurevich, Y. and Petrenko, A.K.},
address = {York, United Kingdom},
month = mar,
year = 2009,

}

@inproceedings{dt09:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Dadeau, Fr\'ed\'eric and Tissot, R\'egis},
title = {{jSynoPSys} -- A Scenario-Based Testing Tool based on the Symbolic Animation of {B} Machines},
booktitle = {MBT'09 proceedings},
series = {ENTCS, Electronic Notes in Theoretical Computer Science},
pages = {117--132},
volume = {253-2},
url = {http://dx.doi.org/10.1016/j.entcs.2009.09.055},
doi = {10.1016/j.entcs.2009.09.055},
editor = {Finkbeiner, B. and Gurevich, Y. and Petrenko, A.K.},
address = {York, United Kingdom},
month = oct,
year = 2009,

}

@inproceedings{dhgm+09:oip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {COM},
author = {Damy, Sylvie and Herrmann, B\'en\'edicte and Girardot, J.-J. and Masselot, C. and Thomas, R\'emi},
title = {First steps in the modelling of Territorial Intelligence Community Systems},
booktitle = {Int. Conf. of Territorial Intelligence},
address = {Salermo, Italy},
month = nov,
year = 2009,

}

@inproceedings{dbl09:np,
inhal = {inria},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
title = {From Business Processes to Integration Testing},
classement = {ACTN},
author = {Debricon, St\'ephane and Bouquet, Fabrice and Legeard, Bruno},
booktitle = {IDM'09, 5\`emes journ\'ees sur l'Ing\'eni\'erie Dirig\'ee par les Mod\`eles},
address = {Nancy, France},
volume = 1,
editor = {Zendra, Olivier},
url = {http://cal-idm-lmo-2009.loria.fr/IDM/idm.html},
month = mar,
year = 2009,

}

@inproceedings{dl09:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Dedu, Eugen and Lochin, E.},
title = {A Study on the Benefit of {TCP} Packet Prioritisation},
booktitle = {PDP'09, 17th Euromicro Int. Conf. on Parallel, Distributed, and Network-Based Processing},
pages = {161--166},
address = {Weimar, Germany},
month = feb,
year = 2009,

}

@inproceedings{dt09:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Deschinkel, Karine and Touati, S.A.A.},
title = {Une heuristique efficace pour l'ordonnancement p\'eriodique de t\^aches avec contraintes de stockage},
booktitle = {ROADEF'09, 10e conf\'erence de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide \'a la D\'ecision},
address = {Nancy, France},
month = feb,
year = 2009,

}

@inproceedings{dmnp09:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Diakit\'e, S\'ekou and Marchal, Loris and Nicod, Jean-Marc and Philippe, Laurent},
title = {Steady-State for Batches of Identical Task Graphs},
booktitle = {Euro-Par'09},
pages = {203--215},
series = {LNCS},
volume = 5704,
address = {Delft, Netherlands},
month = aug,
year = 2009,

}

@inproceedings{dcm09:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Dib, Mohammad and Caminada, Alexandre and Mabed, Hakim},
title = {{MinOrder} optimization in {FAP} with nogood-tabu search},
booktitle = {CIE'09, IEEE International Computers \& Industrial Engineering Conference},
pages = {525--530},
address = {Troyes, France},
month = jul,
year = 2009,

}

@inproceedings{ddmc09:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Dib, Mohammad and Devarenne, Isabelle and Mabed, Hakim and Caminada, Alexandre},
title = {\'Etude Comparative de Recherche Locale et de Propagation de Contraintes en {CSP} n-aire},
booktitle = {ROADEF'09, 10e conf\'erence de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide \'a la D\'ecision},
pages = {332--333},
month = feb,
year = 2009,

}

@inproceedings{dmc09:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Dib, Mohammad and Mabed, Hakim and Caminada, Alexandre},
title = {A fast Algorithm to solve frequency assignment problem},
booktitle = {CPAIOR'09, Integration of {AI} and {OR} Techniques in Constraint Programming},
series = {LNCS},
volume = 5547,
pages = {316--318},
publisher = {Springer},
month = may,
year = 2009,

}

@inproceedings{dmc09:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Dib, Mohammad and Mabed, Hakim and Caminada, Alexandre},
title = {Nogood Recording with Tabu Search for {CSP} (Application to {FAP})},
booktitle = {AMS'09, 3rd Asia Modelling Symposium},
pages = {218--223},
doi = {10.1109/AMS.2009.106},
url = {http://doi.ieeecomputersociety.org/10.1109/AMS.2009.106},
month = may,
year = 2009,

}

@inproceedings{dlg09:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Dini, O. and Lorenz, Pascal and Guyennet, Herv\'e},
title = {An Enhanced Framework for Web Recommenders},
booktitle = {SERVICECOMP'09, 1st Int. Conf. on Advanced Service Computing},
pages = {372--378},
address = {Athens, Greece},
month = nov,
year = 2009,

}

@inproceedings{dobrila09:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Dobrila, Alexandru},
title = {Optimisation du d\'ebit dans les micro-usines sujettes aux pannes li\'ees aux t\^aches et aux machines},
booktitle = {Renpar'19},
url = {http://www.irit.fr/Toulouse2009/Toulouse2009/papiers/paper8.pdf},
address = {Toulouse, France},
month = sep,
year = 2009,
note = {Publication \'electronique},

}

@inproceedings{dkm09:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Dormoy, Julien},
title = {Mod\`ele \`a composants {F}ractal pour simuler et reconfigurer le {CyCab}},
booktitle = {AFADL'09, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = 139,
address = {Toulouse, France},
month = jan,
year = 2009,

}

@inproceedings{hakem09:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Hakem, Mourad},
title = {{Iso-Level CAFT}: {H}ow to Tackle the Combination of Communication Overhead Reduction and Fault Tolerance Scheduling},
booktitle = {APPT'09, 8th Int. Symposium on Advanced Parallel Processing Technologies},
address = {Rapperswil, Switzerland},
publisher = {Springer},
series = {LNCS},
volume = 5737,
pages = {259--272},
doi = {10.1007/978-3-642-03644-6_20},
url = {http://dx.doi.org/10.1007/978-3-642-03644-6_20},
year = 2009,

}

@inproceedings{hm09:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Hammad, Ahmed and Mountassir, Hassan},
title = {Verification of real time systems: application to the transportation domain},
booktitle = {SCLP'09, 2nd Int. Workshop on Service computing, Context-aware, Location-aware and Positioning techniques, joint to NTMS'09},
publisher = {IEEE Computer Society Press},
doi = {10.1109/NTMS.2009.5384729},
url = {http://dx.doi.org/10.1109/NTMS.2009.5384729},
pages = {719--727},
address = {Cairo, Egypt},
month = dec,
year = 2009,

}

@inproceedings{hdcm09:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Hu, J. and Dib, Mohammad and Caminada, Alexandre and Mabed, Hakim},
title = {Recherche de zone de blocage dans un graphe},
booktitle = {ROADEF'09, 10e conf\'erence de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide \'a la D\'ecision},
pages = {330--331},
month = feb,
year = 2009,

}

@inproceedings{hufflen09:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Hufflen, Jean-Michel},
title = {A Framework for Managing Components Using Non-Functional Properties},
booktitle = {keod~2009},
address = {Funchal, Madeira, Portugal},
pages = {460--463},
langue = {English},
month = oct,
year = 2009,

}

@inproceedings{hufflen09b:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Hufflen, Jean-Michel},
title = {How {mlBibTeX's} Documentation Is Organised},
booktitle = {BachoTeX~2009 Conference},
editor = {Tomasz Przechlewski and Karl Berry and Jerzy B. Ludwichowski},
pages = {26--30},
address = {Bachotek, Poland},
langue = {English},
month = apr,
year = 2009,

}

@inproceedings{hufflen09a:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Hufflen, Jean-Michel},
title = {Introduction to {XQuery}},
booktitle = {BachoTeX~2009 Conference},
editor = {Tomasz Przechlewski and Karl Berry and Jerzy B. Ludwichowski},
pages = {17--25},
address = {Bachotek, Poland},
langue = {English},
month = apr,
year = 2009,

}

@inproceedings{hufflen09c:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Hufflen, Jean-Michel},
title = {Multidirectional Typesetting in {xsl-fo}},
booktitle = {BachoTeX~2009 Conference},
editor = {Tomasz Przechlewski and Karl Berry and Jerzy B. Ludwichowski},
pages = {37--40},
address = {Bachotek, Poland},
langue = {English},
month = apr,
year = 2009,

}

@inproceedings{hns09:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {H\'eam, Pierre-Cyrille and Nicaud, Cyril and Schmitz, Sylvain},
title = {Random Generation of Deterministic Tree (Walking) Automata},
booktitle = {CIAA'09, 14th Int. Conf. on Implementation and Application of Automata},
pages = {115--124},
series = {LNCS},
volume = 5642,
address = {Sidney, Australia},
publisher = {Springer},
month = jul,
year = 2009,

}

@inproceedings{jlm09:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTIN},
author = {Josselin, D. and Lang, Christophe and Marilleau, Nicolas},
title = {Modelling dynamic demand responsive transport using an agent based spatial representation},
booktitle = {ECCS'09, European Conference on Complex Systems},
address = {University of Warwick, United Kingdom},
year = 2009,
note = {published electronically},

}

@inproceedings{kst09:oip,
inhal = {inria},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Kouchnarenko, Olga and Sidorova, Natalia and Trcka, Nikola},
title = {Petri Nets with {May/Must} Semantics},
url = {http://hal.inria.fr/inria-00426835/en/},
booktitle = {CS\&P 2009, Concurrency, Specification, and Programming},
address = {Krak\'ow-Przegorzaly, Poland},
organization = {Humboldt University},
pages = {291--302},
volume = 1,
year = 2009,

}

@inproceedings{lsmp+09:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Laleau, R\'egine and Semmak, Farida and Matoussi, Abderrahman and Petit, Dorian and Hammad, Ahmed and Tatibou\"et, Bruno},
title = {A first attempt to combine {SysML} requirements diagrams and {B}},
booktitle = {UML\&FM'09, 2nd IEEE International workshop UML and Formal Methods (joint to ICFEM'09)},
address = {Rio de Janeiro, Brazil},
month = dec,
year = 2009,

}

@inproceedings{mmmb+09:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Mabed, Hakim and Manier, Marie-Ange and Manier, H. and Baala, Oumaya and Lamrous, S. and Claude, R.},
title = {G\'en\'eration d'emplois du temps pour les \'etablissements \`a formation \`a ''la carte''},
booktitle = {ROADEF'09, 10e conf\'erence de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide \'a la D\'ecision},
pages = {175--176},
month = feb,
year = 2009,

}

@inproceedings{mp09:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Makhoul, Abdallah and Pham, Congduc},
title = {Dynamic Scheduling of Cover-Sets in Randomly Deployed Wireless Video Sensor Networks for Surveillance Applications},
booktitle = {WD'09, 2nd IFIP Wireless Days Conference},
address = {Paris, France},
month = dec,
year = 2009,

}

@inproceedings{msp09b:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Makhoul, Abdallah and Saadi, Rachid and Pham, Congduc},
title = {Adaptive Scheduling of Wireless Video Sensor Nodes for Surveillance Applications},
booktitle = {PM2HW2N'09, Procs of the 4th ACM Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, in conjunction with 12th ACM MSWIM 2009},
pages = {54--60},
address = {Tenerife, Canary Islands, Spain},
year = 2009,

}

@inproceedings{msp09a:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Makhoul, Abdallah and Saadi, Rachid and Pham, Congduc},
title = {Coverage and Adaptive Scheduling algorithms for Criticality Management on Video Wireless Sensor Networks},
booktitle = {ICUMT'09},
pages = {335--341},
year = 2009,

}

@inproceedings{msp09c:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Makhoul, Abdallah and Saadi, Rachid and Pham, Congduc},
title = {Surveillance vid\'eo sur r\'eseaux de capteurs sans-fils : ordonnancement adaptatif avec prise en compte de la criticit\'e},
booktitle = {CFIP'09, Colloque francophone sur l'ingénierie des protocoles},
address = {Strasbourg, France},
year = 2009,

}

@inproceedings{mp09:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Mostefaoui, Ahmed and Piranda, Beno\^it},
title = {Multimedia Sensor Networks: an Approach based on {3D} Real-Time Reconstruction},
booktitle = {MEDES'09, Int. ACM Conf. on Management of Emergent Digital EcoSystems},
pages = {188--195},
doi = {10.1145/1643823.1643858},
url = {http://dx.doi.org/10.1145/1643823.1643858},
address = {Lyon, France},
month = oct,
year = 2009,

}

@inproceedings{mcm09:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Mouelhi, Sebti and Chouali, Samir and Mountassir, Hassan},
title = {Refinement of Interface Automata Strengthened by Action Semantics},
booktitle = {FESCA'09 proceedings},
series = {ENTCS, Electronic Notes in Theoretical Computer Science},
volume = {253-1},
pages = {111--126},
doi = {10.1016/j.entcs.2009.09.031},
url = {http://dx.doi.org/10.1016/j.entcs.2009.09.031},
address = {York, United Kingdom},
year = 2009,

}

@inproceedings{pccgf09:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Pamba-Capo-Chichi, Eug\`ene and Guyennet, Herv\'e and Friedt, Jean-Michel},
title = {{IEEE} 802.15.4 Performance on a Hierarchical Hybrid Sensor Network Platform},
booktitle = {ICNS'09, 5th Int. Conf. on Networking and Services},
pages = {303--308},
address = {Valencia, Spain},
month = apr,
year = 2009,

}

@inproceedings{pccgf09b:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Pamba-Capo-Chichi, Eug\`ene and Guyennet, Herv\'e and Friedt, Jean-Michel},
title = {{K-RLE}: A new Data Compression Algorithm for Wireless Sensor Network},
booktitle = {SENSORCOMM'09, 3rd Int. Conf. on Sensor Technologies and Applications},
pages = {502--507},
address = {Athens-Glyfada, Greece},
month = jun,
year = 2009,

}

@inproceedings{pccmgf09:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Pamba-Capo-Chichi, Eug\`ene and Martins, David and Guyennet, Herv\'e and Felea, Violeta},
title = {A dynamic clustering construction for wireless sensor networks},
booktitle = {CTS'09, int. symposium on Collaborative Technologies and Systems},
address = {Los Alamitos, CA, United States},
isbn = {978-1-4244-4584-4},
year = 2009,
pages = {565--570},
doi = {10.1109/CTS.2009.5067444},
url = {http://doi.ieeecomputersociety.org/10.1109/CTS.2009.5067444},
publisher = {IEEE Computer Society Press},

}

@inproceedings{pbcnv+09:onp,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {COM},
author = {Peyron, Odile and Bordon, Amandine and Combourieu-Nebout, Nathalie and Vignot, Anne and Damy, Sylvie and Tissot, Jean-Daniel and Dormoy, Isabelle and Brewer, Simon and Tarasov, Pavel and Barboni, Doris},
title = {Une nouvelle base de donn\'es polliniques actuelles : une \'etape majeure pour les quantifications climatiques et les reconstructions de v\'eg\'etation et de biodiversit\'e},
booktitle = {21\`eme symposium APLF, Prospectives en Pal\'eontologie et Palynologie},
address = {Lille, France},
year = 2009,

}

@inproceedings{pwbh+09:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTIN},
author = {Pieralli, C. and Wacogne, B. and Bonnans, V. and Humbert, P. and Pazart L. and Marzani, F. and Lapayre, Jean-Christophe and Lang, Christophe},
title = {Collaborative platform for skin cancer screening and associated optical fibered probe for diagnosis},
booktitle = {Sin'Fran09, Singaporean-French IPAL Symposium},
pages = {44--55},
publisher = {World Scientific},
month = feb,
year = 2009,

}

@inproceedings{pln09:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Popescu, Manuela and Lorenz, Pascal and Nicod, Jean-Marc},
title = {An Adaptive Framework for Diagnosis Validation},
booktitle = {ADVCOMP'09, 3-rd Int. Conf. on Advances Engineering Computing and Applications in Sciences},
pages = {123--129},
address = {Sliema, Malta},
publisher = {IEEE Computer Society Press},
isbn = {978-1-4244-5082-4},
month = oct,
year = 2009,

}

@inproceedings{rdb09:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Ramadan, Wassim and Dedu, Eugen and Bourgeois, Julien},
title = {{EcnLD}, {ECN Loss Differentiation} to optimize the performance of transport protocols on wireless networks},
booktitle = {ICUMT'09, Int. Conf. on Ultra Modern Telecommunications \& Workshops, WMCNT workshop},
pages = {1--6},
publisher = {IEEE Computer Society Press},
doi = {10.1109/ICUMT.2009.5345369},
url = {http://dx.doi.org/10.1109/ICUMT.2009.5345369},
address = {Saint Petersburg, Russian Federation},
month = oct,
year = 2009,

}

@inproceedings{rdb09:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Ramadan, Wassim and Dedu, Eugen and Bourgeois, Julien},
title = {Une m\'ethode de diff\'erenciation de pertes pour am\'eliorer la performance des protocoles de transport sur r\'eseaux sans-fil},
booktitle = {JDIR'09, 10\`emes Journ\'ees doctorales en informatique et r\'eseaux},
pages = {128--133},
editor = {Alexandre Caminada},
address = {Belfort, France},
month = feb,
year = 2009,

}

@inproceedings{rb09c:oip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {AFF},
author = {Reffay, Christophe and Betbeder, Marie-Laure},
title = {Improving {CSCL} indicators by sharing multimodal teaching and learning Corpora},
booktitle = {CSCL 2009, Computer Supported Collaborative Learning},
url = {http://edutice.archives-ouvertes.fr/edutice-00410226/fr/},
address = {Rhodos, Greece},
month = jun,
year = 2009,
note = {poster},
abstract = {We point out the need for CSCL community to reach large scale validation for its results by addressing the lack of sharing of interaction indicators and data. The main goal of the Mulce1 project is a definition for teaching and learning corpora (especially for interaction tracks), a technical format to organize data and a platform for corpus sharing, providing analysis and visualization tools.} 
}

@inproceedings{rb09:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Reffay, Christophe and Betbeder, Marie-Laure},
title = {Sharing corpora and tools to improve interaction analysis},
booktitle = {EC-TEL 2009, 4th European Conference on Technology Enhanced Learning},
pages = {196--210},
series = {LNCS},
volume = 5794,
doi = {10.1007/978-3-642-04636-0_20},
url = {http://edutice.archives-ouvertes.fr/edutice-00399841/fr/},
address = {Nice, France},
abstract = {A very wide range of online interaction analysis staying in the hands of researchers, and tools being implemented in research prototypes, often used only in non-replicated experimentations, we point out the need for TEL research community to reach large scale validation for its results. This paper is a concrete step in this direction. For a deeper collaboration in our community, we suggest to share structured data collections. The Mulce project aims at proposing a structure for teaching and learning corpora (including pedagogical and research context), and especially for interaction tracks. Two main corpora are built according this structure. This paper defines a teaching and learning corpus, shows its main structure and browses some parts of the structured interaction data. We also describe the platform that enables the community to browse and analyze a shared corpus.},
month = oct,
year = 2009,

}

@inproceedings{zcs09:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Zirari, Soumaya and Canalda, Philippe and Spies, Fran\c{c}ois},
title = {A Very First Geometric Dilution Of Precision Proposal For Wireless Access Mobile Networks},
booktitle = {SPACOMM'09, 1st Int. Conf. on Advances in Satellite and Space Communications},
pages = {162--167},
doi = {10.1109/SPACOMM.2009.26},
url = {http://dx.doi.org/10.1109/SPACOMM.2009.26},
address = {Colmar, France},
month = jul,
year = 2009,

}

@inproceedings{zcs09:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {AFF},
author = {Zirari, Soumaya and Canalda, Philippe and Spies, Fran\c{c}ois},
title = {Crit\`ere de dilution de pr\'ecision pour un positionnement en int\'erieur et en ext\'erieur},
booktitle = {CFIP'09, Colloque Francophone sur l'Ing\'enierie des Protocoles},
address = {Strasbourg, France},
month = oct,
year = 2009,
note = {2 pages, Poster session},

}

@inproceedings{zcs09:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Zirari, Soumaya and Canalda, Philippe and Spies, Fran\c{c}ois},
title = {Modelling and Emulation of an Extended {GDOP} For Hybrid And Combined Positioning System},
booktitle = {ENC-GNSS'09, European Navigation Conference - Global Navigation Satellite Systems},
address = {Naples, Italy},
month = may,
year = 2009,
note = {Proceedings available online: http://www.enc-gnss09.it/proceedingsPDF/C1/5\_C1.pdf},

}