Students/Post-docs

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; 2024 Journal articles ref_biblioYann Nguyen, Gaëtane Nocturne, Julien Henry, Wan-Fai Ng, Rakiba Belkhir, et al.. Identification of distinct subgroups of Sjögren's disease by cluster analysis based on clinical and biological manifestations: data (...)
  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...

• 1
• 2
• 3