Home > Research > Students/Post-docs > Pierre-Yves Delahaye

Pierre-Yves Delahaye

Extraction de contrats 42 à partir de programmes SystemC

Friday 20 August 2010

Years: 2010 (IRL Ensimag)
Co-supervisor: Kevin Marquet
Subject: Extraction de contrats 42 à partir de programmes SystemC
Abstract:

Une implémentation de l’extraction de contrats (dans le formalisme « 42 ») qui avait été définie théoriquement par Tayeb Bouhadiba a été réalisée, en se basant sur le front-end SystemC PinaVM. L’outil est incomplet, mais entièrement automatique.


Publications HAL de ,

2016

Journal articles

ref_biblio
J. Adam, H. Borel, V.J.G. Feuillard, B. Hippolyte, C. Kuhn, et al.. Multi-strange baryon production in p-Pb collisions at $\sqrt{s_\mathbf{NN}}=5.02$. Physics Letters B, Elsevier, 2016, 758, pp.389-401. 〈10.1016/j.physletb.2016.05.027〉. 〈in2p3-01249887〉
Accès au bibtex
https://arxiv.org/pdf/1512.07227 BibTex

View online : Plus d’informations

Attached documents

  • Slides

    20 August 2010
    info document : PDF
    1.1 Mb
  • Final report

    20 August 2010
    info document : PDF
    1 Mb

Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License