| |
| 1992 | ||
|---|---|---|
| 3 | Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel: An Experience in Proving Regular Networks of Processes by Modular Model Checking. Acta Inf. 29(6/7): 523-543 (1992) | |
| 2 | EE | Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel: Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. IEEE Trans. Software Eng. 18(9): 785-793 (1992) |
| 1991 | ||
| 1 | Nicolas Halbwachs, Pascal Raymond, Christophe Ratel: Generating Efficient Code From Data-Flow Programs. PLILP 1991: 207-218 | |
| 1 | Nicolas Halbwachs | [1] [2] [3] |
| 2 | Fabienne Lagnier | [2] [3] |
| 3 | Pascal Raymond | [1] |