| 2008 |
|---|
| 8 | EE | Julien Forget,
Frédéric Boniol,
David Lesens,
Claire Pagetti:
A Multi-Periodic Synchronous Data-Flow Language.
HASE 2008: 251-260 |
| 2007 |
|---|
| 7 | EE | Erwan Jahier,
Nicolas Halbwachs,
Pascal Raymond,
Xavier Nicollin,
David Lesens:
Virtual execution of AADL models via a translation into synchronous programs.
EMSOFT 2007: 134-143 |
| 6 | | Jean-Paul Blanquart,
Gérard Bulsa,
David Lesens,
George Mamais,
Maxime Perrotin:
Formal Modeling of Data. A Case Study for Space Applications.
ISoLA 2007: 123-134 |
| 2006 |
|---|
| 5 | EE | Iulian Ober,
Susanne Graf,
David Lesens:
Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.
FMOODS 2006: 48-62 |
| 2001 |
|---|
| 4 | EE | David Lesens,
Nicolas Halbwachs,
Pascal Raymond:
Automatic verification of parameterized networks of processes.
Theor. Comput. Sci. 256(1-2): 113-144 (2001) |
| 1997 |
|---|
| 3 | | David Lesens:
Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints.
AMAST 1997: 337-350 |
| 2 | EE | David Lesens,
Nicolas Halbwachs,
Pascal Raymond:
Automatic Verification of Parameterized Linear Networks of Processes.
POPL 1997: 346-357 |
| 1 | EE | David Lesens,
Hassen Saïdi:
Abstraction of parameterized networks.
Electr. Notes Theor. Comput. Sci. 9: (1997) |
