 | 2007 |
|---|
| 4 |       | Claus Traulsen,
Jérôme Cornet,
Matthieu Moy,
Florence Maraninchi:
A SystemC/TLM Semantics in Promelaand Its Possible Applications.
SPIN 2007: 204-222 |
| 2006 |
|---|
| 3 | | C. Helmstetter,
Florence Maraninchi,
Laurent Maillet-Contoz,
Matthieu Moy:
Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip.
FMCAD 2006: 171-178 |
| 2005 |
|---|
| 2 | | Matthieu Moy,
Florence Maraninchi,
Laurent Maillet-Contoz:
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level.
ACSD 2005: 26-35 |
| 1 | | Matthieu Moy,
Florence Maraninchi,
Laurent Maillet-Contoz:
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip.
EMSOFT 2005: 317-324 |
