|
Search the dblp DataBase
Daniel Pilaud:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, A.-C. Glory
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:213-231 [Conf]
- Daniel Pilaud, Nicolas Halbwachs
From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. [Citation Graph (0, 0)][DBLP] FTRTFT, 1988, pp:99-110 [Conf]
- Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
Lustre: A Declarative Language for Programming Synchronous Systems. [Citation Graph (0, 0)][DBLP] POPL, 1987, pp:178-188 [Conf]
- J. L. Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, E. Pilaud
Outline of a Real Time Data Flow Language. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1985, pp:33-42 [Conf]
- Paul Caspi, Alain Girault, Daniel Pilaud
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1999, v:25, n:3, pp:416-427 [Journal]
Search in 0.001secs, Finished in 0.001secs
|