Follow
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
682007
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
382001
NumaMMA: NUMA memory analyzer
F Trahay, M Selva, L Morel, K Marquet
Proceedings of the 47th International Conference on Parallel Processing, 1-10, 2018
222018
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
152004
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
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
Institut National Polytechnique de Grenoble-INPG, 2005
132005
Array iterators in Lustre: From a language extension to its exploitation in validation
L Morel
EURASIP Journal on Embedded Systems 2007, 1-16, 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
102016
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
102008
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
92008
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
72015
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
52009
Polyhedral dataflow programming: a case study
R Fontaine, L Gonnord, L Morel
2018 30th International Symposium on Computer Architecture and High …, 2018
42018
Executable contracts for incremental prototypes of embedded systems
L Morel, L Mandel
Electronic Notes in Theoretical Computer Science 203 (7), 121-135, 2009
42009
Specifying consistent subsets of UML
JL Sourrouille, M Hindawi, L Morel, R Aubry
Educator symposium (co-located with Models' 08), 26-38, 2008
42008
Idols with feet of clay: On the security of bootloaders and firmware updaters for the iot
L Morel, D Couroussé
2019 17th IEEE International New Circuits and Systems Conference (NEWCAS), 1-4, 2019
32019
Semantic Polyhedral Model for Arrays and Lists
L Gonnord, P Iannetta, L Morel
2*2018
Combining dataflow programming and polyhedral optimization, a case study
R Fontaine, L Morel, L Gonnord
Inria Rhône-Alpes; CITI-CITI Centre of Innovation in Telecommunications and …, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–20