default search action

combined dblp search
author search
venue search
publication search

ask others

Fabienne Lagnier

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2004
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/wcae/AmblardLL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcae/AmblardLL04
Paul Amblard, Fabienne Lagnier, Michel Lévy:
Introduction to formal processor verification at logic level: a case study. WCAE 2004: 9
2002
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/dsd/AmblardLL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsd/AmblardLL02
Paul Amblard, Fabienne Lagnier, Michel Lévy:
Using Formal Tools to Study Complex Circuits Behaviour. DSD 2002: 180-186

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1994
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iccl/JourdanLMR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccl/JourdanLMR94
Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond:
A Multiparadigm Language for Reactive Systems. ICCL 1994: 211-218
1993
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/amast/HalbwachsLR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/HalbwachsLR93
Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond:
Synchronous Observers and the Verification of Reactive Systems. AMAST 1993: 83-96
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/JourdanLMR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/JourdanLMR93
Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond:
Embedding Declarative Subprograms into Imperative Constructs. PLILP 1993: 414-415
1992
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/HalbwachsLR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/HalbwachsLR92
Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel:
An Experience in Proving Regular Networks of Processes by Modular Model Checking. Acta Informatica 29(6/7): 523-543 (1992)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/HalbwachsLR92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HalbwachsLR92
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)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.