 | 2002 |
|---|
| 6 |       | Paul Amblard,
Fabienne Lagnier,
Michel Lévy:
Using Formal Tools to Study Complex Circuits Behaviour.
DSD 2002: 180-186 |
| 1994 |
|---|
| 5 |  | Muriel Jourdan,
Fabienne Lagnier,
Florence Maraninchi,
Pascal Raymond:
A Multiparadigm Language for Reactive Systems.
ICCL 1994: 211-218 |
| 1993 |
|---|
| 4 | | Nicolas Halbwachs,
Fabienne Lagnier,
Pascal Raymond:
Synchronous Observers and the Verification of Reactive Systems.
AMAST 1993: 83-96 |
| 3 | | Martin Jourdan,
Fabienne Lagnier,
Florence Maraninchi,
Pascal Raymond:
Embedding Declarative Subprograms into Imperative Constructs.
PLILP 1993: 414-415 |
| 1992 |
|---|
| 2 | | 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) |
| 1 | | 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) |
