@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib matthieu_moy.bib -c year=2012 -ob 2012.bib}}
  author = {Matthieu Moy},
  title = {sc-during: tasks with duration for parallel programming in {SystemC}},
  howpublished = {Published as Free Software (LGPL License)},
  year = 2012,
  url = {https://forge.imag.fr/projects/sc-during/}
  title = {Succinct Representations for Abstract Interpretation},
  author = {Henry, Julien and Monniaux, David and Moy, Matthieu},
  booktitle = {Static analysis Symposium (SAS)},
  team = {SYNC},
  year = {2012},
  note = {Acceptance rate: 40\%, Rank A CORE 2014}
  title = {{PAGAI}: a path sensitive static analyzer},
  author = {Henry, Julien and Monniaux, David and Moy, Matthieu},
  editor = {Bertrand Jeannet},
  booktitle = {Tools for Automatic Program Analysis (TAPAS)},
  team = {SYNC},
  year = {2012},
  abstract = {We describe the design and the implementation of PAGAI, a new static analyzer working over the LLVM compiler infrastructure, which computes inductive invariants on the numerical variables of the analyzed program. PAGAI implements various state-of-the-art algorithms combining abstract interpretation and decision procedures (SMT-solving), focusing on distinction of paths inside the control flow graph while avoiding systematic exponential enumerations. It is parametric in the abstract domain in use, the iteration algorithm, and the decision procedure. We compared the time and precision of various combinations of analysis algorithms and abstract domains, with extensive experiments both on personal benchmarks and widely available GNU programs.}
  title = {{Co-Simulation of a SystemC TLM Virtual Platform with a Power Simulator at the Architectural Level: Case of a Set-Top Box}},
  author = {Cornet, J\'er\^ome and Maillet-Contoz, Laurent and Materic, Ilija and Kaiser, Sylvian and Boussetta, Hela and Bouhadiba, Tayeb and Moy, Matthieu and Maraninchi, Florence},
  booktitle = {{Design Automation Conference}},
  address = {San Francisco, US},
  month = {June},
  pages = {SESSION 10U: USER TRACK},
  url = {http://hal.archives-ouvertes.fr/hal-00716051},
  team = {SYNC},
  year = {2012},
  hal_id = {hal-00716051},
  keywords = {power estimation; temperature; systemc; transaction-level modeling},
  language = {Anglais},
  affiliation = {STMicroelectronics (Grenoble) - ST-GRENOBLE , Docea Power , VERIMAG - VERIMAG - IMAG},
  audience = {internationale},
  abstract = {{The ability to perform power estimation early in the design flow is becoming more and more critical as power optimization requirements grow. For now, standalone power simulators allow such estimation, based on typical stimuli described in a use-case scenario. We propose a co-simulation of SystemC TLM platforms with a Power model. This way, the Power model benefits from more realistic stimuli. In addition, it is possible to provide real-time information from the Power model back to the SystemC TLM simulation, such as temperature values.}}

This file was generated by bibtex2html 1.98.