X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/7b5d0e870659f449509ca62822b38dc4ebf8ef3e..8e936c00e392b3c17977d1f959b601dbf17bbf0e:/demandeInscription/synthese.tex

diff --git a/demandeInscription/synthese.tex b/demandeInscription/synthese.tex
index 2255df8..b659584 100755
--- a/demandeInscription/synthese.tex
+++ b/demandeInscription/synthese.tex
@@ -82,7 +82,7 @@
 \begin{document}
 \renewcommand{\refname}{ }
 
-\title{MÃ©moire de synthÃ¨se des activitÃ©s de recherche et d'encadrement.}
+\title{MÃ©moire de synthÃ¨se des activitÃ©s de recherche et d'encadrement}
 \author{Jean-Fran\c{c}ois {\sc Couchot}}
 
 
@@ -94,29 +94,29 @@
 
 \subsection{Contacts}
 \begin{itemize}
-\item \textbf{web~:} \url{http://members.femto-st.fr/jf-couchot/}
-\item \textbf{courrier~:} 
+\item \textbf{web:} \url{http://members.femto-st.fr/jf-couchot/}
+\item \textbf{courrier:} 
 %\begin{minipage}[t]{10cm} 
 FEMTO-ST, dpt DISC, IUT BM, 19 rue du marÃ©chal Juin, 90000 Belfort
 %\end{minipage}
-\item \textbf{mail~:} \url{couchot@femto-st.fr}
-\item\textbf {tel~:}       (+33) (0)3 84 58 77 38
-\item\textbf {gsm~:} (+33) (0)6 76 06 68 94 
+\item \textbf{mail:} \url{couchot@femto-st.fr}
+\item\textbf {tel:}       (+33) (0)3 84 58 77 38
+\item\textbf {gsm:} (+33) (0)6 76 06 68 94 
 \end{itemize}
 
 \subsection{DiplÃ´mes universitaires}
 \begin{itemize}
-\item{\bf{91~:}} BaccalaurÃ©at sÃ©rie C mention AB, BesanÃ§on.
-\item{\bf{95~:}} MaÃ®trise de mathÃ©matiques pures, UniversitÃ© de
+\item{\bf{91:}} BaccalaurÃ©at sÃ©rie C mention AB, BesanÃ§on.
+\item{\bf{95:}} MaÃ®trise de mathÃ©matiques pures, UniversitÃ© de
   Franche-ComtÃ© (UFC).
-\item{\bf{96~:}} 
+\item{\bf{96:}} 
 CAPES de mathÃ©matiques, IUFM d'Auvergne.
-\item{\bf{02~:}} 
+\item{\bf{02:}} 
 MaÃ®trise d'informatique, mention B (UFC). 
-\item{\bf{02~:}}
+\item{\bf{02:}}
  DEA Informatique, option {\em GÃ©nie Logiciel} (UFC). Stage intitulÃ© {\em AtteignabilitÃ© d'Ã©tats et spÃ©cifications
-logico-ensemblistes}. Major de Promotion, mention TB. 
-\item{\bf{avril 06~:}}
+logico-ensemblistes}. Major de promotion, mention TB. 
+\item{\bf{avril 06:}}
  Doctorat en  informatique au Laboratoire d'Informatique 
 de l'UniversitÃ© de Franche ComtÃ© (devenu dÃ©partement DISC de FEMTO-ST), 
 sur la {\em vÃ©rification d'invariants par superposition}, 
@@ -126,23 +126,23 @@ mention trÃ¨s honorable.
 
 \subsection{Fonctions et expÃ©riences professionnelles}
 \begin{itemize}
-\item{\bf{95-00~:}} Enseignant en mathÃ©matiques dans le secondaire,
+\item{\bf{95-00:}} Enseignant en mathÃ©matiques dans le secondaire,
   successivement Ã  Aurillac(15), Beaune(21), Belfort(90) et 
   MontbÃ©liard(25).  
-\item{\bf{sept. 00-06~:}} PrCe $71^{Ã¨me}$ section, UnitÃ© de Formation
+\item{\bf{sept. 00-06:}} PrCe $71^{Ã¨me}$ section, UnitÃ© de Formation
   et de Recherche (UFR) Sciences du 
   Langage de l'Homme et de la SociÃ©tÃ© (SLHS) Ã  l'UFC. 
-\item{\bf{sept. 06-07~:}} Post-doctorant INRIA (projet ProVal) sur le
+\item{\bf{sept. 06-07:}} Post-doctorant INRIA (projet ProVal) sur le
   thÃ¨me de l'intÃ©gration de preuves interactives dans des preuves
   automatiques (et vice-versa). %pour la vÃ©rification de programmes C embarquÃ©s.
-\item{\bf{sept. 07-08~:}} PrCe $71^{Ã¨me}$ section, UFR SLHS Ã  l'UFC. 
-\item{\bf{sept. 08-\ldots~:}} MaÃ®tre de ConfÃ©rences $27^{Ã¨me}$ section, IUT de Belfort-MontbÃ©liard (IUT BM), au dÃ©partement d'informatique (UFC). 
-\item{\bf{sept. 11-14\ldots~:}} \'Elu au Conseil d'Institut de l'IUT BM. 
+\item{\bf{sept. 07-08:}} PrCe $71^{Ã¨me}$ section, UFR SLHS Ã  l'UFC. 
+\item{\bf{sept. 08-\ldots:}} MaÃ®tre de ConfÃ©rences $27^{Ã¨me}$ section, IUT de Belfort-MontbÃ©liard (IUT BM), au dÃ©partement d'informatique (UFC). 
+\item{\bf{nov. 10- nov. 14:}} \'Elu au Conseil d'Institut de l'IUT BM. 
  \end{itemize}
 
 
 \newpage
-\section{Nom et type de l'Ã©quipe de recherche.}
+\section{Nom et type de l'Ã©quipe de recherche}
 
 Je suis membre de l'Ã©quipe Algorithmique NumÃ©rique DistribuÃ©e (AND) du 
 DÃ©partement d'Informatique des SystÃ¨mes Complexes (DISC)
@@ -179,7 +179,7 @@ pendant mon doctorat et le post-doctorat qui a suivi Ã  l'INRIA.
 
 Durant mon travail de thÃ¨se intitulÃ©e 
 {\em vÃ©rification d'invariants par superposition}, 
-j'ai proposÃ© diffÃ©rentes traductions en logique Ã©quationnelle\cite{cdgr03:ij,cddg+04:ip,cg04:np} 
+j'ai proposÃ© diffÃ©rentes traductions en logique Ã©quationnelle~\cite{cdgr03:ij,cddg+04:ip,cg04:np,couchot04:onp} 
 des obligations de preuve,  
 dans l'objectif de faire converger
 le plus rapidement possible un prouveur par superposition qui les dÃ©charge.
@@ -197,14 +197,14 @@ mutuelle~\cite{CGK05} dÃ©finis Ã  l'aide de spÃ©cifications ensemblistes B~\cite
  
 
 \begin{thebibliography}{9}
-\bibitem[CGK05]{CGK05}
+\bibitem{CGK05}
 Jean-Fran\c{c}ois Couchot, Alain Giorgetti, and Nikolai Kosmatov.
 \newblock A uniform deductive approach for parameterized protocol safety.
 \newblock In David~F. Redmiles, Thomas Ellman, and Andrea Zisman, editors, {\em
   ASE}, pages 364--367. ACM, 2005.
 
 
-\bibitem[CDD{\etalchar{+}}04]{cddg+04:ip}
+\bibitem{cddg+04:ip}
 Jean-Fran\c{c}ois Couchot, Fr\'ed\'eric Dadeau, D.~D\'eharbe, Alain Giorgetti,
   and S.~Ranise.
 \newblock Proving and debugging set-based specifications.
@@ -212,29 +212,39 @@ Jean-Fran\c{c}ois Couchot, Fr\'ed\'eric Dadeau, D.~D\'eharbe, Alain Giorgetti,
   volume~95 of {\em ENTCS, Electronic Notes in Theoretical Computer Science},
   pages 189--208, Campina Grande, Brazil, May 2004.
 
-\bibitem[CDGR03]{cdgr03:ij}
+\bibitem{cdgr03:ij}
 Jean-Fran\c{c}ois Couchot, D.~D\'eharbe, Alain Giorgetti, and S.~Ranise.
 \newblock Scalable automated proving and debugging of set-based specifications.
 \newblock {\em Journal of the Brazilian Computer Society (JBCS)}, 9(2):17--36,
   November 2003.
 \newblock ISSN 0104-6500.
 
-\bibitem[CG04]{cg04:np}
+\bibitem{cg04:np}
 Jean-Fran\c{c}ois Couchot and Alain Giorgetti.
 \newblock Analyse d'atteignabilit\'e d\'eductive.
 \newblock In Jacques Julliand, editor, {\em Congr\`es Approches Formelles dans
   l'Assistance au D\'eveloppement de Logiciels, AFADL'04}, pages 269--283,
   Besan\c{c}on, France, June 2004.
 
-\bibitem[CDGR04]{cdgr04:onp}
+\bibitem{cdgr04:onp}
 Jean-Fran\c{c}ois Couchot, D.~D\'eharbe, Alain Giorgetti, and S.~Ranise.
-\newblock {B}arvey~: {V}\'erification automatique de consistance de machines
+\newblock {B}arvey: {V}\'erification automatique de consistance de machines
   abstraites {B}.
 \newblock In Jacques Julliand, editor, {\em AFADL'04, Approches Formelles dans
-  l'Assistance au D\'eveloppement de Logiciels,}, pages 369--372, Besan\c{c}on,
+  l'Assistance au D\'eveloppement de Logiciels,} pages 369--372, Besan\c{c}on,
   France, June 2004.
 \newblock Session outils.
 
+
+\bibitem{couchot04:onp}
+Jean-Fran\c{c}ois Couchot.
+\newblock V\'erification d'invariant par superposition.
+\newblock In {\em {MAJECSTIC}'04, {MA}nifestation de {JE}unes {C}hercheurs
+  {STIC}}, Calais, France, October 2004.
+\newblock Actes en ligne sur { t
+  http://lil.univ-littoral.fr/\~{}lewandowski/majecstic/programme.html}.
+
+
 \end{thebibliography}
 
 
@@ -259,9 +269,10 @@ est une suite directe des travaux de thÃ¨se. Suivent six sections
 (de la Sec.~\ref{sub:sdd} Ã  la Sec.~\ref{sub:hash}) sur les systÃ¨mes 
 dynamiques discrets et leurs applications, thÃ©matique 
 pour laquelle j'ai Ã©tÃ© recrutÃ© dans l'Ã©quipe AND du dÃ©partement
-DISC. Enfin la section~\ref{sub:gen} prÃ©sente comment j'ai rÃ©investi le 
-domaine de la bio-informatique Ã  l'aide de compÃ©tences connexes.
-Ces travaux ont Ã©tÃ© valorisÃ©s par des publications dont les rÃ©fÃ©rences sont donnÃ©es.
+DISC. Enfin la section~\ref{sub:gen} prÃ©sente comment je me suis investi dans 
+le  domaine de la bio-informatique Ã  l'aide de compÃ©tences connexes.
+Ces travaux ont Ã©tÃ© valorisÃ©s par des publications dont les rÃ©fÃ©rences sont donnÃ©es Ã  la section~\ref{sec:publi} et synthÃ©thisÃ©es Ã  la figure~\ref{fig:bilan}
+en fin de document.
 
 \subsection{VÃ©rification de programmes par 
   preuve automatique}\label{sub:verif}
@@ -312,7 +323,7 @@ sont coÃ»teux en temps et/ou que les temps de communication sont Ã©levÃ©s,
 ces modes peuvent prÃ©senter une convergence plus rapide que le cas synchrone.  
 
 J'ai formalisÃ© le mode des 
-\emph{itÃ©rations mixes} (introduit par Pr. J. M.  Bahi en 2005 notamment)
+\emph{itÃ©rations mixtes} (introduit par Pr. J. M.  Bahi en 2005 notamment)
 qui combine synchronisme et asynchronisme.
 Intuitivement, les n{\oe}uds qui pourraient engendrer des cycles dans 
 les itÃ©rations asynchrones sont regroupÃ©s dans une mÃªme classe. 
@@ -320,18 +331,20 @@ Les noeuds Ã  l'intÃ©rieur de celle-ci seront itÃ©rÃ©s de maniÃ¨re
 synchrone et les itÃ©rations asynchrones sont conservÃ©es entre les groupes. 
 Pour gommer les  diffÃ©rences entre les n{\oe}uds d'une mÃªme classe
 lorsqu'ils  sont vus depuis des n{\oe}uds extÃ©rieurs, j'ai dÃ©fini le 
-mode des \emph{itÃ©rations mixes avec dÃ©lais uniformes}.
+mode des \emph{itÃ©rations mixtes avec dÃ©lais uniformes}.
 J'ai pu ainsi Ã©noncer puis dÃ©montrer un thÃ©orÃ¨me 
 Ã©tablissant que pour des conditions classiques de convergence des itÃ©rations
-synchrones d'une fonction $f$, les itÃ©rations mixes Ã  dÃ©lai uniforme
+synchrones d'une fonction $f$, les itÃ©rations mixtes Ã  dÃ©lai uniforme
 convergent aussi vers le mÃªme point fixe.
 Ceci a Ã©tÃ© synthÃ©tisÃ© dans~\cite{BCVC10:ir}. 
 
 
-L'Ã©tude de convergence de SDDs est simple Ã  vÃ©rifier 
-pratiquement pour le mode synchrone. 
-C'est beaucoup plus complexe lorsqu'on traite des itÃ©rations asynchrones 
-et mixes prenant de plus en compte les dÃ©lais. 
+L'Ã©tude de convergence de SDDs de modÃ¨les de petite taille 
+est simple Ã  vÃ©rifier pratiquement pour le mode synchrone parallÃ¨le: 
+l'espace d'intÃ©rÃªt est fini.  
+C'est beaucoup plus complexe lorsqu'on traite des itÃ©rations
+unaires, voire gÃ©nÃ©ralisÃ©es
+asynchrones et mixtes prenant de plus en compte les dÃ©lais. 
 Des mÃ©thodes de simulation basÃ©es sur des stratÃ©gies et des dÃ©lais gÃ©nÃ©rÃ©s alÃ©atoirement avaient dÃ©jÃ  Ã©tÃ© prÃ©sentÃ©es.
 Cependant, comme ces implantations ne sont pas exhaustives, elles ne sont intÃ©ressantes que lorsqu'elles fournissent un contre-exemple. 
 Lorsqu'elles exhibent une convergence,  
@@ -419,7 +432,8 @@ reprÃ©sentant l'Ã©tat des actionneurs Ã  l'aide de nombres binaires.
 De plus les codes de Gray (dont deux mots adjacents ne diffÃ¨rent que d'un 
 bit) se sont prÃ©sentÃ©s comme une des maniÃ¨res de mÃ©moriser les sorties du 
 rÃ©seau de neurones comme un seul nombre binaire.
-Quand on sait que trouver un chemin hamiltonien (comme Ã©tudiÃ© dans la partie prÃ©cÃ©dente) dans un
+Or trouver un chemin hamiltonien 
+(comme Ã©tudiÃ© dans la partie prÃ©cÃ©dente) dans un
 $n$-cube revient Ã  trouver un code 
 de Gray dans un mot de $n$-bits. Les compÃ©tences acquises lors du travail 
 sur les chemins hamiltoniens ont ainsi pu Ãªtre rÃ©utilisÃ©es et approfondies.
@@ -458,8 +472,8 @@ de l'Ã©quilibrage du chemin hamiltonien Ã  enlever.
 
  
 Les qualitÃ©s statistiques des gÃ©nÃ©rateurs produits  
-ont Ã©tÃ© Ã©valuÃ©s avec succÃ¨s
-~\cite{bcgw11:ip,chgw+14:onp,chgw+14:oip} en se confrontant Ã  
+ont Ã©tÃ© Ã©valuÃ©s avec succÃ¨s~\cite{bcgw11:ip,chgw+14:onp,chgw+14:oip}
+ en se confrontant Ã  
 des batteries de tests telles que Die-Hard, NIST, TestU01.
 
 Plus rÃ©cemment, nous avons entrepris de trouver des bornes du temps d'arrÃªt
@@ -583,12 +597,17 @@ L'approche prÃ©cÃ©dente souffrait de n'engendrer que des core-gÃ©nomes de (trop)
 petits cardinaux. J'ai contribuÃ© notamment 
 Ã  l'amÃ©lioration de la mÃ©thode en proposant une Ã©tape d'optimisation issue 
 d'une adaptation discrÃ¨te la mÃ©thode d'essaims particulaires~\cite{aagp+15:ip}.
+D'autres travaux (dont la premiÃ¨re Ã©tape est cette construction de 
+core-gÃ©nome) ont Ã©tÃ© ensuite rÃ©alisÃ©s, principalement dans le but de 
+construire des arbre phylogÃ©nÃ©tiques de qualitÃ©~\cite{agcs+15:ip,aangc+15:ip}.
+
 
 Tous ces travaux ont Ã©tÃ© rÃ©alisÃ©s en collaboration avec M. Salomon et en co-encadrant 
 le doctorat de B. Alkindy.
 
 
 
+
 \newpage
 \section{Perspectives de recherche}
 
@@ -600,7 +619,7 @@ L'utilisation des codes de Gray dans une dÃ©marche d'apprentissage
 (d'Ã©coulement d'air ou  de fonctions chaotiques) ne s'est pas rÃ©vÃ©lÃ©e comme 
 concluante. Dans chacun des cas, la distance de Hamming entre deux 
 configurations voisines peut Ãªtre trÃ¨s petite tandis que le chemin (dans le 
-cycle  hamitlonien) qui les relie peut Ãªtre long et ce mÃªme 
+cycle  hamiltonien) qui les relie peut Ãªtre long et ce mÃªme 
 pour des codes Ã©quilibrÃ©s.
 Je propose de travailler sur ce problÃ¨me discret en mesurant la qualitÃ© 
 du code de Gray Ã  l'aide d'une fonction basÃ©e sur la longueur des chemins
@@ -635,7 +654,7 @@ L'intÃ©rÃªt d'une telle rÃ©Ã©criture est qu'on pourrait exploiter
 tous les rÃ©sultats thÃ©oriques et pratiques dÃ©jÃ  connus dans la communautÃ©
 des automates. 
 Je pense investiguer cette voie pour amÃ©liorer notre approche, 
-s'affranchir, Ã  terme, de tout autre gÃ©nÃ©rateur, amÃ©liorer la
+s'affranchir, Ã  terme, de tout autre gÃ©nÃ©rateur et amÃ©liorer la
 connaissance Ã  ce sujet.
 Les propriÃ©tÃ© Ã©tablies notamment sur les temps d'arrÃªt devraient Ãªtre conservÃ©es.
 Il restera Ã  le prouver.
@@ -670,7 +689,7 @@ Je prÃ©vois des collaborations avec l'Ã©quipe VESONTIO du DISC sur ce sujet.
 
 Enfin, marcher dans une partie d'un $n$-cube est le modÃ¨le thÃ©orique que 
 nous avons Ã©tabli pour notre classe de gÃ©nÃ©rateurs. On pourrait cependant 
-penser Ã  ``sauter'' dans ce $n$-cube, c'est Ã  dire modifier plusieurs bits 
+penser Ã  ``sauter'' dans ce $n$-cube, c'est-Ã -dire modifier plusieurs bits 
 en une seule itÃ©ration. J'ai commencÃ© Ã  Ã©tudier ce modÃ¨le avec les rÃ©sultats
 pratiques suivants: le nombre d'itÃ©rations suffisant pour un mÃ©lange 
 correct est plus petit que celui obtenu en marchant. De plus,  
@@ -720,8 +739,6 @@ Ceci se rÃ©alisera notamment au travers du doctorat de Y. Fadil.
 
 
 
-
-
 \newpage
 \section{Insertion dans l'Ã©quipe de recherche} 
 
@@ -849,61 +866,71 @@ Le stage a commencÃ© le 01 avril 2015 et sera soutenu le 31 aoÃ»t 2015.
 Depuis septembre 2000, je suis titulaire Ã  l'UniversitÃ© de Franche-ComtÃ©,
 soit sur un poste de PrCe (de 2000 Ã  2008, sauf l'annÃ©e 2006-2007) soit sur
 un poste de MdC. J'ai assurÃ© un grand nombre d'enseignements de la premiÃ¨re
-annÃ©e de licence ou de DUT jusqu'en seconde annÃ©e de Master. Depuis mon
+annÃ©e de licence ou de DUT jusqu'en seconde annÃ©e de Master. 
+Depuis mon
 recrutement comme MdC, j'ai recentrÃ© mes enseignements autour 
 de mes thÃ©matiques de recherche, Ã  savoir essentiellement les 
 mathÃ©matiques discrÃ¨tes.
-Je suis de plus le coordinateur des enseignements de mathÃ©matiques 
+La rÃ©partition moyenne de mes enseignements 
+sur les quatre derniÃ¨res annÃ©es  est la suivante:
+\begin{itemize}
+\item 6\% en le master Informatique Mobile et RÃ©partie (UFR STGI), 
+  dans l'UE de
+  \og ModÃ©lisation et d'Evaluation des SystÃ¨mes Informatiques \fg{};
+\item 7\% en Licence Pro Conception des Application Multi-tiers (LP CAM) Ã  l'IUT BM dans l'UE de \og DÃ©veloppement d'applications mobiles\fg{};
+\item 15\% en encadrement de projets tutorÃ©s ou de stage;
+\item 28\% en DUT d'informatique  dans l'UE de 
+\og conception et dÃ©veloppement d'applications mobiles\fg{}; 
+\item 44\% en DUT d'informatique  dans les UEs de 
+\og mathÃ©matiques discrÃ¨tes \fg{} et 
+de
+\og  modÃ©lisations mathÃ©matiques \fg{}.
+\end{itemize}
+
+J'ai aussi la responsabilitÃ© de toutes les UE donnÃ©es ci-dessus et 
+suis de plus le coordinateur des enseignements de mathÃ©matiques 
 au dÃ©partement d'informatique de l'IUT BM. 
+Depuis septembre 2014, je suis le responsable du parcours TeProw
+de la LP CAM  localisÃ©e 
+Ã  l'IUT BM. Cette licence 
+a aussi un parcours Ã  l'UFR ST. Je coordonne toute l'organisation 
+de cette licence avec mon collÃ¨gue de BesanÃ§on. 
+
 
 J'ai Ã©tÃ© membre Ã©lu du conseil d'institut de l'IUT BM 
-de 2011 Ã  2014. A ce titre j'ai participÃ© Ã  la vie administrative de l'IUT, 
+de novembre 2010 Ã  novembre 2014. A ce titre j'ai participÃ© Ã  la vie administrative de l'IUT, 
 aux commissions de recrutement d'enseignants et  d'enseignants-chercheurs\ldots
 Depuis septembre 2014,  je suis Ã©lu au conseil du dÃ©partement d'informatique 
 de l'IUT BM. 
 
-Depuis septembre 2014, je suis le responsable du parcours TeProw
-de la Licence Pro Conception des Application Multi-tiers localisÃ©e 
-Ã  l'IUT BM. Cette licence 
-a aussi un parcours Ã  l'UFR ST. Je coordonne toute l'organisation 
-de cette licence avec mon collÃ¨gue de BesanÃ§on. 
 
 
 
 
 \newpage
-\section{Publications aprÃ¨s la thÃ¨se}
+\section{Publications aprÃ¨s la thÃ¨se}\label{sec:publi}
 
 \subsection{Journaux internationaux avec comitÃ© de sÃ©lection}
 
 \begin{thebibliography}{CHG{\etalchar{+}}14b}
 
-\bibitem[CCG15]{ccg15:ij}
-Jean-Fran\c{c}ois Couchot, Rapha\"el Couturier, and Christophe Guyeux.
-\newblock {STABYLO}: {STeganography with Adaptive, Bbs, and binarY embedding at
-  LOw cost}.
-\newblock {\em Annals of Telecommunications}, 2015.
-\newblock Available online. Paper version to appear.
+\makeatletter
+\addtocounter{\@listctr}{6}
+\makeatother
 
-
-\bibitem[CDS13]{cds13:ij}
-Jean-Fran\c{c}ois Couchot, Karine Deschinkel, and Michel Salomon.
-\newblock Active {MEMS}-based flow control using artificial neural network.
-\newblock {\em Mechatronics}, 23(7):898--905, October 2013.
-\newblock Available online. Paper version to appear.
-
-\bibitem[BCG12a]{bcg12:ij}
+\bibitem{bcg12:ij}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
 \newblock Quality analysis of a chaotic proven keyed hash function.
 \newblock {\em International Journal On Advances in Internet Technology},
   5(1):26--33, 2012.
 
-\bibitem[BCG12b]{bcg11:ij}
+
+\bibitem{bcg11:ij}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
 \newblock Steganography: a class of secure and robust algorithms.
 \newblock {\em The Computer Journal}, 55(6):653--666, 2012.
 
-\bibitem[BCGS12]{bcgs12:ij}
+\bibitem{bcgs12:ij}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Michel Salomon.
 \newblock Neural networks and chaos: Construction, evaluation of chaotic
   networks, and prediction of chaos with multilayer feedforward network.
@@ -911,23 +938,41 @@ Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Michel Salomon.
   22(1):013122--1 -- 013122--9, March 2012.
 \newblock 9 pages.
 
+
+
+\bibitem{ccg15:ij}
+Jean-Fran\c{c}ois Couchot, Rapha\"el Couturier, and Christophe Guyeux.
+\newblock {STABYLO}: {STeganography with Adaptive, Bbs, and binarY embedding at
+  LOw cost}.
+\newblock {\em Annals of Telecommunications}, 2015.
+\newblock Available online. Paper version to appear.
+
+
+\bibitem{cds13:ij}
+Jean-Fran\c{c}ois Couchot, Karine Deschinkel, and Michel Salomon.
+\newblock Active {MEMS}-based flow control using artificial neural network.
+\newblock {\em Mechatronics}, 23(7):898--905, October 2013.
+\newblock Available online. Paper version to appear.
+
 \end{thebibliography}
 
 \subsection{ConfÃ©rences internationales avec comitÃ© de sÃ©lection}
 
 \begin{thebibliography}{CHG{\etalchar{+}}14b}
+\makeatletter
+\addtocounter{\@listctr}{11}
+\makeatother
 
-\bibitem[AAG{\etalchar{+}}15]{aagp+15:ip}
-Reem Alsrraj, Bassam Alkindy, Christophe Guyeux, Laurent Philippe, and
-  Jean-Fran\c{c}ois Couchot.
-\newblock Well-supported phylogenies using largest subsets of core-genes by
-  discrete particle swarm optimization.
-\newblock In {\em CIBB 2015, 12th Int. Meeting on Computational Intelligence
-  Methods for Bioinformatics and Biostatistics}, pages ***--***, Naples, Italy,
-  September 2015.
-\newblock To appear.
+\bibitem{aangc+15:ip}
+Bassam Alkindy, Huda Al'Nayyef, Christophe Guyeux, Jean-Fran\c{c}ois Couchot,
+  Michel Salomon, and Jacques Bahi.
+\newblock Improved core genes prediction for constructing well-supported
+  phylogenetic trees in large sets of plant species.
+\newblock In {\em IWBBIO 2015, 3rd Int. Work-Conf. on Bioinformatics and
+  Biomedical Engineering, Part I}, volume 9043 of {\em LNCS}, pages 379--390,
+  Granada, Spain, April 2015.
 
-\bibitem[ACG{\etalchar{+}}14]{acgm+14:ij}
+\bibitem{acgm+14:ij}
 Bassam Alkindy, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, Arnaud Mouly,
   Michel Salomon, and Jacques Bahi.
 \newblock Finding the core-genes of chloroplasts.
@@ -935,13 +980,7 @@ Bassam Alkindy, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, Arnaud Mouly,
   Science}, number 4(5) in IJBBB, Journal of Bioscience, Biochemistery, and
   Bioinformatics, pages 357--364, Copenhagen, Denmark, June 2014.
 
-\bibitem[ACGS13]{acgs13:onp}
-Bassam Alkindy, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Michel
-  Salomon.
-\newblock Finding the core-genes of chloroplast species.
-\newblock Journ\'ees SeqBio 2013, Montpellier, November 2013.
-
-\bibitem[AGC{\etalchar{+}}14]{akgcs+14:oip}
+\bibitem{akgcs+14:oip}
 Bassam Alkindy, Christophe Guyeux, Jean-Fran\c{c}ois Couchot, Michel Salomon,
   and Jacques Bahi.
 \newblock Gene similarity-based approaches for determining core-genes of
@@ -950,39 +989,50 @@ Bassam Alkindy, Christophe Guyeux, Jean-Fran\c{c}ois Couchot, Michel Salomon,
   Belfast, United Kingdom, November 2014.
 \newblock Short paper.
 
-\bibitem[BCDG07]{BCDG07}
-Fabrice Bouquet, Jean-Fran\c{c}ois Couchot, Fr\'ed\'eric Dadeau, and Alain
-  Giorgetti.
-\newblock Instantiation of parameterized data structures for model-based
-  testing.
-\newblock In Jacques Julliand and Olga Kouchnarenko, editors, {\em B'2007, the
-  7th Int. B Conference}, volume 4355 of {\em LNCS}, pages 96--110, Besancon,
-  France, January 2007. Springer.
-
+\bibitem{agcs+15:ip}
+Bassam Alkindy, Christophe Guyeux, Jean-Fran\c{c}ois Couchot, Michel Salomon,
+  Christian Parisod, and Jacques Bahi.
+\newblock Hybrid genetic algorithm and lasso test approach for inferring well
+  supported phylogenetic trees based on subsets of chloroplastic core genes.
+\newblock In {\em AlCoB 2015, 2nd Int. Conf. on Algorithms for Computational
+  Biology}, volume~* of {\em LNCS/LNBI}, pages ***--***, Mexico City, Mexico,
+  August 2015. Springer.
+\newblock To appear in the LNCS/LNBI series.
+
+\bibitem{aagp+15:ip}
+Reem Alsrraj, Bassam Alkindy, Christophe Guyeux, Laurent Philippe, and
+  Jean-Fran\c{c}ois Couchot.
+\newblock Well-supported phylogenies using largest subsets of core-genes by
+  discrete particle swarm optimization.
+\newblock In {\em CIBB 2015, 12th Int. Meeting on Computational Intelligence
+  Methods for Bioinformatics and Biostatistics}, pages ***--***, Naples, Italy,
+  September 2015.
+\newblock To appear.
 
-\bibitem[BCF{\etalchar{+}}13]{bcfg+13:ip}
-Jacques Bahi, Jean-Fran\c{c}ois Couchot, Nicolas Friot, Christophe Guyeux, and
-  Kamel Mazouzi.
-\newblock Quality studies of an invisible chaos-based watermarking scheme with
-  message extraction.
-\newblock In {\em IIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding
-  and Multimedia Signal Processing}, pages 547--550, Beijing, China, October
-  2013.
 
-\bibitem[BCFG12a]{bcfg12a:ip}
+\bibitem{bcfg12a:ip}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, Nicolas Friot, and Christophe Guyeux.
 \newblock Application of steganography for anonymity through the internet.
 \newblock In {\em IHTIAP'2012, 1-st Workshop on Information Hiding Techniques
   for Internet Anonymity and Privacy}, pages 96--101, Venice, Italy, June 2012.
 
-\bibitem[BCFG12b]{bcfg12b:ip}
+\bibitem{bcfg12b:ip}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, Nicolas Friot, and Christophe Guyeux.
 \newblock A robust data hiding process contributing to the development of a
   semantic web.
 \newblock In {\em INTERNET'2012, 4-th Int. Conf. on Evolving Internet}, pages
   71--76, Venice, Italy, June 2012.
 
-\bibitem[BCG11a]{bcg11:ip}
+\bibitem{bcfg+13:ip}
+Jacques Bahi, Jean-Fran\c{c}ois Couchot, Nicolas Friot, Christophe Guyeux, and
+  Kamel Mazouzi.
+\newblock Quality studies of an invisible chaos-based watermarking scheme with
+  message extraction.
+\newblock In {\em IIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding
+  and Multimedia Signal Processing}, pages 547--550, Beijing, China, October
+  2013.
+
+\bibitem{bcg11:ip}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
 \newblock Performance analysis of a keyed hash function based on discrete and
   chaotic proven iterations.
@@ -990,14 +1040,15 @@ Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
   pages 52--57, Luxembourg, Luxembourg, June 2011.
 \newblock Best paper award.
 
-\bibitem[BCG11b]{bcg11b:ip}
+\bibitem{bcg11b:ip}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
 \newblock Steganography: a class of algorithms having secure properties.
 \newblock In {\em IIH-MSP-2011, 7-th Int. Conf. on Intelligent Information
   Hiding and Multimedia Signal Processing}, pages 109--112, Dalian, China,
   October 2011.
 
-\bibitem[BCGR11]{bcgr11:ip}
+
+\bibitem{bcgr11:ip}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Adrien Richard.
 \newblock On the link between strongly connected iteration graphs and chaotic
   boolean discrete-time dynamical systems.
@@ -1005,27 +1056,29 @@ Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Adrien Richard.
   Theory}, volume 6914 of {\em LNCS}, pages 126--137, Oslo, Norway, August
   2011.
 
-\bibitem[BCGW11]{bcgw11:ip}
+\bibitem{bcgw11:ip}
 Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Qianxue Wang.
 \newblock Class of trustworthy pseudo random number generators.
 \newblock In {\em INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
   pages 72--77, Luxembourg, Luxembourg, June 2011.
 
-\bibitem[BCVC10]{BCVC10:ir}
-J.~M. Bahi, S.~Contassot-Vivier, and J.-F. Couchot.
-\newblock Convergence results of combining synchronism and asynchronism for
-  discrete-state discrete-time dynamic network.
-\newblock Research Report RR2010-02, LIFC - Laboratoire dâ{I}nformatique de
-  l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
+\bibitem{BCDG07}
+Fabrice Bouquet, Jean-Fran\c{c}ois Couchot, Fr\'ed\'eric Dadeau, and Alain
+  Giorgetti.
+\newblock Instantiation of parameterized data structures for model-based
+  testing.
+\newblock In Jacques Julliand and Olga Kouchnarenko, editors, {\em B'2007, the
+  7th Int. B Conference}, volume 4355 of {\em LNCS}, pages 96--110, Besancon,
+  France, January 2007. Springer.
 
-\bibitem[CD07]{CouchotD07IFM}
+\bibitem{CouchotD07IFM}
 Jean-Fran\c{c}ois Couchot and Fr\'ed\'eric Dadeau.
 \newblock Guiding the correction of parameterized specifications.
 \newblock In {\em IFM'07, 6th Int. Conf. on Integrated Formal Methods}, volume
   4591 of {\em LNCS}, pages 176--194, Oxford, UK, July 2007. Springer.
 
 
-\bibitem[CDS12]{cds12:ip}
+\bibitem{cds12:ip}
 Jean-Fran\c{c}ois Couchot, Karine Deschinkel, and Michel Salomon.
 \newblock Suitability of artificial neural network for {MEMS}-based flow
   control.
@@ -1033,40 +1086,36 @@ Jean-Fran\c{c}ois Couchot, Karine Deschinkel, and Michel Salomon.
   2012, Workshop on design, control and software implementation for distributed
   MEMS}, pages 1--6, Besan\c{c}on, France, April 2012. IEEE CPS.
 
-\bibitem[CGS09]{cgs09:ip}
+
+\bibitem{cgs09:ip}
 Jean-Fran\c{c}ois Couchot, Alain Giorgetti, and Nicolas Stouls.
 \newblock {G}raph {B}ased {R}eduction of {P}rogram {V}erification {C}onditions.
 \newblock In Hassen Sa\"{i}di and N.~Shankar, editors, {\em AFM'09, {A}utomated
   {F}ormal {M}ethods (colocated with {CAV}'09)}, pages 40--47, Grenoble,
   France, 2009. ACM Press.
 
-
-\bibitem[CH07]{couchot07FTP}
-Jean-Fran\c{c}ois Couchot and T.~Hubert.
-\newblock A graph-based strategy for the selection of hypotheses.
-\newblock In {\em FTP'07, Int. Workshop on First-Order Theorem Proving},
-  Liverpool, UK, September 2007.
-
-\bibitem[CHG{\etalchar{+}}14a]{chgw+14:oip}
+\bibitem{chgw+14:oip}
 Jean-Fran\c{c}ois Couchot, Pierre-Cyrille H\'eam, Christophe Guyeux, Qianxue
   Wang, and Jacques Bahi.
 \newblock Pseudorandom number generators with balanced gray codes.
 \newblock In {\em Secrypt 2014, 11th Int. Conf. on Security and Cryptography},
   pages 469--475, Vienna, Austria, August 2014.
 
-\bibitem[CL07]{couchot07cade}
+
+\bibitem{couchot07FTP}
+Jean-Fran\c{c}ois Couchot and T.~Hubert.
+\newblock A graph-based strategy for the selection of hypotheses.
+\newblock In {\em FTP'07, Int. Workshop on First-Order Theorem Proving},
+  Liverpool, UK, September 2007.
+
+\bibitem{couchot07cade}
 Jean-Fran\c{c}ois Couchot and S.~Lescuyer.
 \newblock Handling polymorphism in automated deduction.
 \newblock In {\em CADE'07, 21st Int. Conf. on Automated Deduction}, volume 4603
   of {\em LNCS}, pages 263--278, Bremen, Germany, July 2007. Springer.
 
-\bibitem[Cou10]{Cou10:ir}
-J.-F. Couchot.
-\newblock Formal {C}onvergence {P}roof for {D}iscrete {D}ynamical {S}ystems.
-\newblock Research Report RR2010-03, LIFC - Laboratoire dâ{I}nformatique de
-  l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
 
-\bibitem[FCCG15]{fccg15:ip}
+\bibitem{fccg15:ip}
 Yousra~Ahmed Fadil, Jean-Fran\c{c}ois Couchot, Rapha\"el Couturier, and
   Christophe Guyeux.
 \newblock Steganalyzer performances in operational contexts.
@@ -1094,22 +1143,167 @@ J'ai Ã©tÃ© invitÃ©:
 \subsection{Communications diverses}
 \begin{thebibliography}{CHG{\etalchar{+}}14b}
 
-\bibitem[CHG{\etalchar{+}}14b]{chgw+14:onp}
+\makeatletter
+\addtocounter{\@listctr}{31}
+\makeatother
+
+\bibitem{acgs13:onp}
+Bassam Alkindy, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Michel
+  Salomon.
+\newblock Finding the core-genes of chloroplast species.
+\newblock Journ\'ees SeqBio 2013, Montpellier, November 2013.
+
+
+
+
+\bibitem{BCVC10:ir}
+J.~M. Bahi, S.~Contassot-Vivier, and J.-F. Couchot.
+\newblock Convergence results of combining synchronism and asynchronism for
+  discrete-state discrete-time dynamic network.
+\newblock Research Report RR2010-02, LIFC - Laboratoire dâ{I}nformatique de
+  l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
+
+
+\bibitem{Cou10:ir}
+J.-F. Couchot.
+\newblock Formal {C}onvergence {P}roof for {D}iscrete {D}ynamical {S}ystems.
+\newblock Research Report RR2010-03, LIFC - Laboratoire dâ{I}nformatique de
+  l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
+
+\bibitem{chgw+14:onp}
 Jean-Fran\c{c}ois Couchot, Pierre-Cyrille H\'eam, Christophe Guyeux, Qianxue
   Wang, and Jacques Bahi.
 \newblock Traversing a n-cube without balanced hamiltonian cycle to generate
   pseudorandom numbers.
 \newblock 15-th Mons Theoretical Computer Science Days (15e Journ\'ees
   Montoises d'Informatique Th\'eorique), Nancy, France, September 2014.
+
+
 \end{thebibliography}
 
 
+\begin{figure}[h]
+\begin{center}
+\begin{tabular}{|c|c|c|c|c|}
+\hline
+%& \multicolumn{2}{|c|}{Internationaux} &  {Nationaux} &  \\
+%\hline
+& Journaux & ConfÃ©rences  & 
+ConfÃ©rences  &  Divers\\
+& internationaux & internationales  & 
+nationales  &  \\
+
+\hline
+Pendant le doctorat &
+%journaux
+\cite{cdgr03:ij}
+&
+% conf inter
+\cite{cddg+04:ip,CGK05}
+
+&
+% conf nat
+\cite{cdgr04:onp,cg04:np}
+
+&
+% divers
+\cite{couchot04:onp}
+
+\\ \hline  
+En post-doctorat & 
+%journaux
+
+&
+% conf inter
+\cite{BCDG07,CouchotD07IFM,cgs09:ip,couchot07FTP,couchot07cade}
+
+&
+% conf nat
+
+
+&
+% divers
+
+
+\\ \hline  
+
+&
+%journaux
+&
+% conf inter
+\cite{aangc+15:ip,aagp+15:ip,acgm+14:ij,
+  akgcs+14:oip,agcs+15:ip}
+
+&
+% conf nat
+
+
+&
+% divers
+
+%%%%%%%%%%%%%%
+
+\\ %\cline{3-3}  
+
+Au DISC Ã  FEMTO-ST&
+%journaux
+\cite{bcg12:ij,bcg11:ij,bcgs12:ij,ccg15:ij,cds13:ij}
+
+
+
+
+
+
+
+&
+% conf inter
+\cite{bcfg+13:ip,bcfg12a:ip,bcfg12b:ip,bcg11:ip,bcg11b:ip}
+
+&
+% conf nat
+
+
+&
+% divers
+\cite{acgs13:onp,BCVC10:ir,chgw+14:onp,Cou10:ir}
+
+
+
+\\ %\hline  
+
+&
+%journaux
+
+&
+% conf inter
+\cite{bcgr11:ip,bcgw11:ip,cds12:ip,chgw+14:oip,fccg15:ip}
+
+&
+% conf nat
+
+
+&
+% divers
+
+
+
+%%%%%%%%%%%%%
+
+
+\\ \hline  
+\end{tabular}
+\end{center}
+\caption{Bilan synthÃ©tique des publications}\label{fig:bilan}
+\end{figure}
+
+
+
 
 % \newpage
 % \section{Avis du directeur de l'Equipe}\label{sec:avis:directeur}
 
-%\bibliographystyle{alpha}
-%\bibliography{abbrev,biblioand}
+%\bibliographystyle{plain}
+%\bibliography{abbrev,biblioand}
 
 
 
