Suivre
Lionel Morel
Lionel Morel
Associate Processor @ INSA Lyon
Adresse e-mail validée de insa-lyon.fr - Page d'accueil
Titre
Citée par
Citée par
Année
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
732007
Logical-time contracts for reactive embedded components
F Maraninchi, L Morel
Euromicro Conference, 2004. Proceedings. 30th, 48-55, 2004
452004
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
342018
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
162004
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 15, 2007
142007
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
Exploitation des structures regulieres et des specifications locales pour le developpement correct de systemes reactifs de grande taille
L Morel
Institut National Polytechnique de Grenoble-INPG, 2005
122005
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
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
82019
A survey on parallelism and determinism
L Gonnord, L Henrio, L Morel, G Radanne
ACM Computing Surveys 55 (10), 1-28, 2023
72023
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
62009
Specifying consistent subsets of UML
JL Sourrouille, M Hindawi, L Morel, R Aubry
Educator symposium (co-located with Models' 08), 26-38, 2008
52008
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
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20