Lionel Robert Morel
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| c6 |      | Johan Lilius, Andreas Dahlin, Lionel Morel: Rialto 2.0: A Language for Heterogeneous Computations. DIPES/BICC 2010: 7-18 |
| 2009 | ||
| j3 | | Lionel Morel, Louis Mandel: Executable Contracts for Incremental Prototypes of Embedded Systems. Electr. Notes Theor. Comput. Sci. 203(7): 121-135 (2009) |
| 2008 | ||
| c5 | | Mohammed Hindawi, Lionel Morel, Régis Aubry, Jean-Louis Sourrouille: Description and Implementation of a UML Style Guide. MoDELS Workshops 2008: 291-302 |
| 2007 | ||
| j2 | | Lionel Robert Morel: Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation. EURASIP J. Emb. Sys. 2007 (2007) |
| c4 | | Pontus Boström, Lionel Morel, Marina A. Waldén: Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ICTAC 2007: 79-93 |
| 2004 | ||
| c3 | | Florence Maraninchi, Lionel Morel: Arrays and Contracts for the Specification and Analysis of Regular Systems. ACSD 2004: 57-66 |
| c2 | | Carron Shankland, Jeremy Bryans, Lionel Morel: Expressing Iterative Properties Logically in a Symbolic Setting. AMAST 2004: 460-474 |
| c1 | | Florence Maraninchi, Lionel Morel: Logical-Time Contracts for Reactive Embedded Components. EUROMICRO 2004: 48-55 |
| 2002 | ||
| j1 | | Lionel Morel: Efficient Compilation of Array Iterators for Lustre. Electr. Notes Theor. Comput. Sci. 65(5): 19-26 (2002) |
Colors in the list of coauthors
Last update Sat May 25 13:51:53 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page