Publications of Lionel Morel

Load the BibTeX file

Academic Journals

1. Lionel Morel. Array Iterators in Lustre: from a language extension to its exploitation in validation. EURASIP Journal of Embedded Computing, 2007.

International Conferences

1. P. Bostrm, L. Morel, M. Walden. Stepwise development of Simulink models using the refinement calculus framework. In International Colloquium on Theoretical Aspects of Computing, 2007.
2. Lionel Morel, Louis Mandel. Executable Contracts for Incremental Prototypes of Embedded Systems. In Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Last update Thu Mar 1 13:57:52 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.