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
712007
Logical-time contracts for reactive embedded components
F Maraninchi, L Morel
Euromicro Conference, 2004. Proceedings. 30th, 48-55, 2004
472004
Efficient compilation of array iterators for Lustre
L Morel
Synchronous Languages, Applications, and Programming 65, 2001
402001
Numamma: Numa memory analyzer
F Trahay, M Selva, L Morel, K Marquet
Proceedings of the 47th International Conference on Parallel Processing, 1-10, 2018
302018
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
192007
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
172004
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
122007
Description and implementation of a uml style guide
M Hindawi, L Morel, R Aubry, JL Sourrouille
Models in Software Engineering: Workshops and Symposia at MODELS 2008 …, 2009
112009
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
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
Specifying consistent subsets of UML
JL Sourrouille, M Hindawi, L Morel, R Aubry
Educator symposium (co-located with Models' 08), 26-38, 2008
52008
Executable contracts for incremental prototypes of embedded systems
L Morel, L Mandel
Electronic Notes in Theoretical Computer Science 203 (7), 121-135, 2009
42009
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
Polyhedral dataflow programming: a case study
R Fontaine, L Gonnord, L Morel
2018 30th International Symposium on Computer Architecture and High …, 2018
32018
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
Extending dataflow programs with throughput properties
M Selva, L Morel, K Marquet, S Frénot
Proceedings of the First International Workshop on Many-core Embedded …, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20