Search the dblp DataBase
Fabienne Lagnier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond
Synchronous Observers and the Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
AMAST, 1993, pp:83-96 [Conf] - Paul Amblard, Fabienne Lagnier, Michel Lévy
Using Formal Tools to Study Complex Circuits Behaviour. [Citation Graph (0, 0)][DBLP]
DSD, 2002, pp:180-186 [Conf] - Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond
A Multiparadigm Language for Reactive Systems. [Citation Graph (0, 0)][DBLP]
ICCL, 1994, pp:211-218 [Conf] - Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond
Embedding Declarative Subprograms into Imperative Constructs. [Citation Graph (0, 0)][DBLP]
PLILP, 1993, pp:414-415 [Conf] - Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
An Experience in Proving Regular Networks of Processes by Modular Model Checking. [Citation Graph (0, 0)][DBLP]
Acta Inf., 1992, v:29, n:6/7, pp:523-543 [Journal] - Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Software Eng., 1992, v:18, n:9, pp:785-793 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002