Publications

Category article

2017

  • Blind digital watermarking in PDF documents using Spread Transform Dither Modulation
    Multimedia Tools and Applications (Volume 76, Issue (1), 2017, Pages :143 - 161)
    Bitar, Ahmad | Darazi, Rony | Couchot, Jean-François | Couturier, Raphael
    pdf | doi | bibtex
  • Random Walk in a N-cube Without Hamiltonian Cycle to Chaotic Pseudorandom Number Generation: Theoretical and Practical Considerations
    International Journal of Bifurcation and Chaos (IJBC) (Volume 27, Issue (01), jan 2017, Pages :1750014 (18 pages))
    Contassot-Vivier, Sylvain | Couchot, Jean-François | Guyeux, Christophe | Heam, Pierre-Cyrille
    pdf | doi | bibtex

2015

  • STABYLO: STeganography with Adaptive, Bbs, and binarY embedding at LOw cost
    Annals of Telecommunications-Annales des Telecommunications (Volume 70, Issue (9), oct 2015, Pages :441 - 449)
    Couchot, Jean-François | Couturier, Raphael | Guyeux, Christophe
    doi | bibtex

2013

  • Active MEMS-based flow control using artificial neural network
    Mechatronics (Volume 23, Issue (7), oct 2013, Pages :898 - 905)
    Couchot, Jean-François | Deschinkel, Karine | Salomon, Michel
    pdf | doi | bibtex

2012

  • Quality analysis of a chaotic proven keyed hash function
    International Journal on Advances in Internet Technology (Volume 5, Issue (1), 2012, Pages :26--33)
    Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe
    bibtex
  • Steganography: a class of secure and robust algorithms
    The Computer Journal (Volume 55, Issue (6), dec 2012, Pages :653 - 666)
    Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe
    pdf | doi | bibtex
  • Neural Networks and Chaos: Construction, Evaluation of Chaotic Networks, and Prediction of Chaos with MultiLayer Feedforward Network
    Chaos, An Interdisciplinary Journal of Nonlinear Science (Volume 22, Issue (1), mar 2012, Pages :013122-1 -- 013122-9)
    Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe | Salomon, Michel
    pdf | doi | bibtex

2003

  • Scalable Automated Proving and Debugging of Set-Based Specifications
    Journal of the Brazilian Computer Society (JBCS) (Volume 9, Issue (2), nov 2003, Pages :17 - 36)
    Couchot, Jean-François | Déharbe, D. | Giorgetti, Alain | Ranise, S.
    bibtex

Category inproceedings

2017

  • Routing impact on Network Lifetime Maximization using Power/Rate trade-off in WVSN
    13th International Wireless Communications and Mobile Computing Conference (IWCMC 2017) / Valencia, Spain (2017)
    Khernane, Nesrine | Couchot, Jean-François | Mostefaoui, Ahmed
    bibtex
  • Improving Blind Steganalysis in Spatial Domain using a Criterion to Choose the Appropriate Steganalyzer between CNN and SRM+EC
    32nd International Conference on ICT Systems Security and Privacy Protection - IFIP SEC 2017 / Rome, Italie (Volume A VENIR, 2017, Pages pages A VENIR)
    Couchot, Jean-François | Couturier, Raphael | Salomon, Michel
    bibtex

