Lionel Morel
Lionel Morel
Research Engineer, CEA
No verified email - Homepage
Title
Cited by
Cited by
Year
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
602007
Logical-time contracts for reactive embedded components
F Maraninchi, L Morel
Euromicro Conference, 2004. Proceedings. 30th, 48-55, 2004
462004
Efficient compilation of array iterators for Lustre
L Morel
Synchronous Languages, Applications, and Programming 65, 2001
322001
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
142007
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
142004
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
132007
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
122005
Array iterators in Lustre: From a language extension to its exploitation in validation
L Morel
EURASIP Journal on Embedded Systems 2007 (1), 059130, 2007
112007
numap: A portable library for low-level memory profiling
M Selva, L Morel, K Marquet
2016 International Conference on Embedded Computer Systems: Architectures …, 2016
92016
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
82008
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
82008
NumaMMA: NUMA memory analyzer
F Trahay, M Selva, L Morel, K Marquet
Proceedings of the 47th International Conference on Parallel Processing, 1-10, 2018
72018
Specifying consistent subsets of UML
JL Sourrouille, M Hindawi, L Morel, R Aubry
52008
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
42015
Executable contracts for incremental prototypes of embedded systems
L Morel, L Mandel
Electronic Notes in Theoretical Computer Science 203 (7), 121-135, 2009
42009
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
42009
Polyhedral Dataflow Programming: a Case Study
R Fontaine, L Gonnord, L Morel
2018 30th International Symposium on Computer Architecture and High …, 2018
22018
A QoS Monitoring System for Dataflow Programs
M Selva, L Morel, K Marquet, S Frénot
22013
Rialto 2.0: a language for heterogeneous computations
J Lilius, A Dahlin, L Morel
Distributed, Parallel and Biologically Inspired Systems, 7-18, 2010
22010
Description and Implementation of a Style Guide for UML
M Hindawi, L Morel, R Aubry, JL Sourrouille
22008
The system can't perform the operation now. Try again later.
Articles 1–20