System prototyping with ALMA. - Jean-Yves Brunel; Ivan Augé; Xavier Redon; Philippe Tychon (RSP, 1991)

Quantitative design of a scalable microsystem using ALMA: the example of the dictionary machine. - Jean-Yves Brunel; Ivan Augé; Marc Hervieu; Philippe Bourquin; Philippe Renaud (RSP, 1994)

Communication refinement in video systems on chip. - Jean-Yves Brunel; Erwin A. de Kock; W. M. Kruijtzer; H. J. H. N. Kenter; W. J. M. Smits (CODES, 1999)

COSY communication IP's. - Jean-Yves Brunel; W. M. Kruijtzer; H. J. H. N. Kenter; Frédéric Pétrot; L. Pasquier; Erwin A. de Kock; W. J. M. Smits (DAC, 2000)

YAPI: application modeling for signal processing systems. - Erwin A. de Kock; W. J. M. Smits; Pieter van der Wolf; Jean-Yves Brunel; W. M. Kruijtzer; Paul Lieverse; Kees A. Vissers; Gerben Essink (DAC, 2000)

Models of IP's for Automotive Virtual Integration Platforms. - Paolo Giusto; Jean-Yves Brunel; Alberto Ferrari; Eliane Fourgeau; Luciano Lavagno; Barry O'Rourke; Alberto L. Sangiovanni-Vincentelli; Emanuele Guasto (ICCD, 2002)

Automotive Virtual Integration Platforms: Why's, What's, and How's. - Paolo Giusto; Jean-Yves Brunel; Alberto Ferrari; Eliane Fourgeau; Luciano Lavagno; Alberto L. Sangiovanni-Vincentelli (ICCD, 2002)

SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. - Jean-Yves Brunel; Marco Di Natale; Alberto Ferrari; Paolo Giusto; Luciano Lavagno (DATE, 2004)