@Inproceedings {AAR12,
 author        = {Ayache, Nicolas and Amadio, Roberto M. and R\'{e}gis-Gianas, Yann},
 title         = {Certifying and reasoning on cost annotations in {C}
 compilers},
 hal_id        = {hal-00702665},
 url           = {http://hal.inria.fr/hal-00702665},
 pdf           = {http://hal.inria.fr/hal-00702665/PDF/ccac-fmics-final.pdf},
 booktitle     = {{FMICS 2012 - 17th International Workshop on Formal Methods for Industrial Critical Systems}},
 pages         = {32--46},
 year          = 2012,
 month         = Aug
}

@Misc {AyacheCost,
 author        = {Ayache, Nicolas},
 title         = {Synthesis of certified cost bounds},
 note          = {To be submitted}
}

@TechReport {AARS10,
 author        = {Amadio, Roberto M. and Ayache, Nicolas and R\'{e}gis-Gianas, Yann and Saillard, Ronan},
 title         = {Certifying cost annotations in compilers},
 month         = oct,
 year          = 2010
}

@Inproceedings {ACV08wseas,
 author        = {Ayache, Nicolas and Correnson, Lo\"{\i}c and V\'{e}drine, Franck},
 title         = {Scenarios for validating SystemC descriptions},
 booktitle     = {Proceedings of the 12th WSEAS international conference on Circuits},
 year          = 2008,
 isbn          = {978-960-6766-82-4},
 location      = {Heraklion, Greece},
 pages         = {468--473},
 numpages      = {6},
 url           = {http://portal.acm.org/citation.cfm?id=1576429.1576512},
 acmid         = {1576512},
 publisher     = {World Scientific and Engineering Academy and Society (WSEAS)},
 address       = {Stevens Point, Wisconsin, USA},
 keywords      = {design flow, formal methods, model checking, scenario, systemC, verification}
}

@Inproceedings {ACV08vecos,
  author       = {Ayache, Nicolas and Correnson, Lo\"{\i}c and V\'{e}drine, Franck},
  title        = {{Verifying SystemC with Scenario}},
  booktitle    = {2nd International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008)},
  series       = {eWiC},
  publisher    = {British Computer Society},
  address      = {Leeds, UK},
  year         = 2008
}

@Unpublished {Ayache07,
  author       = {Nicolas Ayache},
  title        = {{Proofs of Hardware Component Descriptions Using Scenarios}},
  year         = 2007,
  url          = {http://nicolas.ayache.free.fr/soc07.pdf}
}

@Unpublished {AyacheFilliatre06,
  author       = {Nicolas Ayache and Jean-Christophe Filli\^atre},
  title        = {{Combining the Coq Proof Assistant with First-Order Decision Procedures}},
  year         = 2006,
  month        = MAR,
  url          = {http://www.lri.fr/~filliatr/publis/coq-dp.ps}
}