2016

  • Binary Particle Swarm Optimization versus Hybrid Genetic Algorithm for Inferring Well Supported Phylogenetic Trees
    Computational Intelligence Methods for Bioinformatics and Biostatistics (Publisher : Springer, Volume 9874, 2016, Pages pages 165 - 179)
    Alkindy, Bassam | Al-Nuaimi, Bashar | Guyeux, Christophe | Couchot, Jean-François | Salomon, Michel | Alsrraj, Reem | Philippe, Laurent
    pdf | doi | bibtex
  • A Second Order Derivatives based Approach for Steganography
    Proceedings of the 13th International Joint Conference on e-Business and Telecommunications ICETE 2016 / Lisbon, Portugal (Publisher : SciTePress, Volume 4: SECRYPT, 2016, Pages pages 424 - 431)
    Couchot, Jean-François | Couturier, Raphael | Fadil, YOUSRA AHMED | Guyeux, Christophe
    doi | bibtex
  • FPGA Implementation of F2-Linear Pseudorandom Number Generators based on Zynq MPSoC: A Chaotic Iterations Post Processing Case Study
    Proceedings of the 13th International Joint Conference on e-Business and Telecommunications ICETE 2016 / Lisbon, Portugal (Publisher : SciTePress, Volume 4: SECRYPT, 2016, Pages pages 302 - 309)
    Bakiri, Mohammed | Couchot, Jean-François | Guyeux, Christophe
    doi | bibtex
  • Maximizing Network Lifetime in Wireless Video Sensor Networks Under Quality Constraints
    MOBIWAC 2016: The 14th ACM* International Symposium on Mobility Management and Wireless Access / Malta (2016, Pages pages 8 pages)
    Khernane, Nesrine | Couchot, Jean-François | Mostefaoui, Ahmed
    pdf | bibtex

2015

  • Improved Core Genes Prediction for Constructing well-supported Phylogenetic Trees in large sets of Plant Species
    Bioinformatics and Biomedical Engineering / Granada, Spain (Publisher : Springer, Volume 9043, 2015, Pages pages 379 - 390)
    Alkindy, Bassam | Al-Nayyef, Huda | Guyeux, Christophe | Couchot, Jean-François | Salomon, Michel | Bahi, Jacques
    doi | bibtex
  • Using Genetic Algorithm for Optimizing Phylogenetic Tree Inference in Plant Species
    MCEB15, Mathematical and Computational Evolutionary Biology / Porquerolles Island, France (2015)
    Alkindy, Bassam | Guyeux, Christophe | Couchot, Jean-François | Salomon, Michel | Bahi, Jacques
    bibtex
  • Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees based on Subsets of Chloroplastic Core Genes
    Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings / Mexico City, Mexico (Publisher : Springer, Volume 9199, 2015, Pages pages 83 - 96)
    Alkindy, Bassam | Guyeux, Christophe | Couchot, Jean-François | Salomon, Michel | Parisod, Christian | Bahi, Jacques
    doi | bibtex
  • Steganalyzer performances in operational contexts
    2015 International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP) / Adelaide, Australia (Publisher : IEEE, 2015, Pages pages 429 - 432)
    Fadil, YOUSRA AHMED | Couchot, Jean-François | Couturier, Raphael | Guyeux, Christophe
    doi | bibtex
  • Well-supported phylogenies using largest subsets of core-genes by discrete particle swarm optimization
    CIBB 2015, 12th Int. Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics / Naples, Italy (2015, Pages pages ***--***)
    Alsrraj, Reem | Alkindy, Bassam | Guyeux, Christophe | Philippe, Laurent | Couchot, Jean-François
    bibtex
  • Performance Study of Steganalysis Techniques
    ICAR'15, Int. Conf. on applied research in computer science and engineering / Université Antonine & Université Saint-Joseph, Lebanon (2015)
    Al Bouna, Bechara | Couchot, Jean-François | Couturier, Raphael | Fadil, YOUSRA AHMED | Guyeux, Christophe
    bibtex

