Back to INDEX

  Publications of Jean-François Couchot  

Articles in journal or book chapters
  1. Jacques Bahi, Jean-François Couchot, Christophe Guyeux, and Michel Salomon. Neural Networks and Chaos: Construction, Evaluation of Chaotic Networks, and Prediction of Chaos with MultiLayer Feedforward Network. Chaos, An Interdisciplinary Journal of Nonlinear Science, 22(1):***--***, 2012. Note: Published online. Paper version to appear. 9 pages. [bibtex]


  2. Jacques Bahi, Jean-François Couchot, and Christophe Guyeux. Steganography: a class of secure and robust algorithms. The Computer Journal, pp ***--***, 2011. Note: Available online. Paper version to appear. [bibtex]


  3. Jean-François Couchot, D. Déharbe, Alain Giorgetti, and S. Ranise. Scalable Automated Proving and Debugging of Set-Based Specifications. Journal of the Brazilian Computer Society (JBCS), 9(2):17--36, November 2003. Note: ISSN 0104-6500. [bibtex]


Conference articles
  1. Jacques Bahi, Jean-François Couchot, Nicolas Friot, and Christophe Guyeux. A Robust Data Hiding Process Contributing to the Development of a Semantic Web. In INTERNET'2012, 4-th Int. Conf. on Evolving Internet, Venice, Italy, pages ***--***, June 2012. Note: To appear. [bibtex]


  2. Jacques Bahi, Jean-François Couchot, Nicolas Friot, and Christophe Guyeux. Application of Steganography for Anonymity through the Internet. In IHTIAP'2012, 1-st Workshop on Information Hiding Techniques for Internet Anonymity and Privacy, Venice, Italy, pages ***--***, June 2012. Note: To appear. [bibtex]


  3. Jean-François Couchot, Karine Deschinkel, and Michel Salomon. Suitability of Artificial Neural Network for MEMS-based Flow Control. In Julien Bourgeois and Michel de Labachelerie, editors, dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS, Besançon, France, pages ***--***, April 2012. IEEE CPS. [bibtex]


  4. Jacques Bahi, Jean-François Couchot, and Christophe Guyeux. Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations. In INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet, Luxembourg, Luxembourg, pages 52--57, June 2011. Note: Best paper award. [bibtex]


  5. Jacques Bahi, Jean-François Couchot, and Christophe Guyeux. Steganography: a Class of Algorithms having Secure Properties. In IIH-MSP-2011, 7-th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing, Dalian, China, pages ***--***, October 2011. Note: To appear. [bibtex]


  6. Jacques Bahi, Jean-François Couchot, Christophe Guyeux, and Adrien Richard. On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems. In FCT'11, 18th Int. Symp. on Fundamentals of Computation Theory, volume 6914 of LNCS, Oslo, Norway, pages 126--137, August 2011. [bibtex]


  7. Jacques Bahi, Jean-François Couchot, Christophe Guyeux, and Qianxue Wang. Class of Trustworthy Pseudo Random Number Generators. In INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet, Luxembourg, Luxembourg, pages ***--***, June 2011. Note: To appear. [bibtex]


  8. Jean-François Couchot, Alain Giorgetti, and Nicolas Stouls. Graph Based Reduction of Program Verification Conditions. In Hassen Saïdi and N. Shankar, editors, AFM'09, Automated Formal Methods (colocated with CAV'09), Grenoble, France, pages 40--47, 2009. ACM Press. [Abstract] [bibtex]


  9. Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, and Alain Giorgetti. Instantiation of Parameterized Data Structures for Model-Based Testing. In Jacques Julliand and Olga Kouchnarenko, editors, B'2007, the 7th Int. B Conference, volume 4355 of LNCS, Besancon, France, pages 96--110, January 2007. Springer. [bibtex]


  10. Jean-François Couchot and Frédéric Dadeau. Guiding the Correction of Parameterized Specifications. In IFM'07, 6th Int. Conf. on Integrated Formal Methods, volume 4591 of LNCS, Oxford, UK, pages 176--194, July 2007. Springer. [bibtex]


  11. Jean-François Couchot and T. Hubert. A Graph-based Strategy for the Selection of Hypotheses. In FTP'07, Int. Workshop on First-Order Theorem Proving, Liverpool, UK, September 2007. [bibtex]


  12. Jean-François Couchot and S. Lescuyer. Handling Polymorphism in Automated Deduction. In CADE'07, 21st Int. Conf. on Automated Deduction, volume 4603 of LNCS, Bremen, Germany, pages 263--278, July 2007. Springer. [bibtex]


  13. Jean-François Couchot, Alain Giorgetti, and Nikolaï Kosmatov. A Uniform Deductive Approach for Parameterized Protocol Safety. In ASE'05: Procs of the 20th IEEE/ACM Int. Conf. on Automated Software Engineering, pages 364--367, 2005. IEEE Computer Society Press. Note: Isbn 1-59593-993-4. [bibtex]


  14. Jean-François Couchot. Vérification d'invariant par superposition. In MAJECSTIC'04, MAnifestation de JEunes Chercheurs STIC, Calais, France, October 2004. Note: Actes en ligne sur http://lil.univ-littoral.fr/~lewandowski/majecstic/programme.html. [Abstract] [bibtex]


  15. Jean-François Couchot, Frédéric Dadeau, D. Déharbe, Alain Giorgetti, and S. Ranise. Proving and Debugging Set-Based Specifications. In A. Cavalcanti and P. Machado, editors, WMF'03 proceedings, volume 95 of ENTCS, Electronic Notes in Theoretical Computer Science, Campina Grande, Brazil, pages 189--208, May 2004. [bibtex]


  16. Jean-François Couchot, D. Déharbe, Alain Giorgetti, and S. Ranise. Barvey : Vérification automatique de consistance de machines abstraites B. In Jacques Julliand, editor, AFADL'04, Approches Formelles dans l'Assistance au Développement de Logiciels,, Besançon, France, pages 369--372, June 2004. Note: Session outils. [bibtex]


  17. Jean-François Couchot and Alain Giorgetti. Analyse d'atteignabilité déductive. In Jacques Julliand, editor, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, pages 269--283, June 2004. [bibtex]


Internal reports
  1. Jacques Bahi, Sylvain Contassot-Vivier, and Jean-François Couchot. Convergence Results of Combining Synchronism and Asynchronism for Discrete-State Discrete-Time Dynamic Network. Research Report RR2010-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, May 2010. [Abstract] [bibtex]


  2. Jacques Bahi, Jean-François Couchot, Olivier Grasset, and Christophe Guyeux. Discrete Dynamical Systems: Necessary Divergence Conditions for Synchronous Iterations. Research Report RR2010-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2010. [bibtex]


  3. Jean-François Couchot. Formal Convergence Proof for Discrete Dynamical Systems. Research Report RR2010-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, May 2010. [Abstract] [bibtex]


Other publications
  1. Jacques Bahi, Jean-François Couchot, and Christophe Guyeux. Steganography: secure and robust algorithms. Journées Codes et Stéganographie, Hôtel de la Monnaie, Rennes, France, March 2012. [bibtex]


  2. Jean-François Couchot. Efficiently dealing with SMT-LIB provers in software verification. Séminaire invité au pôle MDSC (Modèles Discrets pour les Systèmes Complexes) du laboratoire I3S, December 2007. [bibtex]


Back to INDEX

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