| |
| 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 | Pontus Boström | [5] |
| 2 | Jeremy Bryans | [3] |
| 3 | Florence Maraninchi | [2] [4] |
| 4 | Carron Shankland | [3] |
| 5 | Marina A. Waldén | [5] |