2014

  • Finding the Core-Genes of Chloroplasts
    ICBBS 2014, 3rd Int. Conf. on Bioinformatics and Biomedical Science / Copenhagen, Denmark (Volume 4, Issue 5, 2014, Pages pages 357--364)
    Alkindy, Bassam | Couchot, Jean-François | Guyeux, Christophe | Mouly, Arnaud | Salomon, Michel | Bahi, Jacques
    bibtex
  • Pseudorandom Number Generators with Balanced Gray Codes
    Secrypt 2014, 11th Int. Conf. on Security and Cryptography / Vienna, Austria (2014, Pages pages 469-475)
    Couchot, Jean-François | Heam, Pierre-Cyrille | Guyeux, Christophe | Wang, Qianxue | Bahi, Jacques
    bibtex
  • Gene Similarity-based Approaches for Determining Core-Genes of Chloroplasts
    BIBM14, IEEE Int. Conf. on Bioinformatics and Biomedicine / Belfast, United Kingdom (2014)
    Alkindy, Bassam | Guyeux, Christophe | Couchot, Jean-François | Salomon, Michel | Bahi, Jacques
    bibtex

2013

  • Quality Studies of an Invisible Chaos-Based Watermarking Scheme with Message Extraction
    IIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing / Beijing, China (2013, Pages pages 547--550)
    Bahi, Jacques | Couchot, Jean-François | Friot, Nicolas | Guyeux, Christophe | Mazouzi, Kamel
    pdf | bibtex

2012

  • Application of Steganography for Anonymity through the Internet
    IHTIAP'2012, 1-st Workshop on Information Hiding Techniques for Internet Anonymity and Privacy / Venice, Italy (2012, Pages pages 96 - 101)
    Bahi, Jacques | Couchot, Jean-François | Friot, Nicolas | Guyeux, Christophe
    bibtex
  • A Robust Data Hiding Process Contributing to the Development of a Semantic Web
    INTERNET'2012, 4-th Int. Conf. on Evolving Internet / Venice, Italy (2012, Pages pages 71 - 76)
    Bahi, Jacques | Couchot, Jean-François | Friot, Nicolas | Guyeux, Christophe
    bibtex
  • Suitability of Artificial Neural Network for MEMS-based Flow Control
    dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS / Besançon, France (2012, Pages pages 1--6)
    Couchot, Jean-François | Deschinkel, Karine | Salomon, Michel
    bibtex

2011

  • Steganography: a Class of Algorithms having Secure Properties
    IIH-MSP-2011, 7-th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing / Dalian, China (2011, Pages pages 109--112)
    Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe
    bibtex
  • Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations
    INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet / Luxembourg, Luxembourg (2011, Pages pages 52--57)
    Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe
    bibtex
  • Class of Trustworthy Pseudo Random Number Generators
    INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet / Luxembourg, Luxembourg (2011, Pages pages 72 - 77)
    Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe | Wang, Qianxue
    bibtex
  • On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems
    FCT'11, 18th Int. Symp. on Fundamentals of Computation Theory / Oslo, Norway (Volume 6914, 2011, Pages pages 126--137)
    Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe | Richard, Adrien
    doi | bibtex

2009

  • Graph Based Reduction of Program Verification Conditions
    AFM'09, Automated Formal Methods (colocated with CAV'09) / Grenoble, France (2009, Pages pages 40--47)
    Couchot, Jean-François | Giorgetti, Alain | Stouls, Nicolas
    bibtex

2007

  • Handling Polymorphism in Automated Deduction
    CADE'07, 21st Int. Conf. on Automated Deduction / Bremen, Germany (Volume 4603, 2007, Pages pages 263--278)
    Couchot, Jean-François | Lescuyer, S.
    doi | bibtex
  • Guiding the Correction of Parameterized Specifications
    IFM'07, 6th Int. Conf. on Integrated Formal Methods / Oxford, UK (Volume 4591, 2007, Pages pages 176--194)
    Couchot, Jean-François | Dadeau, Frédéric
    doi | bibtex
  • A Graph-based Strategy for the Selection of Hypotheses
    FTP'07, Int. Workshop on First-Order Theorem Proving / Liverpool, UK (2007)
    Couchot, Jean-François | Hubert, T.
    bibtex
  • Instantiation of Parameterized Data Structures for Model-Based Testing
    B'2007, the 7th Int. B Conference / Besancon, France (Volume 4355, 2007, Pages pages 96--110)
    Couchot, Jean-François | Dadeau, Frédéric | Bouquet, Fabrice | Giorgetti, Alain
    doi | bibtex

