Skip to Main content
Number of documents


Lionel Morel

Journal articles2 documents

  • Florin Doru Hutu, Bruno Allard, Fabrice Jumel, Mathieu Maranzana, Kevin Marquet, et al.. Formation par projet et opportunité d'accès à distance à des ressources pédagogiques. Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, EDP Sciences, 2014, JPCNFM 2012 – 12e journées pédagogiques du CNFM (Coordination nationale pour la formation en micro-électronique et en nanotechnologies), 13 (005), pp.1-10. ⟨10.1051/j3ea/2014005⟩. ⟨hal-01005316⟩
  • Lionel Morel. Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation. EURASIP Journal on Embedded Systems, SpringerOpen, 2007, pp.59130. ⟨hal-00292876⟩

Conference papers23 documents

  • Guillaume Compain, Philippe Eynaud, Lionel Morel, Corinne Vercher-Chaptal. Alternative Platforms and Societal Horizon : Characterisation and Strategies for Development. SASE 31st Annual Meeting Fathomless Futures: Algorithmic and Imagined, Jun 2019, New York City, United States. ⟨halshs-02140104⟩
  • Romain Fontaine, Laure Gonnord, Lionel Morel. Polyhedral Dataflow Programming: a Case Study. SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High-Performance Computing, Sep 2018, Lyon, France. pp.1-9. ⟨cea-01855997v2⟩
  • François Trahay, Manuel Selva, Lionel Morel, Kevin Marquet. NumaMMA: NUMA MeMory Analyzer. ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, United States. pp.1-10, ⟨10.1145/3225058.3225094⟩. ⟨cea-01854072v2⟩
  • Lionel Morel, Manuel Selva, Kevin Marquet, Coralie Saysset, Tanguy Risset. CalMAR -a Multi-Application Dataflow Runtime. Thirteenth ACM International Conference on Embedded Software 2017, EMSOFT'17, Oct 2017, Seoul, South Korea. ⟨10.1145/3125503.3125562⟩. ⟨hal-01631691⟩
  • Manuel Selva, Lionel Morel, Kevin Marquet. numap: A Portable Library For Low-Level Memory Profiling. Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Jul 2016, Samos, Greece. ⟨10.1109/SAMOS.2016.7818331⟩. ⟨hal-01408979⟩
  • Manuel Selva, Lionel Morel, Kevin Marquet, Stephane Frenot. A Monitoring System for Runtime Adaptations of Streaming Applications. International Conference on Parallel, Distributed and Network-based Processing, Mar 2015, Turku, Finland. ⟨10.1109/PDP.2015.53⟩. ⟨hal-01229025⟩
  • Tewodros Deneke, Lionel Morel, Sébastien Lafond, Johan Lilius. Integration of Dataflow Components Within a Legacy Video Transcoding Framework. 2015 IEEE Workshop on Signal Processing Systems, SiPS 2015, Oct 2015, Hangzhou, China. ⟨10.1109/SiPS.2015.7345013⟩. ⟨hal-01289532⟩
  • Manuel Selva, Lionel Morel, Kevin Marquet, Stéphane Frénot. A QoS Monitoring System for Dataflow Programs. ComPAS: Conférence en Parallélisme, Architecture et Système, Inria, Jan 2013, Grenoble, France. ⟨hal-00780976⟩
  • Manuel Selva, Lionel Morel, Kévin Marquet, Stéphane Frénot. Extending dataflow programs for guaranteed throughput.. MES '13 - International Workshop on Many-core Embedded Systems, Jun 2013, Tel Aviv, Israel. pp.54-57, ⟨10.1145/2489068.2489077⟩. ⟨hal-00876566⟩
  • Johan Lilius, Andreas Dahlin, Lionel Morel. Rialto 2.0: A Language for Heterogeneous Computations. Distributed, Parallel and Biologically Inspired Systems, Sep 2010, Brisbane, Australia. pp.7-18, ⟨10.1007/978-3-642-15234-4_3⟩. ⟨hal-00521339⟩
  • Lionel Morel, Jean-Philippe Babau, Belgacem Ben Hedia. Formal modelling framework of data acquisition software using a synchronous approach for timing analysis. 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software (WRTP/RTS'09), Oct 2009, Mrągowo, Poland. pp.1-8. ⟨hal-00412224⟩
  • Mohammed Hindawi, Lionel Morel, Régis Aubry, Jean-Louis Sourrouille. Description and Implementation of a UML Style Guide. Workshop Quality in Modeling, Sep 2008, France. pp.291-302. ⟨hal-00360750⟩
  • Firas Alhalabi, Narkoy Batouma, Mathieu Maranzana, Lionel Morel, Jean-Louis Sourrouille. Centralized vs. Decentralized QoS Management policy. ICTTA'08, Apr 2008, Damas, Syria. pp.1-6, ⟨10.1109/ICTTA.2008.4530213⟩. ⟨hal-00260715⟩
  • Mohammed Hindawi, Lionel Morel, Régis Aubry, Jean-Louis Sourrouille. Description and Implementation of a Style Guide for UML. Quality in Modeling (co-located with MODELS'08), Sep 2008, Toulouse, France. pp.31-45. ⟨hal-00321772⟩
  • Jean-Louis Sourrouille, Mohammed Hindawi, Lionel Morel, Régis Aubry. Specifying consistent subsets of UML. Educator symposium (co-located with Models'08), Sep 2008, Toulouse, France. pp.26-38. ⟨hal-00321776⟩
  • Lionel Morel, Pontus Boström. Design and Validation of Digital Controllers for Hydraulic Systems. Tenth Scandinavian International Conference on Fluid Power, 2007, Finland. pp.1. ⟨hal-00387358⟩
  • Lionel Morel, Pontus Boström. Design and Implementation of Energy Saving Digital Hydraulic Control System. The Tenth Scandinavian International Conference on Fluid Power (SICFP), 2007, Finland. pp.1. ⟨hal-00387365⟩
  • Lionel Morel, Pontus Boström, Marina Waldén. Stepwise development of Simulink models using the refinement calculus framework. ICTAC'07 - International Colloquium on Theoretical Aspects of Computing, Sep 2007, Macao, China. pp.79-93, ⟨10.1007/978-3-540-75292-9_6⟩. ⟨hal-00292880⟩
  • Lionel Morel, Louis Mandel. Executable Contracts for Incremental Prototypes of Embedded Systems. Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), 2007, Portugal. pp.121-135. ⟨hal-00387352⟩
  • Lionel Morel, Carron Shankland, Jeremy Bryans. Expressing Iterative Properties Logically in a Symbolic Setting. International Conference on Algebraic Methodology and Software Technology (AMAST'04), 2004, United Kingdom. pp.460-474, ⟨10.1007/b98770⟩. ⟨hal-00293252⟩
  • Lionel Morel, Florence Maraninchi. Logical-time contracts for reactive embedded components. Euromicro Conference, 2004. Proceedings. 30th, Sep 2004, Rennes, France. pp.48 - 55, ⟨10.1109/EURMIC.2004.1333355⟩. ⟨hal-00293125⟩
  • Lionel Morel, Florence Maraninchi. Arrays and contracts for the specification and analysis of regular systems. Application of Concurrency to System Design, 2004. ACSD 2004. Proceedings. Fourth International Conference on, Jun 2004, Hamilton, Canada. pp.57- 66, ⟨10.1109/CSD.2004.1309116⟩. ⟨hal-00293109⟩
  • Lionel Morel. Efficient compilation of array iterators for Lustre. Synchronous Languages and Applications, 2002, France. pp.1. ⟨hal-00387350⟩

Preprints, Working Papers, ...1 document

  • Guillaume Compain, Philippe Eynaud, Lionel Morel, Corinne Vercher-Chaptal. Les plateformes collaboratives : Éléments de caractérisation et stratégies de développement. 2019. ⟨halshs-02140103⟩

Reports5 documents

  • Paul Iannetta, Laure Gonnord, Lionel Morel. On optimizing scalar self-rebalancing trees. [Research Report] RR-9343, ENS LYON; Inria - Research Centre Grenoble – Rhône-Alpes; Université de Lyon I Claude Bernard. 2020, pp.15. ⟨hal-02573052⟩
  • Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki. Semantic Array Dataflow Analysis. [Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22. ⟨hal-01954396⟩
  • Laure Gonnord, Szabolcs-Marton Bagoly, Lionel Morel. Static Analysis via Horn Encoding from synchronous Dataflow Programs. [Technical Report] RT-0492, Université Lyon 1 Claude Bernard, LIP & INSA, CITI 2017, pp.25. ⟨hal-01614637⟩
  • Romain Fontaine, Lionel Morel, Laure Gonnord. Combining dataflow programming and polyhedral optimization, a case study. [Technical Report] RT-0490, Inria Rhône-Alpes; CITI - CITI Centre of Innovation in Telecommunications and Integration of services; LIP - ENS Lyon. 2017, pp.40. ⟨hal-01572439⟩
  • Manuel Selva, Lionel Morel, Kevin Marquet. numap: A Portable Library For Low Level Memory Profiling. [Research Report] RR-8879, INRIA. 2016. ⟨hal-01285522⟩

Theses1 document

  • Lionel Morel. Exploitation des structures régulières et des spécifications locales pour le développement correct de systèmes réactifs de grande taille. Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2005. Français. ⟨tel-00011841⟩