From 6805214bbb0a65ad2b0c90972dc14c541e6b851d Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jean-Fran=C3=A7ois=20Couchot?= Date: Fri, 21 Aug 2015 17:57:04 +0200 Subject: [PATCH] =?utf8?q?modifs=20apr=C3=A8s=20christophe?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- 14Secrypt.tex | 2 - demandeInscription/synthese.tex | 466 ++++++++++++++++++++++---------- 2 files changed, 328 insertions(+), 140 deletions(-) diff --git a/14Secrypt.tex b/14Secrypt.tex index a60e4ff..a04c11e 100644 --- a/14Secrypt.tex +++ b/14Secrypt.tex @@ -567,6 +567,4 @@ Par exemple, pour $n=3$, l'ensemble $\textit{Set}(6)$ vaudraitt $\{3,2\}$. On remarque aussi que l'argument de la fonction $\textit{Random}$ passe de $n$ à $2^n$. -Dans ce qui suit, on va étudier cet algorithme comparativement à -l'algorithme~\ref{CI Algorithm}. diff --git a/demandeInscription/synthese.tex b/demandeInscription/synthese.tex index 2255df8..5665e3c 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,9 @@ 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}. \subsection{Vérification de programmes par preuve automatique}\label{sub:verif} @@ -312,7 +322,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 +330,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 +431,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 +471,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 +596,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 +618,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 +653,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 +688,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 +738,6 @@ Ceci se réalisera notamment au travers du doctorat de Y. Fadil. - - \newpage \section{Insertion dans l'équipe de recherche} @@ -849,61 +865,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 +937,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 +979,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 +988,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 +1039,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 +1055,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 +1085,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 +1142,164 @@ 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 & \\ +\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} -- 2.39.5