D. Pilaud is an author at Verimag specializing in software engineering, software analysis, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisReal-time SystemsSoftware AnalysisSoftware EngineeringSystem SoftwareVerificationFormal MethodsFormal Verification
Publications per year
1985–1999
5
5
The synchronous data flow programming language LUSTRE
Nicolas Halbwachs, P. Caspi, Pascal Raymond et al. · Proceedings of the IEEE · 1991 · 1.5K citations · Full text
Efficient Sequential Program, Engineering, Software Systems +21
LUSTRE: a declarative language for real-time programming
P. Caspi, D. Pilaud, Nicolas Halbwachs et al. · 1987 · 552 citations · Full text
LUSTRE: A declarative language for programming synchronous systems*
Paul Caspi, D. Pilaud, Nicolas Halbwachs et al. · 1987 · 461 citations
Outline of a Real Time Data Flow Language.
J.L. Bergerand, Paul Caspi, D. Pilaud et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1985 · 39 citations
Rows per page
1–5 of 5