@inproceedings{ammh10:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Abdelkader, Bouamari and Mostefai, Mohammed and Mountassir, Hassan and Hammad, Ahmed},
title = {Efficient model checking with {UML} and specification patterns},
booktitle = {ICWIT'10, the 3rd Int. Conf. on Web and Information Technologies},
pages = {55--67},
address = {Marrakech, Morocco},
month = jun,
year = 2010,

}

@inproceedings{bcv10:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {COM},
author = {Bahi, Jacques and Contassot-Vivier, Sylvain and Giersch, Arnaud},
title = {Load balancing in dynamic networks by bounded delays asynchronous diffusion},
booktitle = {VECPAR'10, 10-th int. meeting on High Performance Computing for Computational Science},
address = {Berkeley, United States},
month = jun,
year = 2010,

}

@inproceedings{bg10b:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Guyeux, Christophe},
title = {A new chaos-based watermarking algorithm},
booktitle = {SECRYPT'10, Int. conf. on security and cryptography},
pages = {455--458},
publisher = {SciTePress},
address = {Athens, Greece},
month = jul,
year = 2010,

}

@inproceedings{bg10a:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Guyeux, Christophe},
title = {Topological chaos and chaotic iterations, application to Hash functions},
booktitle = {IJCNN'10, Int. Joint Conf. on Neural Networks, joint to WCCI'10, IEEE World Congress on Computational Intelligence},
pages = {1--7},
address = {Barcelona, Spain},
doi = {10.1109/IJCNN.2010.5596512},
url = {http://dx.doi.org/10.1109/IJCNN.2010.5596512},
month = jul,
year = 2010,
note = {Best paper award},

}

@inproceedings{bgm10:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Guyeux, Christophe and Makhoul, Abdallah},
title = {Efficient and Robust Secure Aggregation of Encrypted Data in Sensor Networks},
booktitle = {SENSORCOMM'10, 4-th Int. Conf. on Sensor Technologies and Applications},
pages = {472--477},
address = {Venice-Mestre, Italy},
doi = {10.1109/SENSORCOMM.2010.76},
url = {http://dx.doi.org/10.1109/SENSORCOMM.2010.76},
month = jul,
year = 2010,

}

@inproceedings{bgm10b:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Guyeux, Christophe and Makhoul, Abdallah},
title = {Secure Data Aggregation in Wireless Sensor Networks. Homomorphism versus Watermarking Approach},
booktitle = {ADHOCNETS 2010, 2nd Int. Conf. on Ad Hoc Networks},
series = {Lecture Notes in ICST},
volume = 49,
pages = {344--358},
doi = {10.1007/978-3-642-17994-5_23},
url = {http://dx.doi.org/10.1007/978-3-642-17994-5_23},
address = {Victoria, Canada},
month = aug,
year = 2010,

}

@inproceedings{bgw10: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 Pseudo Random Numbers Generator Based on Chaotic Iterations. Application to Watermarking},
booktitle = {WISM 2010, Int. Conf. on Web Information Systems and Mining},
pages = {202--211},
series = {LNCS},
volume = 6318,
url = {http://dx.doi.org/10.1007/978-3-642-16515-3_26},
doi = {10.1007/978-3-642-16515-3_26},
address = {Sanya, China},
month = oct,
year = 2010,

}

@inproceedings{bgw10b: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 = {Improving random number generators by chaotic iterations. Application in data hiding},
booktitle = {ICCASM 2010, Int. Conf. on Computer Application and System Modeling},
pages = {V13-643--V13-647},
doi = {10.1109/ICCASM.2010.5622199},
url = {http://dx.doi.org/10.1109/ICCASM.2010.5622199},
address = {Taiyuan, China},
month = oct,
year = 2010,

}

@inproceedings{bhhk10:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Haddad, Mohammed and Hakem, Mourad and Kheddouci, Hamamache},
title = {A New Reliable and Self-Stabilizing Data Fusion Scheme in Unsafe Wireless Sensor Networks},
booktitle = {PDCAT'10, 11th IEEE Int. Conf. on Parallel and Distributed Computing Applications and Technologies},
pages = {87--93},
address = {Wuhan, China},
publisher = {IEEE Computer Society Press},
month = dec,
year = 2010,

}

@inproceedings{bmg10:onp,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {COM},
author = {Bahi, Jacques and Makhoul, Abdallah and Guyeux, Christophe},
title = {Efficient and Robust Secure Aggregation of Encrypted Data in Sensor Networks for critical applications},
booktitle = {RESSACS, Journ\'ee th\'ematique PHC/ResCom sur RESeaux de capteurS et Applications Critiques de Surveillance},
address = {Bayonne, France},
month = jun,
year = 2010,
note = {Communication orale},

}

@inproceedings{bggm10:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Benaouda, N. and Guyennet, Herv\'e and Hammad, Ahmed and Mostefai, Mohammed},
title = {A New Two Level Hierarchy Structuring for node Partitionning in Ad Hoc Networks},
booktitle = {SAC'10, 25th ACM Symposium on Applied Computing},
pages = {719--726},
doi = {10.1145/1774088.1774235},
url = {http://doi.acm.org/10.1145/1774088.1774235},
address = {Zurich, Switzerland},
month = mar,
year = 2010,

}

@inproceedings{bdnp10: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 task and machine failures},
booktitle = {{APDCM'10}, 12th Workshop on Advances on Parallel and Distributed Processing Symposium},
pages = {11--18},
address = {Atlanta, United States},
doi = {10.1109/ISPDC.2009.26},
url = {http://dx.doi.org/10.1109/ISPDC.2009.26},
publisher = {IEEE Computer Society Press},
month = apr,
year = 2010,

}

@inproceedings{bghlt+10:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Bertolino, Antonia and Grieskamp, Wolfgang and Hierons, Robert and Le Traon, Yves and Legeard, Bruno and Muccini, Henry and Paradkar, Amit and Rosenblum, David and Tretmans, Jan},
title = {Model-Based Testing for the Cloud},
booktitle = {Practical Software Testing: Tool Automation and Human Factors},
pages = {1--11},
editor = {Harman, Mark and Muccini, Henry and Schulte, Wolfram and Xie, Tao},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2625},
address = {Dagstuhl, Germany},
year = 2010,

}

@inproceedings{bf10:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Beydoun, Kamal and Felea, Violeta},
title = {Wireless Sensor Networks Routing over Zones},
booktitle = {SoftCOM 2010, 18th Int. Conf. on Software, Telecommunications and Computer Networks},
pages = {402--406},
address = {Split-Bol, Croatia},
month = sep,
year = 2010,

}

@inproceedings{bbjm10:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Bouquet, Fabrice and Bu\'e, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain},
title = {Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests},
booktitle = {A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10},
pages = {54--61},
address = {Paris, France},
doi = {10.1109/ICSTW.2010.47},
url = {http://dx.doi.org/10.1109/ICSTW.2010.47},
month = apr,
year = 2010,

}

@inproceedings{bldm+10:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Boutoustous, Kahina and Laurent, Guillaume J. and Dedu, Eugen and Matignon, Laetitia and Bourgeois, Julien and Le Fort-Piat, Nadine},
title = {Distributed control architecture for smart surfaces},
booktitle = {IROS 2010, 23-rd IEEE/RSJ Int. Conf. on Intelligent Robots and Systems},
editor = {Luo, Ren C. and Asaman, Hajime},
pages = {2018--2024},
publisher = {IEEE Computer Society Press},
address = {Taipei, Taiwan},
month = oct,
year = 2010,

}

@inproceedings{bdh10:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Bu\'e, Pierre-Christophe and Dadeau, Fr\'ed\'eric and H\'eam, Pierre-Cyrille},
title = {Model-Based Testing using Symbolic Animation and Machine Learning},
booktitle = {CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010},
publisher = {IEEE Computer Society Press},
pages = {355--360},
isbn = { 978-1-4244-6773-0},
doi = {10.1109/ICSTW.2010.43},
url = {http://dx.doi.org/10.1109/ICSTW.2010.43},
address = {Paris, France},
month = apr,
year = 2010,

}

@inproceedings{bddkb10:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Bu\'e, Pierre-Christophe and Dadeau, Fr\'ed\'eric and de Kermadec, Adrien and Bouquet, Fabrice},
title = {Building a Test-ready Abstraction of a Behavioral Model using {CLP}},
booktitle = {TAP'10, 4-th Int. Conf. on Tests and Proofs},
series = {LNCS},
volume = 6143,
pages = {167--182},
editor = {Fraser, G. and Gargantini, A.},
address = {Malaga, Spain},
month = jul,
year = 2010,

}

@inproceedings{bjmb10:np,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTN},
author = {Bu\'e, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain and Bouquet, Fabrice},
title = {Associer des techniques de preuve et de r\'esolution de contraintes pour la construction d'abstractions},
booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = {11--25},
address = {Poitiers, France},
month = jun,
year = 2010,

}

@inproceedings{ccfh+10:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Caciula, A. and Courbis, Rom\'eo and Felea, Violeta and H\'eam, Pierre-Cyrille and Ionescu, R.},
title = {Une approche parall\`ele et distribu\'ee pour la compl\'etion d'automates d'arbre},
booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = {43--46},
address = {Poitiers, France},
month = jun,
year = 2010,
note = {Papier court},

}

@inproceedings{chebaro10:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Chebaro, Omar},
title = {Outil {SANTE} : D\'etection d'erreurs par analyse statique et test structurel des programmes {C}},
booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = {75--79},
address = {Poitiers, France},
month = jun,
year = 2010,
note = {Papier court},

}

@inproceedings{ckgj10:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Chebaro, Omar and Kosmatov, Nikola\"{\i} and Giorgetti, Alain and Julliand, Jacques},
title = {Combining {Frama-C} and {PathCrawler} for {C} Program Debugging},
booktitle = {GDR GPL 2010, 2\`emes journ\'ees nationales du Groupement de recherche CNRS du G\'enie de la programmation et du logiciel},
pages = {217--218},
address = {Pau, France},
month = mar,
year = 2010,
note = {R\'esum\'e \'etendu},

}

@inproceedings{ckgj10:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Chebaro, Omar and Kosmatov, Nikola\"{\i} and Giorgetti, Alain and Julliand, Jacques},
title = {Combining Static Analysis and Test Generation for {C} Program Debugging},
booktitle = {TAP'10, 4th Int. Conf. on Tests and Proofs},
series = {LNCS},
volume = 6143,
pages = {94--100},
editor = {Fraser, G. and Gargantini, A.},
address = {Malaga, Spain},
month = jul,
year = 2010,

}

@inproceedings{cmm10b:np,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTN},
author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan},
title = {Adaptation des Protocoles des Composants par les Automates d'Interface},
booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = {253--266},
address = {Poitiers, France},
month = jun,
year = 2010,

}

@inproceedings{cmm10:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan},
title = {Adapting Components Behaviours using Interface Automata},
booktitle = {SEAA'10, 36th Euromicro Conference on Software Engineering and Advanced Applications},
pages = {119-122},
doi = {10.1109/SEAA.2010.34},
url = {http://dx.doi.org/10.1109/SEAA.2010.34},
publisher = {IEEE Computer Society Press},
address = {Lille, France},
month = sep,
year = 2010,

}

@inproceedings{cmm10b:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan},
title = {Adapting Components using Interface Automata strengthened by Action Semantics},
booktitle = {FoVeoos 2010, int. conf. on Formal Verification of Object-oriented software},
pages = {7--21},
address = {Paris, France},
month = jun,
year = 2010,

}

@inproceedings{cmm10:np,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTN},
author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan},
title = {Assembly of components based on interface automata and {UML} component model},
booktitle = {CAL'10, 4e Conf. Francophone sur les Architectures Logicielles},
series = {RNTI, Revue des Nouvelles Technologies de l'Information},
volume = {RNTI-L-5},
pages = {73--85},
publisher = {C\'epadu\`es \'editions},
editor = {Drira, Khalil},
issn = {174.1667},
isbn = {978.2.85128.930.5},
address = {Pau, France},
month = mar,
year = 2010,

}

@inproceedings{chjk10:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Courbis, Rom\'eo and H\'eam, Pierre-Cyrille and Jourdan, Pierre and Kouchnarenko, Olga},
title = {Approximations par r\'e\'ecriture pour deux probl\`emes ind\'ecidables},
booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = {7--10},
address = {Poitiers, France},
month = jun,
year = 2010,
note = {Papier court},

}

@inproceedings{cj10:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Couturier, Rapha\"el and J\'ez\'equel, Fabienne},
title = {Solving large sparse linear systems in a grid environment using Java},
booktitle = {PDSEC'10, 11-th IEEE Int. Workshop on Parallel and Distributed Scientific and Engineering Computing, joint to IPDPS'10, ACM/IEEE Int. Parallel and Distributed Processing Symposium},
pages = {1--7},
doi = {10.1109/IPDPSW.2010.5470713 },
url = {http://dx.doi.org/10.1109/IPDPSW.2010.5470713 },
address = {Atlanta, United States},
publisher = {IEEE Computer Society Press},
year = 2010,
note = {Electronic proceedings},

}

@inproceedings{clm10: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 = {Mapping Asynchronous Iterative Applications on Heterogeneous Distributed Architectures},
booktitle = {IPDPS'10, ACM/IEEE Int. Parallel and Distributed Processing Symposium, Workshop on Parallel and Distributed Scientific and Engineering Computing},
pages = {1--8},
doi = {10.1109/IPDPSW.2010.5470762},
url = {http://dx.doi.org/10.1109/IPDPSW.2010.5470762},
address = {Atlanta, United States},
publisher = {IEEE Computer Society Press},
year = 2010,
note = {Electronic Proceedings} 
}

@inproceedings{ccls10:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Cypriani, Matteo and Canalda, Philippe and Lassabe, Fr\'ed\'eric and Spies, Fran\c{c}ois},
title = {{Wi-Fi}-Based Indoor Positioning: Basic Techniques, Hybrid Algorithms and Open Software Platform},
booktitle = {IPIN 2010, Int. Conf. on Indoor Positioning and Indoor Navigation, Session WLAN RSS (Signal Strength Based Methods)},
pages = {116--125},
doi = {10.1109/IPIN.2010.5648232},
url = {http://dx.doi.org/10.1109/IPIN.2010.5648232},
editor = {Mautz, R. and Kunz, M. and Ingensand, H.},
address = {Zurich, Switzerland},
month = sep,
year = 2010,

}

@inproceedings{dt10:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Deschinkel, Karine and Touati, S.A.A.},
title = {Elimination des circuits nuls dans les graphes cycliques pour l'ordonnancement p\'eriodique de t\^aches},
booktitle = {ROADEF'10, 11e conf\'erence de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide \'a la D\'ecision},
address = {Toulouse, France},
month = feb,
year = 2010,

}

@inproceedings{dcm10:np,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Dib, Mohammad and Caminada, Alexandre and Mabed, Hakim},
title = {A New Method to Solve and Optimize Military {FAP} with {N-ary} Constraints},
booktitle = {MOSIM'10, 8-th Int. Conf. on Modeling and Simulation},
pages = {***--***},
address = {Hammamet, Tunisia},
month = may,
year = 2010,

}

@inproceedings{dcm10:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Dib, Mohammad and Caminada, Alexandre and Mabed, Hakim},
title = {Frequency management in Radio military Networks},
booktitle = {INFORMS Telecom 2010, 10th INFORMS Telecommunications Conference},
address = {Montreal, Canada},
month = may,
year = 2010,

}

@inproceedings{dlag10b:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Dini, O. and Lorenz, P. and Abouaissa, A. and Guyennet, Herv\'e},
title = {Dynamic Feedback for Service Reputation Updates},
booktitle = {ICAS'10, 6-th Int. Conf. on Autonomic and Autonomous Systems},
pages = {168--175},
doi = {10.1109/ICAS.2010.34},
url = {http://dx.doi.org/10.1109/ICAS.2010.34},
address = {Cancun, Mexico},
month = mar,
year = 2010,

}

@inproceedings{dlag10a:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTIN},
author = {Dini, O. and Lorenz, P. and Abouaissa, A. and Guyennet, Herv\'e},
title = {Online Service Similarities and Reputation-based Selection},
booktitle = {SERVICE COMPUTATION'10, 2-nd Int. Conf. on Advanced Service Computing},
address = {Lisbon, Portugal},
month = nov,
year = 2010,

}

@inproceedings{ddk10:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Dormoy, Julien and Dreyfus, Alo\"{\i}s and Kouchnarenko, Olga},
title = {{EVA4Fractal}: adaptation de composants {F}ractal basée sur des \'ev\'enements},
booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = {245--278},
address = {Poitiers, France},
month = jun,
year = 2010,
note = {Papier court},

}

@inproceedings{dk10:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Dormoy, Julien and Kouchnarenko, Olga},
title = {{E}vent-based {A}daptation {P}olicies for {F}ractal {C}omponents},
booktitle = {AICCSA 2010, ACS/IEEE Int. Conf. on Computer Systems and Applications},
pages = {1--8},
publisher = {IEEE Computer Society Press},
doi = {10.1109/AICCSA.2010.5586944},
url = {http://dx.doi.org/10.1109/AICCSA.2010.5586944},
address = {Hammamet, Tunisia},
month = may,
year = 2010,

}

@inproceedings{dkl10:ip,
inhal = {inria},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Dormoy, Julien and Kouchnarenko, Olga and Lanoix, Arnaud},
title = {Using Temporal Logic for Dynamic Reconfigurations of Components},
booktitle = {FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software},
pages = {200--217},
series = {LNCS},
volume = 6921,
doi = {10.1007/978-3-642-27269-1_12},
url = {http://dx.doi.org/10.1007/978-3-642-27269-1_12},
publisher = {Springer},
address = {Guimaraes, Portugal},
month = oct,
year = 2010,

}

@inproceedings{ehbo+10:onp,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Edaoudi, Rajaa and Hamdani, Marouane and Bouragba, Khalid and Ouzzif, Mohammed and Mountassir, Hassan and Erradi, Mohammed},
title = {Architecture Formalis\'ee d'une Application Collaborative. Cas d'une Situation d'Urgence en Neurologie},
booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels},
pages = {249--252},
address = {Poitiers, France},
month = jun,
year = 2010,
note = {Papier court},

}

@inproceedings{ebbbd+10:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {El-Baz, Didier and Boyer, Vincent and Bourgeois, Julien and Dedu, Eugen and Boutoustous, Kahina},
title = {Distributed discrete state acquisition and concurrent pattern recognition in a {MEMS}-based smart surface},
booktitle = {dMEMS'10, 1st Workshop on design, control and software implementation for distributed MEMS},
pages = {1--8},
address = {Besan\c{c}on, France},
publisher = {IEEE Computer Society Press},
month = jun,
year = 2010,

}

@inproceedings{bem10:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Eskandar, Mirna and Bahi, Jacques and Mostefaoui, Ahmed},
title = {Continuous data availability in instantaneous streaming networks},
booktitle = {MEDES 2010, Int. Conf. on Management of Emergent Digital EcoSystems},
pages = {252--257},
doi = {10.1145/1936254.1936302},
url = {http://dx.doi.org/10.1145/1936254.1936302},
address = {Bangkok, Thailand},
month = oct,
year = 2010,

}

@inproceedings{felea10:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Felea, Violeta},
title = {Management of Real Time Constraints in Sensor Networks},
booktitle = {SoftCOM 2010, 18th Int. Conf. on Software, Telecommunications and Computer Networks},
pages = {47--50},
address = {Split-Bol, Croatia},
month = sep,
year = 2010,

}

@inproceedings{fpls+10:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Fondement, Fr\'ed\'eric and Peureux, Fabien and Legeard, Bruno and Scherrer, Claude and Alter, Marc},
title = {{VETESS: MDE}, Testing approaches and {SysML}},
booktitle = {Neptune workshop},
address = {Toulouse, France},
month = jun,
year = 2010,

}

@inproceedings{giorgetti10:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Giorgetti, Alain},
title = {Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System},
booktitle = {SCSS 2010, 3-rd Int.Workshop on Symbolic Computation in Software Science},
pages = {5--18},
editor = {Jebelean, T. and Mosbah, M. and Popov, N.},
address = {Hagenberg, Austria},
month = jul,
year = 2010,

}

@inproceedings{ght10:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Giorgetti, Alain and Hammad, Ahmed and Tatibou\"et, Bruno},
title = {Using {SysML} for Smart Surface Modeling},
booktitle = {dMEMS'10, 1st workshop on design, control and software implementation for distributed MEMS},
pages = {100--107},
address = {Besan\c{c}on, France},
publisher = {IEEE Computer Society Press},
month = jun,
year = 2010,

}

@inproceedings{gmycl+10:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Goavec-Merou, Gwenha\"el and Yakoubi, Youssef and Couturier, Rapha\"el and Lenczner, Michel and Friedt, Jean-Michel and Yang, Fan},
title = {{FPGA} Implementation Of Diffusive Realization For A Distributed Control Operator},
booktitle = {dMEMS'10, 1st Workshop on design, control and software implementation for distributed MEMS},
address = {Besan\c{c}on, France},
publisher = {IEEE Computer Society Press},
doi = {10.1109/dMEMS.2010.15},
url = {http://dx.doi.org/10.1109/dMEMS.2010.15},
month = jun,
year = 2010,
note = {Electronic proceedings},

}

@inproceedings{gc10:np,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTN},
author = {Gras, R\'egis and Couturier, Rapha\"el},
title = {Sp\'ecificit\'e de l'{A.S.I.} par rapport \`a d'autres mesures de qualit\'e de r\`egles d'association},
booktitle = {5\`eme Colloque International sur Analyse Statistique Implicative},
issn = {1592-5137},
pages = {175--198},
address = {Palerme, Italy},
month = nov,
year = 2010,

}

@inproceedings{bg10:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Guyeux, Christophe and Bahi, Jacques},
title = {An improved watermarking algorithm for Internet applications},
booktitle = {INTERNET'2010. The 2nd Int. Conf. on Evolving Internet},
pages = {119--124},
doi = {10.1109/INTERNET.2010.29},
url = {http://dx.doi.org/10.1109/INTERNET.2010.29},
address = {Valencia, Spain},
month = sep,
year = 2010,

}

@inproceedings{gfb10:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Guyeux, Christophe and Friot, Nicolas and Bahi, Jacques},
title = {Chaotic iterations versus Spread-spectrum: chaos and stego security},
booktitle = {IIH-MSP'10, 6-th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing},
pages = {208--211},
doi = {10.1109/IIHMSP.2010.59},
url = {http://dx.doi.org/10.1109/IIHMSP.2010.59},
address = {Darmstadt, Germany},
month = oct,
year = 2010,

}

@inproceedings{hrbrcc10:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Haj Rachid, Mais and Bloch, Christelle and Ramdane-Cherif, Wahiba and Chatonnay, Pascal},
title = {Solving capacitated vehicle routing problem via different genetic operators},
booktitle = {META'2010, 3rd Int. Conf. on Metaheuristics and Nature Inspired Computing},
pages = {***--***},
address = {Djerba Island, Tunisia},
month = oct,
year = 2010,
note = {To appear},

}

@inproceedings{hrrccb10:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTIN},
author = {Haj Rachid, Mais and Ramdane-Cherif, Wahiba and Chatonnay, Pascal and Bloch, Christelle},
title = {A study of performance on crossover and mutation operators for vehicle routing problem},
booktitle = {ILS'10, 3rd int. Conf. on Information Systems, Logistics and Supply Chain},
address = {Casablanca, Morocco},
month = apr,
year = 2010,
note = {proceedings on CD-ROM},

}

@inproceedings{hrrccb10:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTIN},
author = {Haj Rachid, Mais and Ramdane-Cherif, Wahiba and Chatonnay, Pascal and Bloch, Christelle},
title = {Comparing the performance of genetic operators for the vehicle routing problem},
booktitle = {MCPL 2010, 5th Int. Conf. on Management and Control of Production Logistics},
pages = {***--***},
address = {Coimbra, Portugal},
month = sep,
year = 2010,
note = {To appear},

}

@inproceedings{hlm11:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Hassoumi, I. and Lang, Christophe and Marilleau, Nicolas},
title = {Mise en place et \'evaluation d'un algorithme de r\'epartition de charge pour les plateformes de simulations distribu\'ees bas\'ees sur les {SMA}},
booktitle = {Syst\`emes Multi-agents : D\'efis Soci\'etaux},
pages = {85--94},
address = {Mahdia, Tunisie},
publisher = {Cepadu\`es},
editor = {Occello, M. and Rejeb, L.},
month = oct,
year = 2010,

}

@inproceedings{hufflen10b:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Hufflen, Jean-Michel},
title = {Introduction to {XQuery} and {XPath} {Full} {Text}},
booktitle = {BachoTeX~2010 Conference - Typographers and Programmers: Mutual Inspirations},
editor = {Tomasz Przechlewski and Karl Berry and Gaby Gic-Grusza and Ewa Kolsar and Jerzy B. Ludwichowski},
pages = {25--28},
langue = {English},
month = apr,
year = 2010,

}

@inproceedings{hufflen10a:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Hufflen, Jean-Michel},
title = {Recycling Previous Documents for Distance Education},
booktitle = {csedu~2010},
volume = 1,
pages = {469--472},
address = {Valencia, Spain},
langue = {English},
month = apr,
year = 2010,

}

@inproceedings{hufflen10d:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Hufflen, Jean-Michel},
title = {Using {mlBibTeX} to Populate {Open} {Archives}},
booktitle = {BachoTeX~2010 Conference - Typographers and Programmers: Mutual Inspirations},
editor = {Tomasz Przechlewski and Karl Berry and Gaby Gic-Grusza and Ewa Kolsar and Jerzy B. Ludwichowski},
pages = {45--48},
langue = {English},
month = apr,
year = 2010,

}

@inproceedings{hufflen10c:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Hufflen, Jean-Michel},
title = {When Typography Meets Programming},
booktitle = {BachoTeX~2010 Conference - Typographers and Programmers: Mutual Inspirations},
editor = {Tomasz Przechlewski and Karl Berry and Gaby Gic-Grusza and Ewa Kolsar and Jerzy B. Ludwichowski},
pages = {29--32},
langue = {English},
month = apr,
year = 2010,

}

@inproceedings{hhk10:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {H\'eam, Pierre-Cyrille and Hugot, Vincent and Kouchnarenko, Olga},
title = {{SAT} Solvers for Queries over Tree Automata with Constraints},
booktitle = {CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010},
publisher = {IEEE Computer Society Press},
pages = {343--348},
doi = {10.1109/ICSTW.2010.17},
url = {http://dx.doi.org/10.1109/ICSTW.2010.17},
address = {Paris, France},
month = apr,
year = 2010,

}

@inproceedings{jsbm10:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Julliand, Jacques and Stouls, Nicolas and Bu\'e, Pierre-Christophe and Masson, Pierre-Alain},
title = {B Model Abstraction Combining Syntactic and Semantic Methods},
booktitle = {ABZ'10, ASM, Alloy, B and Z conference},
address = {Orford, Qu\'ebec, Canada},
month = feb,
year = 2010,
note = {Short paper},

}

@inproceedings{jsbm10:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Julliand, Jacques and Stouls, Nicolas and Bu\'e, Pierre-Christophe and Masson, Pierre-Alain},
title = {Syntactic Abstraction of {B} Models to Generate Tests},
booktitle = {TAP'10, 4th Int. Conf. on Tests and Proofs},
series = {LNCS},
volume = 6143,
pages = {151--166},
editor = {Fraser, G. and Gargantini, A.},
address = {Malaga, Spain},
month = jul,
year = 2010,

}

@inproceedings{lblp10:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Lasalle, Jonathan and Bouquet, Fabrice and Legeard, Bruno and Peureux, Fabien},
title = {{SysML} to {UML} model transformation for test generation purpose},
booktitle = {UML\&FM'10, 3rd IEEE Int. Workshop on UML and Formal Methods},
pages = {1--8},
doi = {10.1145/1921532.1921560},
url = {http://dx.doi.org/10.1145/1921532.1921560},
address = {Shanghai, China},
month = nov,
year = 2010,

}

@inproceedings{msp10:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Makhoul, Abdallah and Saadi, Rachid and Pham, Congduc},
title = {Risk Management in Intrusion Detection Applications with Wireless Video Sensor Networks},
booktitle = {WCNC'10 IEEE Int. Conf.},
pages = {***--***},
address = {Sydney, Australia},
month = apr,
year = 2010,
note = {To appear},

}

@inproceedings{mg10a:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Martins, David and Guyennet, Herv\'e},
title = {Attacks with Steganography in {PHY} and {MAC} Layers of 802.15.4 Protocol},
booktitle = {ICSNC 2010, 5-th International Conference on Systems and Networks Communications},
pages = {***--***},
address = {Nice, France},
month = aug,
year = 2010,
note = {To appear},

}

@inproceedings{mg10b:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Martins, David and Guyennet, Herv\'e},
title = {Steganography in {MAC} Layers of 802.15.4 Protocol for securing Wireless Sensor Networks},
booktitle = {IWNS 2010, 2nd IEEE Int. Workshop on Network Steganography},
pages = {***--***},
address = {Nanjing, China},
month = nov,
year = 2010,
note = {To appear},

}

@inproceedings{mg10:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Martins, David and Guyennet, Herv\'e},
title = {Wireless Sensor Network Attacks and Security Mechanisms - A short survey},
booktitle = {NBiS'10, 13-th Int. Conf. on Network-Based Information Systems},
pages = {***--***},
address = {Takayama, Gifu, Japan},
month = sep,
year = 2010,
note = {To appear},

}

@inproceedings{pccfg10:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Pamba-Capo-Chichi, Eug\`ene and Friedt, Jean-Michel and Guyennet, Herv\'e},
title = {Using Data Compression for Delay Constrained Applications in Wireless Sensor Networks},
booktitle = {SENSORCOMM'10, 4-th Int. Conf. on Sensor Technologies and Applications},
pages = {***--***},
address = {Venice-Mestre, Italy},
year = 2010,
note = {To appear},

}

@inproceedings{pgc10:np,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTN},
author = {Pasquier, D. and Gras, R\'egis and Couturier, Rapha\"el},
title = {L'analyse statistique implicative vectorielle; une application au domaine de la description personnologique en passation r\'ep\'et\'ee},
booktitle = {5\`eme Colloque International sur Analyse Statistique Implicative},
issn = {1592-5137},
pages = {341--353},
address = {Palerme, Italy},
month = nov,
year = 2010,

}

@inproceedings{pdbg10:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Petiot, Matthieu and Droz-Bartholet, Lionel and Garcia, Eric},
title = {Nouvelle approche pour la distribution des donné\'ees d'imagerie m\'edicale pour la t\'el\'eradiologie temps r\'eel},
booktitle = {E-Medisys 10, int. conf. on E-Medical Systems},
address = {Fez, Morocco},
pages = {***--***},
month = may,
year = 2010,
note = {\`A para\^itre},

}

@inproceedings{pm10:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Pham, Congduc and Makhoul, Abdallah},
title = {Performance study of multiple cover-set strategies for mission-critical video surveillance with wireless video sensors},
booktitle = {WIMOB 2010, 6th IEEE Int. Conf. on Wireless and Mobile Computing, Networking and Communications, },
pages = {208--216},
doi = {10.1109/WIMOB.2010.5644991},
url = {http://dx.doi.org/10.1109/WIMOB.2010.5644991},
address = {Niagara Falls, Canada},
month = oct,
year = 2010,

}

@inproceedings{plgn10a:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Popescu, Manuela and Lorenz, Pascal and Gild, Marc and Nicod, Jean-Marc},
title = {Event Management Ontology: Mechanisms for Semantic-drivent Diagnosis},
booktitle = {ICNS'10, 6-th Int. Conf. on Networking and Services},
pages = {129--136},
publisher = {CPS},
address = {Cancun, Mexico},
isbn = {978-1-4244-5927-8},
month = mar,
year = 2010,

}

@inproceedings{plgn10b:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Popescu, Manuela and Lorenz, Pascal and Gild, Marc and Nicod, Jean-Marc},
title = {Temporal Aspects in Diagnosis Validation},
booktitle = {SEMAPRO'10, 4-th Int. Conf. on Advances in Semantic Processing},
pages = {43--48},
address = {Florence, Italy},
publisher = {Xpert Publishing Services},
month = oct,
year = 2010,

}

@inproceedings{rdb10: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 = {{VAAL}, Video Adaptation at Application Layer and Experiments using {DCCP}},
booktitle = {WPMC 2010, 13-th Int. Symposium on Wireless Personal Multimedia Communications},
pages = {1--5},
publisher = {Springer},
editor = {Alencar, Marcelo S. and da Rocha, Jr., Valdemar C.},
address = {Recife, Brazil},
month = oct,
year = 2010,
note = {Proceedings on CD-ROM},

}

@inproceedings{slhs+10:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {COM},
author = {Sauget, Marc and Laurent, Remy and Henriet, Julien and Salomon, Michel and Gschwind, Régine and Contassot-Vivier, Sylvain and Makovicka, Libor and Soussen, Charles},
title = {Efficient domain decomposition for a neural network learning algorithm},
booktitle = {ICANN 2010, Int. Conf. on Artificial Neural Networks},
pages = {261--266},
series = {LNCS},
volume = 6352,
publisher = {Springer},
address = {Thessaloniki, Greece},
url = {http://dx.doi.org/10.1007/978-3-642-15819-3_34},
doi = {10.1007/978-3-642-15819-3_34},
month = sep,
year = 2010,

}

@inproceedings{tgtr+10:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
title = {A Tighter Analysis of Work Stealing},
author = {Tchiboukdjian, Marc and Gast, Nicolas and Trystram, Denis and Roch, Jean-Louis and Bernard, Julien},
booktitle = {ISAAC 2010, Int. Symposium on Algorithms and Computation},
pages = {291--302},
series = {LNCS},
volume = 6507,
doi = {10.1007/978-3-642-17514-5_25},
url = {http://dx.doi.org/10.1007/978-3-642-17514-5_25},
address = {Jeju Island, Korea},
publisher = {Springer},
year = 2010,

}

@inproceedings{tgmk10:ip,
inhal = {yes},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Tushkanova, Elena and Giorgetti, Alain and March\'e, Claude and Kouchnarenko, Olga},
title = {Specifying Generic {Java} Programs: two case studies},
booktitle = {LDTA 2010, 10th Workshop on Language Descriptions, Tools, and Applications},
pages = {8:1--8:8},
url = {http://doi.acm.org/10.1145/1868281.1868289},
doi = {10.1145/1868281.1868289},
address = {Paphos, Cyprus},
publisher = {ACM},
month = mar,
year = 2010,

}

@inproceedings{wbg10:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Wang, Qianxue and Bahi, Jacques and Guyeux, Christophe and Fang, Xiaole},
title = {Randomness quality of {CI} chaotic generators. Application to Internet security},
booktitle = {INTERNET'2010. The 2nd Int. Conf. on Evolving Internet},
pages = {125--130},
address = {Valencia, Spain},
publisher = {IEEE Computer Society Press},
doi = {10.1109/INTERNET.2010.30},
url = {http://doi.ieeecomputersociety.org/10.1109/INTERNET.2010.30},
month = sep,
year = 2010,
note = {Best Paper award},

}

@inproceedings{zcms10:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Zirari, Soumaya and Canalda, Philippe and Mabed, Hakim and Spies, Fran\c{c}ois},
title = {Combined Indoor and Outdoor {DOP} criteria helpful to position and dimension},
booktitle = {IPIN 2010, Int. Conf. on Indoor Positioning and Indoor Navigation, Session WLAN RSS (Signal Strength Based Methods)},
address = {Zurich, Switzerland},
month = sep,
year = 2010,
note = {Short paper, 2 pages},

}

@inproceedings{zcs10: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 = {Towards a wireless combined positioning based on refined 802.11-indoor mobility models and {GPS}},
booktitle = {MELAHA'10},
pages = {***--***},
address = {Le Caire, Egypt},
month = may,
year = 2010,
note = {6 pages},

}

@inproceedings{zcs10: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 = {{WiFi GPS} based Combined positioning Algorithm},
booktitle = {WCNIS'10, IEEE Int. Conf. on Wireless Communications, Networking and Information Security},
pages = {***--***},
address = {Beijing, China},
month = jun,
year = 2010,
note = {5 pages. To appear},

}

@inproceedings{dkdb10:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {de Kermadec, Adrien and Dadeau, Fr\'ed\'eric and Bouquet, Fabrice},
title = {Assessing the Quality of {B} Models},
booktitle = {SEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods},
doi = {10.1109/SEFM.2010.17},
url = {http://dx.doi.org/10.1109/SEFM.2010.17},
publisher = {IEEE Computer Society Press},
pages = {83--90},
address = {Pisa, Italy},
month = sep,
year = 2010,

}