Fabienne Lagnier

According to our database, Fabienne Lagnier authored at least 7 papers between 1992 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Introduction to formal processor verification at logic level: a case study.

Paul Amblard, Fabienne Lagnier, Michel Lévy

Proceedings of the 2004 workshop on Computer architecture education, 2004

2002

Using Formal Tools to Study Complex Circuits Behaviour.

Paul Amblard, Fabienne Lagnier, Michel Lévy

Proceedings of the 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), 2002

1994

A Multiparadigm Language for Reactive Systems.

Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond

Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

1993

Embedding Declarative Subprograms into Imperative Constructs.

Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond

Proceedings of the Programming Language Implementation and Logic Programming, 1993

Synchronous Observers and the Verification of Reactive Systems.

Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE.

Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel

IEEE Trans. Software Eng., 1992

An Experience in Proving Regular Networks of Processes by Modular Model Checking.

Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel

Acta Informatica, 1992