Laurent Maillet-Contoz (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

9		Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz: Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. Formal Methods in System Design 35(2): 152-189 (2009)
8		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
6		Claude 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
5		Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz: Test Coverage for Loose Timing Annotations. FMICS/PDMC 2006: 100-115
4		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
3		Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz: Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. EMSOFT 2005: 317-324

Selection of 6 from 9 records - Laurent Maillet-Contoz has 14 coauthors