Daniel Pilaud

Publication Activity (10 Years)

Years Active: 1985-1999
Publications (10 Years): 0

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Paul Caspi, Alain Girault, Daniel Pilaud
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. IEEE Trans. Software Eng. 25 (3) (1999)
Daniel Pilaud
Efficient automatic code generation for embedded systems. Microprocess. Microsystems 20 (8) (1997)
Dominique Brière, D. Ribot, Daniel Pilaud, J.-L. Camus
Method and specification tools for Airbus onboard systems. Microprocess. Microsystems 19 (9) (1995)
Nicolas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud
The synchronous data flow programming language LUSTRE. Proc. IEEE 79 (9) (1991)
Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. Automatic Verification Methods for Finite State Systems (1989)
Daniel Pilaud, Nicolas Halbwachs
From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. FTRTFT (1988)
Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
Lustre: A Declarative Language for Programming Synchronous Systems. POPL (1987)
Jean-Louis Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, Eric Pilaud
Outline of a Real Time Data Flow Language. RTSS (1985)