bib/biblioand.bib

   1 % This file was created with JabRef 2.3.1.
   2 % Encoding: ANSI_X3.4-1968
   3
   4
   5
   6 @inproceedings{bcg11:ip,
   7 inhal = {no},
   8 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
   9 equipe = {and},
  10 classement = {ACTI},
  11 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
  12 title = {Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations},
  13 booktitle = {INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
  14 pages = {52--57},
  15 address = {Luxembourg, Luxembourg},
  16 month = jun,
  17 year = 2011,
  18 note = {Best paper award},
  19
  20 }
  21
  22 @article{bcg12:ij,
  23 inhal = {no},
  24 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
  25 equipe = {and},
  26 classement = {ACLNI},
  27 impact-factor ={#},
  28 isi-acro = {#},
  29 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
  30 title = {Quality analysis of a chaotic proven keyed hash function},
  31 journal = {International Journal On Advances in Internet Technology},
  32 pages = {26--33},
  33 volume = 5,
  34 number = 1,
  35 publisher = {IARIA},
  36 year = 2012,
  37
  38 }
  39
  40
  41 @article{ccg15:ij,
  42 inhal = {no},
  43 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
  44 equipe = {and},
  45 classement = {ACLI},
  46 impact-factor ={#},
  47 isi-acro = {#},
  48 author = {Couchot, Jean-Fran\c{c}ois and Couturier, Rapha\"el and Guyeux, Christophe},
  49 title = {{STABYLO}: {STeganography with Adaptive, Bbs, and binarY embedding at LOw cost}},
  50 journal = {Annals of Telecommunications},
  51 doi = {10.1007/s12243-015-0466-7},
  52 url = {http://dx.doi.org/10.1007/s12243-015-0466-7},
  53 publisher = {Springer},
  54 year = 2015,
  55 note = {Available online. Paper version to appear},
  56
  57 }
  58
  59 @inproceedings{fccg15:ip,
  60 inhal = {no},
  61 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
  62 equipe = {and},
  63 classement = {ACTI},
  64 author = {Fadil, Yousra Ahmed and Couchot, Jean-Fran\c{c}ois and Couturier, Rapha\"el and Guyeux, Christophe},
  65 title = {Steganalyzer performances in operational contexts},
  66 booktitle = {IIH-MSP 2015, 11th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing},
  67 pages = {***--***},
  68 address = {Adelaide, Australia},
  69 month = sep,
  70 year = 2015,
  71 note = {To appear},
  72
  73 }
  74
  75
  76 @inproceedings{bcfg12a:ip,
  77 inhal = {no},
  78 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
  79 equipe = {and},
  80 classement = {ACTI},
  81 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Friot, Nicolas and Guyeux, Christophe},
  82 title = {Application of Steganography for Anonymity through the Internet},
  83 booktitle = {IHTIAP'2012, 1-st Workshop on Information Hiding Techniques for Internet Anonymity and Privacy},
  84 pages = {96--101},
  85 url = {http://arxiv.org/abs/1202.5302v1},
  86 address = {Venice, Italy},
  87 month = jun,
  88 year = 2012,
  89
  90 }
  91
  92
  93 @inproceedings{bcfg+13:ip,
  94 inhal = {no},
  95 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
  96 equipe = {and},
  97 classement = {ACTI},
  98 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Friot, Nicolas and Guyeux, Christophe and Mazouzi, Kamel},
  99 title = {Quality Studies of an Invisible Chaos-Based Watermarking Scheme with Message Extraction},
 100 booktitle = {IIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing},
 101 pages = {547--550},
 102 doi = {10.1109/IIH-MSP.2013.141},
 103 url = {http://dx.doi.org/10.1109/IIH-MSP.2013.141},
 104 address = {Beijing, China},
 105 month = oct,
 106 year = 2013,
 107
 108 }
 109
 110 @inproceedings{bcfg12b:ip,
 111 inhal = {no},
 112 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 113 equipe = {and},
 114 classement = {ACTI},
 115 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Friot, Nicolas and Guyeux, Christophe},
 116 title = {A Robust Data Hiding Process Contributing to the Development of a Semantic Web},
 117 booktitle = {INTERNET'2012, 4-th Int. Conf. on Evolving Internet},
 118 pages = {71--76},
 119 address = {Venice, Italy},
 120 month = jun,
 121 year = 2012,
 122
 123 }
 124
 125
 126
 127
 128
 129 @inproceedings{bcg11b:ip,
 130 inhal = {no},
 131 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 132 equipe = {and},
 133 classement = {ACTI},
 134 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
 135 title = {Steganography: a Class of Algorithms having Secure Properties},
 136 booktitle = {IIH-MSP-2011, 7-th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing},
 137 pages = {109--112},
 138 address = {Dalian, China},
 139 month = oct,
 140 year = 2011,
 141
 142 }
 143
 144
 145 @article{bcg11:ij,
 146 inhal = {no},
 147 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 148 equipe = {and},
 149 classement = {ACLI},
 150 impact-factor ={1.363},
 151 isi-acro = {COMPUT J},
 152 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
 153 title = {Steganography: a class of secure and robust algorithms},
 154 journal = {The Computer Journal},
 155 volume = 55,
 156 number = 6,
 157 pages = {653--666},
 158 doi = {10.1093/comjnl/bxr116},
 159 url = {http://dx.doi.org/10.1093/comjnl/bxr116},
 160 publisher = {Oxford University Press},
 161 year = 2012,
 162 }
 163
 164
 165
 166 @inproceedings{bcgw11:ip,
 167 inhal = {no},
 168 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 169 equipe = {and},
 170 classement = {ACTI},
 171 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Wang, Qianxue},
 172 title = {Class of Trustworthy Pseudo Random Number Generators},
 173 booktitle = {INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
 174 pages = {72--77},
 175 address = {Luxembourg, Luxembourg},
 176 month = jun,
 177 year = 2011,
 178
 179 }
 180
 181 @misc{chgw+14:onp,
 182 inhal = {no},
 183 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 184 equipe = {and},
 185 classement = {COM},
 186 author = {Couchot, Jean-Fran\c{c}ois and H\'eam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques},
 187 title = {Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers},
 188 howpublished = {15-th Mons Theoretical Computer Science Days (15e Journ\'ees Montoises d'Informatique Th\'eorique), Nancy, France},
 189 day = 23,
 190 month = sep,
 191 year = 2014,
 192 }
 193
 194 @inproceedings{aagp+15:ip,
 195 inhal = {no},
 196 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 197 equipe = {and},
 198 classement = {ACTIN},
 199 author = {Alsrraj, Reem and Alkindy, Bassam and Guyeux, Christophe and Philippe, Laurent and Couchot, Jean-Fran\c{c}ois},
 200 title = {Well-supported phylogenies using largest subsets of core-genes by discrete particle swarm optimization},
 201 booktitle = {CIBB 2015, 12th Int. Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics},
 202 pages = {***--***},
 203 address = {Naples, Italy},
 204 day = 10,
 205 month = sep,
 206 year = 2015,
 207 note = {To appear},
 208
 209 }
 210
 211 @inproceedings{acgm+14:ij,
 212 inhal = {no},
 213 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 214 equipe = {and},
 215 classement = {ACTI},
 216 author = {Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Mouly, Arnaud and Salomon, Michel and Bahi, Jacques},
 217 title = {Finding the Core-Genes of Chloroplasts},
 218 booktitle = {ICBBS 2014, 3rd Int. Conf. on Bioinformatics and Biomedical Science},
 219 pages = {357--364},
 220 series = {IJBBB, Journal of Bioscience, Biochemistery, and Bioinformatics},
 221 number = {4(5)},
 222 doi = {10.7763/IJBBB.2014.V4.371},
 223 url = {http://dx.doi.org/10.7763/IJBBB.2014.V4.371},
 224 address = {Copenhagen, Denmark},
 225 day = 18,
 226 month = jun,
 227 year = 2014,
 228
 229 }
 230
 231
 232
 233
 234 @inproceedings{akgcs+14:oip,
 235 inhal = {no},
 236 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 237 equipe = {and},
 238 classement = {COM},
 239 author = {Alkindy, Bassam and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Bahi, Jacques},
 240 title = {Gene Similarity-based Approaches for Determining Core-Genes of Chloroplasts},
 241 booktitle = {BIBM14, IEEE Int. Conf. on Bioinformatics and Biomedicine},
 242 address = {Belfast, United Kingdom},
 243 day = 2,
 244 month = nov,
 245 year = 2014,
 246 note = {Short paper},
 247 }
 248
 249 @misc{acgs13:onp,
 250 inhal = {no},
 251 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 252 equipe = {and},
 253 classement = {COM},
 254 author = {Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Salomon, Michel},
 255 title = {Finding the core-genes of Chloroplast Species},
 256 howpublished = {Journ\'ees SeqBio 2013, Montpellier},
 257 month = nov,
 258 year = 2013,
 259
 260 }
 261
 262
 263
 264
 265
 266 @PhdThesis{guyeuxphd,
 267 author = {Guyeux, Christophe},
 268 title = {Le désordre des it\'erations chaotiques et leur utilit\'e en sécurit\'e informatique},
 269 type = {Th\`ese de {D}octorat},
 270 school = {LIFC, Universit\'e de Franche-Comt\'e},
 271 equipe = {AND},
 272 note = {Rapporteurs~: Pascale Charpin, Directrice de Recherche, INRIA-Rocquencourt ; Eric Filiol, Professeur, ESIEA-Laval ; Pierre Spitéri, Professeur Emérite, IRIT-ENSEEIHT. Examinateurs~: Michel de Labachelerie, Directeur de recherche CNRS, Université de Franche-Comté ; Laurent Larger, Professeur, Université de Franche-Comté ; Jean-Claude Miellou, Professeur, Université de Franche-Comté ; Congduc Pham, Professeur, Université de Pau. Directeur~: Jacques M. Bahi, Professeur, Université de Franche-Comté},
 273 month = {13 décembre},
 274 year = 2010,
 275
 276 }
 277
 278 @inproceedings{chgw+14:oip,
 279 inhal = {no},
 280 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO, INFO:INFO_SE},
 281 equipe = {ie},
 282 author = {Couchot, Jean-Fran\c{c}ois and H\'eam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques},
 283 title = {Pseudorandom Number Generators with Balanced Gray Codes},
 284 booktitle = {Secrypt 2014, 11th Int. Conf. on Security and Cryptography},
 285 pages = {469--475},
 286 address = {Vienna, Austria},
 287 month = aug,
 288 date = aug,
 289 year = 2014
 290 }
 291
 292
 293
 294
 295 @INPROCEEDINGS{nusmv02,
 296   author = {Alessandro Cimatti and Edmund M. Clarke and Enrico Giunchiglia and
 297         Fausto Giunchiglia and Marco Pistore and Marco Roveri and Roberto
 298         Sebastiani and Armando Tacchella},
 299   title = {NuSMV 2: An OpenSource Tool for Symbolic Model Checking},
 300   booktitle = {CAV},
 301   year = {2002},
 302   pages = {359-364},
 303   crossref = {DBLP:conf/cav/2002}
 304 }
 305
 306 @unpublished{Cha06,
 307 author = {Nishanth Chandrasekaran},
 308 title = {Verifying Convergence of Asynchronous Iterative Algorithms based on Lyapunov Functions},
 309 year = 2006,
 310 }
 311
 312 @InProceedings{GO01,
 313  Author    = "Gastin, P. and Oddoux, D.",
 314  Title     = "Fast {LTL} to {B{\"u}chi} Automata Translation",
 315  BookTitle = "Proceedings of the 13th Conference on Computer Aided Verification (CAV'01)",
 316  Publisher = "Springer",
 317  Series    = lncs,
 318  Number    = 2102,
 319  Year      = 2001,
 320  Pages     = "53--65"
 321 }
 322
 323 @inproceedings{cg04:np,
 324 inhal = {no},
 325 author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain},
 326 title = {Analyse d'atteignabilit\'e d\'eductive},
 327 booktitle = {Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, AFADL'04},
 328 pages = {269--283},
 329 editor = {Julliand, Jacques},
 330 address = {Besan\c{c}on, France},
 331 month = jun,
 332 year = 2004,
 333
 334 }
 335
 336
 337 @article{cdgr03:ij,
 338 inhal = {no},
 339 author = {Couchot, Jean-Fran\c{c}ois and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
 340 title = {Scalable Automated Proving and Debugging of Set-Based Specifications},
 341 journal = {Journal of the Brazilian Computer Society (JBCS)},
 342 volume = 9,
 343 number = 2,
 344 pages = {17--36},
 345 url = {http://lifc.univ-fcomte.fr/~couchot/pubs/CDGR03.pdf},
 346 month = nov,
 347 year = 2003,
 348 note = {ISSN 0104-6500},
 349
 350 }
 351
 352
 353 @inproceedings{cddg+04:ip,
 354 inhal = {no},
 355 domainehal = {INFO:INFO_SE, INFO:INFO_MO},
 356 equipe = {vesontio},
 357 author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
 358 title = {Proving and Debugging Set-Based Specifications},
 359 booktitle = {WMF'03 proceedings},
 360 series = {ENTCS, Electronic Notes in Theoretical Computer Science},
 361 volume = 95,
 362 pages = {189--208},
 363 editor = {A. Cavalcanti and P. Machado},
 364 address = {Campina Grande, Brazil},
 365 url = {http://dx.doi.org/10.1016/j.entcs.2004.04.012},
 366 month = may,
 367 year = 2004,
 368
 369 }
 370
 371
 372 @inproceedings{cdgr04:onp,
 373 inhal = {no},
 374 author = {Couchot, Jean-Fran\c{c}ois and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
 375 title = {{B}arvey~: {V}\'erification automatique de consistance de machines abstraites {B}},
 376 pages = {369--372},
 377 booktitle = {AFADL'04, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, },
 378 address = {Besan\c{c}on, France},
 379 month = jun,
 380 year = 2004,
 381 editor = {Julliand, Jacques},
 382 note = {Session outils},
 383
 384 }
 385
 386
 387 @INPROCEEDINGS{CGK05,
 388   author = {Jean-Fran\c{c}ois Couchot and Alain Giorgetti and Nikolai Kosmatov},
 389   title = {A uniform deductive approach for parameterized protocol safety},
 390   booktitle = {ASE},
 391   year = {2005},
 392   pages = {364-367},
 393   bibsource = {DBLP, http://dblp.uni-trier.de},
 394   crossref = {DBLP:conf/kbse/2005},
 395   ee = {http://doi.acm.org/10.1145/1101908.1101971}
 396 }
 397
 398 @INPROCEEDINGS{abcvs05,
 399   author = {Abbas, A. and Bahi, J. M. and Contassot-Vivier, S. and Salomon, M.},
 400   title = {Mixing Synchronism / Asynchronism in Discrete-State Discrete-Time
 401         Dynamic Networks},
 402   booktitle = {4th Int. Conf. on Engineering Applications and Computational Algorithms,
 403         DCDIS'2005},
 404   year = {2005},
 405   pages = {524--529},
 406   address = {Guelph, Canada},
 407   month = jul,
 408   note = {ISSN 1492-8760}
 409 }
 410
 411 @ARTICLE{Bah00,
 412   author = {Bahi, J. M.},
 413   title = {Boolean totally asynchronous iterations},
 414   journal = ijma,
 415   year = {2000},
 416   volume = {1},
 417   pages = {331--346}
 418 }
 419
 420 @ARTICLE{BCV06,
 421   author = {Bahi, J. M. and Contassot-Vivier, S.},
 422   title = {Basins of attraction in fully asynchronous discrete-time discrete-state
 423         dynamic networks},
 424   journal = TNN,
 425   year = {2006},
 426   volume = {17},
 427   pages = {397-408},
 428   number = {2}
 429 }
 430
 431 @ARTICLE{bcv02,
 432   author = {Bahi, J. M. and Contassot-Vivier, S.},
 433   title = {Stability of fully asynchronous discrete-time discrete-state dynamic
 434         networks},
 435   journal = TNN,
 436   year = {2002},
 437   volume = {13},
 438   pages = {1353--1363},
 439   number = {6}
 440 }
 441
 442
 443 @inproceedings{bcgr11:ip,
 444 inhal = {no},
 445 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 446 equipe = {and},
 447 classement = {ACTI},
 448 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Richard, Adrien},
 449 title = {On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems},
 450 booktitle = {FCT'11, 18th Int. Symp. on Fundamentals of Computation Theory},
 451 series = {LNCS},
 452 volume = 6914,
 453 pages = {126--137},
 454 doi = {10.1007/978-3-642-22953-4_11},
 455 url = {http://dx.doi.org/10.1007/978-3-642-22953-4_11},
 456 address = {Oslo, Norway},
 457 month = aug,
 458 year = 2011,
 459
 460 }
 461
 462
 463
 464 @techreport{BCVC10:ir,
 465   author = {Bahi, J. M. and Contassot-Vivier, S. and Couchot, J.-F.},
 466   title = {Convergence Results of Combining Synchronism and Asynchronism for
 467         Discrete-State Discrete-Time Dynamic Network},
 468   year = {2010},
 469  institution = {LIFC - Laboratoire d’{I}nformatique de
 470                 l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
 471  type = {Research Report},
 472  number = {RR2010-02},
 473  pdf = {/publis/papers/pub/2010/RR2010-02.pdf},
 474  month = may
 475  }
 476
 477 @techreport{Cou10:ir,
 478   author = {Couchot, J.-F.},
 479   title = {Formal {C}onvergence {P}roof for {D}iscrete
 480 {D}ynamical {S}ystems},
 481  institution = {LIFC - Laboratoire d’{I}nformatique de
 482                 l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
 483  type = {Research Report},
 484  number = {RR2010-03},
 485  pdf = {/publis/papers/pub/2010/RR2010-03.pdf},
 486  month = may,
 487  year = 2010
 488  }
 489
 490
 491
 492 @ARTICLE{BM00,
 493   author = {Bahi, J. M. and Michel, C.},
 494   title = {Convergence of discrete asynchronous iterations},
 495   journal = {International Journal Computer Mathematics},
 496   year = {2000},
 497   volume = {74},
 498   pages = {113--125}
 499 }
 500
 501 @ARTICLE{BM99,
 502   author = {Bahi, J. M. and Michel, C.},
 503   title = {Simulations of asynchronous evolution of discrete systems},
 504   journal = {Simulation Practice and Theory},
 505   year = {1999},
 506   volume = {7},
 507   pages = {309--324}
 508 }
 509
 510
 511 @ARTICLE{Bau78,
 512   author = {G\'{e}rard M. Baudet},
 513   title = {Asynchronous Iterative Methods for Multiprocessors},
 514   journal = JACM,
 515   year = {1978},
 516   volume = {25},
 517   pages = {226--244},
 518   number = {2},
 519   doi = {http://doi.acm.org/10.1145/322063.322067},
 520   issn = {0004-5411},
 521   publisher = {ACM}
 522 }
 523
 524 @BOOK{BT89,
 525   title = {Parallel and distributed computation: numerical methods},
 526   publisher = prenticeHall,
 527   year = {1989},
 528   author = {Dimitri P. Bertsekas and John N. Tsitsiklis},
 529   isbn = {0-13-648700-9}
 530 }
 531
 532 @ARTICLE{blast07,
 533   author = {Dirk Beyer and Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar},
 534   title = {The software model checker Blast},
 535   journal = STTT,
 536   year = {2007},
 537   volume = {9},
 538   pages = {505-525},
 539   number = {5-6}
 540 }
 541
 542 @INPROCEEDINGS{LeCun85,
 543   author = {Y Le~Cun},
 544   title = {A learning scheme for threshold networks},
 545   booktitle = {Cognitiva'95},
 546   year = {1985},
 547   pages = {599--604},
 548   address = {Paris, France}
 549 }
 550
 551 @ARTICLE{Elm90,
 552   author = {Jeffrey L. Elman},
 553   title = {Finding Structure in Time},
 554   journal = {Cognitive Science},
 555   year = {1990},
 556   volume = {14},
 557   pages = {179--211}
 558 }
 559
 560 @ARTICLE{FS00,
 561   author = {Andreas Frommer and Daniel B. Szyld},
 562   title = {On asynchronous iterations},
 563   journal = JCAM,
 564   year = {2000},
 565   volume = {123},
 566   pages = {201--216},
 567   number = {1-2},
 568   doi = {http://dx.doi.org/10.1016/S0377-0427(00)00409-X},
 569   issn = {0377-0427},
 570   publisher = elsevier
 571 }
 572
 573 @ARTICLE{GS08,
 574   author = {Goles Ch., E. and Salinas,L.},
 575   title = {Comparison between parallel and serial dynamics of Boolean networks},
 576   journal = tcs,
 577   year = {2008},
 578   volume = {396},
 579   pages = {247--253},
 580   number = {1-3}
 581 }
 582
 583 @BOOK{Hol03,
 584   title = {The SPIN Model Checker: Primer and Reference Manual},
 585   publisher = {Addison-Wesley, Pearson Education},
 586   year = {2003},
 587   author = {Gerard J. Holzmann}
 588 }
 589
 590 @ARTICLE{SH99,
 591   author = {Shih M.-H. and Ho, J.-L.},
 592   title = {Solution of the Boolean Markus-Yamabe Problem},
 593   journal = advapplMath,
 594   year = {1999},
 595   volume = {22},
 596   pages = {60 - 102},
 597   number = {1}
 598 }
 599
 600 @ARTICLE{Ric08,
 601   author = {Adrien Richard},
 602   title = {An extension of a combinatorial fixed point theorem of Shih and Dong
 603         },
 604   journal = advapplMath,
 605   year = {2008},
 606   volume = {41},
 607   pages = {620--627},
 608   number = {4},
 609   publisher = elsevier
 610 }
 611
 612 @ARTICLE{RC07,
 613   author = {Adrien Richard and Jean-Paul Comet},
 614   title = {Necessary conditions for multistationarity in discrete dynamical
 615         systems},
 616   journal = discreteapplMath,
 617   year = {2007},
 618   volume = {155},
 619   pages = {2403--2413},
 620   number = {18},
 621   issn = {0166-218X},
 622   publisher = elsevier
 623 }
 624
 625 @BOOK{Rob95,
 626   title = {Les syst\`emes dynamiques discrets},
 627   publisher = springer,
 628   year = {1995},
 629   author = {F. Robert},
 630   volume = {19},
 631   series = {Math\'ematiques et Applications}
 632 }
 633
 634 @ARTICLE{SD05,
 635   author = {Shih, M.-H. and Dong J.-L.},
 636   title = {A combinatorial analogue of the Jacobian problem in automata networks},
 637   journal = advapplMath,
 638   year = {2005},
 639   volume = {34},
 640   pages = {30 - 46},
 641   number = {1},
 642   issn = {0196-8858}
 643 }
 644
 645 @ARTICLE{Tho73,
 646   author = {Thomas, R.},
 647   title = {Boolean Formalization of Genetic Control Circuits},
 648   journal = jtb,
 649   year = {1973},
 650   volume = {42},
 651   pages = {563--585}
 652 }
 653
 654 @ARTICLE{WJBG98,
 655   author = {Xin Wang and Arun K. Jagota and Fernanda Botelho and Max H. Garzon},
 656   title = {Absence of Cycles in Symmetric Neural Networks},
 657   journal = NC,
 658   year = {1998},
 659   volume = {10},
 660   pages = {1235-1249},
 661   number = {5},
 662   file = {:/home/couchot/rech/Ref/WJBG98.pdf:PDF}
 663 }
 664
 665 @PROCEEDINGS{DBLP:conf/cav/2002,
 666   title = {Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen,
 667         Denmark, July 27-31, 2002, Proceedings},
 668   year = {2002},
 669   editor = {Ed Brinksma and Kim Guldstrand Larsen},
 670   volume = {2404},
 671   series = lncs,
 672   publisher = springer,
 673   booktitle = {CAV}
 674 }
 675
 676 @PROCEEDINGS{DBLP:conf/kbse/2005,
 677   title = {20th IEEE/ACM International Conference on Automated Software Engineering
 678         (ASE 2005), November 7-11, 2005, Long Beach, CA, USA},
 679   year = {2005},
 680   editor = {David F. Redmiles and Thomas Ellman and Andrea Zisman},
 681   publisher = {ACM},
 682   bibsource = {DBLP, http://dblp.uni-trier.de},
 683   booktitle = {ASE}
 684 }
 685
 686 @book{Mor08,
 687  author = {Ben-Ari, Mordechai},
 688  year = {2008},
 689  title = {Principles of the Spin Model Checker},
 690  isbn = {1846287693, 9781846287695}},
 691  publisher = springer,
 692  }
 693
 694
 695 @INPROCEEDINGS{Wei97,
 696   author = {Weise,Carsten},
 697   title = {An incremental formal semantics for {PROMELA}},
 698   booktitle = {SPIN97, the Third SPIN Workshop},
 699   year = {1997},
 700   pages = {}
 701 }
 702
 703 @PHDTHESIS{Couchot-PhD06,
 704   AUTHOR = {Couchot, Jean-Fran\c{c}ois},
 705   TITLE = {V\'erification d'invariant de syst\`emes param\'etr\'es par
 706   superposition},
 707   MONTH = {avril},
 708   SCHOOL = {LIFC, Universit\'e de Franche-Comt\'e},
 709   TYPE = {Th\`ese de {D}octorat},
 710   YEAR = {2006}
 711 }
 712
 713 @Article{dJGH04,
 714   author =       {de Jong, H. and Gouz\'e, J.-L. and Hernandez, C. and
 715                   Page, M. and Tewfik, S. and Geiselmann, J.},
 716   title =        {Qualitative simulation of genetic regulatory networks
 717                   using piecewise-linear models},
 718   journal =      {Bull. Math. Biol.},
 719   year =         {2004},
 720   OPTkey =       {},
 721   volume =       {66},
 722   number =       {2},
 723   pages =        {301--340},
 724   OPTmonth =     {},
 725   OPTnote =      {},
 726   OPTannote =    {}
 727 }
 728
 729 @Article{BCRG04,
 730   author =       {Bernot, G. and Comet, J.-P. and Richard, A. and Guespin, J.},
 731   title =        {A Fruitful Application of Formal Methods to Biological
 732                   Regulatory Networks: Extending {T}homas' Asynchronous
 733                   Logical Approach with Temporal Logic},
 734   journal =      {J. Theor. Biol.},
 735   year =         {2004},
 736   volume =       {229},
 737   number =       {3},
 738   pages =        {339--347},
 739   EQUIPE =       {bioinfo},
 740   KIND =         {intrevue}
 741 }
 742
 743 @Article{GN06,
 744   author =       {Gonzales, A.G. and Naldi, A. and S\'anchez, L. and Thieffry, D. and Chaouiya, C.},
 745   title =        {{GINsim}: a software suite for the qualitative modelling, simulation and analysis of regulatory networks},
 746   journal =      {Biosystems},
 747   year =         {2006},
 748   OPTkey =       {},
 749   volume =       {84},
 750   number =       {2},
 751   pages =        {91--100},
 752   OPTmonth =     {},
 753   OPTnote =      {},
 754   OPTannote =    {}
 755 }
 756
 757 @Article{dJGH03,
 758   author =       {De Jong, H. and Geiselmann, J. and Hernandez, C. and
 759                   Page, M.},
 760   title =        {Genetic Network Analyzer: qualitative simulation
 761                   of genetic regulatory networks.},
 762   journal =      {Bioinformatics},
 763   year =         {2003},
 764   volume =       {19},
 765   number =       {3},
 766   pages =        {336-44.}
 767 }
 768
 769 @Article{KCRB09,
 770   author =       {Khalis, Z. and Comet, J.-P. and Richard, A. and Bernot, G.},
 771   title =        {The SMBioNet Method for Discovering Models of Gene Regulatory Networks},
 772   journal =      {Genes, Genomes and Genomics},
 773   year =         {2009},
 774   OPTkey =       {},
 775   volume =       {3},
 776   number =       {1},
 777   OPTpages =     {15-22},
 778   OPTmonth =     {},
 779   OPTnote =      {},
 780   OPTannote =    {}
 781 }
 782
 783 @article{ARBCR08,
 784  author = {Ahmad, Jamil and Roux, Olivier and Bernot, Gilles and Comet, Jean-Paul and Richard, Adrien},
 785  title = {Analysing formal models of genetic regulatory networks with delays},
 786  journal = {Int. J. Bioinformatics Res. Appl.},
 787  volume = {4},
 788  number = {3},
 789  year = {2008},
 790  issn = {1744-5485},
 791  pages = {240--262},
 792  doi = {http://dx.doi.org/10.1504/IJBRA.2008.019573},
 793  publisher = {Inderscience Publishers},
 794  address = {Inderscience Publishers, Geneva, SWITZERLAND},
 795  }
 796 @TechReport{R09-c,
 797   author =       {Richard, A.},
 798   title =        {Local negative circuits and fixed points in Boolean networks},
 799   institution =  {preprint arXiv number 0910.0750},
 800   year =         {2009},
 801   OPTkey =       {},
 802   OPTtype =      {},
 803   OPTnumber =    {},
 804   OPTaddress =   {},
 805   OPTmonth =     {},
 806   OPTnote =      {},
 807   OPTannote =    {}
 808 }
 809
 810
 811 @ARTICLE{RRT08,
 812   author = {Remy, R. and Ruet, P. and Thieffry, D.},
 813   title = {Graphic requirement for multistability and attractive cycles in a
 814         Boolean dynamical framework},
 815   journal = {Advances in Applied Mathematics},
 816   year = {2008},
 817   volume = {41},
 818   pages = {335-350},
 819   number = {3},
 820   owner = {couchot},
 821   timestamp = {2009.02.05}
 822 }
 823
 824 @inproceedings{DBLP:conf/icann/BahiCMMS06,
 825   author    = {Jacques M. Bahi and
 826                Sylvain Contassot-Vivier and
 827                Libor Makovicka and
 828                {\'E}ric Martin and
 829                Marc Sauget},
 830   title     = {Neural Network Based Algorithm for Radiation Dose Evaluation
 831                in Heterogeneous Environments},
 832   booktitle = {ICANN (2)},
 833   year      = {2006},
 834   pages     = {777-787},
 835   ee        = {http://dx.doi.org/10.1007/11840930_81},
 836   crossref  = {DBLP:conf/icann/2006-2},
 837   bibsource = {DBLP, http://dblp.uni-trier.de}
 838 }
 839
 840 @proceedings{DBLP:conf/icann/2006-2,
 841   editor    = {Stefanos D. Kollias and
 842                Andreas Stafylopatis and
 843                Wlodzislaw Duch and
 844                Erkki Oja},
 845   title     = {Artificial Neural Networks - ICANN 2006, 16th International
 846                Conference, Athens, Greece, September 10-14, 2006. Proceedings,
 847                Part II},
 848   booktitle = {ICANN (2)},
 849   publisher = {Springer},
 850   series    = {Lecture Notes in Computer Science},
 851   volume    = {4132},
 852   year      = {2006},
 853   isbn      = {3-540-38871-0},
 854   bibsource = {DBLP, http://dblp.uni-trier.de}
 855 }
 856
 857
 858
 859
 860 @Book{Drey08,
 861   author =       {Dreyfus, Gérard and Martinez, Jean-Marc and Samuelides, Manuel   and Gordon, Mirta B.  and Badran, Fouad  and Thiria, Sylvie },
 862   ALTeditor =    {},
 863   title =        {Apprentissage statistique, Réseaux de neurones - Cartes topologiques - Machines à vecteurs supports},
 864   publisher =    {Eyrolles},
 865   year =         {2008},
 866   OPTkey =       {},
 867   OPTvolume =    {},
 868   OPTnumber =    {},
 869   OPTseries =    {},
 870   OPTaddress =   {},
 871   OPTedition =   {},
 872   OPTmonth =     {},
 873   OPTnote =      {},
 874   OPTannote =    {}
 875 }
 876
 877
 878
 879
 880
 881 @BOOK{Devaney,
 882   title = {An Introduction to Chaotic Dynamical Systems},
 883   publisher = {Redwood City: Addison-Wesley},
 884   year = {1989},
 885   author = {R. L. Devaney},
 886   edition = {2nd},
 887   owner = {guyeux},
 888   timestamp = {27/01/2008}
 889 }
 890
 891
 892 @article{cds13:ij,
 893 inhal = {no},
 894 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 895 equipe = {and},
 896 classement = {ACLI},
 897 impact-factor ={1.255},
 898 isi-acro = {MECHATRONICS},
 899 author = {Couchot, Jean-Fran\c{c}ois and Deschinkel, Karine and Salomon, Michel},
 900 title = {Active {MEMS}-based flow control using artificial neural network},
 901 journal = {Mechatronics},
 902 volume = 23,
 903 number = 7,
 904 pages = {898--905},
 905 doi = {10.1016/j.mechatronics.2013.02.010},
 906 url = {http://dx.doi.org/10.1016/j.mechatronics.2013.02.010},
 907 abstract = {These last years several research works have studied the application of Micro-Electro-Mechanical Systems (MEMS) for aerodynamic active flow control. Controlling such MEMS-based systems remains a challenge. Among the several existing control approaches for time varying systems, many of them use a process model representing the dynamic behavior of the process to be controlled. The purpose of this paper is to study the suitability of an artificial neural network first to predict the flow evolution induced by MEMS, and next to optimize the flow w.r.t. a numerical criterion. To achieve this objective, we focus on a dynamic flow over a backward facing step where MEMS actuators velocities are adjusted to maximize the pressure over the step surface. The first effort has been to establish a baseline database provided by computational fluid dynamics simulations for training the neural network. Then we investigate the possibility to control the flow through MEMS configuration changes. Results are promising, despite slightly high computational times for real time application.},
 908 publisher = {Elsevier},
 909 month = oct,
 910 year = 2013,
 911 note = {Available online. Paper version to appear},
 912
 913 }
 914
 915
 916 @inproceedings{cds12:ip,
 917 inhal = {no},
 918 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 919 equipe = {and},
 920 classement = {ACTI},
 921 author = {Couchot, Jean-Fran\c{c}ois and Deschinkel, Karine and Salomon, Michel},
 922 title = {Suitability of Artificial Neural Network for {MEMS}-based Flow Control},
 923 booktitle = {dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS},
 924 pages = {1--6},
 925 editor = {Bourgeois, Julien and de Labachelerie, Michel},
 926 address = {Besan\c{c}on, France},
 927 publisher = {IEEE CPS},
 928 month = apr,
 929 year = 2012,
 930
 931 }
 932
 933
 934 @article{bcgs12:ij,
 935 inhal = {no},
 936 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 937 equipe = {and},
 938 classement = {ACLI},
 939 impact-factor ={2.081},
 940 isi-acro = {CHAOS},
 941 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Salomon, Michel},
 942 title = {Neural Networks and Chaos: Construction, Evaluation of Chaotic Networks, and Prediction of Chaos with MultiLayer Feedforward Network},
 943 journal = {Chaos, An Interdisciplinary Journal of Nonlinear Science},
 944 volume = 22,
 945 number = 1,
 946 pages = {013122-1 -- 013122-9},
 947 doi = {10.1063/1.3685524},
 948 url = {http://dx.doi.org/10.1063/1.3685524},
 949 publisher = {American Institute of Physics},
 950 month = mar,
 951 year = 2012,
 952 note = {9 pages},
 953
 954 }
 955
 956
 957 @inproceedings{bgs11:ip,
 958 inhal = {no},
 959 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 960 equipe = {and},
 961 classement = {ACTI},
 962 author = {Bahi, Jacques M. and Guyeux, Christophe and Salomon, Michel},
 963 title = {Building a Chaotic Proven Neural Network},
 964 booktitle = {ICCANS 2011, IEEE Int. Conf. on Computer Applications and Network Security},
 965 address = {Maldives, Maldives},
 966 month = may,
 967 year = 2011,
 968 }
 969
 970 @ARTICLE{guyeux09,
 971   author = {Bahi, Jacques M. and Guyeux, Christophe},
 972   title = {Hash Functions Using Chaotic Iterations},
 973   journal = {Journal of Algorithms \& Computational Technology},
 974   year = {2010},
 975   volume = {4},
 976   pages = {167--181},
 977   number = {2},
 978   classement = {ACLNI},
 979   domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 980   equipe = {and},
 981   impact-factor = {#},
 982   inhal = {no},
 983   isi-acro = {#}
 984 }
 985
 986
 987
 988 @PHDTHESIS{GuyeuxThese10,
 989   author = {Christophe Guyeux},
 990   title = {Le d\'{e}sordre des it\'{e}rations chaotiques et leur utilit\'{e}
 991         en s\'{e}curit\'{e} informatique},
 992   school = {Universit\'{e} de Franche-Comt\'{e}},
 993   year = {2010},
 994   owner = {christophe},
 995   timestamp = {2010.12.21}
 996 }
 997
 998 @INPROCEEDINGS{gfb10:ip,
 999   author = {Guyeux, Christophe and Friot, Nicolas and Bahi, Jacques M.},
1000   title = {Chaotic iterations versus Spread-spectrum: chaos and stego security},
1001   booktitle = {IIH-MSP'10, 6-th International Conference on Intelligent Information Hiding and
1002         Multimedia Signal Processing},
1003   year = {2010},
1004   pages = {208--211},
1005   address = {Darmstadt, Germany},
1006   month = oct,
1007   classement = {ACTI},
1008   domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1009   equipe = {and},
1010   inhal = {no}
1011 }
1012
1013
1014 @ARTICLE{Adler65,
1015   author = {R. L. Adler and A. G. Konheim and M. H. McAndrew},
1016   title = {Topological entropy},
1017   journal = {Transactions of the American Mathematical Society},
1018   year = {1965},
1019   volume = {114},
1020   pages = {309-319},
1021   owner = {guyeux},
1022   timestamp = {2008.05.29}
1023 }
1024
1025 @ARTICLE{Bowen,
1026   author = {Rufus Bowen},
1027   title = {Entropy for group endomorphisms and homogeneous spaces},
1028   journal = {Transactions of the American Mathematical Society},
1029   year = {1971},
1030   volume = {153},
1031   pages = {401-414},
1032   owner = {guyeux},
1033   timestamp = {15/02/2008}
1034 }
1035
1036 @article{10.1109/CIMSiM.2010.36,
1037 author = {Jiri Holoska and Zuzana Oplatkova and Ivan Zelinka and Roman Senkerik},
1038 title = {Comparison between Neural Network Steganalysis and Linear Classification Method Stegdetect},
1039 journal ={Computational Intelligence, Modelling and Simulation, International Conference on.},
1040 volume = {0},
1041 year = {2010},
1042 pages = {15-20},
1043 doi = {http://doi.ieeecomputersociety.org/10.1109/CIMSiM.2010.36},
1044 publisher = {IEEE Computer Society},
1045 address = {Los Alamitos, CA, USA},
1046 }
1047 @article{10.1109/ICME.2003.1221665,
1048 author = {Liu Shaohui and Yao Hongxun and Gao Wen},
1049 title = {Neural network based steganalysis in still images},
1050 journal ={Multimedia and Expo, IEEE International Conference on},
1051 volume = {2},
1052 year = {2003},
1053 pages = {509-512},
1054 doi = {http://doi.ieeecomputersociety.org/10.1109/ICME.2003.1221665},
1055 publisher = {IEEE Computer Society},
1056 address = {Los Alamitos, CA, USA},
1057 }
1058
1059 @ARTICLE{Sullivan06steganalysisfor,
1060     author = {Sullivan, Kenneth and Madhow,Upamanyu  and Chandrasekaran,Shivkumar  and Manjunath,B. S.  },
1061     title = {Steganalysis for Markov cover data with applications to images},
1062     journal = {IEEE Transactions on Information Forensics and Security},
1063     year = {2006},
1064     volume = {1},
1065     pages = {275--287}
1066 }
1067
1068
1069 @misc{Gray47,
1070 year=1953,
1071 author = "Gray, Frank",
1072 title = "Pulse code communication",
1073 note = "{US} Patent 2,632,058, March 17 1953,(filed November 13 1947)"}
1074
1075
1076
1077
1078 @INPROCEEDINGS{guyeux10ter,
1079   author = {Bahi, Jacques M. and Guyeux, Christophe},
1080   title = {A new chaos-based watermarking algorithm},
1081   booktitle = {SECRYPT'10, International Conference on Security
1082 and Cryptography},
1083   year = {2010},
1084   pages = {455--458},
1085   address = {Athens, Greece},
1086   month = jul,
1087   publisher = {SciTePress},
1088   classement = {ACTI},
1089   domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1090   equipe = {and},
1091   inhal = {no}
1092 }
1093
1094
1095 @inproceedings{Qiao:2009:SM:1704555.1704664,
1096  author = {Qiao, Mengyu and Sung, Andrew H. and Liu, Qingzhong},
1097  title = {Steganalysis of MP3Stego},
1098  booktitle = {Proceedings of the 2009 international joint conference on Neural Networks},
1099  series = {IJCNN'09},
1100  year = {2009},
1101  location = {Atlanta, Georgia, USA},
1102  pages = {2723--2728},
1103  numpages = {6},
1104  publisher = {IEEE Press}
1105 }
1106
1107 @inproceedings{CouchotD07IFM,
1108 inhal = {no},
1109 domainehal = {INFO:INFO_SE, INFO:INFO_MO},
1110 equipe = {ie},
1111 classement = {*},
1112 author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric},
1113 title = {Guiding the Correction of Parameterized Specifications},
1114 booktitle = {IFM'07, 6th Int. Conf. on Integrated Formal Methods},
1115 pages = {176--194},
1116 series = {LNCS},
1117 volume = 4591,
1118 publisher = {Springer},
1119 doi = {10.1007/978-3-540-73210-5_10},
1120 url = {http://dx.doi.org/10.1007/978-3-540-73210-5_10},
1121 address = {Oxford, UK},
1122 month = jul,
1123 year = 2007,
1124
1125 }
1126
1127 @inproceedings{couchot07FTP,
1128 inhal = {no},
1129 equipe = {and},
1130 classement = {*},
1131 author = {Couchot, Jean-Fran\c{c}ois and Hubert, T.},
1132 title = {A Graph-based Strategy for the Selection of Hypotheses},
1133 booktitle = {FTP'07, Int. Workshop on First-Order Theorem Proving},
1134 address = {Liverpool, UK},
1135 month = sep,
1136 year = 2007,
1137
1138 }
1139
1140
1141 @inproceedings{cgs09:ip,
1142 inhal = {inria},
1143 domainehal = {INFO:INFO_SE, INFO:INFO_MO},
1144 equipe = {ie},
1145 classement = {ACTI},
1146 author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain and Stouls, Nicolas},
1147 title = {{G}raph {B}ased {R}eduction of {P}rogram {V}erification {C}onditions},
1148 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.},
1149 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} },
1150 booktitle = {AFM'09, {A}utomated {F}ormal {M}ethods (colocated with {CAV}'09)},
1151 publisher = {ACM Press},
1152 pages = {40--47},
1153 url = {http://arxiv.org/abs/0907.1357},
1154 otherUrl = {http://hal.inria.fr/inria-00402204},
1155 address = {Grenoble, France},
1156 editor = {Hassen Sa\"{i}di and N. Shankar},
1157 year = 2009,
1158
1159 }
1160
1161
1162
1163 @inproceedings{couchot07cade,
1164 inhal = {no},
1165 equipe = {and},
1166 classement = {*},
1167 author = {Couchot, Jean-Fran\c{c}ois and Lescuyer, S.},
1168 title = {Handling Polymorphism in Automated Deduction},
1169 booktitle = {CADE'07, 21st Int. Conf. on Automated Deduction},
1170 pages = {263--278},
1171 series = {LNCS},
1172 volume = 4603,
1173 publisher = {Springer},
1174 isbn = {978-3-540-73594-6},
1175 doi = {10.1007/978-3-540-73595-3_18},
1176 url = {http://dx.doi.org/10.1007/978-3-540-73595-3_18},
1177 address = {Bremen, Germany},
1178 month = jul,
1179 year = 2007,
1180
1181 }
1182
1183
1184
1185
1186
1187
1188
1189 @inproceedings{BCDG07,
1190 inhal = {no},
1191 domainehal = {INFO:INFO_SE, INFO:INFO_MO},
1192 equipe = {vesontio},
1193 classement = {ACTI},
1194 author = {Bouquet, Fabrice and Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and Giorgetti, Alain},
1195 title = {Instantiation of Parameterized Data Structures for Model-Based Testing},
1196 booktitle = {B'2007, the 7th Int. B Conference},
1197 pages = {96--110},
1198 series = {LNCS},
1199 volume = 4355,
1200 publisher = {Springer},
1201 doi = {10.1007/11955757_10},
1202 url = {http://dx.doi.org/10.1007/11955757_10},
1203 editor = {Julliand, Jacques and Kouchnarenko, Olga},
1204 address = {Besancon, France},
1205 month = jan,
1206 year = 2007,
1207
1208 }
1209
1210
1211
1212 @article{byrd1995limited,
1213  author = {Byrd, Richard H. and Lu, Peihuang and Nocedal, Jorge and Zhu, Ciyou},
1214  title = {A Limited Memory Algorithm for Bound Constrained Optimization},
1215  journal = {SIAM J. Sci. Comput.},
1216  issue_date = {Sept. 1995},
1217  volume = {16},
1218  number = {5},
1219  month = sep,
1220  year = {1995},
1221  issn = {1064-8275},
1222  pages = {1190--1208},
1223  numpages = {19},
1224  url = {http://dx.doi.org/10.1137/0916069},
1225  doi = {10.1137/0916069},
1226  acmid = {210980},
1227  publisher = {Society for Industrial and Applied Mathematics},
1228  address = {Philadelphia, PA, USA},
1229  keywords = {bound constrained optimization, large-scale optimization, limited memory method, nonlinear optimization, quasi-Newton method},
1230 }
1231
1232 @article{ANU:1770520,
1233 author = {Powell,M. J. D.},
1234 title = {Direct search algorithms for optimization calculations},
1235 journal = {Acta Numerica},
1236 volume = {7},
1237 month = {1},
1238 year = {1998},
1239 issn = {1474-0508},
1240 pages = {287--336},
1241 numpages = {50},
1242 doi = {10.1017/S0962492900002841},
1243 URL = {http://journals.cambridge.org/article_S0962492900002841},
1244 }
1245
1246 @article{Wang13,
1247 year={2013},
1248 issn={0920-8542},
1249 journal={The Journal of Supercomputing},
1250 volume={64},
1251 number={3},
1252 doi={10.1007/s11227-010-0500-5},
1253 title={Communication-resource-aware adaptive watermarking for multimedia authentication in wireless multimedia sensor networks},
1254 url={http://dx.doi.org/10.1007/s11227-010-0500-5},
1255 publisher={Springer US},
1256 keywords={Watermarking; Authentication; Wireless multimedia sensor network},
1257 author={Wang, Honggang},
1258 pages={883-897},
1259 language={English}
1260 }
1261
1262 @ARTICLE{HLG09,
1263 author={Yifeng He and Lee, I. and Ling Guan},
1264 journal={Circuits and Systems for Video Technology, IEEE Transactions on},
1265 title={Distributed Algorithms for Network Lifetime Maximization in Wireless Visual Sensor Networks},
1266 year={2009},
1267 volume={19},
1268 number={5},
1269 pages={704-718},
1270 keywords={distributed algorithms;video communication;wireless sensor networks;Lagrangian duality;distributed algorithms;network lifetime maximization;numerical simulations;routing scheme;video quality;video sensor nodes;wireless visual sensor networks;Convex optimization;distributed algorithms;network lifetime maximization;power consumption;wireless visual sensor network},
1271 doi={10.1109/TCSVT.2009.2017411},
1272 ISSN={1051-8215}}
1273
1274 @ARTICLE{PM06,
1275 author={Palomar, D.P. and Mung Chiang},
1276 journal={Selected Areas in Communications, IEEE Journal on},
1277 title={A tutorial on decomposition methods for network utility maximization},
1278 year={2006},
1279 volume={24},
1280 number={8},
1281 pages={1439-1451},
1282 keywords={distributed algorithms;gradient methods;radio networks;resource allocation;Gauss-Seidel iteration;Jacobi method;Lagrange duality;decomposition method;decoupling technique;distributed algorithm;modular network;network utility maximization;resource allocation;subgradient method;Congestion control;cross-layer design;decomposition;distributed algorithm;network architecture;network control by pricing;network utility maximization;optimization;power control;resource allocation},
1283 doi={10.1109/JSAC.2006.879350},
1284 ISSN={0733-8716}}
1285
1286 @article{HFD14,
1287 year={2014},
1288 journal={EURASIP Journal on Information Security},
1289 eid={1},
1290 volume={2014},
1291 number={1},
1292 doi={10.1186/1687-417X-2014-1},
1293 title={Universal distortion function for steganography in an arbitrary domain},
1294 url={http://dx.doi.org/10.1186/1687-417X-2014-1},
1295 publisher={Springer International Publishing},
1296 author={Holub, Vojtěch and Fridrich, Jessica and Denemark, Tomáš},
1297 language={English}
1298 }
1299
1300 @inproceedings{conf/wifs/HolubF12,
1301   added-at = {2013-01-23T00:00:00.000+0100},
1302   author = {Holub, Vojtech and Fridrich, Jessica J.},
1303   biburl = {http://www.bibsonomy.org/bibtex/2a685b4b8b521ac99734fb52c064ca994/dblp},
1304   booktitle = {WIFS},
1305   crossref = {conf/wifs/2012},
1306   ee = {http://dx.doi.org/10.1109/WIFS.2012.6412655},
1307   interhash = {cbef658a6868216eef585dd759ae0668},
1308   intrahash = {a685b4b8b521ac99734fb52c064ca994},
1309   isbn = {978-1-4673-2285-0},
1310   keywords = {dblp},
1311   pages = {234-239},
1312   publisher = {IEEE},
1313   timestamp = {2013-01-23T00:00:00.000+0100},
1314   title = {Designing steganographic distortion using directional filters.},
1315   url = {http://dblp.uni-trier.de/db/conf/wifs/wifs2012.html#HolubF12},
1316   year = 2012
1317 }
1318
1319
1320
1321
1322 @article{FillerJF11,
1323   author    = {Tom{\'a}s Filler and
1324                Jan Judas and
1325                Jessica J. Fridrich},
1326   title     = {Minimizing Additive Distortion in Steganography Using Syndrome-Trellis
1327                Codes},
1328   journal   = {IEEE Transactions on Information Forensics and Security},
1329   volume    = {6},
1330   number    = {3-2},
1331   year      = {2011},
1332   pages     = {920-935},
1333   ee        = {http://dx.doi.org/10.1109/TIFS.2011.2134094},
1334   bibsource = {DBLP, http://dblp.uni-trier.de}
1335 }
1336
1337 @inproceedings{DBLP:conf/ih/PereiraVMMP01,
1338   editor    = {Ira S. Moskowitz},
1339   author    = {Shelby Pereira and
1340                Sviatoslav Voloshynovskiy and
1341                Maribel Madueno and
1342                St{\'e}phane Marchand-Maillet and
1343                Thierry Pun},
1344   booktitle     = {Information Hiding, 4th International Workshop, IHW 2001,
1345                Pittsburgh, PA, USA, April 25-27, 2001, Proceedings},
1346   title     = {Second Generation Benchmarking and Application Oriented
1347                Evaluation},
1348   year      = {2001},
1349   pages     = {340-353},
1350   series    = lncs,
1351   publisher = springer,
1352   address = springer_loc,
1353   month = apr,
1354   volume    = {2137},
1355 }
1356
1357
1358 @inproceedings{DBLP:conf/ih/Westfeld01,
1359   added-at = {2011-06-28T00:00:00.000+0200},
1360   author = {Westfeld, Andreas},
1361   booktitle     = {Information Hiding, 4th International Workshop, IHW 2001,
1362                Pittsburgh, PA, USA, April 25-27, 2001, Proceedings},
1363   editor    = {Ira S. Moskowitz},
1364   pages = {289-302},
1365   publisher = springer,
1366   address = springer_loc,
1367   month=apr,
1368   series = lncs,
1369   title = {F5-A Steganographic Algorithm.},
1370   volume = 2137,
1371   year = 2001
1372 }
1373
1374
1375
1376
1377
1378 @article{Chang20101286,
1379 title = "Hybrid wet paper coding mechanism for steganography employing n-indicator and fuzzy edge detector",
1380 journal = "Digital Signal Processing",
1381 volume = "20",
1382 number = "4",
1383 pages = "1286 - 1307",
1384 year = "2010",
1385 note = "",
1386 issn = "1051-2004",
1387 doi = "10.1016/j.dsp.2009.11.005",
1388 url = "http://www.sciencedirect.com/science/article/pii/S1051200409002413",
1389 author = "Chin-Chen Chang and Jung-San Lee and T. Hoang Ngan Le",
1390 keywords = "Security",
1391 keywords = "Wet paper coding",
1392 keywords = "Steganography",
1393 keywords = "Indicator",
1394 keywords = "Fuzzy edge detector"
1395 }
1396
1397
1398
1399 @article{Hu:2007:HPE:1282866.1282944,
1400  author = {Hu, Liming and Cheng, H. D. and Zhang, Ming},
1401  title = {A high performance edge detector based on fuzzy inference rules},
1402  journal = {Inf. Sci.},
1403  issue_date = {November, 2007},
1404  volume = {177},
1405  number = {21},
1406  month = nov,
1407  year = {2007},
1408  issn = {0020-0255},
1409  pages = {4768--4784},
1410  numpages = {17},
1411  url = {http://dx.doi.org/10.1016/j.ins.2007.04.001},
1412  doi = {10.1016/j.ins.2007.04.001},
1413  acmid = {1282944},
1414  publisher = {Elsevier Science Inc.},
1415  address = {New York, NY, USA},
1416  keywords = {Edge detector, Fuzzy If-Then inference rule, Fuzzy maximum entropy principle, Linguistic variables},
1417 }
1418
1419
1420 @inproceedings{Dumitrescu:2005:LSB:1073170.1073176,
1421   author    = {Sorina Dumitrescu and
1422                Xiaolin Wu},
1423   editor    = {Ahmet M. Eskicioglu and
1424                Jessica J. Fridrich and
1425                Jana Dittmann},
1426   title     = {LSB steganalysis based on high-order statistics},
1427   booktitle     = {Proceedings of the 7th workshop on Multimedia {\&} Security,
1428                MM{\&}Sec 2005, New York, NY, USA, August 1-2, 2005, 2006},
1429   year      = {2005},
1430   publisher = {ACM},
1431   address = {New York, NY, USA},
1432   month=aug,
1433   pages     = {25-32},
1434   ee        = {http://doi.acm.org/10.1145/1073170.1073176},
1435   bibsource = {DBLP, http://dblp.uni-trier.de}
1436 }
1437
1438 @inproceedings{DBLP:conf/ih/Ker05,
1439   author    = {Andrew D. Ker},
1440   title     = {A General Framework for Structural Steganalysis of LSB Replacement},
1441   editor    = {Mauro Barni and
1442                Jordi Herrera-Joancomart\'{\i} and
1443                Stefan Katzenbeisser and
1444                Fernando P{\'e}rez-Gonz{\'a}lez},
1445   booktitle     = {Information Hiding, 7th International Workshop, IH 2005,
1446                Barcelona, Spain, June 6-8, 2005, Revised Selected Papers},
1447   year      = {2005},
1448   pages     = {296-311},
1449   ee        = {http://dx.doi.org/10.1007/11558859_22},
1450   publisher = springer,
1451   address = springer_loc,
1452   month= jun,
1453   series    = lncs,
1454   volume    = {3727},
1455 }
1456
1457
1458 @inproceedings{FK12,
1459   editor    = {Matthias Kirchner and
1460                Dipak Ghosal},
1461   booktitle     = {Information Hiding - 14th International Conference, IH 2012,
1462                Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers},
1463   author    = {Jessica J. Fridrich and
1464                Jan Kodovsk{\'y}},
1465   title     = {Steganalysis of LSB Replacement Using Parity-Aware Features},
1466   month=may,
1467   year      = {2012},
1468   pages     = {31-45},
1469   ee        = {http://dx.doi.org/10.1007/978-3-642-36373-3_3},
1470   volume    = {7692},
1471   publisher = springer,
1472   address = springer_loc,
1473   series    = lncs,
1474   bibsource = {DBLP, http://dblp.uni-trier.de}
1475 }
1476
1477
1478 @article{DBLP:journals/tsp/DumitrescuWW03,
1479   added-at = {2012-02-06T00:00:00.000+0100},
1480   author = {Dumitrescu, Sorina and Wu, Xiaolin and Wang, Zhe},
1481   biburl = {http://www.bibsonomy.org/bibtex/2556caad9b61980d3458885153a52321c/dblp},
1482   ee = {http://dx.doi.org/10.1109/TSP.2003.812753},
1483   interhash = {f51bec0b4e4f8aba644eb0938018d2c6},
1484   intrahash = {556caad9b61980d3458885153a52321c},
1485   journal = {IEEE Transactions on Signal Processing},
1486   keywords = {dblp},
1487   number = 7,
1488   pages = {1995-2007},
1489   timestamp = {2012-02-06T00:00:00.000+0100},
1490   title = {Detection of LSB steganography via sample pair analysis.},
1491   url = {http://dblp.uni-trier.de/db/journals/tsp/tsp51.html#DumitrescuWW03},
1492   volume = 51,
1493   year = 2003
1494 }
1495
1496
1497
1498
1499 @inproceedings{DBLP:conf/mmsec/FridrichGD01,
1500   editor    = {Nicolas D. Georganas and
1501                Radu Popescu-Zeletin},
1502   booktitle     = {Proceedings of the 4th workshop on Multimedia {\&} Security:
1503                New Challenges, MM{\&}Sec 2001, Ottawa, Ontario, Canada,
1504                October 5, 2001},
1505   author    = {Jessica J. Fridrich and
1506                Miroslav Goljan and
1507                Rui Du},
1508   title     = {Reliable detection of LSB steganography in color and grayscale
1509                images},
1510   year      = {2001},
1511   pages     = {27-30},
1512   ee        = {http://doi.acm.org/10.1145/1232454.1232466},
1513   publisher = {ACM},
1514   address = {New York, NY, USA},
1515   month = oct,
1516   bibsource = {DBLP, http://dblp.uni-trier.de}
1517 }
1518
1519
1520
1521
1522
1523 @inproceedings{DBLP:conf/ih/PevnyFB10,
1524   author    = {Tom{\'a}s Pevn{\'y} and
1525                Tom{\'a}s Filler and
1526                Patrick Bas},
1527   title     = {Using High-Dimensional Image Models to Perform Highly Undetectable
1528                Steganography},
1529   editor    = {Rainer B{\"o}hme and
1530                Philip W. L. Fong and
1531                Reihaneh Safavi-Naini},
1532   booktitle     = {Information Hiding - 12th International Conference, IH 2010,
1533                Calgary, AB, Canada, June 28-30, 2010, Revised Selected
1534                Papers},
1535   year      = {2010},
1536   pages     = {161-177},
1537   month=jun,
1538   publisher = springer,
1539   address = springer_loc,
1540   series    = lncs,
1541   volume    = {6387},
1542   ee        = {http://dx.doi.org/10.1007/978-3-642-16435-4_13},
1543   bibsource = {DBLP, http://dblp.uni-trier.de}
1544 }
1545
1546
1547
1548
1549
1550 @Misc{Boss10,
1551         OPTkey =                         {},
1552         author    = {Tom{\'a}s Pevn{\'y} and
1553                Tom{\'a}s Filler and
1554                Patrick Bas},
1555
1556         title =                  {Break Our Steganographic System},
1557         OPThowpublished = {},
1558         OPTmonth =               {},
1559         year =           {2010},
1560         note =           {Available at \url{http://www.agents.cz/boss/}},
1561         OPTannote =      {}
1562 }
1563
1564 @proceedings{DBLP:conf/ih/2010,
1565   editor    = {Rainer B{\"o}hme and
1566                Philip W. L. Fong and
1567                Reihaneh Safavi-Naini},
1568   title     = {Information Hiding - 12th International Conference, IH 2010,
1569                Calgary, AB, Canada, June 28-30, 2010, Revised Selected
1570                Papers},
1571   booktitle = {Information Hiding},
1572   publisher = springer,
1573   address = springer_loc,
1574   series    = lncs,
1575   volume    = {6387},
1576   year      = {2010},
1577   isbn      = {978-3-642-16434-7},
1578   ee        = {http://dx.doi.org/10.1007/978-3-642-16435-4},
1579   bibsource = {DBLP, http://dblp.uni-trier.de}
1580 }
1581
1582
1583 @article{DBLP:journals/eswa/ChenCL10,
1584   added-at = {2010-07-21T15:44:10.000+0200},
1585   author = {Chen, Wen-Jan and Chang, Chin-Chen and Le, T. Hoang Ngan},
1586   biburl = {http://www.bibsonomy.org/bibtex/228889a4ab329da28559f0910469f054b/dblp},
1587   date = {2010-05-03},
1588   ee = {http://dx.doi.org/10.1016/j.eswa.2009.09.050},
1589   interhash = {bc34a5f04661fee24ee62c39e76361be},
1590   intrahash = {28889a4ab329da28559f0910469f054b},
1591   journal = {Expert Systems with Applications},
1592   keywords = {dblp},
1593   number = 4,
1594   pages = {3292-3301},
1595   timestamp = {2010-07-21T15:44:10.000+0200},
1596   title = {High payload steganography mechanism using hybrid edge detector.},
1597   url = {http://dblp.uni-trier.de/db/journals/eswa/eswa37.html#ChenCL10},
1598   volume = 37,
1599   year = 2010
1600 }
1601
1602 @article{DBLP:journals/tifs/FillerJF11,
1603   added-at = {2011-09-29T00:00:00.000+0200},
1604   author = {Filler, Tomás and Judas, Jan and Fridrich, Jessica J.},
1605   biburl = {http://www.bibsonomy.org/bibtex/250e43c05a74eec17524b3df8db442da5/dblp},
1606   ee = {http://dx.doi.org/10.1109/TIFS.2011.2134094},
1607   interhash = {b27d23ed0c9936d568e16c51378abccd},
1608   intrahash = {50e43c05a74eec17524b3df8db442da5},
1609   journal = {IEEE Transactions on Information Forensics and Security},
1610   keywords = {dblp},
1611   number = {3-2},
1612   pages = {920-935},
1613   timestamp = {2011-09-29T00:00:00.000+0200},
1614   title = {Minimizing Additive Distortion in Steganography Using Syndrome-Trellis Codes.},
1615   url = {http://dblp.uni-trier.de/db/journals/tifs/tifs6.html#FillerJF11},
1616   volume = 6,
1617   year = 2011
1618 }
1619
1620
1621
1622
1623 @inproceedings{DBLP:conf/ih/KimDR06,
1624   added-at = {2007-09-20T00:00:00.000+0200},
1625   author = {Kim, Younhee and Duric, Zoran and Richards, Dana},
1626   biburl = {http://www.bibsonomy.org/bibtex/2f0324f70d62d9dfba568e393920aaa16/dblp},
1627   booktitle = {Information Hiding},
1628   crossref = {DBLP:conf/ih/2006},
1629   date = {2007-09-20},
1630   description = {dblp},
1631   editor = {Camenisch, Jan and Collberg, Christian S. and Johnson, Neil F. and Sallee, Phil},
1632   ee = {http://dx.doi.org/10.1007/978-3-540-74124-4_21},
1633   interhash = {399aab122b39cfd6f6e951a1b276c786},
1634   intrahash = {f0324f70d62d9dfba568e393920aaa16},
1635   isbn = {978-3-540-74123-7},
1636   keywords = {dblp},
1637   pages = {314-327},
1638   month=jul,
1639   publisher = springer,
1640   address = springer_loc,
1641   series = lncs,
1642   timestamp = {2007-09-20T00:00:00.000+0200},
1643   title = {Modified Matrix Encoding Technique for Minimal Distortion Steganography.},
1644   url = {http://dblp.uni-trier.de/db/conf/ih/ih206.html#KimDR06},
1645   volume = 4437,
1646   year = 2006
1647 }
1648
1649
1650 @proceedings{DBLP:conf/ih/2006,
1651   editor    = {Jan Camenisch and
1652                Christian S. Collberg and
1653                Neil F. Johnson and
1654                Phil Sallee},
1655   title     = {Information Hiding, 8th International Workshop, IH 2006,
1656                Alexandria, VA, USA, July 10-12, 2006. Revised Selcted Papers},
1657   booktitle = {Information Hiding},
1658   publisher = springer,
1659   address = springer_loc,
1660   series    = lncs,
1661   volume    = {4437},
1662   year      = {2007},
1663   isbn      = {978-3-540-74123-7},
1664   bibsource = {DBLP, http://dblp.uni-trier.de}
1665 }
1666
1667
1668
1669 @inproceedings{DBLP:conf/mmsec/FridrichPK07,
1670   author    = {Jessica J. Fridrich and
1671                Tom{\'a}s Pevn{\'y} and
1672                Jan Kodovsk{\'y}},
1673   title     = {Statistically undetectable jpeg steganography: dead ends
1674                challenges, and opportunities},
1675   pages     = {3-14},
1676   ee        = {http://doi.acm.org/10.1145/1288869.1288872},
1677   editor    = {Deepa Kundur and
1678                Balakrishnan Prabhakaran and
1679                Jana Dittmann and
1680                Jessica J. Fridrich},
1681   booktitle     = {Proceedings of the 9th workshop on Multimedia {\&} Security,
1682                MM{\&}Sec 2007, Dallas, Texas, USA, September 20-21, 2007},
1683   publisher = {ACM},
1684   address = {New York, NY, USA},
1685   month=sep,
1686   year      = {2007},
1687   isbn      = {978-1-59593-857-2},
1688   bibsource = {DBLP, http://dblp.uni-trier.de}
1689 }
1690
1691
1692
1693
1694 @inproceedings{DBLP:conf/mediaforensics/FillerJF10,
1695   editor    = {Nasir D. Memon and
1696                Jana Dittmann and
1697                Adnan M. Alattar and
1698                Edward J. Delp},
1699   booktitle     = {Media Forensics and Security II, part of the IS{\&}T-SPIE
1700                Electronic Imaging Symposium, San Jose, CA, USA, January
1701                18-20, 2010, Proceedings},
1702   author    = {Tom{\'a}s Filler and
1703                Jan Judas and
1704                Jessica J. Fridrich},
1705   title     = {Minimizing embedding impact in steganography using trellis-coded
1706                quantization},
1707   year      = {2010},
1708   pages     = {754105},
1709   ee        = {http://dx.doi.org/10.1117/12.838002},
1710   bibsource = {DBLP, http://dblp.uni-trier.de},
1711   publisher = spie,
1712   address = spie_loc,
1713   month = jan,
1714   series    = {SPIE Proceedings},
1715   volume    = {7541},
1716 }
1717
1718
1719
1720
1721
1722
1723
1724
1725 @proceedings{DBLP:conf/mediaforensics/2010,
1726   editor    = {Nasir D. Memon and
1727                Jana Dittmann and
1728                Adnan M. Alattar and
1729                Edward J. Delp},
1730   title     = {Media Forensics and Security II, part of the IS{\&}T-SPIE
1731                Electronic Imaging Symposium, San Jose, CA, USA, January
1732                18-20, 2010, Proceedings},
1733   booktitle = {Media Forensics and Security},
1734   publisher = spie,
1735   address = spie_loc,
1736   series    = {SPIE Proceedings},
1737   volume    = {7541},
1738   year      = {2010},
1739   isbn      = {978-0-8194-7934-1},
1740   bibsource = {DBLP, http://dblp.uni-trier.de}
1741 }
1742
1743 @article{DBLP:journals/corr/abs-1112-5239,
1744   author    = {Jacques M. Bahi and
1745                Rapha{\"e}l Couturier and
1746                Christophe Guyeux and
1747                Pierre-Cyrille H{\'e}am},
1748   title     = {Efficient and Cryptographically Secure Generation of Chaotic
1749                Pseudorandom Numbers on GPU},
1750   journal   = {CoRR},
1751   volume    = {abs/1112.5239},
1752   year      = {2011},
1753   ee        = {http://arxiv.org/abs/1112.5239},
1754   bibsource = {DBLP, http://dblp.uni-trier.de}
1755 }
1756
1757 @Misc{psnrhvsm11,
1758     author =     {Ponomarenko, Nikolay},
1759   title =        {PSNR-HVS-M page},
1760   OPThowpublished = {},
1761   OPTmonth =     {},
1762   year =         {2011},
1763   note =         {\url{http://www.ponomarenko.info/psnrhvsm.htm}},
1764   OPTannote =    {}
1765 }
1766
1767 @Misc{biqi11,
1768   OPTkey =       {},
1769   author =       {Bovik, Alan C.},
1770   title =        {BIQI page},
1771   OPThowpublished = {},
1772   OPTmonth =     {},
1773   year =         {2011},
1774   note =         {\url{http://live.ece.utexas.edu/research/quality/BIQI_release.zip}},
1775   OPTannote =    {}
1776 }
1777
1778
1779 @InProceedings{PSECAL07,
1780   author =       {Ponomarenko, Nikolay and Silvestri, Flavia and Egiazarian, Karen  and Carli, Marco and Astola, Jaakko  and Lukin,Vladimir},
1781   title =        {On between-coefficient contrast masking of DCT basis functions},
1782   booktitle = {CD-ROM Proceedings of the Third International Workshop on Video Processing and Quality Metrics for Consumer Electronics VPQM-07,Scottsdale, Arizona, USA},
1783   OPTpages =     {},
1784   year =         {2007},
1785   editor =       {Li,Baoxin},
1786   OPTvolume =    {},
1787   OPTnumber =    {},
1788   OPTseries =    {},
1789   OPTaddress =   {},
1790   month =        jan,
1791   OPTorganization = {},
1792   OPTpublisher = {},
1793   OPTnote =      {},
1794   OPTannote =    {}
1795 }
1796
1797
1798 @Article{MB10,
1799   author =       {Moorthy, Anush K. Moorthy and Bovik, Alan Conrad},
1800   title =        {A Two-Step Framework for Constructing Blind Image Quality Indices},
1801   journal =      {IEEE Signal Processing Letters},
1802   year =         {2010},
1803   volume =       {17},
1804   number =       {5},
1805   pages =        {513--516},
1806   month =        may,
1807 }
1808
1809
1810
1811
1812 @inproceedings{DBLP:conf/crypto/ShubBB82,
1813   author    = {Lenore Blum and
1814                Manuel Blum and
1815                Mike Shub},
1816   title     = {Comparison of Two Pseudo-Random Number Generators},
1817   editor    = {David Chaum and
1818                Ronald L. Rivest and
1819                Alan T. Sherman},
1820   booktitle     = {Advances in Cryptology: Proceedings of CRYPTO '82, Santa
1821                Barbara, California, USA, August 23-25, 1982},
1822   pages     = {61-78},
1823   bibsource = {DBLP, http://dblp.uni-trier.de},
1824   publisher = {Plenum Press},
1825   address={New York, NY, USA},
1826   month=aug,
1827   year      = {1983},
1828   bibsource = {DBLP, http://dblp.uni-trier.de}
1829 }
1830
1831
1832 @inproceedings{Blum:1985:EPP:19478.19501,
1833   booktitle     = {Advances in Cryptology, Proceedings of CRYPTO '84, Santa
1834                Barbara, California, USA, August 19-22, 1984, Proceedings},
1835   author    = {Manuel Blum and
1836                Shafi Goldwasser},
1837   title     = {An Efficient Probabilistic Public-Key Encryption Scheme
1838                Which Hides All Partial Information},
1839   month=aug,
1840   year      = {1985},
1841   pages     = {289-302},
1842   editor    = {G. R. Blakley and
1843                David Chaum},
1844   publisher = springer,
1845   address = springer_loc,
1846   series    = lncs,
1847   volume    = {196}
1848 }
1849
1850
1851
1852 @article{DBLP:journals/ejisec/FontaineG07,
1853   author    = {Caroline Fontaine and
1854                Fabien Galand},
1855   title     = {A Survey of Homomorphic Encryption for Nonspecialists},
1856   journal   = {EURASIP Journal on Information Security},
1857   volume    = {2007},
1858   year      = {2007},
1859   NUMBER = {1},
1860   PAGES = {013801},
1861   ee        = {http://dx.doi.org/10.1155/2007/13801},
1862   bibsource = {DBLP, http://dblp.uni-trier.de}
1863 }
1864
1865
1866 @article{Luo:2010:EAI:1824719.1824720,
1867  author = {Luo, Weiqi and Huang, Fangjun and Huang, Jiwu},
1868  title = {Edge adaptive image steganography based on LSB matching revisited},
1869  journal = {IEEE Transactions on Information Forensics and Security},
1870  volume = {5},
1871  number = {2},
1872  month = jun,
1873  year = {2010},
1874  issn = {1556-6013},
1875  pages = {201--214},
1876  numpages = {14},
1877  url = {http://dx.doi.org/10.1109/TIFS.2010.2041812},
1878  doi = {10.1109/TIFS.2010.2041812},
1879  acmid = {1824720},
1880  publisher = {IEEE Press},
1881  address = {Piscataway, NJ, USA},
1882  keywords = {Content-based steganography, content-based steganography, least-significant-bit (LSB)-based steganography, pixel-value differencing (PVD), security, steganalysis},
1883 }
1884
1885 @article{Mielikainen06,
1886   author =       {Mielikainen, J.},
1887   title =        {LSB Matching Revisited},
1888   journal =      {IEEE Signal Processing Letters},
1889   year =         {2006},
1890   OPTkey =       {},
1891   volume =       {13},
1892   number =       {5},
1893   pages =        {285--287},
1894   month =        may,
1895   OPTnote =      {},
1896   OPTannote =    {}
1897 }
1898
1899
1900
1901
1902
1903 @article{Liu:2008:FMP:1284917.1285196,
1904  author = {Liu, Qingzhong and Sung, Andrew H. and Chen, Zhongxue and Xu, Jianyun},
1905  title = {Feature mining and pattern classification for steganalysis of LSB matching steganography in grayscale images},
1906  journal = {Pattern Recogn.},
1907  issue_date = {January, 2008},
1908  volume = {41},
1909  number = {1},
1910  month = jan,
1911  year = {2008},
1912  issn = {0031-3203},
1913  pages = {56--66},
1914  numpages = {11},
1915  url = {http://dx.doi.org/10.1016/j.patcog.2007.06.005},
1916  doi = {10.1016/j.patcog.2007.06.005},
1917  acmid = {1285196},
1918  publisher = {Elsevier Science Inc.},
1919  address = {New York, NY, USA},
1920  keywords = {DENFIS, Image complexity, LSB matching, SVMRFE, Steganalysis},
1921 }
1922
1923
1924
1925 @InProceedings{LHS08,
1926   author =       {Bin Li and Jiwu Huang and Yun Q. Shi},
1927   title =        {Textural features based universal steganalysis},
1928   OPTcrossref =  {},
1929   OPTkey =       {},
1930   booktitle = {Proc. SPIE 6819},
1931   publisher = spie,
1932   address = spie_loc,
1933   pages =        {12},
1934   year =         {2008},
1935   OPTeditor =    {},
1936   OPTvolume =    {6819},
1937
1938   OPTseries =    {},
1939   OPTaddress =   {},
1940   month =        feb,
1941   OPTorganization = {},
1942   OPTpublisher = {},
1943   OPTnote =      {},
1944   OPTannote =    {}
1945 }
1946
1947
1948 @InProceedings{KF11,
1949     author = {Jan Kodovsk{\'y} and Jessica Fridrich},
1950     title = {Steganalysis in high dimensions: Fusing classifiers built on random subspaces},
1951   OPTcrossref =  {},
1952   OPTkey =       {},
1953   booktitle = { Proc. SPIE, Electronic Imaging, Media Watermarking, Security, and Forensics XIII},
1954   publisher = spie,
1955   address = spie_loc,
1956   month=feb,
1957   pages = {78800L-78800L-13},
1958   OPTpages =     {},
1959   year =         {2011},
1960   OPTeditor =    {},
1961   OPTvolume =    {},
1962   OPTnumber =    {},
1963   OPTseries =    {},
1964   OPTaddress =   {},
1965   OPTmonth =     {},
1966   OPTorganization = {},
1967   OPTpublisher = {},
1968   OPTnote =      {},
1969   OPTannote =    {}
1970 }
1971
1972 @article{DBLP:journals/tifs/KodovskyFH12,
1973   author    = {Jan Kodovsk{\'y} and
1974                Jessica J. Fridrich and
1975                Vojtech Holub},
1976   title     = {Ensemble Classifiers for Steganalysis of Digital Media},
1977   journal   = {IEEE Transactions on Information Forensics and Security},
1978   volume    = {7},
1979   number    = {2},
1980   year      = {2012},
1981   pages     = {432-444},
1982   ee        = {http://dx.doi.org/10.1109/TIFS.2011.2175919},
1983   bibsource = {DBLP, http://dblp.uni-trier.de}
1984 }
1985
1986
1987
1988 @article{Fillatre:2012:ASL:2333143.2333587,
1989  author = {Fillatre, Lionel},
1990  title = {Adaptive Steganalysis of Least Significant Bit Replacement in Grayscale Natural Images},
1991  journal = {IEEE Transactions on Signal Processing},
1992  year = {2012},
1993  volume = {60},
1994  number = {2},
1995  month = feb,
1996  issn = {1053-587X},
1997  pages = {556--569},
1998  numpages = {14},
1999  url = {http://dx.doi.org/10.1109/TSP.2011.2174231},
2000  doi = {10.1109/TSP.2011.2174231},
2001  acmid = {2333587},
2002  publisher = {IEEE Press},
2003  address = {Piscataway, NJ, USA},
2004 }
2005
2006
2007 @inproceedings{Tyan1993,
2008     abstract = {{Novel algorithms for image enhancement, filtering and edge detection using the fuzzy logic approach are proposed. An enhancement technique based on various combinations of fuzzy logic linguistic statements in the form of if-then rules modifies the image contrast and provides a linguistic approach to image enhancement. A fuzzy filtering technique based on the tuning of fuzzy membership functions in the frequency domain results in improved restoration of an image which is degraded by additive random noise. An improved performance compared with traditional mask convolution filtering is also evident from the SNR improvement of 4.03 dB. The fuzzy edge detection algorithm provides a variety of edge information. The fuzzy edge detection algorithm is compared with some existing edge detection algorithms to show its novelty}},
2009     address = ieecs_loc,
2010     publisher=ieecs,
2011     author = {Tyan, C. Y. and Wang, P. P.},
2012     booktitle = {{Proceedings of the Second IEEE International Conference on Fuzzy Systems}},
2013     citeulike-article-id = {7936501},
2014     keywords = {additive, and, approach, computational, detection, domain, edge, enhancement, filtering, frequency, functions, fuzzy, if-then, image, linguistic, linguistics, logic, membership, noise, prediction, processing, random, restoration, rules, set, statements, theory},
2015     pages = {600--605},
2016     posted-at = {2010-10-01 17:27:48},
2017     priority = {0},
2018     month=apr,
2019     title = {{Image processing-enhancement, filtering and edge detection using the fuzzy logic approach}},
2020     volume = {1},
2021     year = {1993}
2022 }
2023
2024
2025 @article{Canny:1986:CAE:11274.11275,
2026  author = {Canny, J},
2027  title = {A Computational Approach to Edge Detection},
2028  journal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
2029  issue_date = {June 1986},
2030  volume = {PAMI-8},
2031  number = {6},
2032  month = jun,
2033  year = {1986},
2034  issn = {0162-8828},
2035  pages = {679--698},
2036  numpages = {20},
2037  url = {http://dx.doi.org/10.1109/TPAMI.1986.4767851},
2038  doi = {10.1109/TPAMI.1986.4767851},
2039  acmid = {11275},
2040  publisher = {IEEE Computer Society},
2041  address = {Washington, DC, USA},
2042  keywords = {Edge detection, feature extraction, image processing, machine vision, multiscale image analysis},
2043 }
2044
2045
2046 @inproceedings{DBLP:conf/ih/FridrichKHG11a,
2047   author    = {Jessica J. Fridrich and
2048                Jan Kodovsk{\'y} and
2049                Vojtech Holub and
2050                Miroslav Goljan},
2051   title     = {Steganalysis of Content-Adaptive Steganography in Spatial
2052                Domain},
2053   booktitle = {Information Hiding},
2054   year      = {2011},
2055   pages     = {102-117},
2056   ee        = {http://dx.doi.org/10.1007/978-3-642-24178-9_8},
2057   crossref  = {DBLP:conf/ih/2011},
2058   bibsource = {DBLP, http://dblp.uni-trier.de}
2059 }
2060 @proceedings{DBLP:conf/ih/2011,
2061   editor    = {Tom{\'a}s Filler and
2062                Tom{\'a}s Pevn{\'y} and
2063                Scott Craver and
2064                Andrew D. Ker},
2065   title     = {Information Hiding - 13th International Conference, IH 2011,
2066                Prague, Czech Republic, May 18-20, 2011, Revised Selected
2067                Papers},
2068   booktitle = {Information Hiding},
2069   publisher = springer,
2070   address = springer_loc,
2071   series    = lncs,
2072   volume    = {6958},
2073   year      = {2011},
2074   isbn      = {978-3-642-24177-2},
2075   ee        = {http://dx.doi.org/10.1007/978-3-642-24178-9},
2076   bibsource = {DBLP, http://dblp.uni-trier.de}
2077 }
2078
2079 @inproceedings{DBLP:conf/iwdw/Fridrich11,
2080   author    = {Jessica J. Fridrich},
2081   title     = {Modern Trends in Steganography and Steganalysis},
2082   booktitle = {IWDW},
2083   year      = {2011},
2084   pages     = {1},
2085   ee        = {http://dx.doi.org/10.1007/978-3-642-32205-1_1},
2086   crossref  = {DBLP:conf/iwdw/2011},
2087   bibsource = {DBLP, http://dblp.uni-trier.de}
2088 }
2089 @proceedings{DBLP:conf/iwdw/2011,
2090   editor    = {Yun-Qing Shi and
2091                Hyoung-Joong Kim and
2092                Fernando P{\'e}rez-Gonz{\'a}lez},
2093   title     = {Digital Forensics and Watermarking - 10th International
2094                Workshop, IWDW 2011, Atlantic City, NJ, USA, October 23-26,
2095                2011, Revised Selected Papers},
2096   booktitle = {IWDW},
2097   publisher = springer,
2098   address = springer_loc,
2099   series    = lncs,
2100   volume    = {7128},
2101   year      = {2012},
2102   isbn      = {978-3-642-32204-4},
2103   ee        = {http://dx.doi.org/10.1007/978-3-642-32205-1},
2104   bibsource = {DBLP, http://dblp.uni-trier.de}
2105 }
2106
2107
2108
2109
2110 @article{MCErlang07,
2111  author = {Fredlund, Lars-\AAke and Svensson, Hans},
2112  title = {McErlang: a model checker for a distributed functional programming language},
2113  journal = {SIGPLAN Not.},
2114  volume = {42},
2115  issue = {9},
2116  year = {2007},
2117  issn = {0362-1340},
2118  pages = {125--136},
2119  numpages = {12},
2120  publisher = {ACM},
2121 }
2122 @inproceedings{Bogor03,
2123   author    = {Robby and
2124                Matthew B. Dwyer and
2125                John Hatcliff},
2126   title     = {Bogor: an extensible and highly-modular software model checking
2127                framework},
2128   booktitle = {Proc. of the 11th ACM SIGSOFT Symposium on Foundations
2129                of Software Engineering 2003},
2130   publisher = {ACM},
2131   year      = {2003},
2132   pages     = {267-276},
2133 }
2134
2135
2136 @ARTICLE{Banks92,
2137   author = {Banks, John and J. Brooks and G. Cairns and P. Stacey},
2138   title = {On Devaney's Definition of Chaos},
2139   journal = {Amer. Math. Monthly},
2140   year = {1992},
2141   volume = {99},
2142   pages = {332--334},
2143   keywords = {(c+),},
2144   owner = {guyeux},
2145   timestamp = {27/01/2008}
2146 }
2147
2148 @article{Crook2007267,
2149 title = "Pattern recall in networks of chaotic neurons",
2150 journal = "Biosystems",
2151 volume = "87",
2152 number = "2-3",
2153 pages = "267 - 274",
2154 year = "2007",
2155 issn = "0303-2647",
2156 doi = "DOI: 10.1016/j.biosystems.2006.09.022",
2157 author = "Nigel Crook and Wee Jin Goh and Mohammad Hawarat",
2158 keywords = "Chaos",
2159 keywords = "Spiking neural network"
2160 }
2161
2162 @ARTICLE{Xiao10,
2163   author = {Li, Yantao and Deng, Shaojiang and Xiao, Di},
2164   title = {A novel Hash algorithm construction based on chaotic neural network},
2165   journal = {Neural Computing and Applications},
2166   year = {2010},
2167   pages = {1-9},
2168   affiliation = {Chongqing University College of Computer Science 400044 Chongqing
2169         China},
2170   issn = {0941-0643},
2171   keyword = {Computer Science},
2172   publisher = {Springer London}
2173 }
2174
2175 @ARTICLE{1309431,
2176 author={Satish, K. and Jayakar, T. and Tobin, C. and Madhavi, K. and Murali, K.},
2177 journal={Consumer Electronics, IEEE Transactions on}, title={Chaos based spread spectrum image steganography},
2178 year={2004},
2179 month=may,
2180 volume={50},
2181 number={2},
2182 pages={ 587 - 590},
2183 keywords={ authentication; chaos based spread spectrum image steganography; chaotic encryption; chaotic modulation; covert communication; digital security schemes; home-office environment; in-band captioning; large-scale proliferation; tamperproofing; wireless products; chaotic communication; cryptography; data encapsulation; image processing; message authentication; modulation; spread spectrum communication;},
2184 doi={10.1109/TCE.2004.1309431},
2185 }
2186
2187 @article{Zhang2005759,
2188 title = "An image encryption approach based on chaotic maps",
2189 journal = "Chaos, Solitons \& Fractals",
2190 volume = "24",
2191 number = "3",
2192 pages = "759 - 765",
2193 year = "2005",
2194 note = "",
2195 issn = "0960-0779",
2196 doi = "10.1016/j.chaos.2004.09.035",
2197 author = "Linhua Zhang and Xiaofeng Liao and Xuebing Wang"
2198 }
2199
2200 @article{Lian20091296,
2201 title = "A block cipher based on chaotic neural networks",
2202 journal = "Neurocomputing",
2203 volume = "72",
2204 number = "4-6",
2205 pages = "1296 - 1301",
2206 year = "2009",
2207 issn = "0925-2312",
2208 author = "Shiguo Lian",
2209 keywords = "Neural network",
2210 keywords = "Chaos",
2211 keywords = "Security",
2212 keywords = "Block cipher",
2213 keywords = "Image encryption"
2214 }
2215
2216 @article{Cybenko89,
2217   author    = {George Cybenko},
2218   title     = {Approximation by Superpositions of a Sigmoidal function},
2219   journal   = {Mathematics of Control, Signals and Systems},
2220   volume    = {2},
2221   year      = {1989},
2222   pages     = {303-314}
2223 }
2224
2225
2226 @article{DBLP:journals/nn/HornikSW89,
2227   author    = {Kurt Hornik and
2228                Maxwell B. Stinchcombe and
2229                Halbert White},
2230   title     = {Multilayer feedforward networks are universal approximators},
2231   journal   = {Neural Networks},
2232   volume    = {2},
2233   number    = {5},
2234   year      = {1989},
2235   pages     = {359-366},
2236   ee        = {http://dx.doi.org/10.1016/0893-6080(89)90020-8},
2237   bibsource = {DBLP, http://dblp.uni-trier.de}
2238 }
2239
2240 @article{dalkiran10,
2241    author = {Ilker Dalkiran and Kenan Danisman},
2242    affiliation = {Faculty of Engineering Erciyes University 38039 Kayseri Turkey},
2243    title = {Artificial neural network based chaotic generator for cryptology},
2244    journal = TESC,
2245    volume = {18},
2246    number = {2},
2247    pages = {225-240},
2248    year = {2010}
2249 }
2250
2251 @article{springerlink:10.1007/s00521-010-0432-2,
2252    author = {Li, Yantao and Deng, Shaojiang and Xiao, Di},
2253    affiliation = {Chongqing University College of Computer Science 400044 Chongqing China},
2254    title = {A novel Hash algorithm construction based on chaotic neural network},
2255    journal = {Neural Computing and Applications},
2256    publisher = {Springer},
2257    issn = {0941-0643},
2258    keyword = {Computer Science},
2259    pages = {1-9},
2260    year = {2010}
2261 }
2262
2263
2264 @article{Feder2009NTB,
2265  author = {Feder, Tom\'{a}s and Subi, Carlos},
2266  title = {Nearly Tight Bounds on the Number of Hamiltonian Circuits of the Hypercube and Generalizations},
2267  journal = {Inf. Process. Lett.},
2268  issue_date = {February, 2009},
2269  volume = {109},
2270  number = {5},
2271  month = feb,
2272  year = {2009},
2273  issn = {0020-0190},
2274  pages = {267--272},
2275  numpages = {6},
2276  url = {http://dx.doi.org/10.1016/j.ipl.2008.10.015},
2277  doi = {10.1016/j.ipl.2008.10.015},
2278  acmid = {1496515},
2279  publisher = {Elsevier North-Holland, Inc.},
2280  address = {Amsterdam, The Netherlands, The Netherlands},
2281  keywords = {Cartesian products, Counting problems, Hamiltonian circuits, Hypercube, Matchings},
2282 }
2283
2284
2285
2286 @Article{ZanSup04,
2287   author={Zanten, A.~J.~van and Suparta, I.~N.},
2288   title={ Totally balanced and exponentially balanced Gray codes},
2289   journal={Discrete Analysis and Operational Research},
2290   series={Ser.~1},
2291   year={2004},
2292   volume={11},
2293   issue={4},
2294   pages={81--98}
2295 }
2296
2297 @book{LevinPeresWilmer2006,
2298   added-at = {2010-01-19T17:51:27.000+0100},
2299   author = {Levin, David A. and Peres, Yuval and Wilmer, Elizabeth L.},
2300   biburl = {http://www.bibsonomy.org/bibtex/2097dc4d1d0e412b2444f540b04110797/tmalsburg},
2301   interhash = {61354795a6accb6407bfdbf04753a683},
2302   intrahash = {097dc4d1d0e412b2444f540b04110797},
2303   keywords = {markovchains probabilitytheory textbook},
2304   publisher = {American Mathematical Society},
2305   timestamp = {2010-01-19T17:51:27.000+0100},
2306   title = {{Markov chains and mixing times}},
2307   url = {http://scholar.google.com/scholar.bib?q=info:3wf9IU94tyMJ:scholar.google.com/&output=citation&hl=en&as_sdt=2000&ct=citation&cd=0},
2308   year = 2006
2309 }
2310
2311  @Book{proba,
2312   author =      {M. Mitzenmacher and Eli Upfal},
2313   ALTeditor =      {},
2314   title =      {Probability and Computing},
2315   publisher =      {Cambridge University Press},
2316   year =      {2005},
2317 }
2318
2319 @misc{Mons14,
2320 inhal = {no},
2321 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
2322 equipe = {and},
2323 classement = {COM},
2324 author = {Couchot, Jean-Fran\c{c}ois and H\'eam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques},
2325 title = {Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers},
2326 howpublished = {15-th Mons Theoretical Computer Science Days (15e Journ\'ees Montoises d'Informatique Th\'eorique), Nancy, France},
2327 day = 23,
2328 month = sep,
2329 year = 2014,
2330
2331 }