Nombre de documents

23

Lionel Morel


Article dans une revue2 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, 13 (5), pp.1-10. <10.1051>. <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>

Communication dans un congrès19 documents

  • Manuel Selva, Lionel Morel, Kevin Marquet. numap: A Portable Library For Low-Level Memory Profiling. SAMOS: International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Jul 2016, Samos, Greece. <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. 2015, International Conference on Parallel, Distributed and Network-based Processing. <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. 2015, <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, Jan 2013, Grenoble, France. Conférence d'informatique en Parallélisme, Architecture et Système, 2013, <http://compas2013.inrialpes.fr>. <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. ACM, pp.54-57, 2013, Proceedings of the First International Workshop on Many-core Embedded Systems. <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, 2010, <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, 2009. <hal-00412224>
  • Firas Alhalabi, Narkoy Batouma, Mathieu Maranzana, Lionel Morel, Jean-Louis Sourrouille. Centralized vs. Decentralized QoS Management policy. ICTTA'08, Apr 2008, Damas, Syria. IEEE Press, pp.1-6, 2008, <10.1109/ICTTA.2008.4530213>. <hal-00260715>
  • 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. Springer Verlag, pp.291-302, 2009, LNCS 5241. <hal-00360750>
  • Jean-Louis Sourrouille, Mohammed Hindawi, Lionel Morel, Régis Aubry. Specifying consistent subsets of UML. Michał Śmiałek. Educator symposium (co-located with Models'08), Sep 2008, Toulouse, France. Warsaw University of Technology, pp.26-38, 2008. <hal-00321776>
  • Mohammed Hindawi, Lionel Morel, Régis Aubry, Jean-Louis Sourrouille. Description and Implementation of a Style Guide for UML. Jean-Louis Sourrouille & Al. Quality in Modeling (co-located with MODELS'08), Sep 2008, Toulouse, France. pp.31-45, 2008. <hal-00321772>
  • 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, 2009. <hal-00387352>
  • 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, 2007. <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, 2007. <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, 2007, <10.1007/978-3-540-75292-9_6>. <hal-00292880>
  • 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, 2004, <10.1109/CSD.2004.1309116>. <hal-00293109>
  • Lionel Morel, Florence Maraninchi. Logical-time contracts for reactive embedded components. Euromicro Conference, 2004. Proceedings. 30th, Sep 2004, Rennes, France. pp.48 - 55, 2004, <10.1109/EURMIC.2004.1333355>. <hal-00293125>
  • 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, 2004, <10.1007/b98770>. <hal-00293252>
  • Lionel Morel. Efficient compilation of array iterators for Lustre. Synchronous Languages and Applications, 2002, France. pp.1, 2002. <hal-00387350>

Rapport1 document

  • Manuel Selva, Lionel Morel, Kevin Marquet. numap: A Portable Library For Low Level Memory Profiling. [Research Report] RR-8879, INRIA. 2016. <hal-01285522>

Thèse1 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>