| |
| 2006 | ||
|---|---|---|
| 2 | EE | Julien Bertrane: Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems. SAS 2006: 370-386 |
| 2005 | ||
| 1 | EE | Julien Bertrane: Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs. VMCAI 2005: 97-112 |