		   %% ----------------------- %%
		   %% The LRDE Bibliography.  %%
		   %% ----------------------- %%

%% This document lists all the publications by members of the LRDE.
%% $Id: lrde.bib 2646 2007-12-07 17:02:56Z pierron $
%%
%% See
%%
%% - http://www.lrde.epita.fr
%%   for more information about the LRDE
%%
%% - http://publis.lrde.epita.fr
%%   for more information about these publications
%%
%% - http://www.lrde.epita.fr/dload/papers/lrde.bib
%%   for the most recent version of this BibTeX file

@InProceedings{	  angelidis.01.wscg,
  author	= {Alexis Angelidis and Geoffroy Fouquier},
  title		= {Visualization issues in virtual environments: from
		  computer graphics techniques to intentional visualization},
  booktitle	= {Proceedings of the 9th International Conference in Central
		  Europe on Computer Graphics, Visualization and Computer
		  Vision (WSCG)},
  year		= 2001,
  editor	= {V. Skala},
  volume	= 3,
  pages		= {90--98},
  address	= {Plzen, Czech Republic},
  month		= feb,
  isbn		= {80-7082-713-0},
  project	= {Urbi},
  urllrde	= {200102-Wscg}
}

@InProceedings{	  baillard.05.adass,
  author	= {Anthony Baillard and Emmanuel Bertin and Yannic Mellier
		  and Henry Joy {McCracken} and {\relax Th}ierry G\'eraud and
		  Roser Pell{\'o} and Jean-Fran{\,c}ois {LeBorgne} and Pascal
		  Fouqu{\'e}},
  title		= {Project {EFIGI}: Automatic classification of galaxies},
  year		= 2005,
  booktitle	= {Astronomical Data Analysis Software and Systems XV},
  volume	= 351,
  pages		= {236--239},
  publisher	= {Astronomical Society of the Pacific},
  series	= {Conference},
  url		= {http://www.aspbooks.org/custom/publications/paper/index.phtml?paper_id=3398}
		  ,
  editor	= {Carlos Gabriel and {\relax Ch}ristophe Arviset and Daniel
		  Ponz and Enrique Solano},
  isbn		= {1-58381-219-9},
  project	= {Image},
  urllrde	= {200512-ADASS}
}

@InProceedings{	  baillard.07.gretsi,
  author	= {Anthony Baillard and {\relax Ch}ristophe Berger and
		  Emmanuel Bertin and {\relax Th}ierry G\'eraud and Roland
		  Levillain and Nicolas Widynski},
  title		= {Algorithme de calcul de l'arbre des composantes avec
		  applications \`a la reconnaissance des formes en imagerie
		  satellitaire},
  booktitle	= {Proceedings of the 21st Symposium on Signal and Image
		  Processing (GRETSI)},
  year		= 2007,
  address	= {Troyes, France},
  month		= sep,
  note		= {Accepted},
  project	= {Image},
  urllrde	= {200705-GRETSI}
}

@InProceedings{	  berger.07.icip,
  author	= {{\relax Ch}ristophe Berger and {\relax Th}ierry G\'eraud
		  and Roland Levillain and Nicolas Widynski and Anthony
		  Baillard and Emmanuel Bertin},
  title		= {Effective Component Tree Computation with Application to
		  Pattern Recognition in Astronomical Imaging},
  booktitle	= {Proceedings of the IEEE International Conference on Image
		  Processing (ICIP)},
  year		= 2007,
  address	= {San Antonio, TX, USA},
  month		= sep,
  note		= {Accepted},
  project	= {Image},
  urllrde	= {200705-ICIP}
}

@Article{	  bloch.03.ai,
  author	= {Isabelle Bloch and {\relax Th}ierry G\'eraud and Henri
		  Ma\^itre},
  title		= {Representation and fusion of heterogeneous fuzzy
		  information in the {3D} space for model-based structural
		  recognition---application to {3D} brain imaging},
  journal	= {Artificial Intelligence},
  month		= aug,
  year		= 2003,
  volume	= 148,
  number	= {1-2},
  pages		= {141--175},
  project	= {Image},
  urllrde	= {200308-AI}
}

@Article{	  bloch.05.prl,
  author	= {Isabelle Bloch and Olivier Colliot and Oscar Camara and
		  {\relax Th}ierry G\'eraud},
  title		= {Fusion of spatial relationships for guiding recognition,
		  example of brain structure recognition in {3D} {MRI}},
  journal	= {Pattern Recognition Letters},
  year		= 2005,
  volume	= 26,
  number	= 4,
  month		= mar,
  pages		= {449--457},
  project	= {Image},
  urllrde	= {200407-PRL}
}

@Article{	  borghi.06.crossroads,
  author	= {Alexandre Borghi and Valentin David and Akim Demaille},
  title		= {{C}-{T}ransformers --- {A} Framework to Write {C} Program
		  Transformations},
  journal	= {ACM Crossroads},
  year		= 2006,
  volume	= 12,
  number	= 3,
  month		= {Spring},
  project	= {Transformers},
  note		= {\url{http://www.acm.org/crossroads/xrds12-3/contractc.html}}
		  ,
  urllrde	= {200510-Crossroads}
}

@InProceedings{	  burrus.03.mpool,
  author	= {Nicolas Burrus and Alexandre Duret-Lutz and {\relax
		  Th}ierry G\'eraud and David Lesage and Rapha\"el Poss},
  title		= {A static {C++} object-oriented programming ({SCOOP})
		  paradigm mixing benefits of traditional {OOP} and generic
		  programming},
  booktitle	= {Proceedings of the Workshop on Multiple Paradigm with OO
		  Languages (MPOOL)},
  year		= 2003,
  address	= {Anaheim, CA, USA},
  month		= oct,
  project	= {Olena},
  urllrde	= {200310-MPOOL}
}

@InProceedings{	  cadilhac.06.avocs,
  author	= {Micha\"el Cadilhac and {\relax Th}omas H\'erault and
		  Richard Lassaigne and Sylvain Peyronnet and S. Tixeuil},
  title		= {Evaluating complex {MAC} protocols for sensor networks
		  with {APMC}},
  booktitle	= {Proceedings of the 6th International Workshop on Automated
		  Verification of Critical Systems (AVoCS)},
  year		= 2006,
  series	= {Electronic Notes in Theoretical Computer Science Series},
  note		= {To appear.},
  project	= {APMC},
  urllrde	= {200606-Avocs}
}

@InProceedings{	  carlier.02.itrs,
  author	= {S\'ebastien Carlier},
  title		= {Polar type inference with intersection types and $\omega$},
  booktitle	= {Proceedings of the 2nd Workshop on Intersection Types and
		  Related Systems (ITRS), published in: Electronic Notes in
		  Theoretical Computer Science},
  volume	= 70,
  issue		= 1,
  publisher	= {Elsevier},
  year		= 2002,
  address	= {Copenhagen, Denmark},
  month		= jul,
  project	= {Software},
  urllrde	= {200207-ITRS02}
}

@InProceedings{	  chekroun.06.iciar,
  author	= {M. Chekroun and J. Darbon and I. Ciril},
  title		= {On a Polynomial Vector Field Model for Shape
		  Representation},
  booktitle	= {Proceedings of the International Conference onImage
		  Analysis and Recognition (ICIAR)},
  publisher	= {Springer-Verlag},
  year		= 2006,
  address	= {Povoa de Varzim, Portugal},
  month		= sep,
  project	= {Image},
  urllrde	= {200609-ICIAR},
  note		= {Accepted}
}

@InProceedings{	  claveirole.05.ciaa,
  author	= {{\relax Th}omas Claveirole and Sylvain Lombardy and Sarah
		  O'Connor and Louis-No\"el Pouchet and Jacques Sakarovitch},
  title		= {Inside {V}aucanson},
  booktitle	= {Proceedings of Implementation and Application of Automata,
		  10th International Conference (CIAA)},
  year		= 2005,
  pages		= {117--128},
  editor	= {Springer-Verlag},
  volume	= 3845,
  series	= {Lecture Notes in Computer Science Series},
  address	= {Sophia Antipolis, France},
  month		= jun,
  urllrde	= {200506-Ciaa},
  project	= {Vaucanson}
}

@TechReport{	  clouard.99.tr,
  author	= {R\'egis Clouard and Abderrahim Elmoataz and Fran\c{c}ois
		  Angot and Olivier Lezoray and Alexandre Duret-Lutz},
  title		= {Une biblioth\`eque et un environnement de programmation
		  d'op\'erateurs de traitement d'images},
  institution	= {GREYC-ISMRA},
  year		= 1999,
  number	= 99008,
  address	= {Caen, France},
  month		= nov,
  url		= {http://www.greyc.ismra.fr/~regis/Pandore/},
  project	= {Olena},
  urllrde	= {199911-TR}
}

@InProceedings{	  darbon.01.ei,
  author	= {J\'er\^ome Darbon and Bulent Sankur and Henri Ma\^{\i}tre},
  title		= {Error correcting code performance for watermark
		  protection},
  booktitle	= {Proceedings of the 13th Symposium SPIE on Electronic
		  Imaging----Security and Watermarking of Multimedia Contents
		  III (EI27)},
  year		= 2001,
  address	= {San Jose, CA, USA},
  month		= jan,
  volume	= 4314,
  editors	= {P.W. Wong and E.J. Delp III},
  pages		= {663--672},
  project	= {Image},
  urllrde	= {200101-Ei}
}

@InProceedings{	  darbon.02.ismm,
  author	= {J\'er\^ome Darbon and {\relax Th}ierry G\'eraud and
		  Alexandre Duret-Lutz},
  title		= {Generic implementation of morphological image operators},
  booktitle	= {Mathematical Morphology, Proceedings of the 6th
		  International Symposium (ISMM)},
  pages		= {175--184},
  year		= 2002,
  address	= {Sydney, Australia},
  month		= apr,
  publisher	= {Sciro Publishing},
  project	= {Olena},
  urllrde	= {200204-Ismm}
}

@InProceedings{	  darbon.04.ecoopphd,
  author	= {J\'er\^ome Darbon and {\relax Th}ierry G\'eraud and
		  Patrick Bellot},
  title		= {Generic algorithmic blocks dedicated to image processing},
  booktitle	= {Proceedings of the ECOOP Workshop for PhD Students},
  year		= 2004,
  address	= {Oslo, Norway},
  month		= jun,
  project	= {Olena},
  urllrde	= {200406-ECOOPPHD}
}

@InProceedings{	  darbon.04.iwcia,
  author	= {J\'er\^ome Darbon and Marc Sigelle},
  title		= {Exact optimization of discrete constrained total variation
		  minimization problems},
  booktitle	= {Proceedings of the 10th International Workshop on
		  Combinatorial Image Analysis (IWCIA)},
  year		= 2004,
  address	= {Auckland, New Zealand},
  month		= dec,
  pages		= {548--557},
  editors	= {R. Klette and J. Zunic},
  series	= {Lecture Notes in Computer Science Series},
  publisher	= {Springer-Verlag},
  volume	= 3322,
  project	= {Image},
  urllrde	= {200412-IWCIA}
}

@TechReport{	  darbon.04.tr,
  author	= {J\'er\^ome Darbon and Marc Sigelle},
  title		= {Exact optimization of discrete constrained total variation
		  minimization problems},
  institution	= {ENST},
  year		= 2004,
  number	= {2004C004},
  address	= {Paris, France},
  month		= oct,
  project	= {Image},
  annote	= {This technical report corresponds to the publication
		  darbon.04.iwcia.},
  urllrde	= {200410-TR}
}

@InProceedings{	  darbon.05.eusipco,
  author	= {J\'er\^ome Darbon and Ceyhun Burak Akgul},
  title		= {An efficient algorithm for attribute openings and
		  closings},
  booktitle	= {Proceedings of the 13th European Signal Processing
		  Conference (EUSIPCO)},
  year		= 2005,
  address	= {Antalya, Turkey},
  month		= sep,
  annote	= {To appear.},
  project	= {Image},
  urllrde	= {200509-Eusipco}
}

@InProceedings{	  darbon.05.ibpria,
  author	= {J\'er\^ome Darbon and Marc Sigelle},
  title		= {A Fast and Exact Algorithm for Total Variation
		  Minimization},
  booktitle	= {Proceedings of the 2nd Iberian Conference on Pattern
		  Recognition and Image Analysis (IbPRIA)},
  publisher	= {Springer-Verlag},
  volume	= 3522,
  pages		= {351--359},
  year		= 2005,
  address	= {Estoril, Portugal},
  month		= jun,
  project	= {Image},
  urllrde	= {200506-IbPria}
}

@InProceedings{	  darbon.05.ispa,
  author	= {J\'er\^ome Darbon},
  title		= {Total Variation Minimization with $L^1$ Data Fidelity as a
		  Contrast Invariant Filter},
  booktitle	= {Proceedings of the 4th International Symposium on Image
		  and Signal Processing and Analysis (ISPA 2005)},
  year		= 2005,
  address	= {Zagreb, Croatia},
  month		= sep,
  annote	= {To appear},
  project	= {Image},
  urllrde	= {200509-Ispa}
}

@InProceedings{	  darbon.05.isvc,
  author	= {J. Darbon and S. Peyronnet},
  title		= {A Vectorial Self-Dual Morphological Filter based on Total
		  Variation Minimization},
  booktitle	= {Proceedings of the First International Conference on
		  Visual Computing},
  year		= 2005,
  address	= {Lake Tahoe, Nevada, USA},
  month		= dec,
  project	= {Image},
  pages		= {388--395},
  series	= {Lecture Notes in Computer Science Series},
  publisher	= {Springer-Verlag},
  volume	= 3804,
  urllrde	= {200512-Isvc}
}

@PhDThesis{	  darbon.05.phd,
  author	= {J\'er\^ome Darbon},
  title		= {Composants logiciels et algorithmes de minimisation exacte
		  d'\'energies d\'edid\'ees au traitement d'images},
  school	= {Ecole Nationale Sup\'erieure des T\'el\'ecommunications de
		  Paris (ENST)},
  address	= {Paris, France},
  year		= 2005,
  month		= oct,
  number	= {XXX},
  note		= {In French},
  urllrde	= {FIXME}
}

@TechReport{	  darbon.05.tr,
  author	= {J\'er\^ome Darbon and Marc Sigelle},
  title		= {A fast and exact algorithm for total variation
		  minimization},
  institution	= {ENST},
  year		= 2005,
  number	= {2005D002},
  address	= {Paris, France},
  month		= jan,
  project	= {Image},
  annote	= {This technical report corresponds to the publication
		  darbon.05.ibpria.},
  urllrde	= {200501-TR}
}

@InProceedings{	  darbon.06.iccp,
  author	= {J\'er\^ome Darbon and Richard Lassaigne and Sylvain
		  Peyronnet},
  title		= {Approximate Probabilistic Model Checking for Programs},
  booktitle	= {Proceedings of the {IEEE} 2nd International Conference on
		  Intelligent Computer Communication and Processing
		  ({ICCP'06)}},
  year		= 2006,
  address	= {Technical University of Cluj-Napoca, Romania},
  month		= sep,
  urllrde	= {200606-Iccp2}
}

@Article{	  darbon.06.jmiv,
  author	= {J. Darbon and M. Sigelle},
  title		= {Image restoration with discrete constrainted {T}otal
		  {Variation}---Part~{I}: Fast and exact optimization},
  journal	= {Journal of Mathematical Imaging and Vision},
  year		= 2006,
  volume	= 26,
  number	= 3,
  month		= dec,
  pages		= {261--276},
  project	= {Image},
  urllrde	= {FIXME}
}

@Article{	  darbon.06.jmivb,
  author	= {J. Darbon and M. Sigelle},
  title		= {Image restoration with discrete constrainted {T}otal
		  {Variation}---Part~{II}: Levelable functions, convex priors
		  and non-convex case},
  journal	= {Journal of Mathematical Imaging and Vision},
  year		= 2006,
  volume	= 26,
  number	= 3,
  month		= dec,
  pages		= {277--291},
  project	= {Image},
  urllrde	= {FIXME}
}

@InProceedings{	  darbon.06.siam,
  author	= {J. Darbon and M. Sigelle},
  title		= {Fast and Exact Discrete Image Restoration Based on Total
		  Variation and on Its Extensions to Levelable Potentials},
  booktitle	= {SIAM Conference on Imaging Sciences},
  year		= 2006,
  address	= {Minneapolis, USA},
  month		= may,
  project	= {Image},
  urllrde	= {FIXME}
}

@TechReport{	  darbon.06.tr,
  author	= {J\'er\^ome Darbon and Marc Sigelle and Florence Tupin},
  title		= {A note on nice-levelable {MRFs} for {SAR} image denoising
		  with contrast preservation},
  institution	= {Signal and Image Processing Group, Ecole Nationale
		  Sup\'erieure des T\'el\'ecommunications},
  year		= 2006,
  number	= {2006D006},
  address	= {Paris, France},
  month		= sep,
  project	= {Image},
  urllrde	= {FIXME}
}

@InProceedings{	  darbon.07.ei,
  author	= {J\'er\^ome Darbon and Marc Sigelle and Florence Tupin},
  title		= {The use of levelable regularization functions for {MRF}
		  restoration of {SAR} images},
  booktitle	= {Proceedings of the 19th Symposium SPIE on Electronic
		  Imaging},
  year		= 2007,
  address	= {San Jose, CA, USA},
  month		= jan,
  project	= {Image},
  urllrde	= {200701-SPIE}
}

@InProceedings{	  darbon.07.mirage,
  author	= {J. Darbon},
  title		= {A Note on the Discrete Binary {Mumford-Shah} Model},
  booktitle	= {Proceedings of the international Computer Vision /
		  Computer Graphics Collaboration Techniques and Applications
		  (MIRAGE 2007)},
  year		= 2007,
  address	= {Paris, France},
  month		= mar,
  project	= {Image},
  urllrde	= {200703-MIRAGE}
}

@Misc{		  david.05.sud,
  author	= {Valentin David and Akim Demaille and Renaud Durlin and
		  Olivier Gournet},
  title		= {{C}/{C++} Disambiguation Using Attribute Grammars},
  year		= 2005,
  note		= {Communication to Stratego Users Day 2005},
  address	= {Utrecht {U}niversity, {N}etherland},
  month		= may,
  project	= {Transformers},
  urllrde	= {200505-SUD-disamb}
}

@InProceedings{	  david.06.iccp,
  author	= {Valentin David and Akim Demaille and Olivier Gournet},
  title		= {Attribute Grammars for Modular Disambiguation},
  booktitle	= {Proceedings of the {IEEE} 2nd International Conference on
		  Intelligent Computer Communication and Processing
		  ({ICCP'06)}},
  year		= 2006,
  address	= {Technical University of Cluj-Napoca, Romania},
  month		= sep,
  urllrde	= {200606-ICCP},
  abstract	= {To face the challenges to tomorrow's software engineering
		  tools, powerful language-generic program-transformation
		  components are needed. We propose the use of attribute
		  grammars (AGs) to generate language specific disambiguation
		  filters. In this paper, a complete implementation of a
		  language-independent AGs system is presented. As a full
		  scale experiment, we present an implementation of a
		  flexible C front-end. Its specifications are concise,
		  modular, and the result is efficient. On top of it,
		  transformations such as software renovation, code metrics,
		  domain specific language embedding can be implemented.},
  project	= {Transformers}
}

@Article{	  dehak.05.pami,
  author	= {R\'eda Dehak and Isabelle Bloch and Henri Ma{\^\i}tre},
  title		= {Spatial reasoning with relative incomplete information on
		  relative positioning},
  journal	= {IEEE Transactions on Pattern Analysis and Machine
		  Intelligence},
  year		= 2005,
  pages		= {1473--1484},
  volume	= 27,
  month		= sep,
  number	= 9,
  project	= {Image},
  urllrde	= {200509-PAMI}
}

@InProceedings{	  dehak.06.nist,
  author	= {R\'eda Dehak and Charles-Alban Deledalle and Najim Dehak},
  title		= {{LRDE} System description},
  booktitle	= {NIST SRE'06 Workshop: speaker recognition evaluation
		  campaign},
  year		= 2006,
  address	= {San Juan, Puerto Rico},
  month		= jun,
  urllrde	= {200606-NIST-A}
}

@InProceedings{	  dehak.07.interspeech,
  author	= {R{\'e}da Dehak and Najim Dehak and Patrick Kenny and
		  Pierre Dumouchel},
  title		= {Linear and Non Linear Kernel {GMM} SuperVector Machines
		  for Speaker Verification},
  booktitle	= {Proceedings of the European Conference on Speech
		  Communication and Technologies (Interspeech'07)},
  year		= 2007,
  address	= {Antwerp, Belgium},
  month		= aug,
  urllrde	= {FIXME}
}

@InProceedings{	  dehak.08.odysseya,
  author	= {R{\'e}da Dehak and Najim Dehak and Patrick Kenny and
		  Pierre Dumouchel},
  title		= {Kernel Combination for {SVM} Speaker Verification},
  booktitle	= {Proceedings of the Speaker and Language Recognition
		  Workshop (IEEE-Odyssey 2008)},
  year		= 2008,
  address	= {Stellenbosch, South Africa},
  month		= jan,
  urllrde	= {200709-ODYSSEY-A},
  abstract	= {We present a new approach for constructing the kernels
		  used to build support vector machines for speaker
		  verification. The idea is to construct new kernels by
		  taking linear combination of many kernels such as the GLDS
		  and GMM supervector kernels. In this new kernel
		  combination, the combination weights are speaker dependent
		  rather than universal weights on score level fusion and
		  there is no need for extra-data to estimate them. An
		  experiment on the NIST 2006 speaker recognition evaluation
		  dataset (all trial) was done using three different kernel
		  functions (GLDS kernel, linear and Gaussian GMM supervector
		  kernels). We compared our kernel combination to the optimal
		  linear score fusion obtained using logistic regression.
		  This optimal score fusion was trained on the same test
		  data. We had an equal error rate of $\simeq 5,9\%$ using
		  the kernel combination technique which is better than the
		  optimal score fusion system ($\simeq 6,0\%$).}
}

@InProceedings{	  dehak.08.odysseyb,
  author	= {Najim Dehak and R{\'e}da Dehak and Patrick Kenny and
		  Pierre Dumouchel},
  title		= {Comparison Between Factor Analysis and {GMM} Support
		  Vector Machines for Speaker Verification},
  booktitle	= {Proceedings of the Speaker and Language Recognition
		  Workshop (IEEE-Odyssey 2008)},
  year		= 2008,
  address	= {Stellenbosch, South Africa},
  month		= jan,
  urllrde	= {200709-ODYSSEY-B},
  abstract	= {We present a comparison between speaker verification
		  systems based on factor analysis modeling and support
		  vector machines using GMM supervectors as features. All
		  systems used the same acoustic features and they were
		  trained and tested on the same data sets. We test two types
		  of kernel (one linear, the other non-linear) for the GMM
		  support vector machines. The results show that factor
		  analysis using speaker factors gives the best results on
		  the core condition of the NIST 2006 speaker recognition
		  evaluation. The difference is particularly marked on the
		  English language subset. Fusion of all systems gave an
		  equal error rate of 4.2\% (all trials) and 3.2\% (English
		  trials only).}
}

@InProceedings{	  demaille.05.iticse,
  author	= {Akim Demaille},
  title		= {Making Compiler Construction Projects Relevant to Core
		  Curriculums},
  booktitle	= {Proceedings of the Tenth Annual Conference on Innovation
		  and Technology in Computer Science Education
		  ({ITICSE'05})},
  year		= 2005,
  address	= {Universidade Nova de {L}isboa, {M}onte da {P}acarita,
		  {P}ortugal},
  month		= jun,
  project	= {Software},
  urllrde	= {200506-ITICSE},
  isbn		= {1-59593-024-8},
  pages		= {266--270},
  abstract	= {Having 300 students a year implement a compiler is a
		  debatable enterprise, since the industry will certainly
		  \emph{not} recruit them for this competence. Yet we made
		  that decision five years ago, for reasons not related to
		  compiler construction. We detail these motivations, the
		  resulting compiler design, and how we manage the
		  assignment. The project meets its goals, since the majority
		  of former students invariably refer to it as \emph{the}
		  project that taught them the most.}
}

@InProceedings{	  demaille.06.isola,
  author	= {Akim Demaille and Sylvain Peyronnet and Beno\^it Sigoure},
  title		= {Modeling of Sensor Networks Using {XRM}},
  booktitle	= {Proceedings of the 2nd International Symposium on
		  Leveraging Applications of Formal Methods, Verification and
		  Validation ({ISoLA'06})},
  year		= 2006,
  address	= {Coral Beach Resort, {P}aphos, {C}yprus},
  month		= nov,
  project	= {Transformers},
  abstract	= {Sensor networks are composed of small electronic devices
		  that embed processors, sensors, batteries, memory and
		  communication capabilities. One of the main goal in the
		  design of such systems is the handling of the inherent
		  complexity of the nodes, strengthened by the huge number of
		  nodes in the network. For these reasons, it becomes very
		  difficult to model and verify such systems. In this paper,
		  we investigate the main characteristics of sensor nodes,
		  discuss about the use of a language derived from Reactive
		  Modules for their modeling and propose a language (and a
		  tool set) that ease the modeling of this kind of systems.},
  urllrde	= {200609-ISOLA}
}

@InProceedings{	  demaille.06.rivf,
  author	= {Akim Demaille and Sylvain Peyronnet and {\relax Th}omas
		  H\'erault},
  title		= {Probabilistic Verification of Sensor Networks},
  booktitle	= {Proceedings of the Fourth International Conference on
		  Computer Sciences, Research, Innovation and Vision for the
		  Future (RIVF'06)},
  year		= 2006,
  address	= {Ho Chi Minh City, Vietnam},
  isbn		= {1-4244-0316-2},
  month		= feb,
  project	= {APMC},
  urllrde	= {200602-rivf}
}

@InProceedings{	  demaille.08.ldta,
  author	= {Akim Demaille and Renaud Durlin and Nicolas Pierron and
		  Beno\^it Sigoure},
  title		= {Automatic Attribute Propagation for Modular Attribute
		  Grammars},
  note		= {Submitted},
  project	= {Transformers}
}

@InProceedings{	  denise.06.rt,
  author	= {Alain Denise and Marie-Claude Gaudel and
		  Sandrine-Dominique Gouraud and Richard Lassaigne and
		  Sylvain Peyronnet},
  title		= {Uniform Random Sampling of Traces in Very Large Models},
  booktitle	= {Proceedings of Random Testing 2006 (RT06)},
  year		= 2006,
  series	= {ACM digital library},
  note		= {To appear.},
  project	= {APMC},
  urllrde	= {200606-RT}
}

@InProceedings{	  duflot.04.avocs,
  author	= {Marie Duflot and Laurent Fribourg and {\relax Th}omas
		  Herault and Richard Lassaigne and Fr\'ed\'eric Magniette
		  and Stephane Messika and Sylvain Peyronnet and Claudine
		  Picaronny},
  title		= {Probabilistic model checking of the {CSMA/CD}, protocol
		  using {PRISM} and {APMC}},
  booktitle	= {Proceedings of the 4th International Workshop on Automated
		  Verification of Critical Systems (AVoCS)},
  year		= 2004,
  series	= {Electronic Notes in Theoretical Computer Science Series},
  note		= {To appear.},
  project	= {APMC},
  urllrde	= {200409-AVOCS}
}

@Book{		  duflot.06.book,
  author	= {Marie Duflot and M. Kwiatkowska and G. Norman and D.
		  Parker and Sylvain Peyronnet and Claudine Picaronny and J.
		  Sproston},
  title		= {Practical Application of Probabilistic Model Checking to
		  Communication Protocols},
  publisher	= {Springer},
  year		= 2006,
  note		= {Invited book chapter.},
  project	= {APMC},
  urllrde	= {200600-BOOK}
}

@InProceedings{	  duret.00.gcse,
  author	= {Alexandre Duret-Lutz},
  title		= {Olena: a component-based platform for image processing,
		  mixing generic, generative and {OO}, programming},
  booktitle	= {Proceedings of the 2nd International Symposium on
		  Generative and Component-Based Software Engineering
		  (GCSE)---Young Researchers Workshop; published in
		  ``Net.ObjectDays2000''},
  pages		= {653--659},
  year		= 2000,
  address	= {Erfurt, Germany},
  month		= oct,
  isbn		= {3-89683-932-2},
  project	= {Olena},
  urllrde	= {200010-NetObjectDays}
}

@InProceedings{	  duret.01.ae,
  author	= {Alexandre Duret-Lutz},
  title		= {Expression templates in {A}da~95},
  booktitle	= {Proceedings of the 6th International Conference on
		  Reliable Software Technologies (Ada-Europe)},
  year		= 2001,
  series	= {Lecture Notes in Computer Science Series},
  volume	= 2043,
  address	= {Leuven, Belgium},
  month		= may,
  publisher	= {Springer-Verlag},
  pages		= {191--202},
  note		= {Best Paper Award.},
  project	= {Software},
  urllrde	= {200105-Ae}
}

@InProceedings{	  duret.01.coots,
  author	= {Alexandre Duret-Lutz and {\relax Th}ierry G\'eraud and
		  Akim Demaille},
  title		= {Generic design patterns in {C++}},
  booktitle	= {Proceedings of the 6th USENIX Conference on
		  Object-Oriented Technologies and Systems (COOTS)},
  year		= 2001,
  address	= {San Antonio, TX, USA},
  pages		= {189--202},
  month		= {January-February},
  publisher	= {USENIX Association},
  project	= {Software},
  urllrde	= {200102-Coots}
}

@InProceedings{	  fabre.00.egve,
  author	= {Yoann Fabre and Guillaume Pitel and Laurent Soubrevilla
		  and Emmanuel Marchand and {\relax Th}ierry G\'eraud and
		  Akim Demaille},
  title		= {An asynchronous architecture to manage communication,
		  display, and user interaction in distributed virtual
		  environments},
  booktitle	= {Virtual Environments 2000, Proceedings of the 6th
		  Eurographics Workshop on Virtual Environments (EGVE)},
  year		= 2000,
  address	= {Amsterdam, The Netherlands},
  month		= jun,
  pages		= {105--113},
  series	= {Computer Science / Eurographics Series},
  editor	= {J.D. Mulder and R. van Liere},
  publisher	= {Springer-Verlag WienNewYork},
  project	= {Urbi},
  urllrde	= {200006-Egve}
}

@InProceedings{	  fabre.00.vsmm,
  author	= {Yoann Fabre and Guillaume Pitel and Didier Verna},
  title		= {Urbi et {O}rbi: unusual design and implementation choices
		  for distributed virtual environments},
  booktitle	= {Proceedings of the 6th International Conference on Virtual
		  Systems and MultiMedia (VSMM)---Intelligent Environments
		  Workshop},
  pages		= {714--724},
  year		= 2000,
  address	= {Gifu, Japan},
  month		= oct,
  publisher	= {IOS Press, USA},
  isbn		= {1-58603-108-2},
  project	= {Urbi},
  urllrde	= {200010-Vsmm}
}

@InProceedings{	  fabre.00.vw,
  author	= {Yoann Fabre and Guillaume Pitel and Laurent Soubrevilla
		  and Emmanuel Marchand and {\relax Th}ierry G\'eraud and
		  Akim Demaille},
  title		= {A framework to dynamically manage distributed virtual
		  environments},
  booktitle	= {Proceedings of the 2nd International Conference on Virtual
		  Worlds (VW)},
  year		= 2000,
  address	= {Paris, France},
  month		= jul,
  pages		= {54--64},
  editor	= {J.-C. Heudin},
  publisher	= {Springer Verlag},
  series	= {Lecture Notes in Computer Science Series},
  volume	= {LNAI 1834},
  project	= {Urbi},
  urllrde	= {200007-VW}
}

@InProceedings{	  fouquier.07.gbr,
  author	= {Geoffroy Fouquier and Jamal Atif and Isabelle Bloch},
  title		= {Local reasoning in fuzzy attribute graphs for optimizing
		  sequential segmentation},
  booktitle	= {Proceedings of the 6th IAPR TC-15 Workshop on Graph-based
		  Representations in Pattern Recognition (GBR)},
  year		= 2007,
  month		= jun,
  address	= {Alicante, Spain},
  volume	= {LNCS 4538},
  editor	= {F. Escolano and M. Vento},
  publisher	= {Springer Verlag},
  isbn		= {978-3-540-72902-0},
  pages		= {138--147},
  urllrde	= {200706-GBR}
}

@InProceedings{	  fouquier.07.icassp,
  author	= {Geoffroy Fouquier and Laurence Likforman and J\'er\^ome
		  Darbon and Bulent Sankur},
  title		= {The Biosecure Geometry-based System for Hand Modality},
  booktitle	= {Proceedings of the 32nd IEEE International Conference on
		  Acoustics, Speech, and Signal Processing (ICASSP)},
  year		= 2007,
  month		= apr,
  address	= {Honolulu, Hawaii, USA},
  volume	= {I},
  pages		= {801--804},
  isbn		= {1-4244-0728-1},
  urllrde	= {200704-ICASSP}
}

@InProceedings{	  geraud.00.europlop,
  author	= {{\relax Th}ierry G\'eraud and Alexandre Duret-Lutz},
  title		= {Generic programming redesign of patterns},
  booktitle	= {Proceedings of the 5th European Conference on Pattern
		  Languages of Programs (EuroPLoP)},
  year		= 2000,
  month		= jul,
  address	= {Irsee, Germany},
  pages		= {283--294},
  editors	= {M. Devos and A. R\"uping},
  publisher	= {UVK, Univ. Verlag, Konstanz},
  project	= {Software},
  urllrde	= {200007-EuroPlop}
}

@InProceedings{	  geraud.00.icpr,
  author	= {{\relax Th}ierry G\'eraud and Yoann Fabre and Alexandre
		  Duret-Lutz and Dimitri Papadopoulos-Orfanos and
		  Jean-Fran\c{c}ois Mangin},
  title		= {Obtaining genericity for image processing and pattern
		  recognition algorithms},
  booktitle	= {Proceedings of the 15th International Conference on
		  Pattern Recognition (ICPR)},
  year		= 2000,
  month		= sep,
  address	= {Barcelona, Spain},
  volume	= 4,
  pages		= {816--819},
  publisher	= {IEEE Computer Society},
  project	= {Olena},
  urllrde	= {200009-Icpr}
}

@InProceedings{	  geraud.00.rfia,
  author	= {{\relax Th}ierry G\'eraud and Isabelle Bloch and Henri
		  Ma{\^\i}tre},
  title		= {Reconnaissance de structures c\'er\'ebrales \`a l'aide
		  d'un atlas et par fusion d'informations structurelles floues},
  booktitle	= {Actes du 12\`eme Congr\`es Francophone AFRIF-AFIA de
		  Reconnaissance des Formes et Intelligence Artificielle
		  (RFIA)},
  year		= 2000,
  address	= {Paris, France},
  month		= feb,
  volume	= 1,
  pages		= {287--295},
  note		= {EPITA as current address.},
  category	= {national},
  project	= {Image},
  urllrde	= {200002-RFIA}
}

@InProceedings{	  geraud.01.ai,
  author	= {{\relax Th}ierry G\'eraud and Yoann Fabre and Alexandre
		  Duret-Lutz},
  title		= {Applying generic programming to image processing},
  booktitle	= {Proceedings of the IASTED International Conference on
		  Applied Informatics (AI)---Symposium on Advances in
		  Computer Applications},
  year		= 2001,
  publisher	= {ACTA Press},
  editor	= {M.H.~Hamsa},
  address	= {Innsbruck, Austria},
  pages		= {577--581},
  month		= feb,
  project	= {Olena},
  urllrde	= {200102-Ai}
}

@InProceedings{	  geraud.01.icip,
  author	= {{\relax Th}ierry G\'eraud and Pierre-Yves Strub and
		  J\'er\^ome Darbon},
  title		= {Color image segmentation based on automatic morphological
		  clustering},
  booktitle	= {Proceedings of the IEEE International Conference on Image
		  Processing (ICIP)},
  year		= 2001,
  volume	= 3,
  pages		= {70--73},
  address	= {Thessaloniki, Greece},
  month		= oct,
  project	= {Image},
  urllrde	= {200110-Icip}
}

@InProceedings{	  geraud.01.icisp,
  author	= {{\relax Th}ierry G\'eraud and Pierre-Yves Strub and
		  J\'er\^ome Darbon},
  title		= {Segmentation d'images en couleur par classification
		  morphologique non supervis\'ee},
  booktitle	= {Proceedings of the International Conference on Image and
		  Signal Processing (ICISP)},
  year		= 2001,
  pages		= {387--394},
  address	= {Agadir, Morocco},
  month		= may,
  publisher	= {Faculty of Sciences at Ibn Zohr University, Morocco},
  note		= {In French},
  project	= {Image},
  urllrde	= {200105-Icisp}
}

@InProceedings{	  geraud.03.grec,
  author	= {{\relax Th}ierry G\'eraud and Geoffroy Fouquier and Quoc
		  Peyrot and Nicolas Lucas and Franck Signorile},
  title		= {Document type recognition using evidence theory},
  booktitle	= {Proceedings of the 5th IAPR International Workshop on
		  Graphics Recognition (GREC)},
  year		= 2003,
  pages		= {212--221},
  editors	= {Josep Llad\`os},
  address	= {Computer Vision Center, UAB, Barcelona, Spain},
  month		= jul,
  project	= {Image},
  urllrde	= {200307-Grec}
}

@InProceedings{	  geraud.03.ibpria,
  author	= {{\relax Th}ierry G\'eraud},
  title		= {Segmentation of curvilinear objects using a
		  watershed-based curve adjacency graph},
  booktitle	= {Proceedings of the 1st Iberian Conference on Pattern
		  Recognition and Image Analysis (IbPRIA)},
  pages		= {279--286},
  year		= 2003,
  editor	= {Springer-Verlag},
  volume	= 2652,
  series	= {Lecture Notes in Computer Science Series},
  address	= {Mallorca, Spain},
  month		= jun,
  publisher	= {Springer-Verlag},
  project	= {Image},
  urllrde	= {200306-Ibpria}
}

@InProceedings{	  geraud.03.icisp,
  author	= {{\relax Th}ierry G\'eraud},
  title		= {Segmentation d'objets curvilignes \`a l'aide des champs de
		  Markov sur un graphe d'adjacence de courbes issu de
		  l'algorithme de la ligne de partage des eaux},
  booktitle	= {Proceedings of the International Conference on Image and
		  Signal Processing (ICISP)},
  year		= 2003,
  volume	= 2,
  pages		= {404--411},
  address	= {Agadir, Morocco},
  month		= jun,
  publisher	= {Faculty of Sciences at Ibn Zohr University, Morocco},
  note		= {In French},
  project	= {Image},
  urllrde	= {200306-Icisp}
}

@InProceedings{	  geraud.03.nsip,
  author	= {{\relax Th}ierry G\'eraud},
  title		= {Fast Road Network Extraction in Satellite Images using
		  Mathematical Morphology and {MRF}},
  booktitle	= {Proceedings of the EURASIP Workshop on Nonlinear Signal
		  and Image Processing (NSIP)},
  year		= 2003,
  address	= {Trieste, Italy},
  month		= jun,
  project	= {Image},
  urllrde	= {200306-Nsip}
}

@InProceedings{	  geraud.04.iccvg,
  author	= {{\relax Th}ierry G\'eraud and Giovanni Palma and Niels
		  {Van Vliet}},
  title		= {Fast color image segmentation based on levellings in
		  feature Space},
  booktitle	= {Computer Vision and Graphics---International Conference on
		  Computer Vision and Graphics (ICCVG), Warsaw, Poland,
		  September 2004},
  year		= 2004,
  series	= {Computational Imaging and Vision},
  volume	= 32,
  editor	= {Kluwer Academic Publishers},
  pages		= {800--807},
  note		= {On CD.},
  project	= {Image},
  urllrde	= {200408-ICCVG}
}

@Article{	  geraud.04.jasp,
  author	= {{\relax Th}ierry G\'eraud and Jean-Baptiste Mouret},
  title		= {Fast road network extraction in satellite images using
		  mathematical morphology and {M}arkov random fields},
  journal	= {EURASIP Journal on Applied Signal Processing},
  year		= 2004,
  number	= 16,
  volume	= 2004,
  pages		= {2503--2514},
  month		= nov,
  note		= {Special issue on Nonlinear Signal and Image Processing -
		  Part II},
  project	= {Image},
  doi		= {http://doi.acm.org/10.1155/S1110865704409093},
  urllrde	= {200409-JASP}
}

@InProceedings{	  geraud.05.ismm,
  author	= {{\relax Th}ierry G\'eraud},
  title		= {Ruminations on {T}arjan's {U}nion-{F}ind algorithm and
		  connected operators},
  booktitle	= ismm05,
  year		= 2005,
  address	= {Paris, France},
  month		= apr,
  pages		= {105--116},
  publisher	= {Springer},
  series	= {Computational Imaging and Vision},
  volume	= 30,
  project	= {Image},
  urllrde	= {200504-ISMM}
}

@InProceedings{	  geraud.99.cimaf,
  author	= {{\relax Th}ierry G\'eraud and Isabelle Bloch and Henri
		  Ma\^tre},
  title		= {Atlas-guided recognition of cerebral structures in {MRI}
		  using fusion of fuzzy structural information},
  booktitle	= {Proceeding of CIMAF Symposium on Artificial Intelligence},
  pages		= {99--106},
  year		= 1999,
  address	= {La Havana, Cuba},
  note		= {EPITA as current address.},
  project	= {Image},
  urllrde	= {199900-CIMAF}
}

@InProceedings{	  geraud.99.gretsi,
  author	= {{\relax Th}ierry G\'eraud and Yoann Fabre and Dimitri
		  Papadopoulos-Orfanos and Jean-Fran\c{c}ois Mangin},
  title		= {Vers une r\'eutilisabilit\'e totale des algorithmes de
		  traitement d'images},
  booktitle	= {Proceedings of the 17th Symposium on Signal and Image
		  Processing (GRETSI)},
  category	= {national},
  pages		= {331--334},
  volume	= 2,
  year		= 1999,
  address	= {Vannes, France},
  month		= sep,
  note		= {In French},
  project	= {Olena},
  urllrde	= {199909-Gretsi}
}

@Misc{		  gournet.05.sud,
  author	= {Alexandre Borghi and Valentin David and Akim Demaille and
		  Olivier Gournet},
  title		= {Implementing attributes in {SDF}},
  year		= 2005,
  address	= {Utrecht {U}niversity, {N}etherland},
  note		= {Communication to Stratego Users Day 2005},
  month		= may,
  project	= {Transformers},
  urllrde	= {200505-SUD-ag}
}

@InProceedings{	  grosicki.04.icc,
  author	= {Emmanuel Grosicki and Karim Abed-Meraim and R\'eda Dehak},
  title		= {A novel method to fight the non line of sight error in
		  {AOA} measurements for mobile location},
  booktitle	= {Proceedings of the IEEE International Conference on
		  Communications (ICC)},
  year		= 2004,
  volume	= 5,
  pages		= {2794--2798},
  address	= {Paris, France},
  month		= jun,
  project	= {Image},
  urllrde	= {200406-ICC}
}

@InProceedings{	  guirado.05.pdmc,
  author	= {Guillaume Guirado and {\relax Th}omas Herault and Richard
		  Lassaigne and Sylvain Peyronnet},
  title		= {Distribution, approximation and probabilistic model
		  checking},
  booktitle	= {Proceedings of the 4th international workshop on Parallel
		  and Distributed Model Checking (PDMC)},
  year		= 2005,
  project	= {APMC},
  urllrde	= {200507-Pdmc}
}

@InProceedings{	  hamez.07.pohll,
  author	= {Alexandre Hamez and Fabrice Kordon and Yann Thierry-Mieg},
  title		= {{libDMC}: a library to Operate Efficient Distributed Model
		  Checking},
  booktitle	= {Workshop on Performance Optimization for High-Level
		  Languages and Libraries --- associated to IPDPS'2007},
  year		= 2007,
  project	= {Verification},
  urllrde	= {200703-POHLL}
}

@InProceedings{	  herault.06.qest,
  author	= {Thomas H\'erault and Richard Lassaigne and Sylvain
		  Peyronnet},
  title		= {{APMC 3.0}: Approximate verification of Discrete and
		  Continuous Time Markov Chains},
  booktitle	= {Proceedings of Qest 2006},
  year		= 2006,
  note		= {To appear},
  project	= {APMC},
  urllrde	= {200606-Qest}
}

@InProceedings{	  kenny.08.odyssey,
  author	= {Patrick Kenny and Najim Dehak and R{\'e}da Dehak and
		  Vishwa Gupta and Pierre Dumouchel},
  title		= {The Role of Speaker Factors in the {NIST} Extended Data
		  Task},
  booktitle	= {Proceedings of the Speaker and Language Recognition
		  Workshop (IEEE-Odyssey 2008)},
  year		= 2008,
  address	= {Stellenbosch, South Africa},
  month		= jan,
  urllrde	= {200709-ODYSSEY-C},
  abstract	= {We tested factor analysis models having various numbers of
		  speaker factors on the core condition and the extended data
		  condition of the 2006 NIST speaker recognition evaluation.
		  In order to ensure strict disjointness between training and
		  test sets, the factor analysis models were trained without
		  using any of the data made available for the 2005
		  evaluation. The factor analysis training set consisted
		  primarily of Switchboard data and so was to some degree
		  mismatched with the 2006 test data (drawn from the Mixer
		  collection). Consequently, our initial results were not as
		  good as those submitted for the 2006 evaluation. However we
		  found that we could compensate for this by a simple
		  modification to our score normalization strategy, namely by
		  using 1000 z-norm utterances in zt-norm. Our purpose in
		  varying the number of speaker factors was to evaluate the
		  eigenvoiceMAP and classicalMAP components of the
		  inter-speaker variability model in factor analysis. We
		  found that on the core condition (i.e. 2?3 minutes of
		  enrollment data), only the eigenvoice MAP component plays a
		  useful role. On the other hand, on the extended data
		  condition (i.e. 15?20 minutes of enrollment data) both the
		  classical MAP component and the eigenvoice component proved
		  to be useful provided that the number of speaker factors
		  was limited. Our best result on the extended data condition
		  (all trials) was an equal error rate of 2.2\% and a
		  detection cost of 0.011. }
}

@Article{	  laplante.06.tocl,
  author	= {Sophie Laplante and Richard Lassaigne and Fr\'ed\'eric
		  Magniez and Sylvain Peyronnet and Michel de Rougemont},
  title		= {Probabilistic abstraction for model checking: an approach
		  based on property testing},
  journal	= {ACM Transactions on Computational Logic},
  year		= 2006,
  note		= {Accepted.},
  project	= {APMC},
  urllrde	= {2006XX-TOCL},
  abstract	= {The goal of model checking is to verify the correctness of
		  a given program, on all its inputs. The main obstacle, in
		  many cases, is the intractably large size of the program's
		  transition system. Property testing is a randomized method
		  to verify whether some fixed property holds on individual
		  inputs, by looking at a small random part of that input. We
		  join the strengths of both approaches by introducing a new
		  notion of probabilistic abstraction, and by extending the
		  framework of model checking to include the use of these
		  abstractions. Our abstractions map transition systems
		  associated with large graphs to small transition systems
		  associated with small random subgraphs. This reduces the
		  original transition system to a family of small, even
		  constant-size, transition systems. We prove that with high
		  probability, ``sufficiently'' incorrect programs will be
		  rejected ($\eps$-robustness). We also prove that under a
		  certain condition (exactness), correct programs will never
		  be rejected (soundness). Our work applies to programs for
		  graph properties such as bipartiteness, $k$-colorability,
		  or any $\exists\forall$ first order graph properties. Our
		  main contribution is to show how to apply the ideas of
		  property testing to syntactic programs for such properties.
		  We give a concrete example of an abstraction for a program
		  for bipartiteness. Finally, we show that the relaxation of
		  the test alone does not yield transition systems small
		  enough to use the standard model checking method. More
		  specifically, we prove, using methods from communication
		  complexity, that the OBDD size remains exponential for
		  approximate bipartiteness.}
}

@InProceedings{	  lassaigne.05.wollic,
  author	= {Richard Lassaigne and Sylvain Peyronnet},
  title		= {Probabilistic verification and approximation},
  booktitle	= {Proceedings of 12th Workshop on Logic, Language,
		  Information and Computation (Wollic)},
  year		= 2005,
  note		= {To appear},
  project	= {APMC},
  urllrde	= {200507-Wollic}
}

@InProceedings{	  le-quoc.07.ntms,
  author	= {Cuong Le Quoc and Patrick Bellot and Akim Demaille},
  title		= {On the security of quantum networks: a proposal framework
		  and its capacity},
  booktitle	= {Proceedings of the 2007 International Conference on New
		  Technologies, Mobility and Security (NTMS'07)},
  year		= 2007,
  address	= {Paris, France},
  month		= may,
  urllrde	= {200705-NTMS},
  abstract	= {In large Quantum Key Distribution (QKD)-based networks,
		  intermediate nodes are necessary because of the short
		  length of QKD links. They have tendency to be used more
		  than classical networks. A realistic assumption is that
		  there are eavesdropping operations in these nodes without
		  knowledge of legitimate network participants. We develop a
		  QKD-based network framework. We present a percolation-based
		  approach to discuss about conditions of extremely high
		  secret key transmission. We propose also an adaptive
		  stochastic routing algorithm that helps on protecting keys
		  from reasonable eavesdroppers in a dense QKD network. We
		  show that under some assumptions, one could prevent
		  eavesdroppers from sniffing the secrets with an arbitrarily
		  large probability.}
}

@InProceedings{	  le-quoc.07.rivf,
  author	= {Cuong Le Quoc and Patrick Bellot and Akim Demaille},
  title		= {Stochastic routing in large grid-shaped quantum networks},
  booktitle	= {Proceedings of the Fifth International Conference on
		  Computer Sciences, Research, Innovation and Vision for the
		  Future (RIVF'07)},
  year		= 2007,
  address	= {Hanoi, Vietnam},
  month		= mar,
  isbn		= {1-4244-0695-1},
  urllrde	= {200703-RIVF},
  abstract	= {This paper investigates the problem of secret key
		  transmissions for an arbitrary Alice-Bob pair in Quantum
		  Key Distribution-based networks. We develop a realistic
		  QKD-based network framework and we show that the key
		  transmission problem on such a framework can be considered
		  as a variant of the classical percolation problem. We also
		  present an adaptive stochastic routing algorithm protect
		  from inevitable eavesdroppers. Simulations were carried out
		  not only to validate our approach, but also to compute
		  critical parameters ensuring security. These results show
		  that large quantum networks with eavesdroppers do provide
		  security.},
  keywords	= {Quantum Key Distribution, QKD network, percolation theory,
		  stochastic routing}
}

@TechReport{	  lefebvre.04.tr,
  author	= {Sylvain Lefebvre and J\'er\^ome Darbon and Fabrice Neyret},
  title		= {Unified texture management for arbitrary meshes},
  institution	= {INRIA-Rhone-Alpe},
  year		= 2004,
  number	= {RR-5210},
  address	= {France},
  month		= may,
  project	= {Image},
  urllrde	= {FIXME}
}

@InProceedings{	  lesage.06.isvc,
  author	= {D. Lesage and J. Darbon and C.B. Akgul},
  title		= {An Efficient Algorithm for Connected Attribute Thinnings
		  and Thickenings},
  booktitle	= {Proceedings of the second International Conference on
		  Visual Computing},
  year		= 2006,
  address	= {Lake Tahoe, Nevada, USA},
  month		= nov,
  project	= {Image},
  note		= {To appear},
  series	= {Lecture Notes in Computer Science Series},
  publisher	= {Springer-Verlag},
  urllrde	= {200611-ISVC}
}

@Misc{		  levillain.05.olenaposter,
  author	= {Roland Levillain},
  title		= {{O}lena {P}roject poster},
  month		= oct,
  year		= 2005,
  urllrde	= {200510-OlenaPoster}
}

@Misc{		  levillain.05.tigerposter,
  author	= {Roland Levillain},
  title		= {{T}iger {P}roject poster},
  month		= oct,
  year		= 2005,
  urllrde	= {200510-TigerPoster}
}

@InProceedings{	  lombardy.03.ciaa,
  author	= {Sylvain Lombardy and Rapha\"el Poss and Yann
		  R\'egis-Gianas and Jacques Sakarovitch},
  title		= {Introducing {V}aucanson},
  booktitle	= {Proceedings of Implementation and Application of Automata,
		  8th International Conference (CIAA)},
  pages		= {96--107},
  year		= 2003,
  editor	= {Springer-Verlag},
  volume	= 2759,
  series	= {Lecture Notes in Computer Science Series},
  address	= {Santa Barbara, CA, USA},
  month		= jul,
  project	= {Vaucanson},
  urllrde	= {200307-Ciaa}
}

@Article{	  lombardy.04.tcs,
  author	= {Sylvain Lombardy and Yann R{\'e}gis-{G}ianas and Jacques
		  Sakarovitch},
  title		= {Introducing {V}aucanson},
  journal	= {Theoretical Computer Science},
  volume	= 328,
  year		= 2004,
  pages		= {77--96},
  month		= nov,
  project	= {Vaucanson},
  urllrde	= {200411-TCS}
}

@InProceedings{	  maes.03.dpcool,
  author	= {Francis Maes},
  title		= {Program templates: expression templates applied to program
		  evaluation},
  booktitle	= {Proceedings of the Workshop on Declarative Programming in
		  the Context of Object-Oriented Languages (DP-COOL; in
		  conjunction with PLI)},
  year		= 2003,
  address	= {Uppsala, Sweden},
  number	= {FZJ-ZAM-IB-2003-10},
  page		= {67-86},
  editor	= {J\"org Striegnitz and Kei Davis},
  month		= aug,
  series	= {John von Neumann Institute for Computing (NIC)},
  project	= {Software},
  urllrde	= {20020619-Seminar-Maes-Report},
  abstract	= {The C++ language provides a two-layer execution model:
		  static execution of meta-programs and dynamic execution of
		  resulting programs. The Expression Templates technique
		  takes advantage of this dual execution model through the
		  construction of C++ types expressing simple arithmetic
		  formulas. Our intent is to extend this technique to a whole
		  programming language. The Tiger language is a small,
		  imperative language with types, variables, arrays, records,
		  ow control structures and nested functions. The rst step is
		  to show how to express a Tiger program as a C++ type. The
		  second step concerns operational analysis which is done
		  through the use of meta-programs. Finally an implemen-
		  tation of our Tiger evaluator is proposed. Our technique
		  goes much deeper than the Expression Templates one. It
		  shows how the generative power of C++ meta-programming can
		  be used in order to compile abstract syntax trees of a
		  fully featured programming language.}
}

@InProceedings{	  maes.04.mpool,
  author	= {Francis Maes},
  title		= {Metagene, a {C++} meta-program generation tool},
  booktitle	= {Proceedings of the Workshop on Multiple Paradigm with OO
		  Languages (MPOOL; in conjunction with ECOOP)},
  year		= 2004,
  address	= {Oslo, Norway},
  month		= jun,
  project	= {Software},
  urllrde	= {200406-MPOOL}
}

@InProceedings{	  perrot.06.nist,
  author	= {P. Perrot and R\'eda Dehak and G\'erard Chollet},
  title		= {{ENST-IRCGN} System Description},
  booktitle	= {NIST SRE'06 Workshop: speaker recognition evaluation
		  campaign},
  year		= 2006,
  address	= {San Juan, Puerto Rico},
  month		= jun,
  urllrde	= {200606-NIST-B}
}

@Misc{		  pouillard.05.sud,
  author	= {Akim Demaille and {\relax Th}omas Largillier and Nicolas
		  Pouillard},
  title		= {{ESDF}: A proposal for a more flexible {SDF} handling},
  note		= {Communication to Stratego Users Day 2005},
  year		= 2005,
  address	= {Utrecht {U}niversity, {N}etherland},
  month		= may,
  project	= {Transformers},
  urllrde	= {200505-SUD-esdf}
}

@InProceedings{	  regisgianas.03.poosc,
  author	= {Yann R\'egis-Gianas and Rapha\"el Poss},
  title		= {On orthogonal specialization in {C++}: dealing with
		  efficiency and algebraic abstraction in {V}aucanson},
  booktitle	= {Proceedings of the Parallel/High-performance
		  Object-Oriented Scientific Computing (POOSC; in conjunction
		  with ECOOP)},
  year		= 2003,
  number	= {FZJ-ZAM-IB-2003-09},
  page		= {71--82},
  editor	= {J\"org Striegnitz and Kei Davis},
  series	= {John von Neumann Institute for Computing (NIC)},
  address	= {Darmstadt, Germany},
  month		= jul,
  project	= {Vaucanson},
  urllrde	= {200307-Poosc}
}

@InProceedings{	  ricou.07.adass,
  author	= {Olivier Ricou and Anthony Baillard and Emmanuel Bertin and
		  Frederic Magnard and Chiara Marmo and Yannick Mellier},
  title		= {Web services at {TERAPIX}},
  booktitle	= {Proceedings of the XVII conference on Astronomical Data
		  Analysis Software \& Systems (ADASS)},
  month		= sep,
  year		= 2007,
  urllrde	= {200709-ADASS},
  abstract	= {We present an implementation of V.O.-compliant web
		  services built around software tools developed at the
		  TERAPIX centre. These services allow to operate from a
		  remote site several pipeline tasks dedicated to
		  astronomical data processing on the TERAPIX cluster,
		  including the latest EFIGI morphological analysis tool.}
}

@InProceedings{	  ricou.07.eceg,
  author	= {Olivier Ricou},
  title		= {10 years of confrontation between french {Internet} users
		  and their successive governments},
  booktitle	= {Proceedings of the 7th European Conference on e-Government
		  (ECEG)},
  month		= jun,
  year		= 2007,
  urllrde	= {200706-ECEG},
  abstract	= {This paper is a testimony on the relations between the
		  Internet users and their governments in France during the
		  last decade. It shows the complexity of communication
		  between two worlds that are strangers to each other. Since
		  most of the confrontation occurred over law proposals, it
		  analyses their impact on Internet users and focuses on two
		  examples. These example show the failure of Internet as a
		  political medium. French politicians do not seem to want an
		  active participation of the citizens in decisionmaking
		  processes. In order to end this paper on an optimistic
		  note, the last section enumerates the achievements of
		  egovernment which contributed preparing for a better
		  democracy by increasing transparency, accountability, and
		  education. This might push citizens to ask for more. }
}

@TechReport{	  vaucanson.04.techrep,
  author	= {The \textsc{Vaucanson} group},
  title		= {Proposal: an \textsc{XML} representation for automata},
  institution	= {EPITA Research and Development Laboratory (LRDE)},
  year		= 2004,
  number	= 0414,
  address	= {France},
  month		= nov,
  url		= {http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/200414-TR}
		  ,
  project	= {Vaucanson},
  urllrde	= {200414-TR}
}

@InProceedings{	  verna.00.vsmm,
  author	= {Didier Verna},
  title		= {Action recognition: how intelligent virtual environments
		  can ease human-machine interaction},
  booktitle	= {Proceedings of the 6th International Conference on Virtual
		  Systems and MultiMedia (VSMM)---Intelligent Environments
		  Workshop},
  pages		= {703--713},
  year		= 2000,
  address	= {Gifu, Japan},
  month		= oct,
  publisher	= {IOS Press, USA},
  isbn		= {1-58603-108-2},
  project	= {Urbi},
  urllrde	= {200010-Vsmm-2}
}

@InProceedings{	  verna.01.sci,
  author	= {Didier Verna},
  title		= {Virtual reality and tele-operation: a common framework},
  booktitle	= {Proceedings of the 5th World Multi-Conference on
		  Systemics, Cybernetics and Informatics (SCI)---Emergent
		  Computing and Virtual Engineering},
  year		= 2001,
  volume	= 3,
  pages		= {499-504},
  address	= {Orlando, Florida, USA},
  month		= jul,
  editors	= {N. Callas and S. Esquivel and J. Burge},
  project	= {Urbi},
  urllrde	= {200107-Sci}
}

@InProceedings{	  verna.06.ecoop,
  author	= {Didier Verna},
  title		= {Beating {C} in Scientific Computing Applications},
  booktitle	= {Third European \textsc{Lisp} Workshop at ECOOP},
  year		= 2006,
  address	= {Nantes, France},
  month		= jul,
  note		= {Best paper award.},
  project	= {Software},
  urllrde	= {200607-ECOOP},
  abstract	= {This paper presents an ongoing research on the behavior
		  and performance of \textsc{Lisp} with respect to C in the
		  context of scientific numerical computing. Several simple
		  image processing algorithms are used to evaluate the
		  performance of pixel access and arithmetic operations in
		  both languages. We demonstrate that the behavior of
		  equivalent \textsc{Lisp} and C code is similar with respect
		  to the choice of data structures and types, and also to
		  external parameters such as hardware optimization. We
		  further demonstrate that properly typed and optimized
		  \textsc{Lisp} code runs as fast as the equivalent C code,
		  or even faster in some cases.},
  abstract_fr	= {Cet article pr\'esente une recherche en cours sur le
		  comportement et les performances de \textsc{Lisp} par
		  rapport \`a C dans le contexte du calcul scientifique
		  num\'erique. Plusieurs algorithmes simples de traitement
		  d'image sont utilis\'es pour \'evaluer les performances de
		  l'acc\`es aux pixels et des op\'erations arithm\'etiques
		  dans les deux langages. Nous d\'emontrons que le
		  comportement de code \textsc{Lisp} et C \'equivalent est
		  similaire du point de vue du choix des structures de
		  donn\'ees et des types, ainsi que du point de vue de
		  certains param\`etres externes comme l'optimization
		  mat\'erielle. Nous d\'emontrons de plus que du code
		  \textsc{Lisp} correctement typ\'e et optimis\'e peut \^etre
		  aussi rapide que le code C \'equivalent, voire plus rapide dans certains cas.}
}

@Article{	  verna.06.ijcs,
  author	= {Didier Verna},
  title		= {How to make \textsc{Lisp} go faster than {C}},
  journal	= {IAENG International Journal of Computer Science},
  year		= 2006,
  volume	= 32,
  number	= 4,
  month		= dec,
  note		= {Accepted},
  issn		= {1819-656X},
  project	= {Software},
  urllrde	= {200606-IMECS},
  abstract	= {Contrary to popular belief, \textsc{Lisp} code can be very
		  efficient today: it can run as fast as equivalent C code or
		  even faster in some cases. In this paper, we explain how to
		  tune \textsc{Lisp} code for performance by introducing the
		  proper type declarations, using the appropriate data
		  structures and compiler information. We also explain how
		  efficiency is achieved by the compilers. These techniques
		  are applied to simple image processing algorithms in order
		  to demonstrate the announced performance on pixel access
		  and arithmetic operations in both languages.}
}

@InProceedings{	  verna.06.imecs,
  author	= {Didier Verna},
  title		= {How to make \textsc{Lisp} go faster than {C}},
  booktitle	= {Proceedings of the International MultiConference of
		  Engineers and Computer Scientists},
  year		= 2006,
  address	= {Hong Kong},
  month		= jun,
  organization	= {International Association of Engineers},
  note		= {Accepted},
  isbn		= {988-98671-3-3},
  project	= {Software},
  urllrde	= {200606-IMECS},
  abstract	= {Contrary to popular belief, \textsc{Lisp} code can be very
		  efficient today: it can run as fast as equivalent C code or
		  even faster in some cases. In this paper, we explain how to
		  tune \textsc{Lisp} code for performance by introducing the
		  proper type declarations, using the appropriate data
		  structures and compiler information. We also explain how
		  efficiency is achieved by the compilers. These techniques
		  are applied to simple image processing algorithms in order
		  to demonstrate the announced performance on pixel access
		  and arithmetic operations in both languages.}
}

@Article{	  verna.06.practex,
  author	= {Didier Verna},
  year		= 2006,
  volume	= 2006,
  number	= 3,
  month		= aug,
  note		= {Accepted},
  project	= {Software},
  urllrde	= {200608-PracTeX},
  abstract	= {This paper presents {\CurVe}, a curriculum vitae class for
		  \LaTeX2e, in a progressive approach going from a first
		  contact with the class, through concrete examples of
		  customization, and some aspects of advanced usage.},
  abstract_fr	= {Cet article pr\'esente {\CurVe}, une classe de curriculum
		  vitae pour \LaTeX2e, dans une approche progressive allant
		  d'un premier contact avec la classe, en passant par des
		  exemples concrets de personnalisation puis quelques aspects
		  de l'utilisation avanc\'ee.}
}

@InProceedings{	  verna.07.imecs,
  author	= {Didier Verna},
  title		= {{CLOS} solutions to binary methods},
  booktitle	= {Proceedings of the International MultiConference of
		  Engineers and Computer Scientists},
  year		= 2007,
  address	= {Hong Kong},
  month		= mar,
  organization	= {International Association of Engineers},
  note		= {Accepted},
  project	= {Software},
  urllrde	= {200703-IMECS},
  abstract	= {Implementing binary methods in traditional object oriented
		  languages is difficult: numerous problems arise, such as
		  typing (covariance vs. contra-variance of the arguments),
		  polymorphism on multiple arguments (lack of multi-methods)
		  etc. The purpose of this paper is to demonstrate how those
		  problems are either solved, or nonexistent in the Common
		  Lisp Object System (CLOS). Several solutions for different
		  levels of binary methods support in CLOS are proposed. They
		  mainly consist in re-programming a binary method specific
		  object system through the CLOS meta-object protocol.}
}

@InProceedings{	  xue.03.icip,
  author	= {Heru Xue and {\relax Th}ierry G\'eraud and Alexandre
		  Duret-Lutz},
  title		= {Multi-band segmentation using morphological clustering and
		  fusion application to color image segmentation},
  booktitle	= {Proceedings of the IEEE International Conference on Image
		  Processing (ICIP)},
  year		= 2003,
  pages		= {353--356},
  volume	= 1,
  address	= {Barcelona, Spain},
  month		= sep,
  project	= {Image},
  urllrde	= {200309-Icip}
}

@InProceedings{	  yoruk.04.eusipco,
  author	= {Erdem Yoruk and Ender Konukoglu and Bulent Sankur and
		  J\'er\^ome Darbon},
  title		= {Person authentication based on hand shape},
  booktitle	= {Proceedings of 12th European Signal Processing Conference
		  (EUSIPCO)},
  year		= 2004,
  address	= {Vienna, Austria},
  month		= sep,
  project	= {Image},
  urllrde	= {200409-EUSIPCO}
}

@Article{	  yoruk.06.itip,
  author	= {Erdem Y\"or\"uk and Ender Konukoglu and B\"ulent Sankur
		  and J\'er\^ome Darbon},
  title		= {Shape-based hand recognition},
  journal	= {IEEE Transactions on Image Processing},
  year		= 2006,
  volume	= 15,
  number	= 7,
  pages		= {1803-1815},
  month		= jul,
  project	= {Image},
  urllrde	= {2006XX-ITIP}
}

%% Local Variables:
%% fill-column: 76
%% End:
