dblp.uni-trier.dewww.uni-trier.de

Daniel Pilaud

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999
5EEPaul Caspi, Alain Girault, Daniel Pilaud: Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. IEEE Trans. Software Eng. 25(3): 416-427 (1999)
1989
4 Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, A.-C. Glory: Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. Automatic Verification Methods for Finite State Systems 1989: 213-231
1988
3 Daniel Pilaud, Nicolas Halbwachs: From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. FTRTFT 1988: 99-110
1987
2 Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice: Lustre: A Declarative Language for Programming Synchronous Systems. POPL 1987: 178-188
1985
1 J. L. Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, E. Pilaud: Outline of a Real Time Data Flow Language. IEEE Real-Time Systems Symposium 1985: 33-42

Coauthor Index

1J. L. Bergerand [1]
2Paul Caspi [1] [2] [5]
3Alain Girault [5]
4A.-C. Glory [4]
5Nicolas Halbwachs [1] [2] [3] [4]
6Farid Ouabdesselam [4]
7E. Pilaud [1]
8John Plaice [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)