Home > Research > Students/Post-docs

Students/Post-docs

Latest update : 7 March.

Articles in this section

  • Giovanni Funchal

    Years: 2007, 2008, 2009, 2010, 2011 (CIFRE Ph. D) Co-supervisor: Florence Maraninchi Abstract: Consumer electronic devices are made of hardware (the physical part) and software. In the past, the hardware part had to be fabricated first (e.g. prototype boards), then used for developing the software. Transaction-level modeling (TLM) is an attempt to avoid waiting for the hardware to physically exist before starting the development of software. TLM models are abstractions of (...)
    Read more...
  • Kevin Marquet

    Formal Model Extraction and Verification from SystemC Programs

    Years: 2008, 2009, 2010 (Post-doc) Subject: Formal Model Extraction and Verification from SystemC Programs Abstract: Kevin is involved in the OpenTLM project. This project concerns the modeling/verification of Systems on a Chip (SoC). Kevin’s research area comprises: the modeling of SoC the extraction of formal models the verification of SoC In these areas, Kevin has written different papers and developed a whole verification chain called PinaVM, including all theoretical contributions. This tool is open-source and available here. > .ChampRes display:none; .Rubrique (...)
    Read more...
  • Pierre-Yves Delahaye

    Extraction de contrats 42 à partir de programmes SystemC

    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. > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; (...)
    Read more...
  • Julien Henry (TER/IRL)

    Analyse de Programme par SMT Solving

    Years: 2010 (IRL Ensimag) Co-supervisor: David Monniaux Subject: Analyse de Programme par SMT Solving > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic; 2018 Journal articles ref_biblioDavid Montani, Julien Henry, Caroline O'Connell, Xavier Jaïs, Vincent Cottin, et al.. Association between Rheumatoid Arthritis and Pulmonary Hypertension: Data from the French Pulmonary Hypertension Registry. (...)
    Read more...
  • Madhav Jha

    Connecting the LusSy toolchain for the verification of SystemC models to the NuSMV model-checker

    Years: 2007 (Bachelor of engineering) Subject: Connecting the LusSy toolchain for the verification of SystemC models to the NuSMV model-checker > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic;
    Read more...

0 | 20 | 40

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