Lionel Morel
Lionel Morel
Research Engineer, CEA
No verified email - Homepage
Cited by
Cited by
Design and implementation of energy saving digital hydraulic control system
M Linjama, M Huova, P Boström, A Laamanen, L Siivonen, L Morel, ...
In: Vilenius, J. & Koskinen, KT (eds.) The Tenth Scandinavian International …, 2007
Logical-time contracts for reactive embedded components
F Maraninchi, L Morel
Euromicro Conference, 2004. Proceedings. 30th, 48-55, 2004
Efficient compilation of array iterators for Lustre
L Morel
Synchronous Languages, Applications, and Programming 65, 2001
Stepwise development of Simulink models using the refinement calculus framework
P Boström, L Morel, M Waldén
Theoretical Aspects of Computing–ICTAC 2007, 79-93, 2007
Arrays and contracts for the specification and analysis of regular systems
F Maraninchi, L Morel
Application of Concurrency to System Design, 2004. ACSD 2004. Proceedings …, 2004
Design and validation of digital controllers for hydraulics systems
P Boström, M Linjama, L Morel, L Siivonen, M Waldén
The 10th Scandinavian International Conference on Fluid Power, Tampere, Finland, 2007
Exploitation des structures régulières et des spécifications locales pour le developpement correct de systèmes réactifs de grande taille
L Morel
Array iterators in Lustre: From a language extension to its exploitation in validation
L Morel
EURASIP Journal on Embedded Systems 2007 (1), 059130, 2007
numap: A portable library for low-level memory profiling
M Selva, L Morel, K Marquet
2016 International Conference on Embedded Computer Systems: Architectures …, 2016
Description and implementation of a uml style guide
M Hindawi, L Morel, R Aubry, JL Sourrouille
International Conference on Model Driven Engineering Languages and Systems …, 2008
Centralized vs. decentralized QoS management policy
F Alhalabi, B Narkoy, R Aubry, M Maranzana, L Morel, JL Sourrouille
2008 3rd International Conference on Information and Communication …, 2008
NumaMMA: NUMA memory analyzer
F Trahay, M Selva, L Morel, K Marquet
Proceedings of the 47th International Conference on Parallel Processing, 1-10, 2018
Specifying consistent subsets of UML
JL Sourrouille, M Hindawi, L Morel, R Aubry
A monitoring system for runtime adaptations of streaming applications
M Selva, L Morel, K Marquet, S Frenot
2015 23rd Euromicro International Conference on Parallel, Distributed, and …, 2015
Executable contracts for incremental prototypes of embedded systems
L Morel, L Mandel
Electronic Notes in Theoretical Computer Science 203 (7), 121-135, 2009
Formal modelling framework of data acquisition modules using a synchronous approach for timing analysis
L Morel, JP Babau, B Ben-Hedia
30th IFAC Workshop on Real-Time Programming and 4th International Workshop …, 2009
Polyhedral Dataflow Programming: a Case Study
R Fontaine, L Gonnord, L Morel
2018 30th International Symposium on Computer Architecture and High …, 2018
A QoS Monitoring System for Dataflow Programs
M Selva, L Morel, K Marquet, S Frénot
Rialto 2.0: a language for heterogeneous computations
J Lilius, A Dahlin, L Morel
Distributed, Parallel and Biologically Inspired Systems, 7-18, 2010
Description and Implementation of a Style Guide for UML
M Hindawi, L Morel, R Aubry, JL Sourrouille
The system can't perform the operation now. Try again later.
Articles 1–20