Back to INDEX

  Publications of year 2008  

Articles in journal or book chapters
  1. Husam Alustwani, Jacques Bahi, and Ahmed Mostefaoui. Improving Interaction Responsiveness of Multimedia Presentations. Innovative Computing and Applications, 1(3):161--170, 2008. 

    @article{abm08:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={#},
isi-acro = {#},
scopus-sjr = {0.035},
author = {Alustwani, Husam and Bahi, Jacques and Mostefaoui, Ahmed},
title = {Improving Interaction Responsiveness of Multimedia Presentations},
journal = {Innovative Computing and Applications},
volume = 1,
number = 3,
pages = {161--170},
year = 2008,

}


  2. Husam Alustwani, Jacques Bahi, and Ahmed Mostefaoui. Suffix Caching: an approach to ensure data availability in P2P streaming systems. IJIPT, International Journal on Internet Protocol Technology, 3(4):245--256, 2008. 

    @article{abm08b:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={#},
isi-acro = {#},
scopus-snip = {0.659},
author = {Alustwani, Husam and Bahi, Jacques and Mostefaoui, Ahmed},
title = {Suffix Caching: an approach to ensure data availability in {P2P} streaming systems},
journal = {IJIPT, International Journal on Internet Protocol Technology},
volume = 3,
number = 4,
pages = {245--256},
year = 2008,

}


  3. Jacques Bahi, Sylvain Contassot-Vivier, and Marc Sauget. An incremental learning algorithm for functional approximation. Advances in Engineering Software, 40(8):725--730, 2008. 

    @article{bcvs08:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={1.188},
isi-acro = {ADV ENG SOFTW},
author = {Bahi, Jacques and Contassot-Vivier, Sylvain and Sauget, Marc},
title = {An incremental learning algorithm for functional approximation},
journal = {Advances in Engineering Software},
pages = {725--730},
volume = 40,
number = 8,
doi = {10.1016/j.advengsoft.2008.12.018},
url = {http://dx.doi.org/10.1016/j.advengsoft.2008.12.018},
year = 2008,

}


  4. Jacques Bahi, Raphaël Couturier, and Philippe Vuillemin. JaceP2P, une infrastructure pair-à-pair basée sur le calcul itératif asynchrone. TSI, Technique et Science Informatiques, 27(3-4):457--485, 2008. 

    @article{bcv08:nj,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLNF},
impact-factor ={#},
isi-acro = {#},
author = {Bahi, Jacques and Couturier, Rapha\"el and Vuillemin, Philippe},
title = {{JaceP2P}, une infrastructure pair-\`a-pair bas\'ee sur le calcul it\'eratif asynchrone},
journal = {TSI, Technique et Science Informatiques},
volume = 27,
number = {3-4},
pages = {457--485},
year = 2008,

}


  5. Jacques Bahi, Abdallah Makhoul, and Ahmed Mostefaoui. Hilbert mobile beacon for localization and coverage in sensor networks. International Journal of Systems Science, Special Issue on Wireless Sensor Networks and Networked Control, 39(11):1081--1094, November 2008. 

    @article{bmm08:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={0.634},
isi-acro = {INT J SYST SCI},
author = {Bahi, Jacques and Makhoul, Abdallah and Mostefaoui, Ahmed},
title = {Hilbert mobile beacon for localization and coverage in sensor networks},
journal = {International Journal of Systems Science, Special Issue on Wireless Sensor Networks and Networked Control},
publisher = {Taylor and Francis},
pages = {1081--1094},
volume = 39,
number = 11,
month = nov,
year = 2008,

}


  6. Jacques Bahi and C.J. Michel. A stochastic model of gene evolution with chaotic mutations. Journal of Theoretical Biology, 255:53--63, 2008. 

    @article{bm08:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={2.454},
isi-acro = {J THEOR BIOL},
author = {Bahi, Jacques and Michel, C.J.},
title = {A stochastic model of gene evolution with chaotic mutations},
journal = {Journal of Theoretical Biology},
pages = {53--63},
volume = 255,
year = 2008,

}


  7. Anne Benoit, Veronika Rehn-Sonigo, and Yves Robert. Replica Placement and Access Policies in Tree Networks. IEEE Transactions on Parallel and Distributed Systems, 19(12):1614 -- 1627, December 2008. 

    @article{brsr08a:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Benoit, Anne and Rehn-Sonigo, Veronika and Robert, Yves},
title = {Replica Placement and Access Policies in Tree Networks},
journal = {IEEE Transactions on Parallel and Distributed Systems},
volume = 19,
number = 12,
pages = {1614 -- 1627},
month = dec,
year = 2008,

}


  8. Marie-Laure Betbeder, M. Ciekanski, Françoise Greffier, Christophe Reffay, and Thierry Chanier. Interactions multimodales synchrones issues de formations en ligne : problématiques, méthodologie et analyses. Revue Sciences et Technologies de l'Information et de la Communication pour l'Education et la Formation, 15:221--251, 2008.

    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, en particulier dans le domaine de l'apprentissage des langues. 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. 


    @article{bcgr+08:nj,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLNF},
impact-factor ={#},
isi-acro = {#},
author = {Betbeder, Marie-Laure and Ciekanski, M. and Greffier, Fran\c{c}oise and Reffay, Christophe and Chanier, Thierry },
title = {Interactions multimodales synchrones issues de formations en ligne : probl\'ematiques, m\'ethodologie et analyses},
journal = {Revue Sciences et Technologies de l'Information et de la Communication pour l'Education et la Formation},
pages = {221--251},
volume = 15,
url = {http://sticef.univ-lemans.fr/num/vol2008/06-betbeder/sticef_2008_betbeder_06.htm},
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, en particulier dans le domaine de l'apprentissage des langues. 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.},
year = 2008,

}


  9. Christelle Bloch, Marie-Ange Manier, Pierre Baptiste, and Christophe Varnier. Hoist Scheduling Problem. In Pierre Lopez and François Roubellat, editors, Production Scheduling, CAM - Control Systems, Robotics and Manufacturing Series, chapter 8, pages 193--231. ISTE - WILEY (Ed.), 2008. 

    @incollection{bmbv08:bc,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {OS},
author = {Bloch, Christelle and Manier, Marie-Ange and Baptiste, Pierre and Varnier, Christophe},
booktitle = {Production Scheduling},
title = {Hoist Scheduling Problem},
chapter = 8,
editor = {Pierre Lopez and François Roubellat},
publisher = {ISTE - WILEY (Ed.)},
series = {CAM - Control Systems, Robotics and Manufacturing Series},
pages = {193--231},
doi = {10.1002/9780470611050},
url = {http://dx.doi.org/10.1002/9780470611050},
isbn = 9781848210172,
year = 2008,

}


  10. Yohan Boichut and Pierre-Cyrille Héam. A Theorerical Limit for Safety Verification Techniques with Regular Fix-point Computations. Information Processing Letters, 108:1--2, 2008. 

    @article{bh08:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={0.706},
isi-acro = {INFORM PROCESS LETT},
author = {Boichut, Yohan and H\'eam, Pierre-Cyrille},
title = {A Theorerical Limit for Safety Verification Techniques with Regular Fix-point Computations},
journal = {Information Processing Letters},
volume = 108,
pages = {1--2},
year = 2008,

}


  11. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Approximation-based Tree Regular Model-Checking. Nordic Journal of Computing, 14:194--219, 2008. 

    @article{bhk08:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga},
title = {Approximation-based Tree Regular Model-Checking},
journal = {Nordic Journal of Computing},
volume = 14,
pages = {194--219},
year = 2008,

}


  12. D. Buntinas, C. Coti, T. Hérault, P. Lemarinier, Laurence Pilard, A. Rezmerita, E. Rodriguez, and F. Cappello. Blocking VS. Non-Blocking Coordinated Checkpointing for Large-Scale Fault Tolerant MPI. Future Generation Computer System, 24(1):73--84, 2008. 

    @article{bchl+08:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Buntinas, D. and Coti, C. and H\'erault, T. and Lemarinier, P. and Pilard, Laurence and Rezmerita, A. and Rodriguez, E. and Cappello, F.},
title = {Blocking VS. Non-Blocking Coordinated Checkpointing for Large-Scale Fault Tolerant {MPI}},
journal = {Future Generation Computer System},
pages = {73--84},
volume = 24,
number = 1,
year = 2008,

}


  13. Damien Charlet, V. Issarny, and R. Chibout. Energy-efficient middleware-layer multi-radio networking: An assessment in the area of service discovery. Computer Networks, 52(1):4--24, 2008. Note: ISSN 1389-1286.

    Abstract:
    The massive deployment of mobile networks together with the emergence of powerful portable devices has given rise to pervasive computing environments. In such environments, mobile users may discover and access services offered in surrounding networks using Service Discovery Protocols (SDPs). However, several SDPs are currently in use, each one designed for a specific target network architecture and setting. As a result, in today's multi-radio networking environment, SDPs do not equally suit each radio interface. In order to provide effective service discovery in multi-radio networks, the most resource-efficient radio interface should be chosen with respect to two main criteria: the adequacy of the interface against the SDP to be used, and energy saving, which is crucial for battery-powered devices. Toward this goal, this article assesses how to effectively take advantage of the multiple radio interfaces now embedded within wireless devices with respect to energy consumption, from the standpoint of service discovery and access. It further investigates the adequacy of legacy SDPs with the various networks, so as to classify the most appropriate networks for each SDP. Exploitation of these results is finally investigated with the description of an energy-efficient algorithm for SDP-based context sensing in a multi-radio pervasive environment. 


    @article{cic08:ij,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACLI},
impact-factor ={1.304},
isi-acro = {COMPUT NETW},
author = {Charlet, Damien and Issarny, V. and Chibout, R.},
title = {Energy-efficient middleware-layer multi-radio networking: An assessment in the area of service discovery},
journal = {Computer Networks},
volume = 52,
number = 1,
pages = {4--24},
address = {New York, NY, United States},
publisher = {Elsevier},
url = {http://dx.doi.org/10.1016/j.comnet.2007.09.018},
pdf = {http://rma.pu-pm.univ-fcomte.fr/bibadmin/uploads/pdf/comnet.final.pdf},
abstract = {The massive deployment of mobile networks together with the emergence of powerful portable devices has given rise to pervasive computing environments. In such environments, mobile users may discover and access services offered in surrounding networks using Service Discovery Protocols (SDPs). However, several SDPs are currently in use, each one designed for a specific target network architecture and setting. As a result, in today's multi-radio networking environment, SDPs do not equally suit each radio interface. In order to provide effective service discovery in multi-radio networks, the most resource-efficient radio interface should be chosen with respect to two main criteria: the adequacy of the interface against the SDP to be used, and energy saving, which is crucial for battery-powered devices. Toward this goal, this article assesses how to effectively take advantage of the multiple radio interfaces now embedded within wireless devices with respect to energy consumption, from the standpoint of service discovery and access. It further investigates the adequacy of legacy SDPs with the various networks, so as to classify the most appropriate networks for each SDP. Exploitation of these results is finally investigated with the description of an energy-efficient algorithm for SDP-based context sensing in a multi-radio pervasive environment.},
issn = {1389-1286},
year = 2008,
note = {ISSN 1389-1286},

}


  14. Chockri Chemak, M.-S. Bouhlel, and Jean-Christophe Lapayre. Double Watermarking and Turbo-Coding for Robust Image Watermarking. JOTE, Journal Of Testing and Evaluation, 36(4):393--401, 2008. Note: ISSN 0090-3973. 

    @article{cbl08b:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLI},
impact-factor ={0.324},
isi-acro = {J TEST EVAL},
author = {Chemak, Chockri and Bouhlel, M.-S. and Lapayre, Jean-Christophe},
title = {Double Watermarking and Turbo-Coding for Robust Image Watermarking},
journal = {JOTE, Journal Of Testing and Evaluation},
issn = {0090-3973},
volume = 36,
number = 4,
pages = {393--401},
year = 2008,
note = {ISSN 0090-3973},

}


  15. Chockri Chemak, M.-S. Bouhlel, and Jean-Christophe Lapayre. Neurology Diagnostics Security and Terminal Adaptation for PocketNeuro Project. International Journal of Telemedicine and e-Health, 14(7):671--678, 2008. Note: ISSN 1530-5627. 

    @article{cbl08:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLI},
impact-factor ={0.967},
isi-acro = {TELEMED J E-HEALTH},
author = {Chemak, Chockri and Bouhlel, M.-S. and Lapayre, Jean-Christophe},
title = {Neurology Diagnostics Security and Terminal Adaptation for PocketNeuro Project},
journal = {International Journal of Telemedicine and e-Health},
issn = {1530-5627},
volume = 14,
number = 7,
pages = {671--678},
year = 2008,
note = {ISSN 1530-5627},

}


  16. Chockri Chemak, Nabil Elmarzouqi, M.-S. Bouhlel, and Jean-Christophe Lapayre. Robust Watermarking Scheme Against Contrasts and Scaling for PocketNeuro Project. Special Issue of GVIP, International Journal on Graphics, Vision and Image Processing, 8(1):33--40, 2008. Note: ISSN 1687-398X. 

    @article{cebl08a:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Chemak, Chockri and Elmarzouqi, Nabil and Bouhlel, M.-S. and Lapayre, Jean-Christophe},
title = {Robust Watermarking Scheme Against Contrasts and Scaling for {P}ocket{N}euro Project},
journal = {Special Issue of GVIP, International Journal on Graphics, Vision and Image Processing},
issn = {1687-398X},
volume = 8,
number = 1,
pages = {33--40},
year = 2008,
note = {ISSN 1687-398X},

}


  17. R. Chevrier, E. Castex, D. Josselin, Philippe Canalda, and Pascal Chatonnay. Un algorithme Génétique pour le transport à la demande en convergence. RIG (Revue Internationales de Géomatique), 18(2):239--268, 2008. Note: Revue internationale en langue française et anglaise. 

    @article{ccjc+08:nj,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACLNF},
impact-factor ={#},
isi-acro = {#},
author = {Chevrier, R. and Castex, E. and Josselin, D. and Canalda, Philippe and Chatonnay, Pascal},
title = {Un algorithme G\'en\'etique pour le transport \`a la demande en convergence},
journal = {RIG (Revue Internationales de G\'eomatique)},
publisher = {Hermes},
volume = 18,
number = 2,
pages = {239--268},
year = 2008,
note = {Revue internationale en langue fran\c{c}aise et anglaise},

}


  18. Raphaël Couturier. Statistical Implicative Analysis. In CHIC: Cohesive Hierarchical Implicative Classification, volume 127 of Studies in Computational Intelligence, pages 41--52. Springer, 2008. 

    @incollection{couturier08:bc,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {OS},
author = {Couturier, Rapha\"el},
title = {Statistical Implicative Analysis},
booktitle = {{CHIC}: Cohesive Hierarchical Implicative Classification},
pages = {41--52},
series = {Studies in Computational Intelligence},
volume = 127,
publisher = {Springer},
year = 2008,

}


  19. Raphaël Couturier, Christophe Denis, and Fabienne Jézéquel. GREMLINS: a large sparse linear solver for grid environment. Parallel Computing, 34(6-8):380--391, 2008. 

    @article{cdj08:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={1.309},
isi-acro = {PARALLEL COMPUT},
author = {Couturier, Rapha\"el and Denis, Christophe and J\'ez\'equel, Fabienne},
title = {{GREMLINS}: a large sparse linear solver for grid environment},
journal = {Parallel Computing},
pages = {380--391},
volume = 34,
number = {6-8},
year = 2008,

}


  20. Gérard Cécé, Pierre-Cyrille Héam, and Yann Mainier. Clôtures transitives de semi-commutations et model-checking régulier. TSI, Technique et Science Informatiques, 27(1-2):7--28, 2008. 

    @article{chm08:nj,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLNF},
impact-factor ={#},
isi-acro = {#},
author = {C\'ec\'e, G\'erard and H\'eam, Pierre-Cyrille and Mainier, Yann},
title = {Cl\^otures transitives de semi-commutations et model-checking r\'egulier},
journal = {TSI, Technique et Science Informatiques},
pages = {7--28},
volume = 27,
number = {1-2},
publisher = {Hermes},
year = 2008,

}


  21. Gérard Cécé, Pierre-Cyrille Héam, and Yann Mainier. Efficiency of Automata in Semi-Commutation Verification Techniques. RAIRO, Theoretical Informatics and Applications, 42(2):197--215, March 2008. 

    @article{chm08:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={0.277},
isi-acro = {RAIRO-THEOR INF APPL},
author = {C\'ec\'e, G\'erard and H\'eam, Pierre-Cyrille and Mainier, Yann},
title = {Efficiency of Automata in Semi-Commutation Verification Techniques},
journal = {RAIRO, Theoretical Informatics and Applications},
volume = 42,
number = 2,
pages = {197--215},
url = {http://www.rairo-ita.org/index.php?option=article&access=standard&Itemid=129&url=/articles/ita/abs/first/ita05036/ita05036.html},
doi = {10.1051/ita:2007029},
month = mar,
year = 2008,

}


  22. Karine Deschinkel, F. Galea, and C. Roucairol. Basics for vector implantation schemes in HDR brachytherapy using a new linear programming model. APJOR, Asia-Pacific Journal of Operational Research, pp ***--***, 2008. 

    @article{dgr08:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Deschinkel, Karine and Galea, F. and Roucairol, C.},
title = {Basics for vector implantation schemes in {HDR} brachytherapy using a new linear programming model},
journal = {APJOR, Asia-Pacific Journal of Operational Research},
pages = {***--***},
year = 2008,

}


  23. Isabelle Devarenne, Hakim Mabed, and Alexandre Caminada. Intelligent Neighborhood Exploration in Local Search Method. International Journal on Artificial Intelligence Tools, 17(1):195--204, 2008. 

    @article{dmc08a:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Devarenne, Isabelle and Mabed, Hakim and Caminada, Alexandre},
title = {Intelligent Neighborhood Exploration in Local Search Method},
journal = {International Journal on Artificial Intelligence Tools},
pages = {195--204},
volume = 17,
number = 1,
year = 2008,

}


  24. Nabil Elmarzouqi, Eric Garcia, and Jean-Christophe Lapayre. CSCW from Coordination to Collaboration. In Revised Selected Papers from CSCWD'07, Computer Supported Cooperative Work in Design IV, volume 5236 of LNCS Book, pages 87--98. Springer, 2008. 

    @incollection{egl08:bc,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {OS},
author = {Elmarzouqi, Nabil and Garcia, Eric and Lapayre, Jean-Christophe},
title = {{CSCW} from Coordination to Collaboration},
booktitle = {Revised Selected Papers from CSCWD'07, Computer Supported Cooperative Work in Design IV},
series = {LNCS Book},
volume = 5236,
pages = {87--98},
doi = {10.1007/978-3-540-92719-8_9},
url = {http://dx.doi.org/10.1007/978-3-540-92719-8_9},
publisher = {Springer},
year = 2008,

}


  25. Jean-Baptiste Ernst-Desmulier, Julien Bourgeois, and François Spies. P2PPerf: a framework for simulating and optimizing peer-to-peer distributed computing applications. Concurrency and Computation: Practice and Experience, 20(6):693--712, 2008. 

    @article{edbs08:ij,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACLI},
impact-factor ={1.791},
isi-acro = {CONCURR COMP-PRACT E},
author = {Ernst-Desmulier, Jean-Baptiste and Bourgeois, Julien and Spies, Fran\c{c}ois},
title = {{P2PPerf}: a framework for simulating and optimizing peer-to-peer distributed computing applications},
journal = {Concurrency and Computation: Practice and Experience},
volume = 20,
number = 6,
pages = {693--712},
publisher = {John Wiley and Sons},
year = 2008,

}


  26. Jean-Baptiste Ernst-Desmulier, Julien Bourgeois, and François Spies. Simulation et optimisation d'un environnement de calcul distribué sur un réseau pair à pair. TSI, Technique et Science Informatiques, 27(3-4):509--529, 2008. 

    @article{edbs08:nj,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACLNF},
impact-factor ={#},
isi-acro = {#},
author = {Ernst-Desmulier, Jean-Baptiste and Bourgeois, Julien and Spies, Fran\c{c}ois},
title = {Simulation et optimisation d'un environnement de calcul distribu\'e sur un r\'eseau pair \`a pair},
journal = {TSI, Technique et Science Informatiques},
pages = {509--529},
volume = 27,
number = {3-4},
year = 2008,

}


  27. I. Fourati Kallel, M.-S. Bouhlel, and Jean-Christophe Lapayre. Medical Image semi fragile Watermarking In The Frequential Field. JOTE, Journal Of Testing and Evaluation, 36(6):540--546, 2008. Note: ISSN 0090-3973. 

    @article{fbl08:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLI},
impact-factor ={0.324},
isi-acro = {J TEST EVAL},
author = {Fourati Kallel, I. and Bouhlel, M.-S. and Lapayre, Jean-Christophe},
title = {Medical Image semi fragile Watermarking In The Frequential Field},
journal = {JOTE, Journal Of Testing and Evaluation},
volume = 36,
number = 6,
pages = {540--546},
note = {ISSN 0090-3973},
doi = {10.1520/JTE101053},
url = {http://dx.doi.org/10.1520/JTE101053},
year = 2008,

}


  28. David Fuin, Eric Garcia, Hervé Guyennet, and Jean-Christophe Lapayre. Collaborative Interactions for Medical e-Diagnosis. HPCN, Int. Journal on High-Performance Computing and Networking, 5(3):189--197, 2008. 

    @article{fggl08:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLI},
impact-factor ={#},
isi-acro = {#},
scopus-snip = {0.561},
author = {Fuin, David and Garcia, Eric and Guyennet, Herv\'e and Lapayre, Jean-Christophe},
title = {Collaborative Interactions for Medical {e-Diagnosis}},
journal = {HPCN, Int. Journal on High-Performance Computing and Networking},
pages = {189--197},
volume = 5,
number = 3,
year = 2008,

}


  29. Abdoul-Karim Ganame, Julien Bourgeois, Renaud Bidou, and François Spies. A Global Security Architecture for Intrusion Detection on Computer Networks. Computers & Security, 27(1-2):30--47, 2008. 

    @article{gbbs08:ij,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACLI},
impact-factor ={1.028},
isi-acro = {COMPUT SECUR},
author = {Ganame, Abdoul-Karim and Bourgeois, Julien and Bidou, Renaud and Spies, Fran\c{c}ois},
title = {A Global Security Architecture for Intrusion Detection on Computer Networks},
journal = {Computers \& Security},
pages = {30--47},
volume = 27,
number = {1-2},
publisher = {Elsevier},
doi = {10.1016/j.cose.2008.03.004},
url = {http://dx.doi.org/10.1016/j.cose.2008.03.004},
year = 2008,

}


  30. Alain Giorgetti, Julien Groslambert, Jacques Julliand, and Olga Kouchnarenko. Verification of class liveness properties with Java modeling language. IET Software, 2(6):500--514, December 2008. 

    @article{ggjk08:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={0.542},
isi-acro = {IET SOFTW},
author = {Giorgetti, Alain and Groslambert, Julien and Julliand, Jacques and Kouchnarenko, Olga},
title = {Verification of class liveness properties with {J}ava modeling language},
journal = {IET Software},
volume = 2,
number = 6,
pages = {500--514},
publisher = {IET},
url2 = {http://link.aip.org/link/?SEN/2/500/1},
url = {http://dx.doi.org/10.1049/iet-sen:20080008},
doi = {10.1049/iet-sen:20080008},
month = dec,
year = 2008,

}


  31. Jean-Michel Hufflen. Extending mlBibTeX to Asian Languages: Some Directions. The Asian Journal of TeX, 2(1):35--42, April 2008. 

    @article{hufflen08a:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Hufflen, Jean-Michel},
title = {Extending {mlBibTeX} to Asian Languages: Some Directions},
journal = {The Asian Journal of TeX},
volume = 2,
number = 1,
pages = {35--42},
langue = {English},
month = apr,
year = 2008,

}


  32. Jean-Michel Hufflen. Languages for Bibliography Styles. TUGB, 2008(3):401--412, July 2008. Note: TUG 2008 proceedings, Cork, Ireland. 

    @article{hufflen08d:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Hufflen, Jean-Michel},
title = {Languages for Bibliography Styles},
journal = {TUGB},
volume = 2008,
number = 3,
pages = {401--412},
langue = {English},
month = jul,
year = 2008,
note = {TUG 2008 proceedings, Cork, Ireland},

}


  33. Jean-Michel Hufflen. Passer de LaTeX à xsl-fo. Cgut, 51:77-99, October 2008. 

    @article{hufflen08:nj,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Hufflen, Jean-Michel},
title = {Passer de {LaTeX} \`a {xsl-fo}},
journal = {Cgut},
volume = 51,
pages = {77-99},
langue = {French},
month = oct,
year = 2008,

}


  34. Jean-Michel Hufflen. Specifying Translated Works in Bibliographies. ArsTeXnica, 6:93--97, October 2008. Note: In guit 2008 meeting. 

    @article{hufflen08b:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Hufflen, Jean-Michel},
title = {Specifying Translated Works in Bibliographies},
journal = {ArsTeXnica},
volume = 6,
pages = {93--97},
langue = {English},
month = oct,
year = 2008,
note = {In guit 2008 meeting},

}


  35. Pierre-Cyrille Héam. A Note on Partially Ordered Tree Automata. Information Processing Letters, 108(4):242--246, 2008. 

    @article{heam08:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={0.706},
isi-acro = {INFORM PROCESS LETT},
author = {H\'eam, Pierre-Cyrille},
title = {A Note on Partially Ordered Tree Automata},
journal = {Information Processing Letters},
pages = {242--246},
volume = 108,
number = 4,
year = 2008,

}


  36. Frédéric Lassabe, Philippe Canalda, Damien Charlet, Pascal Chatonnay, and François Spies. Mobility Within Rich Multimedia Services. In I.K. Ibrahim, editor, Handbook of Research in Mobile Multimedia - 2nd edition, chapter 56, pages 804--818. Idea Group Inc., September 2008. 

    @incollection{lccc+08:bc,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {OS},
author = {Lassabe, Fr\'ed\'eric and Canalda, Philippe and Charlet, Damien and Chatonnay, Pascal and Spies, Fran\c{c}ois},
title = {Mobility Within Rich Multimedia Services},
booktitle = {Handbook of Research in Mobile Multimedia - 2nd edition},
chapter = 56,
pages = {804--818},
publisher = {Idea Group Inc.},
editor = {Ibrahim, I.K.},
isbn = {978-1-60566-046-2},
month = sep,
year = 2008,

}


  37. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. Cluster-based Self-Organization Scheme for Mobile Wireless Sensor Networks. IRECOS, International Review on Computers and Software, 3(2):185--192, March 2008. 

    @article{lgf08a:ij,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLNI},
impact-factor ={#},
isi-acro = {#},
author = {Lehsaini, Mohamed and Guyennet, Herv\'e and Feham, M.},
title = {Cluster-based Self-Organization Scheme for Mobile Wireless Sensor Networks},
journal = {IRECOS, International Review on Computers and Software},
pages = {185--192},
volume = 3,
number = 2,
issn = {1828-6003},
month = mar,
year = 2008,

}


  38. Mohammed Ouzzif, M. Erradi, and Hassan Mountassir. Description of a teleconferencing floor control protocol and its implementation. Engineering Applications of Artificial Intelligence, 21(3):430--441, 2008. 

    @article{oem08:ij,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACLI},
impact-factor ={1.397},
isi-acro = {ENG APPL ARTIF INTEL},
author = {Ouzzif, Mohammed and Erradi, M. and Mountassir, Hassan},
title = {Description of a teleconferencing floor control protocol and its implementation},
journal = {Engineering Applications of Artificial Intelligence},
pages = {430--441},
volume = 21,
number = 3,
issn = {0952-1976},
doi = {10.1016/j.engappai.2007.11.003},
url = {http://dx.doi.org/10.1016/j.engappai.2007.11.003},
publisher = {Pergamon Press, Inc.},
year = 2008,

}


  39. Christophe Reffay, Muriel Noras, Thierry Chanier, and Marie-Laure Betbeder. Contribution à la structuration de corpus d'apprentissage pour un meilleur partage en recherche. Revue Sciences et Technologies de l'Information et de la Communication pour l'Education, 15:185--219, 2008.

    Abstract:
    D'un point de vue m\'{e}thodologique, pour permettre une analyse des interactions situ\'{e}es, il convient de relier les diff\'{e}rentes donn\'{e}es issues de formations en ligne pour construire un objet d'analyse, exploitable par diff\'{e}rentes \'{e}quipes et disciplines, qui puisse ainsi donner lieu \`{a} la r\'{e}plication d'exp\'{e}rimentations, \`{a} des analyses cumulatives ou contrastives. Le constat actuel est que les donn\'{e}es sont souvent d\'{e}contextualis\'{e}es, parcellaires ou simplement inaccessibles \`{a} la communaut\'{e} des chercheurs. Nous d\'{e}finissons un corpus d'apprentissage en identifiant l'information qu'il doit contenir, structur\'{e}e de fa\c{c}on \`{a} rendre possible son \'{e}change et la capitalisation des analyses. Le protocole de recherche, le sc\'{e}nario p\'{e}dagogique, les interactions, productions et traces, les licences et les analyses capitalisables en sont les constituants. Nous illustrons la d\'{e}marche de construction d'un tel corpus sur l'exemple de la formation \" Simuligne \". Ce travail est ensuite positionn\'{e} au regard des questions d'\'{e}thique et de droit, des efforts de standardisation et des avanc\'{e}es sur l'analyse des traces en EIAH. 


    @article{rncb08:nj,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACLNF},
impact-factor ={#},
isi-acro = {#},
author = {Reffay, Christophe and Noras, Muriel and Chanier, Thierry and Betbeder, Marie-Laure },
title = {Contribution \`a la structuration de corpus d'apprentissage pour un meilleur partage en recherche},
journal = {Revue Sciences et Technologies de l'Information et de la Communication pour l'Education},
pages = {185--219},
volume = 15,
url = {http://sticef.univ-lemans.fr/num/vol2008/01-reffay/sticef_2008_reffay_01.htm},
abstract = {D'un point de vue m\'{e}thodologique, pour permettre une analyse des interactions situ\'{e}es, il convient de relier les diff\'{e}rentes donn\'{e}es issues de formations en ligne pour construire un objet d'analyse, exploitable par diff\'{e}rentes \'{e}quipes et disciplines, qui puisse ainsi donner lieu \`{a} la r\'{e}plication d'exp\'{e}rimentations, \`{a} des analyses cumulatives ou contrastives. Le constat actuel est que les donn\'{e}es sont souvent d\'{e}contextualis\'{e}es, parcellaires ou simplement inaccessibles \`{a} la communaut\'{e} des chercheurs. Nous d\'{e}finissons un corpus d'apprentissage en identifiant l'information qu'il doit contenir, structur\'{e}e de fa\c{c}on \`{a} rendre possible son \'{e}change et la capitalisation des analyses. Le protocole de recherche, le sc\'{e}nario p\'{e}dagogique, les interactions, productions et traces, les licences et les analyses capitalisables en sont les constituants. Nous illustrons la d\'{e}marche de construction d'un tel corpus sur l'exemple de la formation \" Simuligne \". Ce travail est ensuite positionn\'{e} au regard des questions d'\'{e}thique et de droit, des efforts de standardisation et des avanc\'{e}es sur l'analyse des traces en EIAH.},
year = 2008,

}


  40. Françoise Sailhan, Julien Bourgeois, and V. Issarny. Security Supervision in Hybrid Networks. SCI, Studies in Computation Intelligence, 149:137--149, 2008. Note: Best paper from the Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing conference. 

    @article{sbi08:ij,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACLI},
impact-factor ={#},
isi-acro = {#},
scopus-snip = {0.028},
author = {Sailhan, Fran\c{c}oise and Bourgeois, Julien and Issarny, V.},
title = {Security Supervision in Hybrid Networks},
journal = {SCI, Studies in Computation Intelligence},
volume = 149,
pages = {137--149},
editor = {Lee, Roger},
publisher = {Springer},
year = 2008,
note = {Best paper from the Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing conference},

}


  41. Aurélien Vasseur, Libor Makovicka, Éric Martin, Sylvain Contassot-Vivier, and Jacques Bahi. Dose calculations using artificial neural networks: a feasibility study for photon beams. Nucl. Instr. and Meth. in Phys. Res. B, 266(7):1085--1093, 2008. 

    @article{vmmcv+08:ij,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACLI},
impact-factor ={0.999},
isi-acro = {NUCL INSTRUM METH B},
author = {Vasseur, Aur\'elien and Makovicka, Libor and Martin, \'Eric and Contassot-Vivier, Sylvain and Bahi, Jacques},
title = {Dose calculations using artificial neural networks: a feasibility study for photon beams},
journal = {Nucl. Instr. and Meth. in Phys. Res. B},
pages = {1085--1093},
volume = 266,
number = 7,
year = 2008,

}


Conference articles
  1. Wahabou Abdou, Adrien Henriet, Dominique Dhoutaut, François Spies, and Christelle Bloch. Optimizing communications in vehicular ad hoc networks using evolutionary computation and simulation. In Richard Chbeir, Youakim Badr, Ajith Abraham, Dominique Laurent, Mario Köppen, Fernando Ferri, Lotfi A. Zadeh, and Yukio Ohsawa, editors, CSTST'2008, Int. Conf. on Soft Computing as Transdisciplinary Science and Technology, Cergy-Pontoise, France, pages 158--165, 2008. ACM Press. 

    @inproceedings{ahds+08:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Abdou, Wahabou and Henriet, Adrien and Dhoutaut, Dominique and Spies, Fran\c{c}ois and Bloch, Christelle},
title = {Optimizing communications in vehicular ad hoc networks using evolutionary computation and simulation},
booktitle = {CSTST'2008, Int. Conf. on Soft Computing as Transdisciplinary Science and Technology},
editor = {Chbeir, Richard and Badr, Youakim and Abraham, Ajith and Laurent, Dominique and K\"oppen, Mario and Ferri, Fernando and Zadeh, Lotfi A. and Ohsawa, Yukio},
pages = {158--165},
address = {Cergy-Pontoise, France},
publisher = {ACM Press},
doi = {10.1145/1456223.1456259},
url = {http://doi.acm.org/10.1145/1456223.1456259},
isbn = {978-1-60558-046-3},
year = 2008,

}


  2. Husam Alustwani, Jacques Bahi, and Ahmed Mostefaoui. Data Availability in P2P Streaming Systems. In FMN'08, IEEE Int. Workshop on Future Multimedia Networking, pages 531--536, September 2008. 

    @inproceedings{abm08: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 = {Data Availability in {P2P} Streaming Systems},
booktitle = {FMN'08, IEEE Int. Workshop on Future Multimedia Networking},
pages = {531--536},
accrate = 25,
month = sep,
year = 2008,

}


  3. Husam Alustwani, Jacques Bahi, and Ahmed Mostefaoui. Improving Data Availability in P2P Streaming Systems Using Distributed Virtual Cache. In ISM'08, IEEE Int. Symposium on Multimedia, pages 384--389, 2008. 

    @inproceedings{abm08b: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 = {Improving Data Availability in {P2P} Streaming Systems Using Distributed Virtual Cache},
booktitle = {ISM'08, IEEE Int. Symposium on Multimedia},
pages = {384--389},
year = 2008,

}


  4. Jacques Bahi, Sylvain Contassot-Vivier, and Raphaël Couturier. An Efficient and Robust Decentralized Algorithm for Detecting the Global Convergence in Asynchronous Iterative Algorithms. In VECPAR'08, volume 5336 of LNCS, Toulouse, France, pages 240--254, 2008. 

    @inproceedings{bcc08:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Contassot-Vivier, Sylvain and Couturier, Rapha\"el},
title = {An Efficient and Robust Decentralized Algorithm for Detecting the Global Convergence in Asynchronous Iterative Algorithms},
booktitle = {VECPAR'08},
pages = {240--254},
address = {Toulouse, France},
series = {LNCS},
volume = 5336,
year = 2008,

}


  5. Jacques Bahi, Sylvain Contassot-Vivier, Marc Sauget, and Aurélien Vasseur. A parallel incremental learning algorithm for neural networks with fault tolerance. In VECPAR'08, 8-th int. meeting on High Performance Computing for Computational Science, volume 5336 of LNCS, Toulouse, France, pages 502--515, June 2008. 

    @inproceedings{bcvsv08:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Contassot-Vivier, Sylvain and Sauget, Marc and Vasseur, Aur\'elien},
title = {A parallel incremental learning algorithm for neural networks with fault tolerance},
booktitle = {VECPAR'08, 8-th int. meeting on High Performance Computing for Computational Science},
series = {LNCS},
volume = 5336,
doi = {10.1007/978-3-540-92859-1_17},
url = {http://dx.doi.org/10.1007/978-3-540-92859-1_17},
pages = {502--515},
address = {Toulouse, France},
month = jun,
year = 2008,

}


  6. Jacques Bahi, Raphaël Couturier, and David Laiymani. Comparison of the Conjugate Gradient of NAS benchmark and of the Multisplitting algorithm with the Jace environment. In IPDPS'08, ACM/IEEE Int. Parallel and Distributed Processing Symposium, Miami, Florida, United States, 2008. IEEE Computer Society Press. Note: Proceedings on CD-ROM, 7 pages. 

    @inproceedings{bcl08: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},
title = {Comparison of the Conjugate Gradient of {NAS} benchmark and of the Multisplitting algorithm with the {J}ace environment},
booktitle = {IPDPS'08, ACM/IEEE Int. Parallel and Distributed Processing Symposium},
address = {Miami, Florida, United States},
publisher = {IEEE Computer Society Press},
year = 2008,
note = {Proceedings on CD-ROM, 7 pages},

}


  7. Jacques Bahi, Mirna Eskandar, and Ahmed Mostefaoui. A Robust Cooperation Approach For Mobile Multimedia Adhoc Networks. In ICDIM'08, 3rd Int. Conf. on Digital Information Management, University of East London, United Kingdom, pages 489--494, November 2008. 

    @inproceedings{bem08:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTI},
author = {Bahi, Jacques and Eskandar, Mirna and Mostefaoui, Ahmed},
title = {A Robust Cooperation Approach For Mobile Multimedia Adhoc Networks},
booktitle = {ICDIM'08, 3rd Int. Conf. on Digital Information Management},
pages = {489--494},
doi = {10.1109/ICDIM.2008.4746759},
url = {http://dx.doi.org/10.1109/ICDIM.2008.4746759},
address = {University of East London, United Kingdom},
month = nov,
year = 2008,

}


  8. Jacques Bahi, Mirna Eskandar, and Ahmed Mostefaoui. Une approche robuste pour la prolongation de la durée de vie des réseaux ad hoc multimédias. In UbiMob'08, 4èmes journées Francophones Mobilité et Ubiquité, volume 277 of ACM International Conference Proceedings, IUT de Saint-Malo, France, pages 49--56, May 2008. 

    @inproceedings{bem08:np,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTN},
author = {Bahi, Jacques and Eskandar, Mirna and Mostefaoui, Ahmed},
title = {Une approche robuste pour la prolongation de la dur\'ee de vie des r\'eseaux ad hoc multim\'edias},
booktitle = {UbiMob'08, 4\`emes journ\'ees Francophones Mobilit\'e et Ubiquit\'e},
pages = {49--56},
series = {ACM International Conference Proceedings},
volume = 277,
address = {IUT de Saint-Malo, France},
month = may,
year = 2008,

}


  9. Jacques Bahi, Arnaud Giersch, and Abdallah Makhoul. A Scalable Fault Tolerant Diffusion Scheme for Data Fusion in Sensor Networks. In Infoscale 2008, 3rd International ICST Conference on Scalable Information Systems, Vico Equense, Italy, pages 10--15, June 2008. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering). 

    @inproceedings{bgm08:ip,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {COM},
author = {Bahi, Jacques and Giersch, Arnaud and Makhoul, Abdallah},
title = {A Scalable Fault Tolerant Diffusion Scheme for Data Fusion in Sensor Networks},
booktitle = {Infoscale 2008, 3rd International {ICST} Conference on Scalable Information Systems},
address = {Vico Equense, Italy},
publisher = {ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)},
isbn = {978-963-9799-28-8},
month = jun,
year = 2008,
pages = {10--15},
url = {http://portal.acm.org/citation.cfm?id=1459693.1459708} 
}


  10. Jacques Bahi, Abdallah Makhoul, and Ahmed Mostefaoui. Improving Lifetime and Coverage Through a Mobile Beacon for High Density Sensor Networks. In SENSORCOMM'08, 2nd IEEE Int. Conf. on Sensor Technologies and Applications, Cap Esterel, France, pages 335--341, 2008. 

    @inproceedings{bmm08: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 = {Improving Lifetime and Coverage Through a Mobile Beacon for High Density Sensor Networks},
booktitle = {SENSORCOMM'08, 2nd IEEE Int. Conf. on Sensor Technologies and Applications},
address = {Cap Esterel, France},
pages = {335--341},
year = 2008,

}


  11. Anne Benoit, Mourad Hakem, and Yves Robert. Fault tolerant scheduling of precedence task graphs on heterogeneous platforms. In IPDPS'08, pages 1--8, 2008. IEEE Computer Society Press. 

    @inproceedings{bhr08b:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Benoit, Anne and Hakem, Mourad and Robert, Yves},
title = {Fault tolerant scheduling of precedence task graphs on heterogeneous platforms},
booktitle = {IPDPS'08},
pages = {1--8},
publisher = {IEEE Computer Society Press},
year = 2008,

}


  12. Anne Benoit, Mourad Hakem, and Yves Robert. Realistic Models and Efficient Algorithms for Fault Tolerant Scheduling on Heterogeneous Platforms. In ICPP'08, 37th IEEE Int. Conf. on Parallel Processing, pages 246--253, 2008. IEEE Computer Society Press. 

    @inproceedings{bhr08a:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Benoit, Anne and Hakem, Mourad and Robert, Yves},
title = {Realistic Models and Efficient Algorithms for Fault Tolerant Scheduling on Heterogeneous Platforms},
booktitle = {ICPP'08, 37th IEEE Int. Conf. on Parallel Processing},
pages = {246--253},
publisher = {IEEE Computer Society Press},
year = 2008,

}


  13. Anne Benoit, Harald Kosch, Veronika Rehn-Sonigo, and Yves Robert. Bi-criteria Pipeline Mappings for Parallel Image Processing. In ICCS'08, Int. Conf. on Computational Science, 2008. Springer. 

    @inproceedings{bkrsr08:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Benoit, Anne and Kosch, Harald and Rehn-Sonigo, Veronika and Robert, Yves},
title = {Bi-criteria Pipeline Mappings for Parallel Image Processing},
booktitle = {{ICCS'08}, Int. Conf. on Computational Science},
publisher = {Springer},
year = 2008,

}


  14. Anne Benoit, Veronika Rehn-Sonigo, and Yves Robert. Optimizing Latency and Reliability of Pipeline Workflow Applications. In HCW'08, the 17th Heterogeneity in Computing Workshop, 2008. IEEE Computer Society Press. 

    @inproceedings{brsr08b:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Benoit, Anne and Rehn-Sonigo, Veronika and Robert, Yves},
title = {Optimizing Latency and Reliability of Pipeline Workflow Applications},
booktitle = {HCW'08, the 17th Heterogeneity in Computing Workshop},
publisher = {IEEE Computer Society Press},
year = 2008,

}


  15. Julien Bernard, Jean-Louis Roch, and Daouda Traoré. Processor-Oblivious Parallel Stream Computations. In PDP'08, 16th Euromicro Int. Conf. on Parallel, Distributed and Network-Based Processing, Toulouse, France, pages 72--76, 2008. IEEE Computer Society Press. 

    @inproceedings{brt08:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Bernard, Julien and Roch, Jean-Louis and Traor\'e, Daouda},
title = {Processor-Oblivious Parallel Stream Computations},
booktitle = {PDP'08, 16th Euromicro Int. Conf. on Parallel, Distributed and Network-Based Processing},
pages = {72--76},
doi = {10.1109/PDP.2008.57},
url = {http://dx.doi.org/10.1109/PDP.2008.57},
publisher = {IEEE Computer Society Press},
address = {Toulouse, France},
year = 2008,

}


  16. Kamal Beydoun and Violeta Felea. Energy-Efficient WSN Infrastructure. In DCSN'08, Int. Workshop on Distributed Collaborative Sensor Networks, Irvine, California, United States, pages 58--65, May 2008. IEEE Computer Society Press. 

    @inproceedings{bfg08:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Beydoun, Kamal and Felea, Violeta},
title = {Energy-Efficient {WSN} Infrastructure},
booktitle = {DCSN'08, Int. Workshop on Distributed Collaborative Sensor Networks},
pages = {58--65},
publisher = {IEEE Computer Society Press},
address = {Irvine, California, United States},
month = may,
year = 2008,

}


  17. Kamal Beydoun, Violeta Felea, and Hervé Guyennet. Wireless sensor network system helping navigation of the visually impaired. In ICTTA'08, IEEE int. conf. on Information and Communication Technologies: from Theory to Applications, Damascus, Syrian Arab Republic, pages 1--5, April 2008. 

    @inproceedings{bfg08:oip,
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 system helping navigation of the visually impaired},
booktitle = {ICTTA'08, IEEE int. conf. on Information and Communication Technologies: from Theory to Applications},
pages = {1--5},
address = {Damascus, Syrian Arab Republic},
month = apr,
year = 2008,

}


  18. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. Finer is better: Abstraction Refinement for Rewriting Approximations. In A. Voronkov, editor, RTA'08, 19th int. conf. on Rewriting Techniques and Applications, volume 5117 of LNCS, Hagenberg, Austria, pages 48--62, July 2008. Springer. 

    @inproceedings{bchk08a:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Boichut, Yohan and Courbis, Rom\'eo and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga},
title = {Finer is better: Abstraction Refinement for Rewriting Approximations},
booktitle = {RTA'08, 19th int. conf. on Rewriting Techniques and Applications},
pages = {48--62},
editor = {A. Voronkov},
address = {Hagenberg, Austria},
series = {LNCS},
volume = 5117,
ISBN = {978-3-540-70588-8},
publisher = {Springer},
month = jul,
year = 2008,

}


  19. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. Handling Left-Quadratic Rules When Completing Tree Automata. In RP'08 proceedings, Workshop on Reachability Problems in Computational Models, volume 223 of ENTCS, Electronic Notes in Theoretical Computer Science, Liverpool, United Kingdom, pages 61--70, 2008. Elsevier. 

    @inproceedings{bchk08b:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Boichut, Yohan and Courbis, Rom\'eo and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga},
title = {Handling Left-Quadratic Rules When Completing Tree Automata},
booktitle = {RP'08 proceedings, Workshop on Reachability Problems in Computational Models},
series = {ENTCS, Electronic Notes in Theoretical Computer Science},
volume = 223,
pages = {61--70},
address = {Liverpool, United Kingdom},
publisher = {Elsevier},
doi = {10.1016/j.entcs.2008.12.031},
url = {http://dx.doi.org/10.1016/j.entcs.2008.12.031},
year = 2008,

}


  20. Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, and Fabien Peureux. A test generation solution to automate software testing. In AST'08, 3rd Int. workshop on Automation of Software Test, Leipzig, Germany, pages 45--48, May 2008. ACM Press. 

    @inproceedings{bglp08:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Bouquet, Fabrice and Grandpierre, Christophe and Legeard, Bruno and Peureux, Fabien},
title = {A test generation solution to automate software testing},
booktitle = {AST'08, 3rd Int. workshop on Automation of Software Test},
pages = {45--48},
address = {Leipzig, Germany},
publisher = {ACM Press},
isbn = {978-1-60558-030-2},
doi = {http://doi.acm.org/10.1145/1370042.1370052},
url = {http://doi.acm.org/10.1145/1370042.1370052},
month = may,
year = 2008,

}


  21. Thibaud Brocard, Fabrice Bouquet, Alain Giorgetti, and Christophe Lang. Agent based modelling of complex systems with AML and the situation calculus. In ABS2, Int. workshop on Agent Based Spatial Simulation, Paris, France, November 2008. 

    @inproceedings{bbgl08:oip,
inhal = {no},
domainehal = {INFO:INFO_MO, INFO:INFO_NI},
equipe = {ie},
classement = {COM},
author = {Brocard, Thibaud and Bouquet, Fabrice and Giorgetti, Alain and Lang, Christophe},
title = {Agent based modelling of complex systems with {AML} and the situation calculus},
booktitle = {ABS2, Int. workshop on Agent Based Spatial Simulation},
address = {Paris, France},
month = nov,
year = 2008,

}


  22. Catherine Caille-Cattin, Ahmed Hammad, Jean-Louis Poirey, and Rémi Thomas. Integration of the E&T database in the E-pragma system. In Besançon 2008, Int. Conf. of Territorial Intelligence, Besançon, France, October 2008. 

    @inproceedings{cchpt08:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Caille-Cattin, Catherine and Hammad, Ahmed and Poirey, Jean-Louis and Thomas, R\'emi},
title = {Integration of the {E\&T} database in the {E}-pragma system},
booktitle = {Besan\c{c}on 2008, Int. Conf. of Territorial Intelligence},
url = {http://www.territorial-intelligence.eu/index.php/besancon08/Caille-Cattin2},
address = {Besan\c{c}on, France},
month = oct,
year = 2008,

}


  23. Jean-Claude Chamagne, Raphaël Couturier, and David Laiymani. Un algorithme décentralisé et asynchrone pour la détection de la convergence dans un environnement volatil. In Renpar 2008, Fribourg, Switzerland, pages (8 pages), February 2008. Note: Publication électronique. 

    @inproceedings{ccl08:np,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {ACTN},
author = {Chamagne, Jean-Claude and Couturier, Rapha\"el and Laiymani, David},
title = {Un algorithme d\'ecentralis\'e et asynchrone pour la d\'etection de la convergence dans un environnement volatil},
booktitle = {Renpar 2008},
pages = {(8 pages)},
address = {Fribourg, Switzerland},
month = feb,
year = 2008,
note = {Publication \'electronique},

}


  24. Samir Chouali, Hassan Mountassir, and Sebti Mouelhi. An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. In FESCA'08, Formal Foundations of Embedded Software and Component-based Software Architectures, volume 238-6 of ENTCS, Electronic Notes in Theoretical Computer Science, Budapest, Hungary, pages 3--13, 2008. Elsevier. Note: A paper from 2008 published in ENTCS in 2010. 

    @inproceedings{cmm08:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Chouali, Samir and Mountassir, Hassan and Mouelhi, Sebti},
title = {An {I/O} Automata-based Approach to Verify Component Compatibility: Application to the {CyCab} Car},
booktitle = {FESCA'08, Formal {F}oundations of {E}mbedded {S}oftware and {C}omponent-based {S}oftware {A}rchitectures},
series = {ENTCS, Electronic Notes in Theoretical Computer Science},
volume = {238-6},
pages = {3--13},
issn = {1571-0661},
doi = {10.1016/j.entcs.2010.06.002},
url = {http://dx.doi.org/10.1016/j.entcs.2010.06.002},
publisher = {Elsevier},
address = {Budapest, Hungary},
year = 2008,
note = {A paper from 2008 published in ENTCS in 2010},

}


  25. S. Colin, Arnaud Lanoix, Olga Kouchnarenko, and J. Souquières. Towards Validating a Platoon of Cristal Vehicles Using CSP||B. In AMAST'08, 12th Int. Conf. on Algebraic Methodology and Software Technology, volume 5140 of LNCS, Urbana, IL, United States, pages 139--144, July 2008. Springer. 

    @inproceedings{clks08a:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Colin, S. and Lanoix, Arnaud and Kouchnarenko, Olga and Souqui\`eres, J.},
title = {Towards Validating a Platoon of Cristal Vehicles Using {CSP||B}},
booktitle = {AMAST'08, 12th Int. Conf. on Algebraic Methodology and Software Technology},
address = {Urbana, IL, United States},
publisher = {Springer},
series = {LNCS},
volume = 5140,
pages = {139--144},
url = {http://dx.doi.org/10.1007/978-3-540-79980-1_11},
month = jul,
year = 2008,

}


  26. S. Colin, Arnaud Lanoix, Olga Kouchnarenko, and J. Souquières. Using CSP||B Components: Application to a Platoon of Vehicles. In FMICS'08, 13th workshop on Formal Methods for Industrial Critical Systems, volume 5596 of LNCS, L'Aquila, Italy, pages 103--118, September 2008. 

    @inproceedings{clks08b:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Colin, S. and Lanoix, Arnaud and Kouchnarenko, Olga and Souqui\`eres, J.},
title = {Using {CSP||B} Components: Application to a Platoon of Vehicles},
booktitle = {FMICS'08, 13th workshop on Formal Methods for Industrial Critical Systems},
series = {LNCS},
volume = 5596,
pages = {103--118},
doi = {10.1007/978-3-642-03240-0_11},
url = {http://dx.doi.org/10.1007/978-3-642-03240-0_11},
address = {L'Aquila, Italy},
month = sep,
year = 2008,

}


  27. Frédéric Dadeau, Jacques Julliand, and Régis Tissot. Leirios Test Generator: from Research to Teaching, through Industry. In C. Attiogbé and E. Habrias, editors, Int. Workshop on the B Method: from Research to Teaching, Nantes, France, pages 1--16, June 2008. APCB. 

    @inproceedings{djt08:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Dadeau, Fr\'ed\'eric and Julliand, Jacques and Tissot, R\'egis},
title = {Leirios Test Generator: from Research to Teaching, through Industry},
booktitle = {Int. Workshop on the B Method: from Research to Teaching},
pages = {1--16},
editor = {Attiogb\'e, C. and Habrias, E.},
address = {Nantes, France},
publisher = {APCB},
ISBN = {2-9512461-2-9},
month = jun,
year = 2008,

}


  28. Frédéric Dadeau, J. Lamboley, T. Moutet, and Marie-Laure Potet. A Verifiable Conformance Relationship between Smart Card Applets and B Models. In E. Borger, J. Bowen, and M. Butler, editors, ABZ'2008, International Conference on ASM, B and Z, volume 5238 of LNCS, London, United Kingdom, pages 237--250, September 2008. Springer. 

    @inproceedings{dlmp08:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Dadeau, Fr\'ed\'eric and Lamboley, J. and Moutet, T. and Potet, Marie-Laure},
title = {A Verifiable Conformance Relationship between Smart Card Applets and {B} Models},
booktitle = {ABZ'2008, International Conference on ASM, B and Z},
pages = {237--250},
doi = {10.1007/978-3-540-87603-8_19},
url = {http://www.springerlink.com/content/p6n6u55934555216/},
series = {LNCS},
volume = 5238,
publisher = {Springer},
editor = {Borger, E. and Bowen, J. and Butler, M.},
isbn = {978-3-540-87602-1},
address = {London, United Kingdom},
month = sep,
year = 2008,

}


  29. Frédéric Dadeau, Marie-Laure Potet, and Régis Tissot. A B Formal Framework for Security Developments in the Domain of Smart Card Applications. In S. Jajodia and P. Samarati, editors, SEC'2008, 23rd int. Information Security Conference, volume 278 of IFIP, Milano, Italy, pages 141--155, September 2008. Springer. 

    @inproceedings{dpt08:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Dadeau, Fr\'ed\'eric and Potet, Marie-Laure and Tissot, R\'egis},
title = {A {B} Formal Framework for Security Developments in the Domain of Smart Card Applications},
booktitle = {SEC'2008, 23rd int. Information Security Conference},
pages = {141--155},
series = {IFIP},
volume = 278,
publisher = {Springer},
editor = {Jajodia, S. and Samarati, P.},
address = {Milano, Italy},
month = sep,
year = 2008,

}


  30. Frédéric Dadeau and Régis Tissot. Teaching Model-Based Testing with Leirios Test Generator. In Z. Istenes, editor, FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008), Budapest, Hungary, pages 129--138, March 2008. 

    @inproceedings{dt08:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Dadeau, Fr\'ed\'eric and Tissot, R\'egis},
title = {Teaching Model-Based Testing with {L}eirios {T}est {G}enerator},
booktitle = {FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008)},
pages = {129--138},
editor = {Istenes, Z.},
address = {Budapest, Hungary},
month = mar,
year = 2008,

}


  31. Frédéric Dadeau, Adrien de Kermadec, and Régis Tissot. Combining Scenario and Model-Based Testing to ensure POSIX Compliance. In E. Borger, J. Bowen, and M. Butler, editors, ABZ'2008, Int. Conf. on ASM, B and Z, volume 5238 of LNCS, London, United Kingdom, pages 153--166, September 2008. Springer. 

    @inproceedings{ddkt08:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Dadeau, Fr\'ed\'eric and de~Kermadec, Adrien and Tissot, R\'egis},
title = {Combining Scenario and Model-Based Testing to ensure {POSIX} Compliance},
booktitle = {ABZ'2008, Int. Conf. on ASM, B and Z},
pages = {153--166},
doi = {10.1007/978-3-540-87603-8_13},
url = {http://www.springerlink.com/content/c252x55m2040n882/},
series = {LNCS},
volume = 5238,
publisher = {Springer},
editor = {Borger, E. and Bowen, J. and Butler, M.},
isbn = {978-3-540-87602-1},
address = {London, United Kingdom},
month = sep,
year = 2008,

}


  32. Sylvain Dahan, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Performances Study of the Distributed Spanning Tree an Overlay Network for Server Lookup. In ICIW'08, 3rd int. Conf. on Internet and Web Applications and Services, Athens, Greece, pages 330--335, June 2008. IEEE Computer Society Press. 

    @inproceedings{ddnp08:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Dahan, Sylvain and Dobrila, Alexandru and Nicod, Jean-Marc and Philippe, Laurent},
title = {Performances Study of the Distributed Spanning Tree an Overlay Network for Server Lookup},
booktitle = {ICIW'08, 3rd int. Conf. on Internet and Web Applications and Services},
pages = {330--335},
isbn = {978-0-7695-3163-2},
publisher = {IEEE Computer Society Press},
address = {Athens, Greece},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICIW.2008.9},
url = {http://doi.ieeecomputersociety.org/10.1109/ICIW.2008.9},
month = jun,
year = 2008,

}


  33. Sylvain Dahan, Alexandru Dobrila, Jean-Marc Nicod, and Laurent Philippe. Étude des performances du Distributed Spanning Tree : un Overlay Network pour la Recherche de Services. In CFSE'6, 6ème Conf. Française en Systèmes d'Exploitation, Fribourg, Switzerland, pages (6 pages), February 2008. Note: Publication électronique. 

    @inproceedings{ddnp08:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Dahan, Sylvain and Dobrila, Alexandru and Nicod, Jean-Marc and Philippe, Laurent},
title = {\'Etude des performances du Distributed Spanning Tree~: un Overlay Network pour la Recherche de Services},
booktitle = {CFSE'6, 6\`eme Conf. Fran\c{c}aise en Syst\`emes d'Exploitation},
pages = {(6 pages)},
address = {Fribourg, Switzerland},
month = feb,
year = 2008,
note = {Publication \'electronique},

}


  34. Sylvie Damy and Bénédicte Herrmann. Metadata for the caENTI. In Besançon 2008, Int. Conf. of Territorial Intelligence, Besançon, France, October 2008. 

    @inproceedings{dh08: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},
title = {Metadata for the {caENTI}},
booktitle = {Besan\c{c}on 2008, Int. Conf. of Territorial Intelligence},
url = {http://www.territorial-intelligence.eu/index.php/besancon08/Damy2},
address = {Besan\c{c}on, France},
month = oct,
year = 2008,

}


  35. Sylvie Damy, Bénédicte Herrmann, C. Masselot, J. Benilan, and M. Ramage. Progress and prospects of Catalyse tools Integration. In Besançon 2008, Int. Conf. of Territorial Intelligence, Besançon, France, October 2008. 

    @inproceedings{dhmb+08: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 Masselot, C. and Benilan, J. and Ramage, M.},
title = {Progress and prospects of Catalyse tools Integration},
booktitle = {Besan\c{c}on 2008, Int. Conf. of Territorial Intelligence},
url = {http://www.territorial-intelligence.eu/index.php/besancon08/Damy},
address = {Besan\c{c}on, France},
month = oct,
year = 2008,

}


  36. Eugen Dedu, Kahina Boutoustous, and Julien Bourgeois. An exhaustive comparison framework for distributed shape differentiation in a MEMS sensor actuator array. In ISPDC'08, 7th int. Symposium on Parallel and Distributed Computing, Kraków, Poland, pages 429--433, July 2008. IEEE Computer Society Press. 

    @inproceedings{bdb08:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Dedu, Eugen and Boutoustous, Kahina and Bourgeois, Julien},
title = {An exhaustive comparison framework for distributed shape differentiation in a {MEMS} sensor actuator array},
booktitle = {ISPDC'08, 7th int. Symposium on Parallel and Distributed Computing},
url = {http://doi.ieeecomputersociety.org/10.1109/ISPDC.2008.55},
pages = {429--433},
address = {Krak\'ow, Poland},
publisher = {IEEE Computer Society Press},
month = jul,
year = 2008,

}


  37. Karine Deschinkel and J. Cohen. Arrangement linéaire minimal des graphes d'intervalles. In ROADEF'08, 9e conférence de la Société Française de Recherche Opérationnelle et d'Aide á la Décision, Clermont-Ferrand, France, February 2008. 

    @inproceedings{dc08:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Deschinkel, Karine and Cohen, J.},
title = {Arrangement lin\'eaire minimal des graphes d'intervalles},
booktitle = {ROADEF'08, 9e conf\'erence de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide \'a la D\'ecision},
address = {Clermont-Ferrand, France},
month = feb,
year = 2008,

}


  38. Karine Deschinkel, F. Galea, C. Louat, and C. Roucairol. Intégration de méthodes de coupes : Librairies Glop et Glock. In ROADEF'08, 9e conférence de la Société Française de Recherche Opérationnelle et d'Aide á la Décision, Clermont-Ferrand, France, February 2008. 

    @inproceedings{dglr08:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Deschinkel, Karine and Galea, F. and Louat, C. and Roucairol, C.},
title = {Int\'egration de m\'ethodes de coupes : Librairies {Glop} et {Glock}},
booktitle = {ROADEF'08, 9e conf\'erence de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide \'a la D\'ecision},
address = {Clermont-Ferrand, France},
month = feb,
year = 2008,

}


  39. Karine Deschinkel and S.A.A. Touati. A two-phases heuristic for the problem of periodic scheduling with storage minimisation. In ECCO'08, European Chapter on Combinatorial Optimization, Dubrovnik, Croatie, pages ***--***, May 2008. 

    @inproceedings{dt08b:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Deschinkel, Karine and Touati, S.A.A.},
title = {A two-phases heuristic for the problem of periodic scheduling with storage minimisation},
booktitle = {ECCO'08, European Chapter on Combinatorial Optimization},
pages = {***--***},
address = {Dubrovnik, Croatie},
month = may,
year = 2008,

}


  40. Karine Deschinkel and S.A.A. Touati. Efficient Method for Periodic Task Scheduling with Storage Requirement Minimisation. In COCOA'08, 2nd Int. Conf. on Combinatorial Optimization and Applications, volume 5165 of LNCS, St John, Canada, pages 438--447, August 2008. Springer. 

    @inproceedings{dt08a:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Deschinkel, Karine and Touati, S.A.A.},
title = {Efficient Method for Periodic Task Scheduling with Storage Requirement Minimisation},
booktitle = {COCOA'08, 2nd Int. Conf. on Combinatorial Optimization and Applications},
series = {LNCS},
volume = 5165,
pages = {438--447},
publisher = {Springer},
address = {St John, Canada},
month = aug,
year = 2008,

}


  41. Isabelle Devarenne, Hakim Mabed, and Alexandre Caminada. Adaptive Tabu Tenure Computation in Local Search. In EvoCOP'08, Evolutionary Computation in Combinatorial Optimization, volume 4972 of LNCS, pages 1--12, March 2008. 

    @inproceedings{dmc08b:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Devarenne, Isabelle and Mabed, Hakim and Caminada, Alexandre},
title = {Adaptive Tabu Tenure Computation in Local Search},
booktitle = {EvoCOP'08, Evolutionary Computation in Combinatorial Optimization},
pages = {1--12},
series = {LNCS},
volume = 4972,
month = mar,
year = 2008,

}


  42. Isabelle Devarenne, Hakim Mabed, and Alexandre Caminada. Adaptive local search for a new military frequency hopping planning problem. In EvoComNet'08, 5th European Workshop on the Application of Nature-inspired Techniques to Telecommunication Networks and other Connected Systems, volume 4974 of LNCS, pages 11--20, March 2008. 

    @inproceedings{dmc08c:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Devarenne, Isabelle and Mabed, Hakim and Caminada, Alexandre},
title = {Adaptive local search for a new military frequency hopping planning problem},
booktitle = {EvoComNet'08, 5th European Workshop on the Application of Nature-inspired Techniques to Telecommunication Networks and other Connected Systems},
pages = {11--20},
series = {LNCS},
volume = 4974,
month = mar,
year = 2008,

}


  43. Sékou Diakité, Jean-Marc Nicod, and Laurent Philippe. Adaptation d'un algorithme optimal d'ordonnancement en régime permanent pour des lots bornés. In RenPar'18, 18èmes Rencontres francophones du Parallélisme, Fribourg, Switzerland, pages (6 pages), 2008. Note: Publication électronique. 

    @inproceedings{dnp08:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Diakit\'e, S\'ekou and Nicod, Jean-Marc and Philippe, Laurent},
title = {Adaptation d'un algorithme optimal d'ordonnancement en r\'egime permanent pour des lots born\'es},
booktitle = {RenPar'18, 18\`emes Rencontres francophones du Parall\'elisme},
pages = {(6 pages)},
address = {Fribourg, Switzerland},
year = 2008,
note = {Publication \'electronique},

}


  44. Sékou Diakité, Jean-Marc Nicod, and Laurent Philippe. Comparison of Batch Scheduling for Identical Multi-Tasks Jobs on Heterogeneous Platforms. In PDP 2008, 16th Euromicro Int. Conf. on Parallel, Distributed and network-based Processing, Toulouse, France, pages 374--378, 2008. 

    @inproceedings{dnp08:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Diakit\'e, S\'ekou and Nicod, Jean-Marc and Philippe, Laurent},
title = {Comparison of Batch Scheduling for Identical Multi-Tasks Jobs on Heterogeneous Platforms},
booktitle = {PDP 2008, 16th Euromicro Int. Conf. on Parallel, Distributed and network-based Processing},
pages = {374--378},
address = {Toulouse, France},
year = 2008,

}


  45. Sékou Diakité, Jean-Marc Nicod, and Laurent Philippe. Processing Identical Workflows on SOA Grids: Comparison of Three Approaches. In DFMA'08, 4th IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, Penang, Malaysia, pages 27--34, October 2008. 

    @inproceedings{dnp08b:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Diakit\'e, S\'ekou and Nicod, Jean-Marc and Philippe, Laurent},
title = {Processing Identical Workflows on {SOA} Grids: Comparison of Three Approaches},
booktitle = {DFMA'08, 4th IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications},
pages = {27--34},
address = {Penang, Malaysia},
month = oct,
year = 2008,

}


  46. Mohammad Dib, Alexandre Caminada, and Hakim Mabed. Propagation de Contraintes et Listes Tabou pour le CSP. In JFCP'08, 4e Journées Francophones de Programmation par Contraintes, pages 409--413, September 2008. 

    @inproceedings{dcm08:onp,
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 = {Propagation de Contraintes et Listes Tabou pour le {CSP}},
booktitle = {JFCP'08, 4e Journ\'ees Francophones de Programmation par Contraintes},
pages = {409--413},
month = sep,
year = 2008,

}


  47. Mohammad Dib, Hakim Mabed, and Alexandre Caminada. Constraint Propagation with Tabu List for Min-Span Frequency Assignment Problem. In MCO'08, Modelling, Computation and Optimization in Information Systems and Management Sciences, Metz, France, pages 97--106, September 2008. 

    @inproceedings{dmc08:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTIN},
author = {Dib, Mohammad and Mabed, Hakim and Caminada, Alexandre},
title = {Constraint Propagation with Tabu List for Min-Span Frequency Assignment Problem},
booktitle = {MCO'08, Modelling, Computation and Optimization in Information Systems and Management Sciences},
pages = {97--106},
address = {Metz, France},
month = sep,
year = 2008,

}


  48. Abdoul-Karim Ganame and Julien Bourgeois. Defining a simple metric for real-time security level evaluation of multi-sites networks. In SSN/IPDPS'08, 4th int. Workshop on Security in Systems and Networks, join to IPDPS'08, Int. Parallel and Distributed Processing Symposium, Miami, United States, pages 1--8, March 2008. IEEE Computer Society Press. 

    @inproceedings{gb08:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Ganame, Abdoul-Karim and Bourgeois, Julien},
title = {Defining a simple metric for real-time security level evaluation of multi-sites networks},
booktitle = {SSN/IPDPS'08, 4th int. Workshop on Security in Systems and Networks, join to IPDPS'08, Int. Parallel and Distributed Processing Symposium},
pages = {1--8},
publisher = {IEEE Computer Society Press},
doi = {10.1109/IPDPS.2008.4536562},
url = {http://dx.doi.org/10.1109/IPDPS.2008.4536562},
address = {Miami, United States},
month = mar,
year = 2008,

}


  49. Alexandre Gondran, Oumaya Baala, Alexandre Caminada, and Hakim Mabed. Hypergraph T-Coloring for Automatic Frequency Planning problem in Wireless LAN. In PIMRC'08, 19th IEEE Int. Symposium on Personal, Indoor and Mobile Radio Communications, Cannes, France, pages 15--18, September 2008. 

    @inproceedings{gbcm08:ip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTI},
author = {Gondran, Alexandre and Baala, Oumaya and Caminada, Alexandre and Mabed, Hakim},
title = {Hypergraph {T}-Coloring for Automatic Frequency Planning problem in {Wireless LAN}},
booktitle = {PIMRC'08, 19th IEEE Int. Symposium on Personal, Indoor and Mobile Radio Communications},
pages = {15--18},
address = {Cannes, France},
month = sep,
year = 2008,

}


  50. A. Gondron, Oumaya Baala, Alexandre Caminada, and Hakim Mabed. Interference Management in IEEE 802.11 Frequency Assignment. In 67th IEEE Vehicular Technology Conference, pages 2238--2242, May 2008. 

    @inproceedings{gbcm08:bl,
inhal = {no},
equipe = {omni},
classement = {*},
author = {Gondron, A. and Baala, Oumaya and Caminada, Alexandre and Mabed, Hakim},
title = {Interference Management in {IEEE 802.11} Frequency Assignment},
booktitle = {67th IEEE Vehicular Technology Conference},
pages = {2238--2242},
month = may,
year = 2008,

}


  51. Françoise Greffier and Sandrine Rolando. Peut mieux faire, ou comment les messages entravent la réussite en milieu scolaire. In IFAT'08, 29e congrès de l'Institut Français d'Analyse Transationnelle, thème Alternatives à la violence : comment faire face à la complexité des enjeux ?, Bordeaux, France, pages 69--75, November 2008. 

    @inproceedings{gr08:onp,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {COM},
author = {Greffier, Françoise and Rolando, Sandrine},
title = {Peut mieux faire, ou comment les messages entravent la r\'eussite en milieu scolaire},
booktitle = {IFAT'08, 29e congr\`es de l'Institut Fran\c{c}ais d'Analyse Transationnelle, th\`eme Alternatives \`a la violence : comment faire face \`a la complexit\'e des enjeux ?},
pages = {69--75},
address = {Bordeaux, France},
month = nov,
year = 2008,

}


  52. Mais Haj Rachid, Wahiba Ramdane-Cherif, Christelle Bloch, and Pascal Chatonnay. Classification de Problèmes de Tournées de Véhicules. In MOSIM'08, 7ème Conférence Internationale de MOdélisation et SIMulation, Paris, France, pages 1149--1158, March 2008. 

    @inproceedings{hrrcbc08b:np,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Haj Rachid, Mais and Ramdane-Cherif, Wahiba and Bloch, Christelle and Chatonnay, Pascal},
title = {Classification de Probl\`emes de Tourn\'ees de V\'ehicules},
booktitle = {MOSIM'08, 7\`eme Conf\'erence Internationale de MOd\'elisation et SIMulation},
pages = {1149--1158},
address = {Paris, France},
month = mar,
year = 2008,

}


  53. Mais Haj Rachid, Wahiba Ramdane-Cherif, Christelle Bloch, and Pascal Chatonnay. Nouvelle Approche pour Classifier les Problèmes de Tournées de Véhicules. In CIFMA'03, 3ème Congrès International Francophone de Mécanique Avancée, Conception, Fiabilité et Optimisation, Faculté de Génie Mécanique, Aleppo, Syrian Arab Republic, pages 38--46, April 2008. 

    @inproceedings{hrrcbc08c:np,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Haj Rachid, Mais and Ramdane-Cherif, Wahiba and Bloch, Christelle and Chatonnay, Pascal},
title = {Nouvelle Approche pour Classifier les Probl\`emes de Tourn\'ees de V\'ehicules},
booktitle = {CIFMA'03, 3\`eme Congr\`es International Francophone de M\'ecanique Avanc\'ee, Conception, Fiabilit\'e et Optimisation},
pages = {38--46},
address = {Facult\'e de G\'enie M\'ecanique, Aleppo, Syrian Arab Republic},
month = apr,
year = 2008,

}


  54. Mais Haj Rachid, Wahiba Ramdane-Cherif, Christelle Bloch, and Pascal Chatonnay. Proposition de Notation pour les Problèmes de Tournées. In ROADEF'08, 9ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Clermont-Ferrand, France, pages 63--77, February 2008. 

    @inproceedings{hrrcbc08a:np,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {ACTN},
author = {Haj Rachid, Mais and Ramdane-Cherif, Wahiba and Bloch, Christelle and Chatonnay, Pascal},
title = {Proposition de Notation pour les Probl\`emes de Tourn\'ees},
booktitle = {ROADEF'08, 9\`eme congr\`es de la Soci\'et\'e Fran\c{c}aise de Recherche Op\'erationnelle et d'Aide \`a la D\'ecision},
pages = {63--77},
address = {Clermont-Ferrand, France},
month = feb,
year = 2008,

}


  55. Ahmed Hammad and Hassan Mountassir. Heuristics to verify LTL properties of hierarchical systems. In VECoS'2008, 2nd Int. Workshop on Verification and Evaluation of Computer and Communication Systems, eWiC - electronic Workshops in Computing, Leeds, United Kingdom, pages ***--***, July 2008. British Computer Society. 

    @inproceedings{hm08:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Hammad, Ahmed and Mountassir, Hassan},
title = {Heuristics to verify {LTL} properties of hierarchical systems},
booktitle = {VECoS'2008, 2nd Int. Workshop on Verification and Evaluation of Computer and Communication Systems},
pages = {***--***},
series = {eWiC - electronic Workshops in Computing},
publisher = {British Computer Society},
address = {Leeds, United Kingdom},
month = jul,
year = 2008,

}


  56. Ahmed Hammad, Hassan Mountassir, and Bruno Tatibouët. Using the profile UML4SoC for modeling a smart surface. In ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology, Hammamet, Tunisia, November 2008. Note: Proceedings on CD-ROM. 6 pages. 

    @inproceedings{hmt08:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Hammad, Ahmed and Mountassir, Hassan and Tatibou\"et, Bruno},
title = {Using the profile {UML4SoC} for modeling a smart surface},
booktitle = {ICEEDT'08, 2nd int. conf. on Electrical Engineering Design and Technology},
address = {Hammamet, Tunisia},
month = nov,
year = 2008,
note = {Proceedings on CD-ROM. 6 pages},

}


  57. Jean-Laurent Hippolyte, Christelle Bloch, Pascal Chatonnay, Christophe Espanet, Didier Chamagne, and Geneviève Wimmer. Tuning an Evolutionary Algorithm with Taguchi Methods. In Richard Chbeir, Youakim Badr, Ajith Abraham, Dominique Laurent, and Fernando Ferri, editors, CSTST'08, 5th Int. Conf. on Soft Computing as Transdisciplinary Science and Technology, pages 265--272, 2008. ACM Press. 

    @inproceedings{hbce+08: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 and Wimmer, Genevi\`eve},
title = {Tuning an Evolutionary Algorithm with Taguchi Methods},
booktitle = {CSTST'08, 5th Int. Conf. on Soft Computing as Transdisciplinary Science and Technology},
editor = {Richard Chbeir and Youakim Badr and Ajith Abraham and Dominique Laurent and Fernando Ferri},
pages = {265--272},
publisher = {ACM Press},
year = 2008,

}


  58. Jean-Laurent Hippolyte, Christophe Espanet, Didier Chamagne, Christelle Bloch, and Pascal Chatonnay. Permanent Magnet Motor Multiobjective Optimization Using Multiple Runs Of An Evolutionary Algorithm. In Vehicle Power and Propulsion Conference, 2008. IEEE. 

    @inproceedings{hecb+08: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 = {Permanent Magnet Motor Multiobjective Optimization Using Multiple Runs Of An Evolutionary Algorithm},
booktitle = {Vehicle Power and Propulsion Conference},
organization = {IEEE},
year = 2008,

}


  59. Jean-Michel Hufflen. Asian TeX-like typeset engines. In BachoTeX 2008 Conference, Bachotek, Poland, pages 129--131, April 2008. 

    @inproceedings{hufflen08c:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Hufflen, Jean-Michel},
title = {Asian {TeX-like} typeset engines},
booktitle = {BachoTeX~2008 Conference},
pages = {129--131},
address = {Bachotek, Poland},
langue = {English},
month = apr,
year = 2008,

}


  60. Jean-Michel Hufflen. Revisiting Lexicographic Order Relations on Person Names. In BachoTeX 2008 Conference, Bachotek, Poland, pages 82--90, April 2008. 

    @inproceedings{hufflen08b:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Hufflen, Jean-Michel},
title = {Revisiting Lexicographic Order Relations on Person Names},
booktitle = {BachoTeX~2008 Conference},
pages = {82--90},
address = {Bachotek, Poland},
langue = {English},
month = apr,
year = 2008,

}


  61. Jean-Michel Hufflen. xslt 2.0 vs. xslt 1.0. In BachoTeX 2008 Conference, Bachotek, Poland, pages 67--77, April 2008. 

    @inproceedings{hufflen08a:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTIN},
author = {Hufflen, Jean-Michel},
title = {{xslt}~2.0 vs. {xslt}~1.0},
booktitle = {BachoTeX~2008 Conference},
pages = {67--77},
address = {Bachotek, Poland},
langue = {English},
month = apr,
year = 2008,

}


  62. Jacques Julliand, Pierre-Alain Masson, and Régis Tissot. Generating Security Tests in Addition to Functional Tests. In AST'08, 3rd Int. workshop on Automation of Software Test, Leipzig, Germany, pages 41--44, May 2008. ACM Press. 

    @inproceedings{jmt08:oip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {COM},
author = {Julliand, Jacques and Masson, Pierre-Alain and Tissot, R\'egis},
title = {Generating Security Tests in Addition to Functional Tests},
booktitle = {AST'08, 3rd Int. workshop on Automation of Software Test},
pages = {41--44},
address = {Leipzig, Germany},
publisher = {ACM Press},
isbn = {978-1-60558-030-2},
doi = {http://doi.acm.org/10.1145/1370042.1370051},
url = {http://doi.acm.org/10.1145/1370042.1370051},
month = may,
year = 2008,

}


  63. Jacques Julliand, Pierre-Alain Masson, and Régis Tissot. Generating Tests from B Specifications and Test Purposes. In E. Borger, J. Bowen, and M. Butler, editors, ABZ'2008, Int. Conf. on ASM, B and Z, volume 5238 of LNCS, London, United Kingdom, pages 139--152, September 2008. Springer. 

    @inproceedings{jmt08:ip,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {ACTI},
author = {Julliand, Jacques and Masson, Pierre-Alain and Tissot, R\'egis},
title = {Generating Tests from {B} Specifications and Test Purposes},
booktitle = {ABZ'2008, Int. Conf. on ASM, B and Z},
pages = {139--152},
doi = {10.1007/978-3-540-87603-8_12},
url = {http://www.springerlink.com/content/up71551742770160},
series = {LNCS},
volume = 5238,
publisher = {Springer},
editor = {Borger, E. and Bowen, J. and Butler, M.},
isbn = {978-3-540-87602-1},
address = {London, United Kingdom},
month = sep,
year = 2008,

}


  64. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. $\alpha$-coverage Scheme for Wireless Sensor Networks. In ICWMC'08, 4th IEEE int. Conf. on Wireless and Mobile Communications, Athens, Greece, pages 91--96, July 2008. 

    @inproceedings{lgf08b:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Lehsaini, Mohamed and Guyennet, Herv\'e and Feham, M.},
title = {$\alpha$-coverage Scheme for Wireless Sensor Networks},
booktitle = {ICWMC'08, 4th IEEE int. Conf. on Wireless and Mobile Communications},
pages = {91--96},
address = {Athens, Greece},
month = jul,
year = 2008,

}


  65. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. A Novel Cluster-based Self-organization Algorithm for Wireless Sensor Networks. In Int. Workshop on Distributed Collaborative Sensor Networks, co-located with CTS'08, Int. Symposium on Collaborative Technologies and Systems, California, United States, pages 19--26, May 2008. 

    @inproceedings{lgf08a:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Lehsaini, Mohamed and Guyennet, Herv\'e and Feham, M.},
title = {A Novel Cluster-based Self-organization Algorithm for Wireless Sensor Networks},
booktitle = {Int. Workshop on Distributed Collaborative Sensor Networks, co-located with CTS'08, Int. Symposium on Collaborative Technologies and Systems},
pages = {19--26},
address = {California, United States},
month = may,
year = 2008,

}


  66. Mohamed Lehsaini, Hervé Guyennet, and M. Feham. CES: Cluster-based Energy-efficient Scheme for Mobile Wireless Sensor Networks. In IFIP Conference on Wireless Sensor and Actor Networks, Ontario, Canada, pages 13--24, July 2008. Springer. 

    @inproceedings{lgf08c:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Lehsaini, Mohamed and Guyennet, Herv\'e and Feham, M.},
title = {{CES}: Cluster-based Energy-efficient Scheme for Mobile Wireless Sensor Networks},
booktitle = {IFIP Conference on Wireless Sensor and Actor Networks},
pages = {13--24},
publisher = {Springer},
address = {Ontario, Canada},
month = jul,
year = 2008,

}


  67. F. Manne, M. Mjelde, Laurence Pilard, and S. Tixeuil. A self-stabilizing 2/3-approximation algorithm for the maximum matching problem. In SSS'08, 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems, volume 5340 of LNCS, Detroit, USA, pages 94--108, November 2008. Springer. 

    @inproceedings{mmpt08:bl,
inhal = {no},
equipe = {and},
classement = {*},
author = {Manne, F. and Mjelde, M. and Pilard, Laurence and Tixeuil, S.},
title = {A self-stabilizing 2/3-approximation algorithm for the maximum matching problem},
booktitle = {SSS'08, 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems},
pages = {94--108},
address = {Detroit, USA},
series = {LNCS},
volume = 5340,
publisher = {Springer},
month = nov,
year = 2008,

}


  68. David Martins and Hervé Guyennet. État de l'art - Sécurité dans les réseaux de capteurs sans fil. In SAR-SSI 2008 : 3rd conference on Security of Network Architectures and Information Systems, Loctudy, France, pages 167--181, October 2008. Editions Publibook Universite. 

    @inproceedings{mg08:np,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTN},
author = {Martins, David and Guyennet, Herv\'e},
title = {\'Etat de l'art - S\'ecurit\'e dans les r\'eseaux de capteurs sans fil},
booktitle = {SAR-SSI 2008 : 3rd conference on Security of Network Architectures and Information Systems},
issn = {1950-6856},
isbn = {978-2-7483-4389-2},
pages = {167--181},
address = {Loctudy, France},
publisher = {Editions Publibook Universite},
month = oct,
year = 2008,

}


  69. Jean-Marc Nicod, Laurent Philippe, and Hala Sabbah. Optimizing the Cost of an Heterogeneous Distributed Platform. In DFMA'08, 4th IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, Penang, Malaysia, pages 60--67, October 2008. 

    @inproceedings{nps08:ip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {ACTI},
author = {Nicod, Jean-Marc and Philippe, Laurent and Sabbah, Hala},
title = {Optimizing the Cost of an Heterogeneous Distributed Platform},
booktitle = {DFMA'08, 4th IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications},
pages = {60--67},
address = {Penang, Malaysia},
month = oct,
year = 2008,

}


  70. Eugène Pamba-Capo-Chichi and Jean-Michel Friedt. Design of Embedded Sensor Platform for Multimedia Application. In DFMA'08, 4th IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications, Penang, Malaysia, pages 146--150, October 2008. 

    @inproceedings{pccf08: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},
title = {Design of Embedded Sensor Platform for Multimedia Application},
booktitle = {DFMA'08, 4th IEEE Int. Conf. on Distributed Frameworks for Multimedia Applications},
pages = {146--150},
address = {Penang, Malaysia},
month = oct,
year = 2008,

}


  71. Eugène Pamba-Capo-Chichi, Hervé Guyennet, Jean-Michel Friedt, I. Johnson, and C. Duffy. Design and implementation of a generic hybrid Wireless Sensor Network platform. In WLN'08, 8th IEEE Int. Workshop on Wireless Local Networks, part of LCN'08, 33rd IEEE Int. Conf. Conference on Local Computer Networks, Montreal, Canada, pages 836--840, October 2008.

    Abstract:
    There exist several platforms of wireless sensor networks. Each of them has specific characteristics, such as hardware and software architecture, for example a processing unit, RAM memory, wireless technology. The complexity of novel applications and the number of existing platforms have resulted in the design of hybrid wireless sensor networks. In this paper, we describe the architecture and implementation of a hybrid wireless sensor networks based on the Tmote sky sensor and Fox board platform. They use IEEE 802.15.4/ZigBee and Bluetooth respectively. The paper presents a new model of sensor network which is a mixture of the both previous platforms using only IEEE 802.15.4 wireless technology. We have also compared IEEE 802.15.4 and Bluetooth. In this work, a generic platform of wireless sensor networks with several levels of sensors is presented. 


    @inproceedings{pccgfj+08: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 and Johnson, I. and Duffy, C.},
title = {Design and implementation of a generic hybrid Wireless Sensor Network platform},
booktitle = {WLN'08, 8th IEEE Int. Workshop on Wireless Local Networks, part of LCN'08, 33rd IEEE Int. Conf. Conference on Local Computer Networks},
pages = {836--840},
abstract = {There exist several platforms of wireless sensor networks. Each of them has specific characteristics, such as hardware and software architecture, for example a processing unit, RAM memory, wireless technology. The complexity of novel applications and the number of existing platforms have resulted in the design of hybrid wireless sensor networks. In this paper, we describe the architecture and implementation of a hybrid wireless sensor networks based on the Tmote sky sensor and Fox board platform. They use IEEE 802.15.4/ZigBee and Bluetooth respectively. The paper presents a new model of sensor network which is a mixture of the both previous platforms using only IEEE 802.15.4 wireless technology. We have also compared IEEE 802.15.4 and Bluetooth. In this work, a generic platform of wireless sensor networks with several levels of sensors is presented.},
doi = {10.1109/LCN.2008.4664289},
url = {http://dx.doi.org/10.1109/LCN.2008.4664289},
address = {Montreal, Canada},
month = oct,
year = 2008,

}


  72. Odile Peyron, Amandine Bordon, Anne Vignot, Sylvie Damy, Nathalie Combourieu-Nebout, Simon Brewer, Pavel Tarasov, Doris Barboni, and MPD contributors, all. A modern pollen-climate database as a tool for quantitative climate reconstructions. In 12-th Int. Palynological Congress et 8-th Int. Organisation of Palaeobotany Conference, Bonn, Germany, September 2008. Note: Poster. 

    @inproceedings{pbvd+08:oip,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {AFF},
author = {Peyron, Odile and Bordon, Amandine and Vignot, Anne and Damy, Sylvie and Combourieu-Nebout, Nathalie and Brewer, Simon and Tarasov, Pavel and Barboni, Doris and {MPD contributors, all}},
title = {A modern pollen-climate database as a tool for quantitative climate reconstructions},
booktitle = {12-th Int. Palynological Congress et 8-th Int. Organisation of Palaeobotany Conference},
address = {Bonn, Germany},
month = sep,
year = 2008,
note = {poster},

}


  73. Vincent Pretre, Fabrice Bouquet, and Christophe Lang. Automating UML Models Merge for Web Services Testing. In iiWAS'08, 10th int. Conf. on Information Integration and Web-based Applications and Services, Linz, Austria, pages 55--62, 2008. ACM Press. 

    @inproceedings{pbl08:ip,
inhal = {no},
domainehal = {INFO:INFO_MO, INFO:INFO_DC},
equipe = {ie},
classement = {ACTI},
author = {Pretre, Vincent and Bouquet, Fabrice and Lang, Christophe},
title = {Automating {UML} Models Merge for Web Services Testing},
booktitle = {iiWAS'08, 10th int. Conf. on Information Integration and Web-based Applications and Services},
pages = {55--62},
isbn = {978-1-60558-349-5},
doi = {http://doi.acm.org/10.1145/1497308.1497322},
url = {http://doi.acm.org/10.1145/1497308.1497322},
address = {Linz, Austria},
publisher = {ACM Press},
year = 2008,

}


  74. Françoise Sailhan and Julien Bourgeois. Log-based Distributed Intrusion Detection for Hybrid Networks. In CSIIR'08, Cyber Security and Information Intelligence Research Workshop, Oak Ridge, Tennessee, United States, pages 1--3, May 2008. ACM Press. 

    @inproceedings{sb08:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Sailhan, Fran\c{c}oise and Bourgeois, Julien},
title = {Log-based Distributed Intrusion Detection for Hybrid Networks},
booktitle = {CSIIR'08, Cyber Security and Information Intelligence Research Workshop},
pages = {1--3},
address = {Oak Ridge, Tennessee, United States},
doi = {10.1145/1413140.1413160},
url = {http://doi.acm.org/10.1145/1413140.1413160},
publisher = {ACM Press},
month = may,
year = 2008,

}


  75. Daouda Traoré, Jean-Louis Roch, Nicolas Maillard, Thierry Gautier, and Julien Bernard. Deque-free work-optimal parallel STL algorithms. In Euro-Par'08, 14-th int. conf. on Parallel Processing, volume 5168 of LNCS, Las Palmas de Gran Canaria, Spain, pages 887--897, 2008. Springer. 

    @inproceedings{trmg+08:bl,
inhal = {no},
equipe = {cartoon},
classement = {*},
author = {Traor\'e, Daouda and Roch, Jean-Louis and Maillard, Nicolas and Gautier, Thierry and Bernard, Julien},
title = {{Deque-free} work-optimal parallel {STL} algorithms},
booktitle = {Euro-Par'08, 14-th int. conf. on Parallel Processing},
series = {LNCS},
volume = 5168,
pages = {887--897},
doi = {10.1007/978-3-540-85451-7_95},
url = {http://dx.doi.org/10.1007/978-3-540-85451-7_95},
publisher = {Springer},
address = {Las Palmas de Gran Canaria, Spain},
year = 2008,

}


  76. Soumaya Zirari, Frédéric Lassabe, Matteo Cypriani, Philippe Canalda, Pascal Chatonnay, and François Spies. Towards a wireless hybrid positionning based on refined 802.11-indoor mobility models. In ENC-GNSS 08, European Navigation Conference, Toulouse, France, pages 377, April 2008. Note: Paper number 291, Posters Session: Positioning technologies and applications, publication dans les actes papier et dvd. 

    @inproceedings{zlcc+08:oip,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {AFF},
author = {Zirari, Soumaya and Lassabe, Fr\'ed\'eric and Cypriani, Matteo and Canalda, Philippe and Chatonnay, Pascal and Spies, Fran\c{c}ois},
title = {Towards a wireless hybrid positionning based on refined 802.11-indoor mobility models},
booktitle = {ENC-GNSS 08, European Navigation Conference},
pages = 377,
address = {Toulouse, France},
month = apr,
year = 2008,
Note = {Paper number 291, Posters Session: Positioning technologies and applications, publication dans les actes papier et dvd},

}


Books and proceedings
  1. Y. Ait Ameur, F. Boniol, and Hassan Mountassir, editors. Approches Formelles pour la validation de systèmes temps-réel, volume 42(9) of JESA, Journal européen des systèmes automatisés, Numéro Spécial. Hermes, 2008. Note: 133 pages. 

    @book{aabm08:be,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {DO},
title = {Approches Formelles pour la validation de syst\`emes temps-r\'eel},
editor = {Ait Ameur, Y. and Boniol, F. and Mountassir, Hassan},
publisher = {Hermes},
series = {JESA, Journal europ\'een des syst\`emes automatis\'es, Num\'ero Sp\'ecial},
volume = {42(9)},
year = 2008,
note = {133 pages},

}


  2. D. El Baz, Julien Bourgeois, and François Spies, editors. 16th Euromicro International Conference on Parallel, Distributed and network-based Processing, 2008. IEEE Computer Society Press. 

    @proceedings{ebbs08:be,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {DO},
title = {16th Euromicro International Conference on Parallel, Distributed and network-based Processing},
editor = {El Baz, D. and Bourgeois, Julien and Spies, Fran\c{c}ois},
publisher = {IEEE Computer Society Press},
year = 2008,

}


Internal reports
  1. Wahabou Abdou, Adrien Henriet, Dominique Dhoutaut, François Spies, and Christelle Bloch. Optimizing Communications in Vehicular Ad hoc Networks Using Evolutionary Computation and Simulation. Research Report RR2008-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2008. Note: 26 pages.
    Keywords: VANET, Broadcast, Flooding, Context dissemination, Multi-objective Evolutionary Algorithm.

    Abstract:
    Broadcasting efficiently in a Vehicular Ad hoc Network (VANET) is a hard task to achieve. An efficient communication algorithm must take into account several aspects such as the neighboring density, the size and shape of the network, the use of the channel, the priority level of the message. Some studies have proposed new solutions of broadcasting on such a network, but it is quite hard to evaluate their performance in various contexts. In order to determine the best repeating situation for each node in the network according to its environment, we developed a tool combining a network simulator (NS2) and an evolutionary algorithm. In this paper, we study four types of context and we tackle the best behavior for each node to determine the right input parame- ters. These studies are necessary to develop efficient broadcast algorithms in VANET. 


    @techreport{ahds+08:ir,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {*},
author = {Abdou, Wahabou and Henriet, Adrien and Dhoutaut, Dominique and Spies, Fran\c{c}ois and Bloch, Christelle},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
title = {Optimizing Communications in Vehicular Ad hoc Networks Using Evolutionary Computation and Simulation},
year = 2008,
month = apr,
note = {26 pages},
number = {RR2008-05},
type = {Research Report},
keywords = {VANET, Broadcast, Flooding, Context dissemination, Multi-objective Evolutionary Algorithm},
pdf = {/~publis/papers/pub/2008/RR2008-05.pdf},
abstract = {Broadcasting efficiently in a Vehicular Ad hoc Network (VANET) is a hard task to achieve. An efficient communication algorithm must take into account several aspects such as the neighboring density, the size and shape of the network, the use of the channel, the priority level of the message. Some studies have proposed new solutions of broadcasting on such a network, but it is quite hard to evaluate their performance in various contexts. In order to determine the best repeating situation for each node in the network according to its environment, we developed a tool combining a network simulator (NS2) and an evolutionary algorithm. In this paper, we study four types of context and we tackle the best behavior for each node to determine the right input parame- ters. These studies are necessary to develop efficient broadcast algorithms in VANET.} 
}


  2. Husam Alustwani, Jacques Bahi, Ahmed Mostefaoui, and Michel Salomon. La Technologie Java : une Solution Stratégique pour les Applications Distribuées Interactives. Research Report RR2008-11, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2008. Note: 33 pages.
    Keywords: Java, Middleware, RMI, Applications distribuées, Modes de communications.

    Abstract:
    Dans un monde exigeant le meilleur retour sur performances possible d'un investissement financier, les applications distribuées occupent la première place parmi les solutions proposées. Cela s'explique notamment par les performances potentielles qu'elles offrent de par leur architecture. Actuellement, de nombreux travaux de recherche visent à concevoir des outils pour faciliter la mise en {\oe}uvre de ces applications distribuées. Le besoin urgent de telles applications dans tous les domaines pousse les chercheurs à accélérer cette procédure. Cependant, le manque de standardisation se traduit par l'absence de prises de décisions stratégiques par la communauté informatique. Dans cet article, nous argumentons que la technologie Java représente le compromis recherché et préside ainsi la liste des solutions disponibles actuellement. En favorisant l'indépendance du matériel et du logiciel, la technologie Java permet, en effet, de surmonter les écueils inhérents à la création des applications distribuées. 


    @techreport{abms08:ir,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {*},
author = {Alustwani, Husam and Bahi, Jacques and Mostefaoui, Ahmed and Salomon, Michel},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
title = {La Technologie Java : une Solution Stratégique pour les Applications Distribuées Interactives},
year = 2008,
month = oct,
note = {33 pages},
number = {RR2008-11},
type = {Research Report},
keywords = {Java, Middleware, RMI, Applications distribuées, Modes de communications},
pdf = {/~publis/papers/pub/2008/RR2008-11.pdf},
ps = {/~publis/papers/pub/2008/RR2008-11.ps},
abstract = {Dans un monde exigeant le meilleur retour sur performances possible d'un investissement financier, les applications distribuées occupent la première place parmi les solutions proposées. Cela s'explique notamment par les performances potentielles qu'elles offrent de par leur architecture. Actuellement, de nombreux travaux de recherche visent à concevoir des outils pour faciliter la mise en {\oe}uvre de ces applications distribuées. Le besoin urgent de telles applications dans tous les domaines pousse les chercheurs à accélérer cette procédure. Cependant, le manque de standardisation se traduit par l'absence de prises de décisions stratégiques par la communauté informatique. Dans cet article, nous argumentons que la technologie Java représente le compromis recherché et préside ainsi la liste des solutions disponibles actuellement. En favorisant l'indépendance du matériel et du logiciel, la technologie Java permet, en effet, de surmonter les écueils inhérents à la création des applications distribuées.} 
}


  3. Yohan Boichut and Pierre-Cyrille Héam. A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations. Research Report RR-6411, INRIA, January 2008.

    Abstract:
    In computer aided verification, the reachability problem is particularly relevant for safety analyses. Given a regular tree language L, a term t and a relation R, the reachability problem consists in deciding whether a sequence of terms, beginning with a term of L and terminating on t and such that two successive terms of this sequence are in relation according to R, is constructable. In this case, the term t is said to be reachable, otherwise it is said unreachable. This problem is decidable for particular kinds of relations, but it is known to be undecidable in general, even if L is finite. Several approaches to tackle the unreachability problem are based on the computation of an R-closed regular language containing L. In this paper we show a theoretical limit to this kind of approaches for this problem. 


    @TechReport{bh08:ir,
inhal = {inria},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {*},
author = {Boichut, Yohan and H\'eam, Pierre-Cyrille},
title = {A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations},
year = 2008,
month = jan,
institution = {INRIA},
number = {RR-6411},
type = {Research Report},
url = {http://hal.inria.fr/inria-00204579/fr/},
postscript = {http://hal.inria.fr/action/open_file.php?url=http://hal.inria.fr/docs/00/20/47/02/PS/RR-6411.ps&docid=204702},
pdf = {http://hal.inria.fr/action/open_file.php?url=http://hal.inria.fr/docs/00/20/47/02/PDF/RR-6411.pdf&docid=204702 },
abstract = {In computer aided verification, the reachability problem is particularly relevant for safety analyses. Given a regular tree language L, a term t and a relation R, the reachability problem consists in deciding whether a sequence of terms, beginning with a term of L and terminating on t and such that two successive terms of this sequence are in relation according to R, is constructable. In this case, the term t is said to be reachable, otherwise it is said unreachable. This problem is decidable for particular kinds of relations, but it is known to be undecidable in general, even if L is finite. Several approaches to tackle the unreachability problem are based on the computation of an R-closed regular language containing L. In this paper we show a theoretical limit to this kind of approaches for this problem.} 
}


  4. Matteo Cypriani, Philippe Canalda, Soumaya Zirari, Frédéric Lassabe, and François Spies. Open Wireless Positioning system. Technical Report RT2008-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2008.
    Keywords: Géolocalisation en intérieur, Wi-Fi, IEEE 802.11, Réseau sans fil.

    Abstract:
    comming soon 


    @techreport{cczls08:ir,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {*},
author = {Cypriani, Matteo and Canalda, Philippe and Zirari, Soumaya and Lassabe, Fr\'ed\'eric and Spies, Fran\c{c}ois},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
title = {Open Wireless Positioning system},
year = 2008,
month = dec,
number = {RT2008-02},
type = {Technical Report},
keywords = {G\'eolocalisation en int\'erieur, Wi-Fi, IEEE 802.11, R\'eseau sans fil},
pdf = {/~publis/papers/pub/2008/RT2008-02.pdf},
abstract = {comming soon},

}


  5. Frédéric Dadeau, Pierre-Cyrille Héam, and J. Levrey. A Combination of Model-Based Testing and Random Testing Approaches using Automata. Research Report RR2008-10, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2008. Note: 21 pages.

    Abstract:
    Developing efficient and automatic testing techniques is one of the major challenges fa- cing software validation community. In this paper, we show how a uniform random generation process of finite automata, developed in a recent work by Bassino and Nicaud, is relevant for many faces of automatic testing. The main contribution is to show how to combine two major testing approaches: model-based testing and random testing. This leads to a new testing technique successfully experi- mented on a realistic case study. We also illustrate how the power of random testing, applied on a Chinese Postman Problem implementation, points out an error in a well-known algorithm. Finally, we provide some statistics on model-based testing algorithms. 


    @techreport{dhj08:ir,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {*},
author = {Dadeau, Fr\'ed\'eric and H\'eam, Pierre-Cyrille and Levrey, J.},
title = {A Combination of Model-Based Testing and Random Testing Approaches using Automata},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
year = 2008,
month = oct,
note = {21 pages},
number = {RR2008-10},
type = {Research Report},
pdf = {/~publis/papers/pub/2008/RR2008-10.pdf},
abstract = {Developing efficient and automatic testing techniques is one of the major challenges fa- cing software validation community. In this paper, we show how a uniform random generation process of finite automata, developed in a recent work by Bassino and Nicaud, is relevant for many faces of automatic testing. The main contribution is to show how to combine two major testing approaches: model-based testing and random testing. This leads to a new testing technique successfully experi- mented on a realistic case study. We also illustrate how the power of random testing, applied on a Chinese Postman Problem implementation, points out an error in a well-known algorithm. Finally, we provide some statistics on model-based testing algorithms.} 
}


  6. Christophe Denis, Raphaël Couturier, and Fabienne Jézéquel. Load balancing of the direct linear multisplitting method in a grid computing environment. Research Report RR2008-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, January 2008.

    Abstract:
    Many scientific applications need to solve very large sparse linear systems in order to simulate phenomena close to reality. Grid computing is an answer to the growing demand of compu- tational power but communication times are significant and the bandwidth is variable, therefore fre- quent synchronizations slow down performances. The use of the parallel linear multispliting method reduces the number of synchronizations needed by a parallel direct algorithm but suffers from load balancing. This paper presents a load balancing of the parallel linear multisplitting method in a grid computing environment permitting to obtain a gain on execution time up to 74\%. 


    @techreport{dcj08:ir,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {*},
author = {Denis, Christophe and Couturier, Rapha\"el and Jézéquel, Fabienne},
title = {Load balancing of the direct linear multisplitting method in a grid computing environment},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
year = 2008,
number = {RR2008-01},
type = {Research Report},
month = jan,
pdf = {/~publis/papers/pub/2008/RR2008-01.pdf},
abstract = {Many scientific applications need to solve very large sparse linear systems in order to simulate phenomena close to reality. Grid computing is an answer to the growing demand of compu- tational power but communication times are significant and the bandwidth is variable, therefore fre- quent synchronizations slow down performances. The use of the parallel linear multispliting method reduces the number of synchronizations needed by a parallel direct algorithm but suffers from load balancing. This paper presents a load balancing of the parallel linear multisplitting method in a grid computing environment permitting to obtain a gain on execution time up to 74\%.} 
}


  7. Jacques Julliand, Pierre-Alain Masson, and Emilie Oudot. Partitioned PLTL Model-Checking for Refined Transition Systems. Research Report RR2008-07, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2008.

    Abstract:
    This paper is about the verification of dynamic properties by model-checking for finite state reactive systems. Properties are expressed as PLTL formulae. Systems are specified through a top-down refinement process. In order to cope with the state explosion problem, we propose partitioning the state space to be verified and to verify the properties independently on each part. Properties that are such that if they hold on every part then they hold for the whole system are called verifiable by parts. In a previous paper, we presented a class of interesting PLTL properties that are always verifiable by parts. That is, they are verifiable by parts with any partitioning of the state space. In addition to these properties, some properties are verifiable by parts on a system provided with a particular partitioning. In this paper, we propose a partitioning of the state space of a system that is guided by the refinement process. We introduce an extended class of PLTL properties that are verifiable by parts with regard to this partitioning. This class includes the first one. In particular, the new class includes liveness properties under fairness assumptions. This class is defined from B\"uchi automata that accept the language of the negations of the properties. Our work is illustrated by its application to a chip card protocol called T=1. This protocol is specified through successive refinements. 


    @techreport{jmo08:ir,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {*},
author = {Julliand, Jacques and Masson, Pierre-Alain and Oudot, Emilie},
title = {Partitioned {PLTL} Model-Checking for Refined Transition Systems},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
year = 2008,
month = oct,
number = {RR2008-07},
type = {Research Report},
pdf = {/~publis/papers/pub/2008/RR2008-07.pdf},
abstract = {This paper is about the verification of dynamic properties by model-checking for finite state reactive systems. Properties are expressed as PLTL formulae. Systems are specified through a top-down refinement process. In order to cope with the state explosion problem, we propose partitioning the state space to be verified and to verify the properties independently on each part. Properties that are such that if they hold on every part then they hold for the whole system are called verifiable by parts. In a previous paper, we presented a class of interesting PLTL properties that are always verifiable by parts. That is, they are verifiable by parts with any partitioning of the state space. In addition to these properties, some properties are verifiable by parts on a system provided with a particular partitioning. In this paper, we propose a partitioning of the state space of a system that is guided by the refinement process. We introduce an extended class of PLTL properties that are verifiable by parts with regard to this partitioning. This class includes the first one. In particular, the new class includes liveness properties under fairness assumptions. This class is defined from B\"uchi automata that accept the language of the negations of the properties. Our work is illustrated by its application to a chip card protocol called T=1. This protocol is specified through successive refinements.},

}


  8. Fabienne Jézéquel, Raphaël Couturier, and Christophe Denis. Solving large sparse linear systems in a grid environment: the GREMLINS code versus the PETSc library. Research Report RR2008-06, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, July 2008.

    Abstract:
    Solving large sparse linear systems is essential in numerous scientific domains. Several algorithms, based on direct or iterative methods, have been developed for parallel architectures. On distributed grids consisting of processors located in distant geographical sites, their performances may be unsatisfactory because they suffer from too many synchronizations and communications. The GREMLINS code has been developed for solving large sparse linear systems on such distributed grids. It implements the multisplitting method that consists in splitting the original linear system into several subsystems that can be solved independently. In this article, the performances of the GREMLINS code obtained with several libraries for solving the linear subsystems are analysed. Its performances are also compared with those of the widely used PETSc library, that enables one to develop portable parallel applications. Numerical experiments have been carried out both on local clusters and on distributed grids. 


    @techreport{jcd08:ir,
inhal = {no},
domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
equipe = {and},
classement = {*},
author = {Jézéquel, Fabienne and Couturier, Rapha\"el and Denis, Christophe },
title = {Solving large sparse linear systems in a grid environment: the {GREMLINS} code versus the {PETS}c library},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
year = 2008,
number = {RR2008-06},
type = {Research Report},
month = jul,
pdf = {/~publis/papers/pub/2008/RR2008-06.pdf},
abstract = {Solving large sparse linear systems is essential in numerous scientific domains. Several algorithms, based on direct or iterative methods, have been developed for parallel architectures. On distributed grids consisting of processors located in distant geographical sites, their performances may be unsatisfactory because they suffer from too many synchronizations and communications. The GREMLINS code has been developed for solving large sparse linear systems on such distributed grids. It implements the multisplitting method that consists in splitting the original linear system into several subsystems that can be solved independently. In this article, the performances of the GREMLINS code obtained with several libraries for solving the linear subsystems are analysed. Its performances are also compared with those of the widely used PETSc library, that enables one to develop portable parallel applications. Numerical experiments have been carried out both on local clusters and on distributed grids.} 
}


  9. Jean-Marc Nicod. Comment faire un rapport de recherche LIFC avec le package RR-LIFC.sty ?. Technical Report RT2008-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2008.
    Keywords: LaTeX, Rapport de Recherche, Rapport Technique.

    Abstract:
    Ce rapport technique est une documentation et un exemple très simple pour illustrer l'usage du package utile à la création d'un rapport de recherche ou d'un rapport technique du LIFC. Il s'agit d'une présentation de ce que doit être un tel rapport et ce que peut être sa portée. Des instructions précises décrivent comment utiliser le package RR-LIFC.sty pour la fabrication d'un rapport du LIFC (recherche ou technique). 


    @techreport{nicod08:ir,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {*},
author = {Nicod, Jean-Marc},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
title = {Comment faire un rapport de recherche LIFC avec le package RR-LIFC.sty ?},
year = 2008,
month = nov,
number = {RT2008-01},
type = {Technical Report},
keywords = {LaTeX, Rapport de Recherche, Rapport Technique},
pdf = {/~publis/papers/pub/2008/RT2008-01.pdf},
abstract = {Ce rapport technique est une documentation et un exemple très simple pour illustrer l'usage du package utile à la création d'un rapport de recherche ou d'un rapport technique du LIFC. Il s'agit d'une présentation de ce que doit être un tel rapport et ce que peut être sa portée. Des instructions précises décrivent comment utiliser le package RR-LIFC.sty pour la fabrication d'un rapport du LIFC (recherche ou technique).} 
}


  10. Vincent Pretre, Fabrice Bouquet, and Christophe Lang. Automating UML models merging: application of the method. Research Report RR2008-09, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2008. Note: 31 pages.
    Keywords: UML, web services, composition, automation, model based testing.

    Abstract:
    Web services are one of today's most fashionable technology. Based on XML exchanges and open protocols such as http, they offer an interoperability that was never reached by previous distributed computing technology. Protocols such as UDDI (a yellow pages system dedicated to web services) and WSDL (a formal description of web services) allow to easily find a web service and to create a client for it. One of UDDI problems is that it does not provides any information about quality of found web services. We created the iTaC-QoS (iTaC Tests and Certifies Quality of Services) framework to solve this problem. It relies on model based testing to assess quality of web services registered on the UDDI server. In this report, we introduce a step of the evaluation process: merging UML models. This step is needed when the evaluated web service performs compositions, that means that it acts as a client of another web service. Our merging method is done in four steps. First, state-chart diagram of composed web service is translated into OCL clauses. Then class diagrams are merged into a simple class diagram. The next step is to move OCL postconditions of composed operations in postconditions of composing operations. The final step is to merge instance diagrams. 


    @techreport{pbl08:ir,
inhal = {no},
domainehal = {INFO:INFO_MO, INFO:INFO_NI},
equipe = {ie},
classement = {*},
author = {Pretre, Vincent and Bouquet, Fabrice and Lang, Christophe},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
title = {Automating UML models merging: application of the method},
year = 2008,
month = dec,
note = {31 pages},
number = {RR2008-09},
type = {Research Report},
keywords = {UML, web services, composition, automation, model based testing},
pdf = {/~publis/papers/pub/2008/RR2008-09.pdf},
abstract = {Web services are one of today's most fashionable technology. Based on XML exchanges and open protocols such as http, they offer an interoperability that was never reached by previous distributed computing technology. Protocols such as UDDI (a yellow pages system dedicated to web services) and WSDL (a formal description of web services) allow to easily find a web service and to create a client for it. One of UDDI problems is that it does not provides any information about quality of found web services. We created the iTaC-QoS (iTaC Tests and Certifies Quality of Services) framework to solve this problem. It relies on model based testing to assess quality of web services registered on the UDDI server. In this report, we introduce a step of the evaluation process: merging UML models. This step is needed when the evaluated web service performs compositions, that means that it acts as a client of another web service. Our merging method is done in four steps. First, state-chart diagram of composed web service is translated into OCL clauses. Then class diagrams are merged into a simple class diagram. The next step is to move OCL postconditions of composed operations in postconditions of composing operations. The final step is to merge instance diagrams.} 
}


  11. Françoise Sailhan, E. Salamanca-Cuadrado, and Julien Bourgeois. Group-based Event Notification in Hybrid Networks. Research Report RR2008-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2008. Note: 24 pages.
    Keywords: Event notification, hybrid networks, pervasive computing.

    Abstract:
    The vision of ubiquitous computing anticipates a network composed of a large number of computational components interacting with one another over distributed and large-scale areas. The asynchronous, one-to-many and many-to-many interaction model promoted by event-based systems, renders them particularly suitable for supporting interconnections among loosely-coupled components. Nevertheless, ubiquitous event systems have to face an increasing number of requirements, e.g., scalability, autonomy and timeliness. To this end, we present a distributed and self-configured event notification system that organises dynamically the nodes into a cluster-based delivery structure. This event notification system is grounded over an hybrid grouping model that handles differences in network topology and perform well under a wide range of conditions. We further assess, through analytical and experimental evaluation, that our solution scales and performs well over heterogeneous networks. 


    @techreport{sscb08:ir,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {*},
author = {Sailhan, Fran\c{c}oise and Salamanca-Cuadrado, E. and Bourgeois, Julien},
institution = {LIFC - Laboratoire d'{I}nformatique de l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
title = {Group-based Event Notification in Hybrid Networks},
year = 2008,
month = apr,
note = {24 pages},
number = {RR2008-02},
type = {Research Report},
keywords = {Event notification, hybrid networks, pervasive computing},
pdf = {/~publis/papers/pub/2008/RR2008-02.pdf},
ps = {/publis/pub/2008/RR2008-02.ps},
abstract = {The vision of ubiquitous computing anticipates a network composed of a large number of computational components interacting with one another over distributed and large-scale areas. The asynchronous, one-to-many and many-to-many interaction model promoted by event-based systems, renders them particularly suitable for supporting interconnections among loosely-coupled components. Nevertheless, ubiquitous event systems have to face an increasing number of requirements, e.g., scalability, autonomy and timeliness. To this end, we present a distributed and self-configured event notification system that organises dynamically the nodes into a cluster-based delivery structure. This event notification system is grounded over an hybrid grouping model that handles differences in network topology and perform well under a wide range of conditions. We further assess, through analytical and experimental evaluation, that our solution scales and performs well over heterogeneous networks.} 
}


Other publications
  1. Julien Bourgeois. Performance prediction in distributed systems. Séminaire invité, LIG, Laboratoire d'Informatique de Grenoble, France, December 2008. 

    @misc{bourgeois08:it,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {INV},
author = {Bourgeois, Julien},
title = {Performance prediction in distributed systems},
howpublished = {S\'eminaire invit\'e, LIG, Laboratoire d'Informatique de Grenoble, France},
month = dec,
year = 2008,

}


  2. Mais Haj Rachid. Notation pour les problèmes de tournées de véhicules. Présentation de 30 minutes à la 2ème journée de l'optimisation (Optimisation combinatoire dans les réseaux et les graphes), organisée conjointement par l'UTBM et l'UFC, January 2008. 

    @misc{haj-rachid08:onp,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {COM},
author = {Haj Rachid, Mais},
title = {Notation pour les probl\`emes de tourn\'ees de v\'ehicules},
howpublished = {Pr\'esentation de 30 minutes \`a la 2\`eme journ\'ee de l'optimisation (Optimisation combinatoire dans les r\'eseaux et les graphes), organis\'ee conjointement par l'UTBM et l'UFC},
address = {Belfort, France},
month = jan,
year = 2008,

}


  3. Pierre-Cyrille Héam. Regular Approximations. Séminaire invité à l'Université Paris 7, December 2008. 

    @misc{heam08c:it,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {INV},
author = {H\'eam, Pierre-Cyrille},
title = {Regular Approximations},
howpublished = {S\'eminaire invit\'e \`a l'Universit\'e Paris~7},
month = dec,
year = 2008,

}


  4. Pierre-Cyrille Héam. Regular Approximations. Séminaire invité à l'Université de Marne-la-Vallée, October 2008. 

    @misc{heam08b:it,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {INV},
author = {H\'eam, Pierre-Cyrille},
title = {Regular Approximations},
howpublished = {S\'eminaire invit\'e \`a l'Universit\'e de Marne-la-Vall\'ee},
month = oct,
year = 2008,

}


  5. Pierre-Cyrille Héam. Regular Approximations. Séminaire invité à l'ENS Cachan, September 2008. 

    @misc{heam08a:it,
inhal = {no},
domainehal = {INFO:INFO_SE, INFO:INFO_MO},
equipe = {vesontio},
classement = {INV},
author = {H\'eam, Pierre-Cyrille},
title = {Regular Approximations},
howpublished = {S\'eminaire invit\'e \`a l'ENS Cachan},
month = sep,
year = 2008,

}


  6. Jean-Christophe Lapayre. e-Health and Telemedicine: Issues. Séminaire invité, University Sains Malaisia, May 2008. 

    @misc{lapayre08:it,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {INV},
author = {Lapayre, Jean-Christophe},
title = {{e-Health} and Telemedicine: Issues},
howpublished = {S\'eminaire invit\'e, University Sains Malaisia},
month = may,
year = 2008,

}


  7. Laurent Philippe. Batch Scheduling for Identical Multi-Tasks Jobs on Heterogeneous Platforms. Séminaire invité, Marseille, France, June 2008. 

    @misc{philippe08:it,
inhal = {no},
domainehal = {INFO:INFO_NI, INFO:INFO_DC, INFO:INFO_IU},
equipe = {cartoon},
classement = {INV},
author = {Philippe, Laurent},
title = {Batch Scheduling for Identical Multi-Tasks Jobs on Heterogeneous Platforms},
howpublished = {S\'eminaire invit\'e, Marseille, France},
month = jun,
year = 2008,

}


  8. Françoise Sailhan and Julien Bourgeois. Ubiquitous Intrusion Detection. Invited talk at SPHCS, Workshop on Security and High PerformanceComputing Systems, June 2008. 

    @misc{sb08:it,
inhal = {no},
domainehal = {INFO:INFO_MC, INFO:INFO_NI, INFO:INFO_MO},
equipe = {omni},
classement = {INV},
author = {Sailhan, Fran\c{c}oise and Bourgeois, Julien},
title = {Ubiquitous Intrusion Detection},
howPublished = {Invited talk at SPHCS, Workshop on Security and High PerformanceComputing Systems},
month = jun,
year = 2008,

}


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html