bib/biblioand.bib

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