| |
| 2008 | ||
|---|---|---|
| 2 | EE | Jérôme Cornet, Florence Maraninchi, Laurent Maillet-Contoz: A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip. DATE 2008: 9-14 |
| 2007 | ||
| 1 | EE | Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi: A SystemC/TLM Semantics in Promelaand Its Possible Applications. SPIN 2007: 204-222 |
| 1 | Laurent Maillet-Contoz | [2] |
| 2 | Florence Maraninchi | [1] [2] |
| 3 | Matthieu Moy | [1] |
| 4 | Claus Traulsen | [1] |