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
Essential omega-3 fatty acids tune microglial phagocytosis of synaptic elements in the mouse developing brain
C Madore, Q Leyrolle, L Morel, M Rossitto, AD Greenhalgh, JC Delpech, ...
Nature communications 11 (1), 1-19, 2020
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
NumaMMA: NUMA memory analyzer
F Trahay, M Selva, L Morel, K Marquet
Proceedings of the 47th International Conference on Parallel Processing, 1-10, 2018
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 …, 2007
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
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
Institut National Polytechnique de Grenoble-INPG, 2005
Array iterators in Lustre: From a language extension to its exploitation in validation
L Morel
EURASIP Journal on Embedded Systems 2007, 1-16, 2007
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
numap: A portable library for low-level memory profiling
M Selva, L Morel, K Marquet
2016 International Conference on Embedded Computer Systems: Architectures …, 2016
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
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
Executable contracts for incremental prototypes of embedded systems
L Morel, L Mandel
Electronic Notes in Theoretical Computer Science 203 (7), 121-135, 2009
Specifying consistent subsets of UML
JL Sourrouille, M Hindawi, L Morel, R Aubry
Educator symposium (co-located with Models' 08), 26-38, 2008
Polyhedral dataflow programming: a case study
R Fontaine, L Gonnord, L Morel
2018 30th International Symposium on Computer Architecture and High …, 2018
Essential omega-3 fatty acids tune microglial phagocytosis of synaptic elements in the developing brain
C Madore, Q Leyrolle, L Morel, JC Delpech, AD Greenhalgh, ...
bioRxiv, 744136, 2019
Semantic Polyhedral Model for Arrays and Lists
L Gonnord, P Iannetta, L Morel
The system can't perform the operation now. Try again later.
Articles 1–20