Fabienne Lagnier

According to our database1, Fabienne Lagnier
  • authored at least 7 papers between 1992 and 2004.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2004
Introduction to formal processor verification at logic level: a case study.
Proceedings of the 2004 workshop on Computer architecture education, 2004

2002
Using Formal Tools to Study Complex Circuits Behaviour.
Proceedings of the 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), 2002

1994
A Multiparadigm Language for Reactive Systems.
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

1993
Embedding Declarative Subprograms into Imperative Constructs.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

Synchronous Observers and the Verification of Reactive Systems.
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.
IEEE Trans. Software Eng., 1992

An Experience in Proving Regular Networks of Processes by Modular Model Checking.
Acta Inf., 1992


  Loading...