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

Journal articles

ref_biblio: Angel Abusleme, Thomas Adam, Shakeel Ahmad, Rizwan Ahmed, Sebastiano Aiello, et al.. The Design and Technology Development of the JUNO Central Detector. Eur.Phys.J.Plus, 2024, 139 (12), pp.1128. ⟨10.1140/epjp/s13360-024-05830-8⟩. ⟨hal-04338602⟩
Accès au bibtex

ref_biblio: S Aiello, A Albert, M Alshamsi, S. Alves Garre, Z Aly, et al.. Astronomy potential of KM3NeT/ARCA. European Physical Journal C: Particles and Fields, 2024, 84 (9), pp.885. ⟨10.1140/epjc/s10052-024-13137-2⟩. ⟨hal-04480224⟩
Accès au texte intégral et 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

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

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), pp.140. ⟨10.1007/s10404-016-1803-5⟩. ⟨hal-02610529⟩
Accès au texte intégral et 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

Voir en ligne : Plus d’informations