Fabienne Lagnier

Publication Activity (10 Years)

Years Active: 1992-2004
Publications (10 Years): 0

Publications

Paul Amblard, Fabienne Lagnier, Michel Lévy
Introduction to formal processor verification at logic level: a case study. WCAE (2004)
Paul Amblard, Fabienne Lagnier, Michel Lévy
Using Formal Tools to Study Complex Circuits Behaviour. DSD (2002)
Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond
A Multiparadigm Language for Reactive Systems. ICCL (1994)
Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond
Synchronous Observers and the Verification of Reactive Systems. AMAST (1993)
Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond
Embedding Declarative Subprograms into Imperative Constructs. PLILP (1993)
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) (1992)
Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
An Experience in Proving Regular Networks of Processes by Modular Model Checking. Acta Informatica 29 (6/7) (1992)