2005

  • A Uniform Deductive Approach for Parameterized Protocol Safety
    ASE'05: Procs of the 20th IEEE/ACM Int. Conf. on Automated Software Engineering (Publisher : IEEE, 2005, Pages pages 364--367)
    Couchot, Jean-François | Giorgetti, Alain | Kosmatov, Nikolaï
    bibtex

2004

  • Proving and Debugging Set-Based Specifications
    WMF'03 proceedings / Campina Grande, Brazil (Volume 95, 2004, Pages pages 189--208)
    Couchot, Jean-François | Dadeau, Frédéric | Déharbe, D. | Giorgetti, Alain | Ranise, S.
    bibtex
  • Analyse d'atteignabilité déductive
    Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04 / Besançon, France (2004, Pages pages 269--283)
    Couchot, Jean-François | Giorgetti, Alain
    bibtex
  • Barvey : Vérification automatique de consistance de machines abstraites B
    AFADL'04, Approches Formelles dans l'Assistance au Développement de Logiciels, / Besançon, France (2004, Pages pages 369--372)
    Couchot, Jean-François | Déharbe, D. | Giorgetti, Alain | Ranise, S.
    bibtex
  • Vérification d'invariant par superposition
    MAJECSTIC'04, MAnifestation de JEunes Chercheurs STIC / Calais, France (2004)
    Couchot, Jean-François
    bibtex

Category misc

2014

  • Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers
    15-th Mons Theoretical Computer Science Days (15e Journées Montoises d'Informatique Théorique), Nancy, France (sep 2014)
    Couchot, Jean-François | Heam, Pierre-Cyrille | Guyeux, Christophe | Wang, Qianxue | Bahi, Jacques
    bibtex

2013

  • Finding the core-genes of Chloroplast Species
    Journées SeqBio 2013, Montpellier (nov 2013)
    Alkindy, Bassam | Couchot, Jean-François | Guyeux, Christophe | Salomon, Michel
    bibtex
  • Advances in Mobile Technologies Day
    La recherche et les technologies mobiles (may 2013)
    Couchot, Jean-François
    bibtex
  • La recherche et les technologies mobiles
    Communication Advances in Mobile Technologies Day, 9-05-2013, Université Antonine, Liban (may 2013)
    Couchot, Jean-François
    bibtex

2012

  • Steganography: secure and robust algorithms
    Journées Codes et Stéganographie, Hôtel de la Monnaie, Rennes, France (mar 2012)
    Bahi, Jacques | Couchot, Jean-François | Guyeux, Christophe
    bibtex

2007

  • 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} (dec 2007)
    Couchot, Jean-François
    bibtex

2004

  • Barvey : Vérification automatique de consistance de machines abstraites B
    ( 2004)
    Couchot, Jean-François | Déharbe, D. | Giorgetti, Alain | Ranise, S.
    bibtex

Category phdthesis

2006

  • Vérification d'invariant de systèmes paramétrés par superposition
    (apr 2006, Thèse de {D}octorat)
    Couchot, Jean-François
    pdf | bibtex

Category techreport

2010

  • Convergence Results of Combining Synchronism and Asynchronism for Discrete-State Discrete-Time Dynamic Network
    (may 2010, Research Report, Number RR2010-02)
    Bahi, Jacques | Contassot-Vivier, Sylvain | Couchot, Jean-François
    bibtex
  • Formal Convergence Proof for Discrete Dynamical Systems
    (may 2010, Research Report, Number RR2010-03)
    Couchot, Jean-François
    bibtex
  • Discrete Dynamical Systems: Necessary Divergence Conditions for Synchronous Iterations
    (sep 2010, Research Report, Number RR2010-04)
    Bahi, Jacques | Couchot, Jean-François | Grasset, Olivier | Guyeux, Christophe
    bibtex