2009.bib

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

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

@techreport{BESNARD:2009:INRIA-00400272:1,
  title = {{A}utomatic translation of {C}/{C}++ parallel code into synchronous formalism using an {SSA} intermediate form},
  author = {{B}esnard, {L}o{\"i}c and {G}autier, {T}hierry and {M}oy, {M}atthieu and {T}alpin, {J}ean-{P}ierre and {J}ohnson, {K}enneth and {M}araninchi, {F}lorence},
  abstract = {{W}e 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. {T}he translation uses SSA as an intermediate formalism, and the {GCC} compiler as a front-end. {T}he contributions of this paper with respect to previous work are a more efficient translation scheme, and the management of parallel code. {I}t is applied successfully on simple {SystemC} examples.},
  keywords = {{P}rogram verification, virtual prototyping, formal modeling, synchronous approach},
  language = {{A}nglais},
  affiliation = {{ESPRESSO} - {INRIA} - {IRISA} - {CNRS} : {UMR}6074 - {INRIA} - {I}nstitut {N}ational des {S}ciences {A}ppliqu{\'e}es de {R}ennes - {U}niversit{\'e} de {R}ennes 1 - {VERIMAG} - {VERIMAG} - {IMAG} - {CNRS} : {UMR}5104 - {U}niversit{\'e} {J}oseph {F}ourier - {G}renoble {I} - {I}nstitut {N}ational {P}olytechnique de {G}renoble - {INPG} },
  type = {},
  year = {2009},
  month = {June},
  institution = {IRISA and Verimag},
  url = {http://hal.inria.fr/inria-00400272/en/}
}

@inproceedings{besnard09:ssa-to-signal,
  author = {{B}esnard, {L}o{\"i}c and {G}autier, {T}hierry and {M}oy, {M}atthieu 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.95.