dblp.uni-trier.dewww.uni-trier.de

Lionel Morel

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Régis Aubry [6]
2Pontus Boström [5]
3Jeremy Bryans [3]
4Mohammed Hindawi [6]
5Florence Maraninchi [2] [4]
6Carron Shankland [3]
7Jean-Louis Sourrouille [6]
8Marina A. Waldén [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)