| |
| 2008 | ||
|---|---|---|
| 6 | EE | Mohammed Hindawi, Lionel Morel, Régis Aubry, Jean-Louis Sourrouille: Description and Implementation of a UML Style Guide. MoDELS Workshops 2008: 291-302 |
| 2007 | ||
| 5 | EE | Pontus Boström, Lionel Morel, Marina A. Waldén: Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ICTAC 2007: 79-93 |
| 2004 | ||
| 4 | EE | Florence Maraninchi, Lionel Morel: Arrays and Contracts for the Specification and Analysis of Regular Systems. ACSD 2004: 57-66 |
| 3 | EE | Carron Shankland, Jeremy Bryans, Lionel Morel: Expressing Iterative Properties Logically in a Symbolic Setting. AMAST 2004: 460-474 |
| 2 | EE | Florence Maraninchi, Lionel Morel: Logical-Time Contracts for Reactive Embedded Components. EUROMICRO 2004: 48-55 |
| 2002 | ||
| 1 | EE | Lionel Morel: Efficient Compilation of Array Iterators for Lustre. Electr. Notes Theor. Comput. Sci. 65(5): (2002) |
| 1 | Régis Aubry | [6] |
| 2 | Pontus Boström | [5] |
| 3 | Jeremy Bryans | [3] |
| 4 | Mohammed Hindawi | [6] |
| 5 | Florence Maraninchi | [2] [4] |
| 6 | Carron Shankland | [3] |
| 7 | Jean-Louis Sourrouille | [6] |
| 8 | Marina A. Waldén | [5] |