+@article{bcgs12:ij,
+inhal = {no},
+domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
+equipe = {and},
+classement = {ACLI},
+impact-factor ={2.081},
+isi-acro = {CHAOS},
+author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Salomon, Michel},
+title = {Neural Networks and Chaos: Construction, Evaluation of Chaotic Networks, and Prediction of Chaos with MultiLayer Feedforward Network},
+journal = {Chaos, An Interdisciplinary Journal of Nonlinear Science},
+volume = 22,
+number = 1,
+pages = {013122-1 -- 013122-9},
+doi = {10.1063/1.3685524},
+url = {http://dx.doi.org/10.1063/1.3685524},
+publisher = {American Institute of Physics},
+month = mar,
+year = 2012,
+note = {9 pages},
+
+}
+
+
+@inproceedings{bgs11:ip,
+inhal = {no},
+domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
+equipe = {and},
+classement = {ACTI},
+author = {Bahi, Jacques M. and Guyeux, Christophe and Salomon, Michel},
+title = {Building a Chaotic Proven Neural Network},
+booktitle = {ICCANS 2011, IEEE Int. Conf. on Computer Applications and Network Security},
+address = {Maldives, Maldives},
+month = may,
+year = 2011,
+}
+
+@ARTICLE{guyeux09,
+ author = {Bahi, Jacques M. and Guyeux, Christophe},
+ title = {Hash Functions Using Chaotic Iterations},
+ journal = {Journal of Algorithms \& Computational Technology},
+ year = {2010},
+ volume = {4},
+ pages = {167--181},
+ number = {2},
+ classement = {ACLNI},
+ domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
+ equipe = {and},
+ impact-factor = {#},
+ inhal = {no},
+ isi-acro = {#}
+}
+
+
+
+@PHDTHESIS{GuyeuxThese10,
+ author = {Christophe Guyeux},
+ title = {Le d\'{e}sordre des it\'{e}rations chaotiques et leur utilit\'{e}
+ en s\'{e}curit\'{e} informatique},
+ school = {Universit\'{e} de Franche-Comt\'{e}},
+ year = {2010},
+ owner = {christophe},
+ timestamp = {2010.12.21}
+}
+
+@INPROCEEDINGS{gfb10:ip,
+ author = {Guyeux, Christophe and Friot, Nicolas and Bahi, Jacques M.},
+ title = {Chaotic iterations versus Spread-spectrum: chaos and stego security},
+ booktitle = {IIH-MSP'10, 6-th International Conference on Intelligent Information Hiding and
+ Multimedia Signal Processing},
+ year = {2010},
+ pages = {208--211},
+ address = {Darmstadt, Germany},
+ month = oct,
+ classement = {ACTI},
+ domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
+ equipe = {and},
+ inhal = {no}
+}
+
+
+@ARTICLE{Adler65,
+ author = {R. L. Adler and A. G. Konheim and M. H. McAndrew},
+ title = {Topological entropy},
+ journal = {Transactions of the American Mathematical Society},
+ year = {1965},
+ volume = {114},
+ pages = {309-319},
+ owner = {guyeux},
+ timestamp = {2008.05.29}
+}
+
+@ARTICLE{Bowen,
+ author = {Rufus Bowen},
+ title = {Entropy for group endomorphisms and homogeneous spaces},
+ journal = {Transactions of the American Mathematical Society},
+ year = {1971},
+ volume = {153},
+ pages = {401-414},
+ owner = {guyeux},
+ timestamp = {15/02/2008}
+}
+
+@article{10.1109/CIMSiM.2010.36,
+author = {Jiri Holoska and Zuzana Oplatkova and Ivan Zelinka and Roman Senkerik},
+title = {Comparison between Neural Network Steganalysis and Linear Classification Method Stegdetect},
+journal ={Computational Intelligence, Modelling and Simulation, International Conference on.},
+volume = {0},
+year = {2010},
+pages = {15-20},
+doi = {http://doi.ieeecomputersociety.org/10.1109/CIMSiM.2010.36},
+publisher = {IEEE Computer Society},
+address = {Los Alamitos, CA, USA},
+}
+@article{10.1109/ICME.2003.1221665,
+author = {Liu Shaohui and Yao Hongxun and Gao Wen},
+title = {Neural network based steganalysis in still images},
+journal ={Multimedia and Expo, IEEE International Conference on},
+volume = {2},
+year = {2003},
+pages = {509-512},
+doi = {http://doi.ieeecomputersociety.org/10.1109/ICME.2003.1221665},
+publisher = {IEEE Computer Society},
+address = {Los Alamitos, CA, USA},
+}
+
+@ARTICLE{Sullivan06steganalysisfor,
+ author = {Sullivan, Kenneth and Madhow,Upamanyu and Chandrasekaran,Shivkumar and Manjunath,B. S. },
+ title = {Steganalysis for Markov cover data with applications to images},
+ journal = {IEEE Transactions on Information Forensics and Security},
+ year = {2006},
+ volume = {1},
+ pages = {275--287}
+}
+
+
+@misc{Gray47,
+year=1953,
+author = "Gray, Frank",
+title = "Pulse code communication",
+note = "{US} Patent 2,632,058, March 17 1953,(filed November 13 1947)"}
+
+
+
+
+@INPROCEEDINGS{guyeux10ter,
+ author = {Bahi, Jacques M. and Guyeux, Christophe},
+ title = {A new chaos-based watermarking algorithm},
+ booktitle = {SECRYPT'10, International Conference on Security
+and Cryptography},
+ year = {2010},
+ pages = {455--458},
+ address = {Athens, Greece},
+ month = jul,
+ publisher = {SciTePress},
+ classement = {ACTI},
+ domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
+ equipe = {and},
+ inhal = {no}
+}
+
+
+@inproceedings{Qiao:2009:SM:1704555.1704664,
+ author = {Qiao, Mengyu and Sung, Andrew H. and Liu, Qingzhong},
+ title = {Steganalysis of MP3Stego},
+ booktitle = {Proceedings of the 2009 international joint conference on Neural Networks},
+ series = {IJCNN'09},
+ year = {2009},
+ location = {Atlanta, Georgia, USA},
+ pages = {2723--2728},
+ numpages = {6},
+ publisher = {IEEE Press}
+}
+
+@inproceedings{CouchotD07IFM,
+inhal = {no},
+domainehal = {INFO:INFO_SE, INFO:INFO_MO},
+equipe = {ie},
+classement = {*},
+author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric},
+title = {Guiding the Correction of Parameterized Specifications},
+booktitle = {IFM'07, 6th Int. Conf. on Integrated Formal Methods},
+pages = {176--194},
+series = {LNCS},
+volume = 4591,
+publisher = {Springer},
+doi = {10.1007/978-3-540-73210-5_10},
+url = {http://dx.doi.org/10.1007/978-3-540-73210-5_10},
+address = {Oxford, UK},
+month = jul,
+year = 2007,
+
+}
+
+@inproceedings{couchot07FTP,
+inhal = {no},
+equipe = {and},
+classement = {*},
+author = {Couchot, Jean-Fran\c{c}ois and Hubert, T.},
+title = {A Graph-based Strategy for the Selection of Hypotheses},
+booktitle = {FTP'07, Int. Workshop on First-Order Theorem Proving},
+address = {Liverpool, UK},
+month = sep,
+year = 2007,
+
+}
+
+
+@inproceedings{cgs09:ip,
+inhal = {inria},
+domainehal = {INFO:INFO_SE, INFO:INFO_MO},
+equipe = {ie},
+classement = {ACTI},
+author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain and Stouls, Nicolas},
+title = {{G}raph {B}ased {R}eduction of {P}rogram {V}erification {C}onditions},
+abstract = {{I}ncreasing the automaticity of proofs in deductive verification of {C} programs is a challenging task. {W}hen applied to industrial {C} programs known heuristics to generate simpler verification conditions are not efficient enough. {T}his is mainly due to their size and a high number of irrelevant hypotheses. {T}his work presents a strategy to reduce program verification conditions by selecting their relevant hypotheses. {T}he relevance of a hypothesis is determined by the combination of a syntactic analysis and two graph traversals. {T}he first graph is labeled by constants and the second one by the predicates in the axioms. {T}he approach is applied on a benchmark arising in industrial program verification.},
+affiliation = {{L}aboratoire d'{I}nformatique de l'{U}niversit{\'e} de {F}ranche-{C}omt{\'e} - {LIFC} - {INRIA} - {U}niversit{\'e} de {F}ranche-{C}omt{\'e} - {AMAZONES} - {CITI} {I}nsa {L}yon / {INRIA} {G}renoble {R}h{\^o}ne-{A}lpes - {INSA} - {I}nstitut {N}ational des {S}ciences {A}ppliqu{\'e}es - {INRIA} },
+booktitle = {AFM'09, {A}utomated {F}ormal {M}ethods (colocated with {CAV}'09)},
+publisher = {ACM Press},
+pages = {40--47},
+url = {http://arxiv.org/abs/0907.1357},
+otherUrl = {http://hal.inria.fr/inria-00402204},
+address = {Grenoble, France},
+editor = {Hassen Sa\"{i}di and N. Shankar},
+year = 2009,
+
+}
+
+
+
+@inproceedings{couchot07cade,
+inhal = {no},
+equipe = {and},
+classement = {*},
+author = {Couchot, Jean-Fran\c{c}ois and Lescuyer, S.},
+title = {Handling Polymorphism in Automated Deduction},
+booktitle = {CADE'07, 21st Int. Conf. on Automated Deduction},
+pages = {263--278},
+series = {LNCS},
+volume = 4603,
+publisher = {Springer},
+isbn = {978-3-540-73594-6},
+doi = {10.1007/978-3-540-73595-3_18},
+url = {http://dx.doi.org/10.1007/978-3-540-73595-3_18},
+address = {Bremen, Germany},
+month = jul,
+year = 2007,
+
+}
+
+
+
+
+
+
+
+@inproceedings{BCDG07,
+inhal = {no},
+domainehal = {INFO:INFO_SE, INFO:INFO_MO},
+equipe = {vesontio},
+classement = {ACTI},
+author = {Bouquet, Fabrice and Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and Giorgetti, Alain},
+title = {Instantiation of Parameterized Data Structures for Model-Based Testing},
+booktitle = {B'2007, the 7th Int. B Conference},
+pages = {96--110},
+series = {LNCS},
+volume = 4355,
+publisher = {Springer},
+doi = {10.1007/11955757_10},
+url = {http://dx.doi.org/10.1007/11955757_10},
+editor = {Julliand, Jacques and Kouchnarenko, Olga},
+address = {Besancon, France},
+month = jan,
+year = 2007,
+
+}
+
+
