bib/biblioand.bib

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