Daniel Pilaud

According to our database, Daniel Pilaud authored at least 9 papers between 1982 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors.

Paul Caspi, Alain Girault, Daniel Pilaud

IEEE Trans. Software Eng., 1999

1997

Efficient automatic code generation for embedded systems.

Daniel Pilaud

Microprocess. Microsystems, 1997

1995

Method and specification tools for Airbus onboard systems.

Dominique Brière, D. Ribot, Daniel Pilaud, J.-L. Camus

Microprocess. Microsystems, 1995

1991

The synchronous data flow programming language LUSTRE.

Nicolas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud

Proc. IEEE, 1991

1989

Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.

Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time.

Daniel Pilaud, Nicolas Halbwachs

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1988

1987

Lustre: A Declarative Language for Programming Synchronous Systems.

Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

1985

Outline of a Real Time Data Flow Language.

Jean-Louis Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, Eric Pilaud

Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS '85), 1985

1982

Méthode de conception descendante de systèmes temps réel.

Daniel Pilaud

PhD thesis, 1982