#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1982

2004

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- NICHOLAS HALBWACHS, PAUL CASPI, DANIEL PILAUD
- 2004

This paper describes the language LUSTRE which is a data flow synchronous language, designed for programming reactive systems-uch as automatic control and monitoring sy s t emsas well as for describing hardware. The data flow aspect of LUSTRE makes it very close to usual description tools in these domains (blockdiagrams, networks of operators, dynamical… (More)

- Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
- POPL
- 1987

LUSTRE is a synchronous data-flow language for programming systems which interact with their environments in real-time. After an informal presentation of the language, we describe its semantics by means of structural inference rules. Moreover, we show how to use this semantics in order to generate efficient sequential code, namely, a finite state automaton… (More)

- Paul Caspi, Alain Girault, Daniel Pilaud
- IEEE Trans. Software Eng.
- 1999

This paper addresses the problem of automatically distributing reactive systems. We first show that the use of synchronous languages allows a natural parallel description of such systems, regardless of any distribution problems. Then, a desired distribution can be easily specified, and achieved with the algorithm presented here. This distribution technique… (More)

This paper addresses the problem of distributing reactive systems. We first show that the use of synchronous languages allows a natural parallel description of such systems, regardless of any distribution problems. Then, a desired distribution can be easily specified, and achieved with the algorithm presented here. This distribution technique provides… (More)

- Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory
- Automatic Verification Methods for Finite State…
- 1989

- Daniel Pilaud, Nicolas Halbwachs
- FTRTFT
- 1988

- Daniel Pilaud
- Microprocessors and Microsystems - Embedded…
- 1997

Developing a safety critical real-time application raises high challenge: “failure is not an option”. The code has to be readable, reliable and efficient. For doing so, VERILOG has developed an environment based on formal approach. This is the only way to be in a position to prove that the code is doing what it is supposed to do, always.

- Dominique Brière, D. Ribot, Daniel Pilaud, J.-L. Camus
- Microprocessors and Microsystems - Embedded…
- 1995

- Daniel Pilaud
- 1982

- ‹
- 1
- ›