<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass[a4paper,french,12pt]{article}
%\usepackage{hyperlatex}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{framed}
\usepackage[amsmath,thmmarks,thref,framed]{ntheorem}
\usepackage[dvips]{graphics}
\usepackage{epsfig}
\usepackage{epsfig,psfrag}
\usepackage{subfigure}
\usepackage{color}
\usepackage{calc}
\usepackage{url}
\usepackage{longtable}
\usepackage{tabls}
\usepackage{textcomp}
%\usepackage{slashbox}
\usepackage{gastex}
\usepackage{pst-all}
%\input{format.sty}
\usepackage[frenchb]{babel}
\usepackage[a4paper]{geometry}
\input{symboles.sty}


\geometry{hmargin=1.5cm, vmargin=1.5cm }


\newcommand{\JFC}[1]{\begin{color}{green}\textit{#1}\end{color}}
\newcommand{\etalchar}[1]{$^{#1}$}

%
%\lstset{% general command to set parameter(s)
%basicstyle=\small,          % print whole listing small
%keywordstyle=\color{black}\bfseries\underbar,
                                % underlined bold black keywords
%identifierstyle=,           % nothing happens
%commentstyle=\color{white}, % white comments
%stringstyle=\ttfamily,      % typewriter type for strings
%extendedchars = true,
%showstringspaces=false}     % no special string spaces


\usepackage{hyperref}
\pdfcompresslevel=9
\hypersetup{
     %backref=true,    %permet d'ajouter des liens dans...
     %pagebackref=true,%...les bibliographies
     %hyperindex=true, %ajoute des liens dans les index.
     colorlinks=true, %colorise les liens
     breaklinks=true, %permet le retour ÃƒÂ&nbsp; la ligne dans les liens trop longs
     urlcolor= blue, %couleur des hyperliens
     linkcolor= blue, %couleur des liens internes
     %bookmarks=true, %crÃ©Ã© des signets pour Acrobat
     bookmarksopen=true,            %si les signets Acrobat sont crÃ©Ã©s,
                                    %les afficher complÃƒÅ¡tement.
     pdftitle={Demande d'inscription Ã&nbsp; l'HDR de JF COUCHOT}, %informations apparaissant dans
     pdfauthor={Jean-Fran\c{c}ois Couchot},     %dans les informations du document
     pdfsubject={Demande d'inscription Ã&nbsp; l'HDR de JF COUCHOT}          %sous Acrobat.
}




\makeindex

\newcommand{\inputladot}[2]{
\input{#1.dot.tex}
\includegraphics[width=#2]{#1.dot.ps}
}

\setcounter{secnumdepth}{4}

\renewcommand{\thesection}{\Roman{section}}
%\renewcommand{\thesubsection}{~~~~\arabic{subsection}}
%\renewcommand{\theparagraph}{~~~~~~~~\arabic{paragraph}}

\begin{document}
\renewcommand{\refname}{ }

\title{MÃ©moire de synthÃ¨se des activitÃ©s de recherche et d'encadrement}
\author{Jean-Fran\c{c}ois {\sc Couchot}}


%\lstset{language=C}
\maketitle

\section{Curriculum vit{\ae}}


\subsection{Contacts}
\begin{itemize}
\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 
\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
  Franche-ComtÃ© (UFC).
\item{\bf{96:}} 
CAPES de mathÃ©matiques, IUFM d'Auvergne.
\item{\bf{02:}} 
MaÃ®trise d'informatique, mention B (UFC). 
\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:}}
 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}, 
mention trÃ¨s honorable.
\end{itemize}


\subsection{Fonctions et expÃ©riences professionnelles}
\begin{itemize}
\item{\bf{95-00:}} Enseignant en mathÃ©matiques dans le secondaire,
  successivement Ã&nbsp; Aurillac(15), Beaune(21), Belfort(90) et 
  MontbÃ©liard(25).  
\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) Ã&nbsp; l'UFC. 
\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 Ã&nbsp; 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}

Je suis membre de l'Ã©quipe Algorithmique NumÃ©rique DistribuÃ©e (AND) du 
DÃ©partement d'Informatique des SystÃ¨mes Complexes (DISC)
du laboratoire FEMTO-ST. 
Je relÃ¨ve de l'Ã©cole doctorale 37 Sciences Pour l'IngÃ©nieur et Microtechniques (SPIM) de l'UFC.
Les avis du directeur de l'Ã©quipe AND (Pr. R. {\sc Couturier} et du directeur du dÃ©partement DISC (Pr. O. {\sc Kouchnarenko}) sont donnÃ©s en annexes. 


% \subsection{Avis du directeur de l'Ã©quipe}\label{sec:avis:directeur:equipe}

% \subsection{Avis du directeur de recherche}\label{sec:avis:directeur:recherhce}

% \subsection{Avis du directeur de l'Ã©cole doctorale}\label{sec:avis:directeur:spim}



\section{RÃ©sumÃ© de la thÃ©matique de la thÃ¨se d'universitÃ©}
On considÃ¨re en entrÃ©e de la dÃ©marche une description
mathÃ©matique d'un programme: par exemple une fonction enrichie avec  
une  spÃ©cification du contexte dans lequel elle est invoquÃ©e (la prÃ©-condition) et 
une spÃ©cification exprimant quelles  propriÃ©tÃ©s sont garanties en retour (la
post-condition). Lorsque prÃ©-condition et post-condition sont Ã©quivalentes,
on parle d'invariant.
La thÃ©matique de \emph{vÃ©rification de programmes par preuve automatique} 
consiste Ã&nbsp; tout d'abord construire des formules mathÃ©matiques 
qui doivent Ãªtre vraies si et seulement si 
la post-condition est Ã©tablie par le programme sous hypothÃ¨se de prÃ©-condition,
puis ensuite Ã&nbsp; 
dÃ©charger ces formules dans des prouveurs de thÃ©orÃ¨mes. 
Cette thÃ©matique est au c{\oe}ur des travaux de recherche effectuÃ©s
pendant mon doctorat et le post-doctorat qui a suivi Ã&nbsp; 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,couchot04:onp} 
des obligations de preuve,  
dans l'objectif de faire converger
le plus rapidement possible un prouveur par superposition qui les dÃ©charge.
J'ai dÃ©montrÃ© la correction et la complÃ©tude partielle de la dÃ©marche et 
ai montrÃ© que la dÃ©marche supplante celles basÃ©es sur la  
logique WS1S et l'outil MONA. 
J'ai appliquÃ© ceci Ã&nbsp; la  vÃ©rification de protocoles notamment d'exclusion
mutuelle~\cite{CGK05} dÃ©finis Ã&nbsp; l'aide de spÃ©cifications ensemblistes B~\cite{cdgr04:onp}.





\subsection*{Publications issues de ces recherches}
 

\begin{thebibliography}{9}
\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{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.
\newblock In A.~Cavalcanti and P.~Machado, editors, {\em WMF'03 proceedings},
  volume~95 of {\em ENTCS, Electronic Notes in Theoretical Computer Science},
  pages 189--208, Campina Grande, Brazil, May 2004.

\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: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: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
  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,
  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}















%\newpage
\section{ExposÃ© des recherches rÃ©alisÃ©es au cours de la pÃ©riode postdoctorale}

Entre avril 2006 et aujourd'hui, les recherches rÃ©alisÃ©es ont concernÃ© plusieurs domaines synthÃ©tisÃ©s ci-aprÃ¨s. Le premier travail (Sec.~\ref{sub:verif}) 
est une suite directe des travaux de thÃ¨se. 
Le second concerne les systÃ¨mes dynamiques discrets 
et leurs applications (Sec.~\ref{sub:sdd}), thÃ©matique 
pour laquelle j'ai Ã©tÃ© recrutÃ© dans l'Ã©quipe AND du dÃ©partement
DISC. Enfin la section~\ref{sec:appl}
prÃ©sente comment j'ai appliquÃ© ces compÃ©tences thÃ©oriques et pratiques
en bio-informatique  et  dans les rÃ©seaux de capteurs.
Ces travaux ont Ã©tÃ© valorisÃ©s par des publications dont les rÃ©fÃ©rences sont donnÃ©es Ã&nbsp; la section~\ref{sec:publi} et synthÃ©tisÃ©es Ã&nbsp; la figure~\ref{fig:bilan}
en fin de document.

\subsection{VÃ©rification de programmes par 
  preuve automatique}\label{sub:verif}

Lors de mon post-doctorat Ã&nbsp; l'INRIA, j'ai d'abord montrÃ© qu'il Ã©tait possible
d'instancier des contre-exemples~\cite{BCDG07} et de voir 
si ceux-ci sont atteignables~\cite{CouchotD07IFM} lorsque 
l'obligation de preuve Ã&nbsp; vÃ©rifier n'est pas Ã©tablie.
Ceci peut aider l'ingÃ©nieur Ã&nbsp; corriger ses modÃ¨les.
Je  me suis ensuite intÃ©ressÃ©  Ã&nbsp; la
logique du premier ordre polymorphe. 
Dans ce but, j'ai prÃ©sentÃ© un rÃ©ducteur de logique
polymorphe vers de la logique sans sorte et de la logique multi-sortes
du premier ordre, prÃ©servant la correction et la
complÃ©tude~\cite{couchot07cade}. 
Toujours pendant mon post-doctorat, face au problÃ¨me d'explosion
combinatoire rencontrÃ©  
lors de dÃ©duction automatique, j'ai prÃ©sentÃ© une approche
de rÃ©duction de
formules~\cite{couchot07FTP, cgs09:ip} de type SMT-LIB
basÃ©e sur la sÃ©lection des hypothÃ¨ses les plus  
pertinentes.   
L'approche a Ã©tÃ© implantÃ©e et validÃ©e sur un exemple industriel rÃ©el
de 5000 lignes de Code C annotÃ© fourni par Dassault aviation.






\subsection{Les SystÃ¨mes dynamiques discrets (SDD)}\label{sub:sdd}
Un systÃ¨me dynamique discret (SDD) est une fonction $f$ 
du $n$-cube ($\{0,1\}^n$) dans lui mÃªme et un mode opÃ©ratoire
(parallÃ¨le, unaire, gÃ©nÃ©ralisÃ©) qui peut Ãªtre itÃ©rÃ© 
en synchrone ou en asynchrone. Cette section prÃ©sente un ensemble 
de mes contributions dans cette thÃ©matique. 


\subsubsection{Convergence de systÃ¨mes  dynamiques discrets}

%Ils ont Ã©tÃ© Ã©tudiÃ©s Ã&nbsp; de maintes reprises ~\cite{Rob95,Bah00,bcv02}.
Pour chacun de ces modes, il existe des critÃ¨res  (suffisants) de convergence
globale ou locale, souvent basÃ©s sur le fait que  $f$ 
est un opÃ©rateur contractant dans un espace.

Les modes  asynchrones ont une dynamique avec plus de libertÃ© 
puisqu'ils autorisent chaque Ã©lÃ©ment Ã&nbsp; modifier sa valeur avant 
de connaÃ®tre les valeurs des autres Ã©lÃ©ments dont il dÃ©pend. 
Cependant, lorsque les calculs Ã&nbsp; effectuer sur certains n{\oe}uds
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 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. 
Les noeuds Ã&nbsp; 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 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 mixtes Ã&nbsp; 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 de modÃ¨les de petite taille 
est simple Ã&nbsp; 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Ã&nbsp; Ã©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,  
cela ne permet que de donner une intuition de convergence, pas  une preuve.
Autant que je sache, aucune dÃ©marche de preuve formelle automatique 
de convergence n'avait jamais Ã©tÃ© Ã©tablie. 


J'ai dÃ©montrÃ© qu'on peut simuler 
des SDDs selon tous les modes pour Ã©tablir 
formellement leur convergence (ou pas).
Cette simulation est basÃ©e sur l'outil SPIN de \emph{Model-Checking}.
Pour traiter le problÃ¨me d'explosion 
combinatoire, les outils de cette classe 
appliquent des mÃ©thodes d'ordre partiel, d'abstraction,
de quotientage selon une relation d'Ã©quivalence.
J'ai prÃ©sentÃ© pour cela une dÃ©marche de traduction d'un SDD  
dans SPIN.
J'ai Ã©noncÃ© puis prouvÃ© ensuite la  correction et la complÃ©tude de la dÃ©marche.
Des donnÃ©es pratiques comme la complexitÃ© et des synthÃ¨ses d'expÃ©rimentation
ont aussi Ã©tÃ© fournies.
Ceci a Ã©tÃ© synthÃ©tisÃ© dans~\cite{Cou10:ir}


\subsubsection{Construction de fonctions chaotiques}
Je me suis intÃ©ressÃ© ensuite Ã&nbsp; l'Ã©tude du problÃ¨me dual 
de l'Ã©tude de divergence d'un SDD.
Le Pr. C. Guyeux de l'Ã©quipe AND a proposÃ© dans sa thÃ¨se en 2010
une caractÃ©risation des fonctions $f$ de $\{0,1\}^n$ dans lui-mÃªme 
dont les itÃ©rations sont chaotiques selon Devanney pour un  mode donnÃ©: 
il est nÃ©cessaire et suffisant que son graphe des itÃ©rations soit
fortement connexe.  
J'ai proposÃ© plusieurs mÃ©thodes de construction de 
fonctions ayant de tels graphes d'itÃ©rations~\cite{bcgr11:ip,chgw+14:onp}.

Dans la premiÃ¨re~\cite{bcgr11:ip},
l'algorithme enlÃ¨ve des arcs et vÃ©rifie ensuite que  
la forte connexitÃ© est maintenue.
MÃªme si cet algorithme retourne toujours des fonctions dont le graphe 
des itÃ©rations est fortement connexe, il n'en est pas pour autant efficace 
car il  nÃ©cessite une vÃ©rification Ã&nbsp; posteriori de la 
forte connexitÃ© sur le graphe entier composÃ© de  $2^n$ sommets.
La seconde mÃ©thode propose une solution Ã&nbsp; ce problÃ¨me en prÃ©sentant
des conditions suffisantes sur un graphe Ã&nbsp; $n$ sommets
qui permettent d'obtenir des graphes d'itÃ©rations fortement connexes.
Ce thÃ©orÃ¨me a aussi Ã©tÃ© prouvÃ© dans~\cite{bcgr11:ip}
et des instanciations effectives 
ont Ã©tÃ© produites. 
Une troisiÃ¨me mÃ©thode~\cite{chgw+14:oip,chgw+14:onp} s'appuie sur les codes 
de Gray, ou de maniÃ¨re Ã©quivalente sur les cycles hamiltoniens du graphe des
itÃ©rations.
Ces mÃ©thodes ont permis d'Ã©tendre Ã&nbsp; l'infini la classe des fonctions 
dont les itÃ©rations sont chaotiques.


\subsubsection{Apprentissage par rÃ©seaux neuronaux}
Nous disposons grÃ¢ce aux travaux prÃ©sentÃ©s Ã&nbsp; la section prÃ©cÃ©dente d'un grand
nombre de fonctions dont les itÃ©rations sont chaotiques.
Nous avons entrepris d'Ã©tudier ces itÃ©rations et plus particuliÃ¨rement leur 
apprentissage par un rÃ©seau de neurones. 
J'ai notamment pu contribuer Ã&nbsp; montrer pratiquement qu'il
est trÃ¨s difficile (voir impossible) de les prÃ©dire 
Ã&nbsp; l'aide d'outils d'intelligence artificielle~\cite{bcgs12:ij}.


Nous nous sommes attaquÃ©s parallÃ¨lement 
Ã&nbsp; un problÃ¨me physique d'optimisation de  
l'Ã©coulement d'un flux d'air le long d'un vÃ©hicule. 
Ce flux peut Ãªtre modifiÃ© si l'on active des injecteurs d'air placÃ©s 
par exemple sur le becquet du vÃ©hicule. 
Le flux d'air peut Ãªtre modÃ©lisÃ© Ã&nbsp; l'aide d'Ã©quations de Navier-Stokes
dont on ne connaÃ®t pas de mÃ©thode analytique de rÃ©solution. 
De plus, le nombre de Reynolds calculÃ© dans cette situation fait apparaÃ®tre 
que le rÃ©gime est extrÃªmement turbulent, donc difficile Ã&nbsp; prÃ©voir.
Nous avons souhaitÃ© 
continuer nos expÃ©riences d'apprentissage Ã&nbsp; l'aide 
de rÃ©seau de neurones dans ce contexte.
La figure~\ref{fig:mems}, issue de~\cite{cds13:ij}, montre 
que notre approche a pu apprendre ce rÃ©gime turbulent. 
Il est apparu comme intÃ©ressant de mÃ©moriser les configurations
reprÃ©sentant l'Ã©tat des actionneurs Ã&nbsp; 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.
Or trouver un chemin hamiltonien 
(comme Ã©tudiÃ© dans la partie prÃ©cÃ©dente) dans un
$n$-cube revient Ã&nbsp; 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.
Les rÃ©sultats pratiques quant Ã&nbsp; l'utilisation de ces codes se sont cependant 
rÃ©vÃ©lÃ©s comme moins pertinents que l'utilisation de $n$ sorties.
Ceci a Ã©tÃ© valorisÃ© dans les publications~\cite{cds12:ip,cds13:ij}.

\begin{figure}
\begin{center}
\includegraphics[scale=0.5]{test.pdf}
\end{center}
\caption{PrÃ©diction d'une force issue d'un flux d'air
  le long d'un vÃ©hicule avec injecteurs}\label{fig:mems}
\end{figure}


\subsubsection{GÃ©nÃ©ration de nombres pseudo-alÃ©atoires}
Au commencement de ce travail, notre Ã©quipe disposait d'un gÃ©nÃ©rateur de nombres 
pseudo-alÃ©atoires (PRNG) 
basÃ© sur une seule fonction dont nous avions prouvÃ© la chaoticitÃ© 
des itÃ©rations, Ã&nbsp; savoir la nÃ©gation boolÃ©enne vectorielle. Cependant pour 
rÃ©ussir les tests statistiques dÃ©diÃ©s aux PRNGs, il Ã©tait nÃ©cessaire d'itÃ©rer 
un grand nombre (arbitraire) de fois cette fonction entre deux 
sorties. 

Avec la production d'une grande collection de fonctions Ã&nbsp; itÃ©rations chaotiques, 
j'ai proposÃ© de rÃ©pondre Ã&nbsp; la question suivante: comment engendrer des fonctions 
dont les itÃ©rations vont produire des nombres simulant correctement l'alÃ©a.
J'ai d'abord caractÃ©risÃ© les fonctions dont les itÃ©rations produisent des nombres 
selon une distribution uniforme~\cite{bcgr11:ip}. Pour cela il a fallu rÃ©Ã©crire
l'algorithme de gÃ©nÃ©ration comme une marche alÃ©atoire dans une partie du $n$-cube,
de se ramener Ã&nbsp; une chaÃ®ne de Markov puis d'utiliser la thÃ©orie Ã©laborÃ©e sur ce sujet 
pour conclure. Par la mÃªme occasion, nous avons dÃ©montrÃ© que certaines fonctions 
chaotiques ne peuvent pas produire un alÃ©a suivant une distribution uniforme.
La sortie est biaisÃ©e.

J'ai proposÃ© ensuite des mÃ©thodes permettant de trouver de telles 
fonctions en commenÃ§ant par filtrer celles qui ne disposent pas 
de cette caractÃ©ristique parmi toutes les fonctions chaotiques qui peuvent 
Ãªtre engendrÃ©es~\cite{bcgr11:ip}. J'ai dÃ©montrÃ© ensuite que supprimer 
un cycle hamiltonien dans un $n$-cube permettait d'engendrer directement 
des fonctions avec une telle caractÃ©ristique~\cite{chgw+14:oip}.
De plus, je me suis attachÃ© Ã&nbsp; montrer l'importance 
de l'Ã©quilibrage du chemin hamiltonien Ã&nbsp; 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 Ã&nbsp; 
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
d'obtention d'une distribution uniforme d'un gÃ©nÃ©rateur 
construit en enlevant un chemin hamiltonien Ã©quilibrÃ© dans un $n$-cube. Le travail 
en collaboration avec Pr. P.-C. Heam, Pr. C. Guyeux du DISC et Pr. S. Contassot
du LORIA est en cours de soumission~\cite{cgh16:onp}
dans un  journal international.

Enfin je co-encadre une thÃ¨se sur l'implantation 
de gÃ©nÃ©rateurs de nombre pseudo-alÃ©atoires Ã&nbsp; bases d'itÃ©rations 
chaotiques sur des circuits logiques 
programmables. J'ai commencÃ© ce travail en encadrant une Ã©tude exhaustive 
de toutes les instances d'implantations de cette classe.
Ce travail complet thÃ©orique et pratique est terminÃ© aujourd'hui et 
est en cours de soumission~\cite{bgco16:onp} dans un journal international.
18 PRNGs de 4 familles (xorshift, LFSR, TGFSR, and LCG) ont Ã©tÃ© 
implantÃ©s sur  FPGA et ont pu Ãªtre ainsi comparÃ©s pratiquement sur 
la mÃªme plate-forme. Une boite de post-processing implantant les itÃ©rations
chaotiques a Ã©tÃ© dÃ©ployÃ©e et a permis d'amÃ©liorer les rÃ©sultats statistiques.
Ceci a Ã©tÃ© valorisÃ© par la publication~\cite{BCG16:ip}.




\subsubsection{Masquage d'information}\label{sub:ih}

La propriÃ©tÃ© de transitivitÃ© des fonctions chaotiques implique que l'on peut 
atteindre tout point depuis le voisinage de n'importe quel point.
Lorsqu'on cherche Ã&nbsp; embarquer une marque dans un mÃ©dia, 
si l'on souhaite de plus que celle-ci soit robuste, \textit{i.e.},
ne puisse pas Ãªtre enlevÃ©e facilement, il paraÃ®t naturel d'embarquer 
cette marque sur une grande partie du mÃ©dia. 
L'utilisation de fonctions chaotiques
paraÃ®t alors judicieuse.

J'ai participÃ© Ã&nbsp; la formalisation de la mÃ©thode de
marquage de mÃ©dias~\cite{bcg11b:ip,bcg11:ij} et particularisÃ©
ceci Ã&nbsp; des images numÃ©riques fournissant un 
nouveau contexte pour l'Ã©tude thÃ©orique et mathÃ©matique d'algorithmes de marquage.
La chaos-sÃ©curitÃ© a Ã©tÃ© introduite comme une nouvelle propriÃ©tÃ© 
de tels algorithmes de marquage.
Nous avons de plus montrÃ© la robustesse d'un tel marquage dans les 
domaines frÃ©quentiels usuels (DWT ou DCT).

Des instances de ces algorithmes ont Ã©tÃ© prÃ©sentÃ©es en sÃ©lectionnant de maniÃ¨re 
pertinente les fonctions Ã&nbsp; itÃ©rer soit pour garantir une robustesse 
Ã©levÃ©e~\cite{bcfg12b:ip,bcfg+13:ip} soit pour masquer l'information dans le mÃ©dia 
et Ãªtre le moins dÃ©tectable possible~\cite{bcfg12a:ip}. 

D'autre mÃ©thodes de watermarking ont Ã©tÃ© investies, 
particuliÃ¨rement celles basÃ©es sur la Quantization Index Modulation (QIM), mÃ©thodes 
Ã©tant supposÃ©es comme les plus robustes. Mes principales contributions 
sur ce travail --en collaboration avec Dr R. Darazy de l'UniversitÃ© Antonine au Liban
et en co-encadrant le stage de M2 de Ahmad Bitar--,
ont Ã©tÃ© 
d'intÃ©grer ceci Ã&nbsp; du marquage de document PDF puis de 
prÃ©senter ce problÃ¨me comme un problÃ¨me d'optimisation. 
GrÃ¢ce Ã&nbsp; une telle prÃ©sentation nous avons pu trouver les paramÃ¨tre optimaux
des mÃ©thodes QIM assurant Ã&nbsp; la fois robustesse et indÃ©tectabilitÃ©.
Ce travail a Ã©tÃ© acceptÃ© dans un  journal international~\cite{bdcc15:onp}.

Lorsque l'objectif visÃ© est l'indÃ©tectabilitÃ©, on parle de \emph{stÃ©ganographie}.
Ce domaine a Ã©tÃ© adressÃ© en critiquant notamment les scÃ©narios usuels d'Ã©valuation
des algorithmes de stÃ©ganographie. J'ai proposÃ© un cadre complÃ©mentaire permettant 
d'Ã©valuer ces schÃ©mas de masquage~\cite{fccg15:ip,accfg15:ip}.
Ceci se rÃ©alise en co-encadrant le doctorat de Y. Fadil. Nous avons de plus dans celui-ci
proposÃ© d'exprimer les fonctions de distorsion comme des mÃ©thodes de calcul de gradient 
ou de matrice Hessienne. Ceci a donnÃ© lieu Ã&nbsp; la publication~\cite{ccfg16:ip}.  

J'ai de plus participÃ© Ã&nbsp; l'Ã©laboration de l'algorithme STABYLO~\cite{ccg15:ij}
qui est un schÃ©ma de
stÃ©ganographie basÃ© sur l'enfouissement de l'information dans les contours 
prÃ©sents dans une image et illustrÃ© Ã&nbsp; la figure~\ref{fig:STABYLO}.
Ce travail est en collaboration avec Pr C. Guyeux et Pr. R. Couturier.
Mes contributions ont principalement Ã©tÃ© la formalisation de l'algorithme et 
son Ã©tude de complexitÃ©. GrÃ¢ce a l'optimisation de cette derniÃ¨re,
nous avons  pu montrer 
que cet algorithme prÃ©sente un excellent compromis entre sÃ©curitÃ©
fournie et complexitÃ© algorithmique.



\begin{figure}[h]
  \begin{center}
    \subfigure[Support]{
      \includegraphics[scale=0.17]{lena512}
    }
    \subfigure[Message]{
      \begin{minipage}[b]{0.33\linewidth}
        \begin{flushleft}
          \begin{scriptsize}
            The skies they were ashen and sober;\linebreak
            $\qquad$ The leaves they were crisped and sereâ€”\linebreak
            $\qquad$ The leaves they were withering and sere;\linebreak
            It was night in the lonesome October\linebreak
            $\qquad$ Of my most immemorial year;\linebreak
            It was hard by the dim lake of Auber,\linebreak
            $\qquad$ In the misty mid region of Weirâ€”\linebreak
            It was down by the dank tarn of Auber,\linebreak
            $\qquad$ In the ghoul-haunted woodland of Weir.
          \end{scriptsize}
        \end{flushleft}
      \end{minipage}
    }
    \subfigure[Contours]{
      \includegraphics[scale=0.17]{edge7}
    }
    \subfigure[Image avec msg.]{
      \includegraphics[scale=0.17]{lena7}
    }

  \end{center}
  \caption{Embarquement d'un message dans une image selon STABYLO}\label{fig:STABYLO}
\end{figure}

Enfin, les mÃ©thodes d'apprentissage ont largement progressÃ© cette derniÃ¨re dÃ©cennie, 
particuliÃ¨rement grÃ¢ce aux implantations efficaces de deep-learning. Dans un travail en collaboration
avec Pr R. Couturier, Pr. C. Guyeux et Dr. M. Salomon, nous avons voulu Ã©tudier la 
faisabilitÃ© d'utiliser du deep-learning Ã&nbsp; base de convolutions comme outil de stÃ©ganalyse.
Ceci a donnÃ© lieu Ã&nbsp; l'encadrement d'un stagiaire en M2, D. Fache, et 
un rapport technique~\cite{CCGS16:ir}. Lorsque la clef d'embarquement est 
la mÃªme pour toutes les images, nous avons exhibÃ© une architecture de rÃ©seau 
deep learning Ã&nbsp; base de convolutions qui amÃ©liore de maniÃ¨re significative tous les rÃ©sultats connus en 
stÃ©ganalyse. La figure~\ref{fig:deep} montre que la dÃ©tection est valide Ã&nbsp; 95\% 
(respectivement Ã&nbsp; 80\%) lorsque le taux d'embarquement est de 0,4 bit par pixel (resp. 0.1)
tandis que les meilleurs rÃ©sultats connus sont de l'ordre de 85\% (resp. 70\%).
Cependant, ceci ne s'applique pas aux cas oÃ¹ les clefs sont distinctes.


\begin{figure}[h]
\centering
\subfigure[][WOW, $\alpha=0.4$~bpp]{%
\label{fig:accuracy_WOW_0.4}%
%\label{fig:ex3-a}%
\includegraphics[scale=0.39]{Training_wow_04.pdf}
}%
\hspace{4pt}%
\subfigure[][WOW, $\alpha=0.1$~bpp]{%
\label{fig:accuracy_WOW_0.1}%
\includegraphics[scale=0.39]{Training_wow_01.pdf}
}
\caption{StÃ©ganalyse de WOW avec diffÃ©rents ratios d'embarquement}\label{fig:deep}
\end{figure}






\subsubsection{Les fonctions de hachage}\label{sub:hash}
Une fonction qui calcule une empreinte servant Ã&nbsp; identifier rapidement toute 
donnÃ©e fournie en entrÃ©e est une fonction de hachage. On utilise ce genre
de fonctions dÃ¨s qu'on veut comparer des Ã©lÃ©ments de grande taille car il 
suffit de comparer leurs empreintes (gÃ©nÃ©ralement de taille plus rÃ©duite).  
Une telle fonction doit induire de grandes variations dans l'empreinte 
lorsque l'entrÃ©e varie mÃªme trÃ¨s peu. C'est l'effet avalanche. Cette 
condition fait penser Ã&nbsp; la forte sensibilitÃ© aux conditions initiales
d'une fonction chaotique.

Forts de nos compÃ©tences sur les fonctions dont les itÃ©rations sont 
chaotiques, nous avons proposÃ© de nouvelles fonctions de hachage.
Celles-ci combinent des outils classiques utilisÃ©s dans les
fonctions de hachage 
usuelles et des itÃ©rations de systÃ¨mes dynamiques discrets Ã©tudiÃ©s 
au prÃ©alable.
Nous avons prouvÃ© que ces fonctions sont rÃ©sistantes Ã&nbsp; la 
seconde prÃ©-image. Leur complexitÃ©, polynomiale en la taille 
du message et la taille de l'empreinte, a Ã©tÃ© Ã©valuÃ©e et correspond
Ã&nbsp; ce que l'on attend d'une telle fonction.
Nous avons de plus vÃ©rifiÃ© statistiquement le critÃ¨re d'avalanche.
Ces rÃ©sultats ont Ã©tÃ© valorisÃ©s dans les publications~\cite{bcg11:ip,bcg12:ij}.


\subsection{Applications Ã&nbsp; d'autres sujets}\label{sec:appl}

\subsubsection{GÃ©nomique}\label{sub:gen}

Ayant acquis des compÃ©tences sur certaines structures de mathÃ©matiques 
discrÃ¨tes (particuliÃ¨rement thÃ©orie des graphes, 
relations d'Ã©quivalence,\ldots), j'ai pu contribuer en bio-informatique
en les rÃ©appliquant notamment.

Une de mes premiÃ¨res pistes de travail a Ã©tÃ© de proposer une mÃ©thode automatique 
de construction d'un ensemble de gÃ¨nes communs (nommÃ©s core-gÃ©nome) 
Ã&nbsp; une famille de gÃ©nomes.
La mÃ©thode s'appuie sur la construction du graphe de  similaritÃ©
entre les gÃ¨nes quotientÃ© selon une relation d'Ã©quivalence pour en
rÃ©duire sa taille. Chaque gÃ¨ne est assimilÃ© Ã&nbsp; son reprÃ©sentant de
classe dans chaque gÃ©nome. Le core-gÃ©nome se dÃ©duit comme  l'intersection 
de tous les gÃ©nomes. Ceci a donnÃ© lieu aux 
publications~\cite{acgs13:onp,akgcs+14:oip,acgm+14:ij}.

L'approche prÃ©cÃ©dente souffrait de n'engendrer que des core-gÃ©nomes de (trop)
petit cardinal. J'ai contribuÃ© notamment 
Ã&nbsp; 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 arbres phylogÃ©nÃ©tiques de qualitÃ©~\cite{agcs+15:ip,aangc+15:ip,aagc+15:ip}.
%Une synthÃ¨se de ces arbres a Ã©tÃ© rÃ©alisÃ©e et est prÃ©sentÃ©e Ã&nbsp; 
%l'adresse~\url{http://meso.univ-fcomte.fr/peg/phylo}.


Tous ces travaux ont Ã©tÃ© rÃ©alisÃ©s en collaboration avec Dr. M. Salomon et en co-encadrant 
le doctorat de B. Alkindy, soutenu en dÃ©cembre 2015.

\subsubsection{RÃ©seaux de capteurs}\label{sub:optim}

J'ai abordÃ© avec Dr. A. Mostefaoui la thÃ©matique des rÃ©seaux de capteurs multimÃ©dia:
ce contexte scientifique 
a la particularitÃ© d'avoir des donnÃ©es volumineuses et qui requiÃ¨rent un traitement
coÃ»teux en Ã©nergie. L'enjeu consiste Ã&nbsp; optimiser la dÃ©pense Ã©nergÃ©tique en fonction de la qualitÃ© 
attendue. 
Dans le cadre d'un projet soutenu par la rÃ©gion de Franche-ComtÃ©, \og capteurs multimÃ©dias collaboratifs: une approche
intÃ©grÃ©e de la sÃ©curitÃ© et de la robustesse\fg{}, nous encadrons la doctorante 
N. Khernane sur ce sujet depuis novembre 2015.
Nous avons proposÃ© un nouvel algorithme complÃ¨tement distribuÃ© permettant d'optimiser 
la durÃ©e de vie d'un tel rÃ©seau de capteurs en fonction d'une qualitÃ© visuelle attendue.
Ce premier travail a Ã©tÃ© valorisÃ© par une publication en confÃ©rence internationale~\cite{kcm16:ip}.



%\newpage
\section{Perspectives de recherche}
Les trois sections suivantes prÃ©sentent quelques perspectives de recherche 
autour de la thÃ©matique des systÃ¨mes dynamiques discrets. 




 
\subsection{GÃ©nÃ©ration de nombres pseudo-alÃ©atoires}

La dÃ©marche actuelle de gÃ©nÃ©ration de nombres pseudo-alÃ©atoires
consiste Ã&nbsp; marcher dans une partie d'un $n$-cube en choisissant son chemin
Ã&nbsp; l'aide d'un gÃ©nÃ©rateur fourni en entrÃ©e. Or ces gÃ©nÃ©rateurs sont tous des 
fonctions de $\{0,1\}^n$ dans lui-mÃªme. Cette approche
semble pouvoir se rÃ©Ã©crire
comme un produit synchrone de deux automates.
L'intÃ©rÃªt d'une telle rÃ©Ã©criture est qu'on pourrait exploiter 
tous les rÃ©sultats thÃ©oriques et pratiques dÃ©jÃ&nbsp; connus dans la communautÃ©
des automates. 
Je pense investiguer cette voie pour amÃ©liorer notre approche, 
s'affranchir, Ã&nbsp; terme, de tout autre gÃ©nÃ©rateur et amÃ©liorer la
connaissance Ã&nbsp; ce sujet.
Les propriÃ©tÃ© Ã©tablies notamment sur les temps d'arrÃªt devraient Ãªtre conservÃ©es.
Il restera Ã&nbsp; le prouver.


Dans le cadre du doctorat de M. Bakiri, nous avons implantÃ© sur  FPGA 
18 PRNGs de 4 familles (xorshift, LFSR, TGFSR, and LCG) ainsi que 
le post-processing implantant les itÃ©rations
chaotiques. Nous pensons Ã©tudier d'abord pratiquement l'intÃ©rÃªt de telles itÃ©rations
en termes de surface requise lors du dÃ©ploiement et du nombre d'opÃ©rateurs nÃ©cessaires.
Les amÃ©liorations escomptÃ©es dans le paragraphe prÃ©cÃ©dent seront rÃ©investies dans cette 
partie et celle-ci viendront nourrir le travail prÃ©cÃ©dent. 




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 Ã&nbsp; ``sauter'' dans ce $n$-cube, c'est-Ã&nbsp;-dire modifier plusieurs bits 
en une seule itÃ©ration. J'ai commencÃ© Ã&nbsp; Ã©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,  
il diminue Ã&nbsp; mesure que $n$ augmente ce qui n'est pas le cas en marchant.
Pour l'instant, nous n'avons pas rÃ©ussi Ã&nbsp; obtenir des bornes
du temps d'arrÃªt. Je propose d'investiguer aussi dans cette direction.


\subsection{Les chemin Hamiltonien/ les codes de Gray}

Pour gÃ©nÃ©rer une fonction dont la matrice de Markov est doublement
stochastique
--condition nÃ©cessaire pour fournir une sortie uniformÃ©ment distribuÃ©e--, nous avons proposÃ© principalement la mÃ©thode de
suppression de chemin hamiltonien dans un $n$-cube. 

Un chemin hamiltonien pouvant Ãªtre vu comme un code de Gray, nous sommes intÃ©ressÃ©s Ã&nbsp; la 
gÃ©nÃ©ration de ce genre de codes en privilÃ©giant les codes de Gray Ã©quilibrÃ©s, 
c'est-Ã&nbsp;-dire ceux dont chaque bit est niÃ© le mÃªme nombre de fois.
Cependant la mÃ©thode de Robinson et Cohn (permettant d'obtenir des codes de Gray globalement ``presque'' 
Ã©quilibrÃ©s) et leurs extensions sont indÃ©terministes dans le sens oÃ¹ 
elles montrent l'existence d'une suite particuliÃ¨re sans donner sa construction.
Un premier verrou scientifique que je propose de lever consiste Ã&nbsp; proposer une solution 
algÃ©brique (et donc un algorithme) donnant une solution Ã&nbsp; ce problÃ¨me. 

Il est apparu rÃ©cemment des algorithmes permettant d'obtenir des codes de Gray 
localement Ã©quilibrÃ©s, c.-Ã&nbsp;-d. oÃ¹ la longueur du plus grand nombre d'Ã©tapes entre 
deux changements d'un mÃªme bit est aussi petite que possible.
Dans tous les cas, aucun des ces codes n'est globalement Ã©quilibrÃ© ni mÃªme presque Ã©quilibrÃ©.
Cette double propriÃ©tÃ© serait cependant trÃ¨s intÃ©ressante aussi bien thÃ©oriquement que pratiquement
pour nos gÃ©nÃ©rateurs.
Un second verrou consistera Ã&nbsp; adapter ces algorithmes pour proposer des codes possÃ©dant les 
deux propriÃ©tÃ©s d'Ã©quilibrage.
Ce travail consistera d'abord Ã&nbsp; vÃ©rifier l'existence de codes pour des instances de petite 
taille, sans que cela soit trivial (par exemple pour $n=6$) et ce en travaillant en collaboration 
avec Pr S. Contassot, spÃ©cialiste en SDD et en calcul distribuÃ©.
 







\subsection{Masquage d'information}

Concernant le marquage de donnÃ©es, plusieurs approches duales cohabitent pour 
Ã©tablir ou non la sÃ©curitÃ© d'un algorithme 
de cette classe: les probabilistes (stego-securitÃ© par ex.), 
les mÃ©triques (chaos-securitÃ© par ex.),
les cryptographiques (mesure de fuite d'information).
Notre approche n'a pas encore Ã©tÃ© Ã©valuÃ©e selon cette derniÃ¨re mÃ©trique, ce 
que je propose de faire. 

Concernant l'indÃ©tectabilitÃ©, je propose de travailler Ã&nbsp; la fois sur 
la stÃ©ganographie et sur la stÃ©ganalyse.
Nos expÃ©riences sur les schÃ©mas les plus efficaces de stÃ©ganographie 
nous font penser qu'embarquer un message dans les contours comme cela l'a Ã©tÃ© fait pour 
STABYLO est perfectible: on sait depuis qu'il existe des fonctions mathÃ©matiques 
qui modÃ©lisent ces contours. Lorsqu'on modifie sans garde la valeur des bits de ces 
contours,  la ``continuitÃ©'' des fonctions qui les modÃ©lisent peut Ãªtre perdue et 
le message peut s'en trouver dÃ©tectable. Que je sache, aucune approche de stÃ©ganographie 
basÃ©e sur la continuitÃ© des fonctions de contours n'a jamais Ã©tÃ© proposÃ©e. 
Je propose donc d'investiguer dans cette voie.

Les dÃ©marches de stÃ©ganalyse sont souvent composÃ©es de 2 Ã©tapes: 
caractÃ©risation puis classification. 
On extrait au prÃ©alable une grande quantitÃ© des caractÃ©ristiques du mÃ©dia 
puis on utilise une mÃ©thode de 
classification basÃ©e sur celles-ci. La communautÃ© voit souvent cette 
seconde Ã©tape comme une boite noire et se concentre 
sur la construction de l'ensemble des caractÃ©ristiques les plus discriminantes.
Autant que je sache, les mÃ©thodes algÃ©briques 
de rÃ©duction de domaine (analyse par composant principaux, SVD) 
ont rarement Ã©tÃ© utilisÃ©es comme une Ã©tape intermÃ©diaire entre la caractÃ©risation et 
la classification. Ces mÃ©thodes ont dÃ©jÃ&nbsp; Ã©tÃ© 
appliquÃ©es avec succÃ¨s lorsqu'elles sont combinÃ©es avec des mÃ©thodes 
d'apprentissage, par exemple dans de la reconnaissance faciale.
Je propose d'Ã©tudier cette piste dans ce domaine. 
%Ceci se rÃ©alisera notamment au travers du doctorat de Y. Fadil.

De plus les rÃ©sultats obtenus en stÃ©ganalyse Ã&nbsp; l'aide de deep learning Ã&nbsp; base de convolutions
sont trÃ¨s prometteurs  lorsque la clef qui a servi Ã&nbsp; l'embarquement est constante. 
Malheureusement, lorsque la clef varie, nous n'avons pas rÃ©ussi Ã&nbsp; gÃ©nÃ©raliser ces avancÃ©es.
Les dÃ©marches les plus efficaces demeurent 
celles obtenues par des approches classiques Ã&nbsp; base de caractÃ©ristiques statistiques (features) 
d'images.
Cependant, en Ã©tudiant plus finement les features, on constate que nombreuses sont celles qui sont aussi
basÃ©es sur des produits de convolution.
Je propose d'Ã©tudier exhaustivement ces features pour d'abord traduire
en deep-learning celles qui sont des convolutions directes. Il restera ensuite 
Ã&nbsp; adapter l'outil de deep learning aux caractÃ©ristiques restantes ce qui est un autre challenge 
scientifique. 



%\newpage
\section{Insertion dans l'Ã©quipe de recherche} 
Cette section donne quelques Ã©lÃ©ments factuels 
permettent d'apprÃ©cier mon insertion au sein  de cette Ã©quipe de recherche.



\subsection{Un dÃ©fi de changement de thÃ©matique}
La thÃ©matique principale de ma thÃ¨se et du post-doctorat qui a suivi 
Ã©tait la vÃ©rification de programmes par preuve automatique, soit de 
la logique informatique.
Suite Ã&nbsp; mon recrutement dans l'Ã©quipe AND, mes recherches se sont rÃ©orientÃ©es
autour des SDDs et donc de l'analyse numÃ©rique plus gÃ©nÃ©ralement.
Ce dÃ©fi de changement de thÃ©matique a Ã©tÃ© attaquÃ© dÃ¨s mon recrutement.
En plus des 6 journaux dans cette nouvelle thÃ©matique, 
j'ai publiÃ© sur ces thÃ©matiques notamment dans
les confÃ©rences reconnues suivantes:
\begin{itemize}
\item  \cite{bcgr11:ip} de rang A et
\item \cite{BCG16:ip,ccfg16:ip,kcm16:ip, chgw+14:oip} de rang B.
\end{itemize}



\subsection{Appels Ã&nbsp; projet}


En 2014, j'ai participÃ© 
au projet Jeune chercheur de l'UFC portÃ© par
Christophe Guyeux dont le thÃ¨me Ã©tait 
\og la sÃ©curisation numÃ©rique par chaos\fg{}.

J'ai rÃ©pondu avec succÃ¨s Ã&nbsp; l'appel Ã&nbsp; projets de la rÃ©gion de 
Franche-ComtÃ© en 2015: j'ai participÃ© Ã&nbsp; l'Ã©laboration du  
projet de \og capteurs multimÃ©dias collaboratifs: une approche
intÃ©grÃ©e de la sÃ©curitÃ© et de la robustesse\fg{} dont le porteur 
est M. A. Mostefaoui. Nous avons obtenu le financement d'une bourse doctorale 
pour la pÃ©riode d'oct. 2015--oct. 2018. Ce doctorat est co-encadrÃ© par 
M. A. Mostefaoui et moi-mÃªme.

J'ai rÃ©pondu Ã&nbsp; de nombreux autres appels Ã&nbsp; projets sans succÃ¨s: 
\begin{itemize}
\item porteur d'un projet ANR COSINUS 2009: \og 
A FRAMEwork for predicting the behavior of Dicrete Dynamic Systems\fg{}
avec l'I3S et le LORIA. 
\item participant Ã&nbsp; un projet ANR blanc en 2010: 
\og Unification des SystÃ¨mes Dynamiques Discrets \fg{}
avec l'I3S, le LORIA et le LIF de Marseille.
\item porteur d'un projet PEPS 2011 avec l'Ã©quipe MIE du dÃ©partement Energie de  FEMTO-ST.
\item participant Ã&nbsp; un projet PHC CAI YUANPEI 2014: \og Theoretical study, design, and circuit implementation of high dimensional integer domain chaotic systems \fg{} avec l'UniversitÃ© Technlogique de Guangdong.
\item porteur d'un projet PHC Cedre 2015: \og surveillance vidÃ©o sÃ©curisÃ©e et robuste par rÃ©seau de capteurs\fg{} avec l'UniversitÃ© Antonine.
\item participant Ã&nbsp; un  projet PHC Cedre 2015: \og 
mÃ©thodes et outils pour concevoir, Ã©valuer et dÃ©ployer des rÃ©seaux de capteurs 
pour l'agriculture au liban\fg{} avec l'UniversitÃ© Libanaise.
\item participant au projet PEPS JCJC INS2I 2015, sur 
\og PrÃ©diction bio-informatique de l'Ã©volution des gÃ©nomes\fg{} avec le
LMB et le l'universitÃ© de NeuchÃ¢tel en Suisse. 
\end{itemize}

\subsection{Collaborations}
J'ai Ã©tabli des collaborations:
\begin{itemize}
\item avec A. Richard CR CNRS du laboratoire
I3S (Nice)- UMR CNRS 7271 sur la thÃ©matique des SDDs et leurs 
applications en Bio. Cela s'est traduit notamment avec 
la publication~\cite{bcgr11:ip}.

\item avec R. Darazy de l'UniversitÃ© Antonine au Liban. 
  J'ai co-encadrÃ© trois stages de Master 2 recherche avec
  des membres de cette universitÃ©.
  J'ai un article de journal~\cite{bdcc15:onp} rÃ©sumant un travail en collaboration
  avec R. Darazy.

\item avec Pr. S. Contassot-Vivier du LORIA (Nancy)- UMR CNRS 7503 
sur la thÃ©matique des SDDs, de leur convergence dans les itÃ©rations 
mixtes et de la gÃ©nÃ©rations de matrices de Markov doublement
stochastiques. Cela s'est traduit notamment avec 
le rapport~\cite{BCVC10:ir} et l'article de journal~\cite{cgh16:onp}, en cours de soumission
en journal international.

\item avec Pr. Y. Bailly et J.-C. Roy de l'Ã©quipe 
  MIE du dÃ©partement \'Energie de FEMTO-ST sur la thÃ©matique 
  de la prÃ©diction d'Ã©coulement d'un flux d'air le long d'un vÃ©hicule.
  Cela s'est traduit notamment avec 
  les publications~\cite{cds13:ij,cds12:ip}.

\item avec Dr. Qianxue Wang de l'UniversitÃ© Technlogique de Guangdong 
sur la gÃ©nÃ©ration de nombres pseudo alÃ©atoires. 
Nous avons collaborÃ© sur deux publications~\cite{bcgw11:ip,chgw+14:oip}.

\end{itemize}


\subsection{Invitations}
J'ai Ã©tÃ© invitÃ©:
\begin{itemize}
\item Ã&nbsp; la soutenance de ThÃ¨se de M. J.-L. Joly sur {\em 
Contributions Ã&nbsp; la gÃ©nÃ©ration alÃ©atoire pour des classes d'automates finis} en tant qu'invitÃ©
le 23 mars 2016 Ã&nbsp; l'UniversitÃ© de Franche-ComtÃ©;
\item au workshop \og ThÃ©orie des rÃ©seaux boolÃ©ens et ses applications en
  biologie\fg{}  Ã&nbsp; Nice en novembre 2014 (20 participants);
\item Ã&nbsp; la journÃ©e \og Advances in Mobile Technologies Day\ fg{} 
  organisÃ©e par l'UniversitÃ© Antonine au Liban en mai 2013 (10 participants);
\item au SÃ©minaire MDSC (ModÃ¨les Discrets pour les SystÃ¨mes Complexes)
  du laboratoire I3S sur le sujet \og Efficiently dealing with 
  SMT-LIB provers in software verification\fg{} 
  en dÃ©cembre 2007 (30 participants).
\end{itemize}

\subsection{Organisation d'Ã©vÃ©nements scientifiques}

J'ai co-organisÃ© avec J. Bahi et C. Guyeux 
\og The First Workshop on Information Hiding Techniques 
for Internet Anonymity and Privacy (IHTIAP) \fg{} Ã&nbsp; Venise en juin 2012
dont l'url est
\url{http://www.iaria.org/conferences2012/IHTIAP.html}.
Le comitÃ© de programme Ã©tait composÃ© de 18 chercheurs internationaux 
(dont je faisais aussi partie). 
Il s'est  dÃ©roulÃ© sur 1/2 journÃ©e et 5 chercheurs ont prÃ©sentÃ© leurs travaux.
Le taux d'acceptation des articles a Ã©tÃ© de 41\%. 


J'ai Ã©tÃ© responsable de la publication des actes dans les conferences 
{\em 19th IEEE International Conference on Computational Science and Engineering (CSE 2016)},
{\em 15th International Symposium on Distributed Computing and Applications to Business, Engineering and Science (DCABES 2016)}
et
{\em 14th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2016)}.



J'ai fait partie des comitÃ©s de programme des confÃ©rences \og int. conf. on Evolving Internet \fg{}, (2013, 2014) 
et IHTIAP 2012.

J'ai rÃ©digÃ© des rapports de relecture pour les journaux internationaux 
suivants: 
\begin{itemize}
\item Springer Annals of Telecommunications 2013 (2);
\item The computer Journal 2014 (1); 
\item Springer Multimedia Tools and Applications 2014 (1);
\item International Journal of Bioinformatics Research 2015 (1);
\item International Journal of Computer Science and Application 2015 (1);
\item MDPI Symmetry 2016 (3);
\item Hindawi Journal of Electrical and Computer Engineering 2016 (1).
\end{itemize}
et pour les confÃ©rences suivantes:
\begin{itemize}
\item MAJECSTIC (2005 (2), 2007 (2));
\item B 2007 (1), A-BZ 2008 (1);
\item Evolving Internet \fg{}, (2012 (2), 2013 (2), 2014 (1));
\item 2015 IEEE/SICE International Symposium on System Integration (1);
\item 2016 IEEE International Conference on Computational Science and Engineering (CSE 2016)  (4);

\end{itemize}

Membre du GDR codes et cryptographie, j'ai 
participÃ© aux JournÃ©es Codes et StÃ©ganographie en 2012 (Rennes) 
oÃ¹ j'ai prÃ©sentÃ© \og Steganography: secure and robust algorithms \fg{} et en 2013 (Paris).





%\newpage
\section{Encadrement et co-encadrement d'Ã©tudiants} 

\subsection{ThÃ¨se d'universitÃ©}
J'ai co-encadrÃ©:
\begin{itemize}
\item
(Ã&nbsp; hauteur de 40\%) avec Michel Salomon (40\%) et  
Jacques M. Bahi  (20\%) le doctorat de Bassam Alkindy
sur les combinaisons d'approches pour la prÃ©diction de l'Ã©volution gÃ©nomique.	
Le doctorat a commencÃ© en septembre 2012 et a Ã©tÃ© soutenu le 17 dÃ©cembre 2015.
Ce travail de thÃ¨se a donnÃ© lieu Ã&nbsp; 6 publications dans des confÃ©rences 
internationales~\cite{aangc+15:ip,acgm+14:ij,akgcs+14:oip,agcs+15:ip,aagp+15:ip, aagc+15:ip} et une communication nationale~\cite{acgs13:onp}.
\end{itemize}

Je co-encadre:
\begin{itemize}
\item  (Ã&nbsp; hauteur de 50\%) avec Pr. C. Guyeux (50\%)
le doctorat de  Youssra Fadil
sur
l'Ã©tude du comportement des outils d'intelligence artificielle
face Ã&nbsp; des dynamiques complexes.	
Le doctorat a commencÃ© en dÃ©cembre 2013 et devrait Ãªtre soutenu en 
dÃ©cembre 2016.	
Ce travail de thÃ¨se a donnÃ© lieu Ã&nbsp; 3 publications dans des confÃ©rences
internationales~\cite{fccg15:ip,accfg15:ip,accfg15:ip}.
		
\item  (Ã&nbsp; hauteur de 50\%) avec Pr. C. Guyeux (50\%)
le doctorat de  Mohamed Bakiri
sur
l'implÃ©mentation matÃ©rielle de gÃ©nÃ©rateurs de nombres pseudo-alÃ©atoires basÃ©s sur les itÃ©rations chaotiques.
Le doctorat a commencÃ© en septembre 2014 et devrait Ãªtre soutenu en 
aoÃ»t 2017.	
Ce travail de thÃ¨se a donnÃ© lieu Ã&nbsp; 1 publication dans un journal international 
en cours de soumission~\cite{bgco16:onp} et une confÃ©rence internationale~\cite{bgco16:onp}.

\item  (Ã&nbsp; hauteur de 50\%) avec  Dr. A. Mostefaoui (50\%)
le doctorat de  Nesrine Khernane
sur
une approche
intÃ©grÃ©e de la sÃ©curitÃ© et de la robustesse dans les capteurs multimÃ©dias collaboratifs. 
Le doctorat a commencÃ© en novembre 2015 et devrait Ãªtre soutenu en 
novembre 2018.	
Ce travail de thÃ¨se a donnÃ© lieu Ã&nbsp; 1 publication dans une confÃ©rence internationale~\cite{fccg15:ip}.
\end{itemize}


\subsection{Master 2 recherche}

J'encadre:

\begin{itemize}
\item le stage de recherche de Master 2 de D. Fache
sur une Ã©tude thÃ©orique et pratique du Deep Learning, application Ã&nbsp; la stÃ©ganalyse.
Le stage a commencÃ© en mars 2016 et devrait Ãªtre soutenu en septembre 2016. 
\end{itemize}

J'ai co-encadrÃ©:
\begin{itemize}
\item  (Ã&nbsp; hauteur de 34\%) avec Raphael Couturier (33\%) et 
Rony Darazi -- UniversitÃ© Antonine au Liban--(33\%)
le stage de recherche de Master 2 de  Ahmad Bitar
sur
la 
Steganography in PDF documents based on Unprintable Control ASCII Codes.
Le stage a commencÃ© le 01 mai 2013 et a Ã©tÃ© soutenu le 30 septembre 2013. 
Ce travail de Master a donnÃ© lieu Ã&nbsp; 1 publication dans un journal international~\cite{bdcc15:onp}.
\item  (Ã&nbsp; hauteur de 80\%) avec   
Talar Atechian -- UniversitÃ© Antonine au Liban--(20\%)
le stage de recherche de Master 2 de Hussein Nasser
sur
une  
Critical Analysis of Distributed Algorithm for Sensor
Network Lifetime Maximization.
Le stage a commencÃ© le 01 avril 2014 et a Ã©tÃ© soutenu le 31 aoÃ»t 2014. 


\item (Ã&nbsp; hauteur de 80\%) avec   
Talar Atechian -- UniversitÃ© Antonine au Liban--(20\%)
le stage de recherche de Master 2 de Khaled Daher 
sur la dÃ©synchronisation du calcul d'optimisation de la durÃ©e de vie 
d'un rÃ©seau de capteurs.
Le stage a commencÃ© le 01 avril 2015 et a Ã©tÃ© soutenu le 31 aoÃ»t 2015. 
\end{itemize}



%\newpage
\section{Participation Ã&nbsp; des tÃ¢ches d'intÃ©rÃªt collectif}

\subsection{TÃ¢ches d'enseignement} 
Depuis septembre 2000, je suis titulaire Ã&nbsp; l'UniversitÃ© de Franche-ComtÃ©,
soit sur un poste de PrCe (de 2000 Ã&nbsp; 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
recrutement comme MdC, j'ai recentrÃ© mes enseignements autour 
de mes thÃ©matiques de recherche, Ã&nbsp; savoir essentiellement les 
mathÃ©matiques discrÃ¨tes.
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{}. Ce sont des
  promotions d'une vingtaine d'Ã©tudiants Ã&nbsp; chaque fois;
\item 7\% en Licence Pro Conception des Application Multi-tiers (LP CAM) Ã&nbsp; l'IUT BM dans l'UE de \og DÃ©veloppement d'applications mobiles\fg{}. Ce sont des
  promotions d'une vingtaine d'Ã©tudiants Ã&nbsp; chaque fois;
\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}

\subsection{ResponsabilitÃ©s} 

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. 
J'ai participÃ© Ã&nbsp; ce titre Ã&nbsp; l'Ã©laboration des parties de mathÃ©matiques du 
PPN du DUT d'informatique, Ã&nbsp; Dijon en 2011 et OrlÃ©ans en 2012.  
Depuis septembre 2014, je suis le responsable du parcours TeProw
de la LP CAM  localisÃ©e 
Ã&nbsp; l'IUT BM. Cette licence 
a aussi un parcours Ã&nbsp; 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 novembre 2010 Ã&nbsp; novembre 2014. A ce titre j'ai participÃ© Ã&nbsp; 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. 

\subsection{Montage de projets BQF}
J'ai montÃ© avec succÃ¨s deux projets BQF au sein de l'UFC autour
de la programmation mobile en 2009 et 2014. 
Ces projets BQF ont permis l'achat de smartphones et ordinateurs 
portables pour les projets d'Ã©tudiants du dÃ©partement d'informatique de l'IUTBM. 


\subsection{\`A l'extÃ©rieur de l'universitÃ©}

Je suis rÃ©guliÃ¨rement membre de jury des Ã©preuves TIPE, Ã©preuves communes
Ã&nbsp; 90 concours d'ingÃ©nieurs (sessions 2012, 2015 et 2016) et fournis  
Ã&nbsp; chaque session des sujets scientifiques pour l'Ã©preuve.




%\newpage
\section{Publications aprÃ¨s la thÃ¨se}\label{sec:publi}
Le tableau de la figure~\ref{fig:bilan} donnÃ© 
ci dessous synthÃ©tise les rÃ©fÃ©rences dÃ©taillÃ©es ci-aprÃ¨s.


\begin{figure}[h]
\begin{center}
\begin{tabular}{|c|c|c|c|c|}
\hline
%&amp; \multicolumn{2}{|c|}{Internationaux} &amp;  {Nationaux} &amp;  \\
%\hline
&amp; Journaux &amp; ConfÃ©rences  &amp; 
ConfÃ©rences  &amp;  Divers\\
&amp; internationaux &amp; internationales  &amp; 
nationales  &amp;  \\

\hline
Pendant le doctorat &amp;
%journaux
\cite{cdgr03:ij}
&amp;
% conf inter
\cite{cddg+04:ip,CGK05}

&amp;
% conf nat
\cite{cdgr04:onp,cg04:np}

&amp;
% divers
\cite{couchot04:onp}

\\ \hline  
En post-doctorat &amp; 
%journaux

&amp;
% conf inter
\cite{BCDG07,CouchotD07IFM,cgs09:ip,couchot07FTP,couchot07cade}

&amp;
% conf nat


&amp;
% divers


\\ \hline  

&amp;
%journaux
&amp;
% conf inter
\cite{BCG16:ip,aangc+15:ip,acgm+14:ij,
  akgcs+14:oip,agcs+15:ip,aagp+15:ip}

&amp;
% conf nat


&amp;
% divers

%%%%%%%%%%%%%%

\\ %\cline{3-3}  

Au DISC Ã&nbsp; FEMTO-ST&amp;
%journaux
\cite{bcg12:ij,bcg11:ij,bcgs12:ij,cds13:ij,ccg15:ij,bdcc15:onp}







&amp;
% conf inter
\cite{aagc+15:ip,bcfg12a:ip,bcfg12b:ip,bcfg+13:ip,bcg11:ip,bcg11b:ip}

&amp;
% conf nat


&amp;
% divers
\cite{acgs13:onp,BCVC10:ir,chgw+14:onp,Cou10:ir}



\\ %\hline  

&amp;
%journaux

&amp;
% conf inter
\cite{bcgr11:ip,bcgw11:ip,cds12:ip,chgw+14:oip,fccg15:ip,accfg15:ip}

&amp;
% conf nat


&amp;
% divers

\\ %\hline  

&amp;
%journaux

&amp;
% conf inter
\cite{ccfg16:ip,kcm16:ip}

&amp;
% conf nat


&amp;
% divers


%%%%%%%%%%%%%


\\ \hline  
\end{tabular}
\end{center}
\caption{Bilan synthÃ©tique des publications}\label{fig:bilan}
\end{figure}



\subsection{Journaux internationaux avec comitÃ© de sÃ©lection}

\vspace{-2em}
\begin{thebibliography}{CHG{\etalchar{+}}14b}

\makeatletter
\addtocounter{\@listctr}{6}
\makeatother




\bibitem{bdcc15:onp}
Ahmad Bitar, Rony Darazi, Jean-FranÃ§ois Couchot, and RaphaÃ«l Couturier.
\newblock Blind digital watermarking in pdf documents using spread transform
  dither modulation.
\newblock{\em Multimedia Tools and Applications}, 
1573-7721:1--19, November 2015.

\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.


\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.
\newblock {\em Chaos, An Interdisciplinary Journal of Nonlinear Science},
  22(1):013122--1 -- 013122--9, March 2012.
\newblock 9 pages.

\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{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.









\end{thebibliography}




\subsection{Journaux internationaux avec comitÃ© de sÃ©lection (en cours de soumission)}

\vspace{-2em}
\begin{thebibliography}{CHG{\etalchar{+}}14b}

\makeatletter
\addtocounter{\@listctr}{12}
\makeatother



\bibitem{cgh16:onp}
Jean-FranÃ§ois Couchot, Sylvain Contassot-Vivier, Christophe Guyeux, and Pierre-Cyrille H\'eam.
\newblock Random walk in a n-cube without hamiltonian cycle to chaotic
  pseudorandom number generation: Theoretical and practical considerations.
\newblock  in submission to Elsevier Chaos, Solitons \&amp; Fractal, August 2016.

\bibitem{bgco16:onp}
Mohammed Bakiri, Christophe Guyeux, Jean-Fran\c{c}cois Couchot, and
  Abdelkrim~Kamel Oudjida.
\newblock Survey on hardware implementation of random number generators on
  fpga: Theory and experimental analyses.
\newblock in submission to the ACM Computing Surveys journal, August 2015.








\end{thebibliography}

\subsection{ConfÃ©rences internationales avec comitÃ© de sÃ©lection}
\vspace{-2em}
\begin{thebibliography}{CHG{\etalchar{+}}14b}
\makeatletter
\addtocounter{\@listctr}{14}
\makeatother


\bibitem{BCG16:ip}
Bakiri Mohammed, Jean-FranÃ§ois Couchot, and Christophe Guyeux.
\newblock  FPGA Implementation of F2-Linear Pseudorandom Number Generators based on Zynq MPSoC: A Chaotic Iterations Post Processing Case Study
\newblock In {\em Secrypt 2016, 13th Int. Conf. on Security and Cryptography},  pages ***--***,
  Lisboa, Portugal, July 2016.

\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{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.
\newblock In {\em ICBBS 2014, 3rd Int. Conf. on Bioinformatics and Biomedical
  Science}, number 4(5) in IJBBB, Journal of Bioscience, Biochemistery, and
  Bioinformatics, pages 357--364, Copenhagen, Denmark, June 2014.

\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
  chloroplasts.
\newblock In {\em BIBM14, IEEE Int. Conf. on Bioinformatics and Biomedicine},
  Belfast, United Kingdom, November 2014.
\newblock Short paper.

\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~9199 of {\em LNCS}, pages 83--96, Mexico City, Mexico,
  August 2015. Springer.


\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{aagc+15:ip}
B. AlKindy, B. Al{-}Nuaimi, C. Guyeux, J.-F. Couchot, M. Salomon, R. Alsrraj, and Laurent Philippe,
\newblock Binary Particle Swarm Optimization Versus Hybrid Genetic Algorithm
               for Inferring Well Supported Phylogenetic Trees.
\newblock{\em Computational Intelligence Methods for Bioinformatics and Biostatistics
               - 12th International Meeting, {CIBB} 2015,
             Revised Selected Papers}, pages 165--179, September 2015.



\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: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{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.
\newblock In {\em INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
  pages 52--57, Luxembourg, Luxembourg, June 2011.
\newblock Best paper award.

\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: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.
\newblock In {\em FCT'11, 18th Int. Symp. on Fundamentals of Computation
  Theory}, volume 6914 of {\em LNCS}, pages 126--137, Oslo, Norway, August
  2011.

\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{cds12:ip}
Jean-Fran\c{c}ois Couchot, Karine Deschinkel, and Michel Salomon.
\newblock Suitability of artificial neural network for {MEMS}-based flow
  control.
\newblock In Julien Bourgeois and Michel de~Labachelerie, editors, {\em dMEMS
  2012, Workshop on design, control and software implementation for distributed
  MEMS}, pages 1--6, Besan\c{c}on, France, April 2012. IEEE CPS.



\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{fccg15:ip}
Yousra~Ahmed Fadil, Jean-Fran\c{c}ois Couchot, Rapha\"el Couturier, and
  Christophe Guyeux.
\newblock Steganalyzer performances in operational contexts.
\newblock In {\em IIH-MSP 2015, 11th Int. Conf. on Intelligent Information
  Hiding and Multimedia Signal Processing}, pages 429--432, Adelaide,
  Australia, September 2015.

\bibitem{accfg15:ip}
B. Al Bouna and J. F. Couchot and R. Couturier and Y. A. Fadil and C. Guyeux.
\newblock Performance Study of Steganalysis Techniques.
\newblock In {\em Applied Research in Computer Science and Engineering (ICAR), 2015 International Conference on}, pages 1--7, Lebanon, October 2015.


\bibitem{ccfg16:ip}
Jean-FranÃ§ois Couchot, RaphaÃ«l Couturier, Yousra Ahmed Fadil and Christophe Guyeux.
\newblock A Second Order Derivatives based Approach for Steganography.
\newblock In {\em Secrypt 2016, 13th Int. Conf. on Security and Cryptography},  pages ***--***,
  Lisboa, Portugal, July 2016.

\bibitem{kcm16:ip}
N. Khernane, J.-F. Couchot, A. Mostefaoui.
\newblock Maximizing Network Lifetime in Wireless Video Sensor Networks Under Quality Constraints.
\newblock In {\em MOBIWAC 2016: The 14th ACM* International Symposium on Mobility Management and Wireless Access} Malta,  to appear, November, 2016.

\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{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{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{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.

\end{thebibliography}

\subsection{Communications orales invitÃ©es}

J'ai Ã©tÃ© invitÃ©:
\begin{itemize}

\item au Workshop \og ThÃ©orie des rÃ©seaux boolÃ©ens et ses applications en biologie\fg{}  
Ã&nbsp; Nice en novembre 2014;

\item Ã&nbsp; la journÃ©e \og Advances in Mobile Technologies Day\fg{}  par l'UniversitÃ© Antonine  (Liban) en mai 2013;

\item au SÃ©minaire MDSC (ModÃ¨les Discrets pour les SystÃ¨mes Complexes)
  du laboratoire I3S sur le sujet \og Efficiently dealing with SMT-LIB provers in software verification\fg{} en dÃ©cembre 2007.
\end{itemize}

\subsection{Communications diverses}
\vspace{-2em}
\begin{thebibliography}{CHG{\etalchar{+}}14b}

\makeatletter
\addtocounter{\@listctr}{39}
\makeatother

\bibitem{CCGS16:ir}
J.-F. Couchot,  R. Couturier, C. Guyeux, and M. Salomon
\newblock Steganalysis via a Convolutional Neural Network using Large Convolution Filters for Embedding Process with Same Stego Key.
\newblock July, 2016.

\bibitem{acgs13:onp}
 Bassam Alkindy, Jean-FranÃ§ois Couchot, Christophe Guyeux, and Michel Salomon. 
\newblock Finding the core-genes of Chloroplast Species. 
\newblock  JournÃ©es SeqBio 2013, Montpellier, November 2013. 


\newblock Finding the core-genes of chloroplast species.

\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}






% \newpage
% \section{Avis du directeur de l'Equipe}\label{sec:avis:directeur}

%\bibliographystyle{plain}
%\bibliography{abbrev,biblioand}



\end{document}
</pre></body></html>