Accueil > Recherche > Étudiants/Post-docs > Pierre-Yves Delahaye

Pierre-Yves Delahaye

Extraction de contrats 42 à partir de programmes SystemC

vendredi 20 août 2010

Années: 2010 (IRL Ensimag)
Co-encadrant: Kevin Marquet
Sujet: Extraction de contrats 42 à partir de programmes SystemC
Résumé:

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.


2024

Preprints, Working Papers, ...

ref_biblio
S Aiello, A Albert, M Alshamsi, S. Alves Garre, Z Aly, et al.. Astronomy potential of KM3NeT/ARCA. 2024. ⟨hal-04480224⟩
Accès au bibtex
https://arxiv.org/pdf/2402.08363 BibTex

2023

Preprints, Working Papers, ...

ref_biblio
Angel Abusleme, Thomas Adam, Shakeel Ahmad, Rizwan Ahmed, Sebastiano Aiello, et al.. The Design and Technology Development of the JUNO Central Detector. 2023. ⟨hal-04338602⟩
Accès au bibtex
https://arxiv.org/pdf/2311.17314 BibTex

2022

Journal articles

ref_biblio
Angel Abusleme, Thomas Adam, Shakeel Ahmad, Rizwan Ahmed, Sebastiano Aiello, et al.. Mass testing and characterization of 20-inch PMTs for JUNO. Eur.Phys.J.C, 2022, 82 (12), pp.1168. ⟨10.1140/epjc/s10052-022-11002-8⟩. ⟨hal-03737679⟩
Accès au bibtex
https://arxiv.org/pdf/2205.08629 BibTex

2017

Journal articles

ref_biblio
Mabrouka El Hachani, < Mabrouka, El Hachani. Bibliothèque et liens intergénérationnels : Situations d’interactions avec tablettes,. Interfaces numériques, 2017, 6, ⟨10.3199/RIN.1.1-n⟩. ⟨hal-01700491⟩
Accès au bibtex
BibTex

2016

Journal articles

ref_biblio
Bingrui Xu, Jalel Chergui, Seungwon Shin ·, Damir Juric. Three-dimensional simulations of viscous folding in diverging microchannels. Microfluidics and Nanofluidics, 2016, 20 (10), ⟨10.1007/s10404-016-1803-5⟩. ⟨hal-02610529⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02610529/file/1609.03871.pdf BibTex

2014

Conference papers

ref_biblio
Mirsad Buljubasic, Michel Vasquez, Haris Gavranovi ́. Two-phase heuristic for SNCF rolling stock problem. IFORS 2014 : 20th Conference of the International Federation of Operational Research Societies,, Jul 2014, Barcelona, Spain. ⟨hal-01951610⟩
Accès au bibtex
BibTex

Voir en ligne : Plus d’informations

Documents joints

  • Slides

    20 août 2010
    info document : PDF
    1.1 Mo
  • Final report

    20 août 2010
    info document : PDF
    1 Mo

Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License