Fabienne Lagnier

INTRODUCING DIGITAL CIRCUITS DESIGN AND FORMAL VERIFICATION CONCURRENTLY

Paul Amblard, Fabienne Lagnier, Michel Levy, 2000 .

A multiparadigm language for reactive systems

Pascal Raymond, Florence Maraninchi, Muriel Jourdan, 1994, Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94).

Using formal tools to study complex circuits behaviour

Paul Amblard, Fabienne Lagnier, Michel Lévy, 2002, Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools.

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

Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel, 1992, IEEE Trans. Software Eng..

Synchronous Observers and the Verification of Reactive Systems

Nicolas Halbwachs, Pascal Raymond, Fabienne Lagnier, 1993, AMAST.

Embedding Declarative Subprograms into Imperative Constructs

Pascal Raymond, Florence Maraninchi, Martin Jourdan, 1993, PLILP.

An experience in proving regular networks of processes by modular model checking

Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel, 1992, Acta Informatica.

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

Paul Amblard, Fabienne Lagnier, Michel Lévy, 2004, WCAE '04.