Concepedia
Statistics
Publications
12
Citations
460
H-Index
11
Active since
2005
Affiliations
Verimag(Current)
STMicroelectronics (France)
STMicroelectronics (Switzerland)
Université Grenoble Alpes
Institut polytechnique de Grenoble
Matthieu Moy is an author at Verimag specializing in computer science, computer engineering, and systemc modeling.
Publications per year
2005–2024
Pinapa
Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz · 2005 · 69 citations · Full text
Engineering, Computer Engineering, Computer Science +17
PAGAI: A Path Sensitive Static Analyser
Julien Henry, David Monniaux, Matthieu Moy · Electronic Notes in Theoretical Computer Science · 2012 · 66 citations · Full text
Computing, Computer Science, Algorithms +16
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level
Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz · 2006 · 62 citations · Full text
Computing, Computer Engineering, Computer Science +17
Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip
Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz et al. · 2006 · 53 citations · Full text
Engineering, Computer Engineering, Computer Science +16
LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level
Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz · Design Automation for Embedded Systems · 2005 · 49 citations · Full text
1–5 of 12