2009.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib matthieu_moy.bib -c year=2009 -ob 2009.bib}}

@inproceedings{besnard09:ssa-to-signal,
  author = {{B}esnard, {L}o{\"i}c and {G}autier, {T}hierry and {M}oy, Matthieu and {T}alpin, {J}ean-{P}ierre and {J}ohnson, {K}enneth and {M}araninchi, {F}lorence},
  title = {{A}utomatic translation of {C}/{C}++ parallel code into synchronous formalism using an {SSA} intermediate form},
  booktitle = {Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09)},
  year = 2009,
  month = {September},
  publisher = {Electronic Communications of the EASST},
  url = {http://www-verimag.imag.fr/~moy/publications/ssa-sig.pdf},
  abstract = {We present an approach for the translation of imperative code (like
  C, C++) into the synchronous formalism Signal, in order to use a
  model-checker to verify properties on the source code. The
  translation uses SSA as an intermediate formalism, and the GCC
  compiler as a front-end. The contributions of this paper with
  respect to previous work are a more efficient translation scheme,
  and the management of parallel code. It is applied successfully on
  simple {SystemC} examples.}
}

This file was generated by bibtex2html 1.98.