| 2007 |
|---|
| 6 | 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 |
| 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) |
