Asymptotically Optimal Deterministic Rendezvous,
Carrier Fabienne, Devismes Stéephane, Petit Franck, Rivierre Yvan,
International Journal of Foundations of Computer Science (IJFCS),
2010,
[pdf file]
Mes précédentes publications figurent sous le nom Fabienne Lagnier.
-
Finite state machines: composition, verification, minimization: a
case study
Amblard P., Lagnier F., Levy M.
10th International Conference on Mixed Design (MIXDES03),
Lodz, Poland, June 26-28, 2003
[pdf file]
-
Using formal tools to study complex circuits behaviour
Amblard P., Lagnier F., Levy M.
Euromicro Symposium on Digital System Design
(Architectures, Methods and Tools) (DSD'02),
Dortmund, Germany, 4-6 September 2002, (pp 180-186)
[pdf file]
-
Formal verification of a critical system written in Saga/Lustre
F. Lagnier, P. Raymond, C. Dubois
Workshop on Formal Methods, Modelling and Simulation for System Engineering
St Quentin en Yvelines (France), February 1995
-
Verification de proprietes de programmes ecrits en Lustre
Ch. Dubois, P. Ghaleb, F. Lagnier, P. Raymond
RTS 95, Paris,
January 1995
-
A multiparadigm language for reactive systems
M. Jourdan, F. Lagnier, F. Maraninchi, P. Raymond
Proc. IEEE Internal Conference on Computer Languages, Toulouse, France, 1994
[details...]
-
Synchronous observers and the verification of reactive systems.
N. Halbwachs, F. Lagnier, P. Raymond.
Third Int. Conf. on Algebraic Methodology and Software Technology,
AMAST'93,
Workshops in Computing, Springer Verlag. Twente, June 1993.
[Abstract and Postscript]
-
Programming and verifying critical systems by means of the synchronous
data-flow programming language Lustre.
N. Halbwachs, F. Lagnier, C. Ratel.
IEEE Transactions on Software Engineering, Special Issue on the
Specification and Analysis of Real-Time Systems.
September 1992.
[Abstract and Postscript]
-
An experience in proving regular networks of processes by modular model
checking.
N. Halbwachs, F. Lagnier, Ch. Ratel.
Acta Informatica,
vol. 29, nr. 6/7, pp. 523-543, 1992
[Abstract]