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 | 73 | 2007 |
Logical-time contracts for reactive embedded components F Maraninchi, L Morel Euromicro Conference, 2004. Proceedings. 30th, 48-55, 2004 | 45 | 2004 |
Efficient compilation of array iterators for Lustre L Morel Synchronous Languages, Applications, and Programming 65, 2001 | 40 | 2001 |
Numamma: Numa memory analyzer F Trahay, M Selva, L Morel, K Marquet Proceedings of the 47th International Conference on Parallel Processing, 1-10, 2018 | 34 | 2018 |
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 | 19 | 2007 |
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 | 16 | 2004 |
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 | 14 | 2007 |
Array iterators in Lustre: From a language extension to its exploitation in validation L Morel EURASIP Journal on Embedded Systems 2007, 1-16, 2007 | 12 | 2007 |
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 | 12 | 2005 |
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 | 11 | 2009 |
numap: A portable library for low-level memory profiling M Selva, L Morel, K Marquet 2016 International Conference on Embedded Computer Systems: Architectures …, 2016 | 10 | 2016 |
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 | 10 | 2008 |
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 | 8 | 2019 |
A survey on parallelism and determinism L Gonnord, L Henrio, L Morel, G Radanne ACM Computing Surveys 55 (10), 1-28, 2023 | 7 | 2023 |
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 | 7 | 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 | 6 | 2009 |
Specifying consistent subsets of UML JL Sourrouille, M Hindawi, L Morel, R Aubry Educator symposium (co-located with Models' 08), 26-38, 2008 | 5 | 2008 |
Polyhedral dataflow programming: a case study R Fontaine, L Gonnord, L Morel 2018 30th International Symposium on Computer Architecture and High …, 2018 | 4 | 2018 |
Executable contracts for incremental prototypes of embedded systems L Morel, L Mandel Electronic Notes in Theoretical Computer Science 203 (7), 121-135, 2009 | 4 | 2009 |
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 | 2 | 2017 |