Méthode de conception descendante de systèmes temps réel. - Daniel Pilaud (1982)

Outline of a Real Time Data Flow Language. - Jean-Louis Bergerand; Paul Caspi; Daniel Pilaud; Nicolas Halbwachs; Eric Pilaud (RTSS, 1985)

Lustre: A Declarative Language for Programming Synchronous Systems. - Paul Caspi; Daniel Pilaud; Nicolas Halbwachs; John Plaice (POPL, 1987)

From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. - Daniel Pilaud; Nicolas Halbwachs (FTRTFT, 1988)

Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. - Nicolas Halbwachs; Daniel Pilaud; Farid Ouabdesselam; Anne-Cecile Glory (Automatic Verification Methods for Finite State Systems, 1989)

The synchronous data flow programming language LUSTRE. - Nicolas Halbwachs; Paul Caspi; Pascal Raymond; Daniel Pilaud (Proc. IEEE, 1991)

Method and specification tools for Airbus onboard systems. - Dominique Brière; D. Ribot; Daniel Pilaud; J.-L. Camus (Microprocess. Microsystems, 1995)

Efficient automatic code generation for embedded systems. - Daniel Pilaud (Microprocess. Microsystems, 1997)

Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. - Paul Caspi; Alain Girault; Daniel Pilaud (IEEE Trans. Software Eng., 1999)