2019
Conference papers
- titre
- Alternative Platforms and Societal Horizon : Characterisation and Strategies for Development
- auteur
- Guillaume Compain, Philippe Eynaud, Lionel Morel, Corinne Vercher-Chaptal
- article
- SASE 31st Annual Meeting Fathomless Futures: Algorithmic and Imagined, Jun 2019, New York City, United States
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Les plateformes collaboratives : Éléments de caractérisation et stratégies de développement
- auteur
- Guillaume Compain, Philippe Eynaud, Lionel Morel, Corinne Vercher-Chaptal
- article
- 2019
- Accès au texte intégral et bibtex
-
2018
Conference papers
- titre
- Polyhedral Dataflow Programming: a Case Study
- auteur
- Romain Fontaine, Laure Gonnord, Lionel Morel
- article
- SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High-Performance Computing, Sep 2018, Lyon, France. pp.1-9
- Accès au texte intégral et bibtex
-
- titre
- NumaMMA: NUMA MeMory Analyzer
- auteur
- François Trahay, Manuel Selva, Lionel Morel, Kevin Marquet
- article
- ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, United States. pp.1-10, ⟨10.1145/3225058.3225094⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Semantic Array Dataflow Analysis
- auteur
- Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki
- article
- [Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22
- Accès au texte intégral et bibtex
-
- titre
- Semantic Polyhedral Model for Arrays and Lists
- auteur
- Laure Gonnord, Paul Iannetta, Lionel Morel
- article
- [Research Report] RR-9183, Inria Grenoble Rhône-Alpes; UCBL; LIP - ENS Lyon; CEA List. 2018, pp.1-28
- Accès au texte intégral et bibtex
-
2017
Conference papers
- titre
- CalMAR -a Multi-Application Dataflow Runtime
- auteur
- Lionel Morel, Manuel Selva, Kevin Marquet, Coralie Saysset, Tanguy Risset
- article
- Thirteenth ACM International Conference on Embedded Software 2017, EMSOFT'17, Oct 2017, Seoul, South Korea. ⟨10.1145/3125503.3125562⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Static Analysis via Horn Encoding from synchronous Dataflow Programs
- auteur
- Laure Gonnord, Szabolcs-Marton Bagoly, Lionel Morel
- article
- [Technical Report] RT-0492, Université Lyon 1 Claude Bernard, LIP & INSA, CITI 2017, pp.25
- Accès au texte intégral et bibtex
-
- titre
- Combining dataflow programming and polyhedral optimization, a case study
- auteur
- Romain Fontaine, Lionel Morel, Laure Gonnord
- article
- [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
- Accès au texte intégral et bibtex
-
2016
Conference papers
- titre
- numap: A Portable Library For Low-Level Memory Profiling
- auteur
- Manuel Selva, Lionel Morel, Kevin Marquet
- article
- Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Jul 2016, Samos, Greece. ⟨10.1109/SAMOS.2016.7818331⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- numap: A Portable Library For Low Level Memory Profiling
- auteur
- Manuel Selva, Lionel Morel, Kevin Marquet
- article
- [Research Report] RR-8879, INRIA. 2016
- Accès au texte intégral et bibtex
-
2015
Conference papers
- titre
- A Monitoring System for Runtime Adaptations of Streaming Applications
- auteur
- Manuel Selva, Lionel Morel, Kevin Marquet, Stephane Frenot
- article
- International Conference on Parallel, Distributed and Network-based Processing, Mar 2015, Turku, Finland. ⟨10.1109/PDP.2015.53⟩
- Accès au texte intégral et bibtex
-
- titre
- Integration of Dataflow Components Within a Legacy Video Transcoding Framework
- auteur
- Tewodros Deneke, Lionel Morel, Sébastien Lafond, Johan Lilius
- article
- 2015 IEEE Workshop on Signal Processing Systems, SiPS 2015, Oct 2015, Hangzhou, China. ⟨10.1109/SiPS.2015.7345013⟩
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- Formation par projet et opportunité d'accès à distance à des ressources pédagogiques
- auteur
- Florin Doru Hutu, Bruno Allard, Fabrice Jumel, Mathieu Maranzana, Kevin Marquet, Lionel Morel, Luong Viet Phung, Tanguy Risset, Dominique Tournier, Guillaume Salagnac, Jacques Verdier
- article
- 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⟩
- Accès au texte intégral et bibtex
-
2013
Conference papers
- titre
- Extending dataflow programs for guaranteed throughput.
- auteur
- Manuel Selva, Lionel Morel, Kévin Marquet, Stéphane Frénot
- article
- MES '13 - International Workshop on Many-core Embedded Systems, Jun 2013, Tel Aviv, Israel. pp.54-57, ⟨10.1145/2489068.2489077⟩
- Accès au texte intégral et bibtex
-
- titre
- A QoS Monitoring System for Dataflow Programs
- auteur
- Manuel Selva, Lionel Morel, Kevin Marquet, Stéphane Frénot
- article
- ComPAS: Conférence en Parallélisme, Architecture et Système, Inria, Jan 2013, Grenoble, France
- Accès au texte intégral et bibtex
-
2010
Conference papers
- titre
- Rialto 2.0: A Language for Heterogeneous Computations
- auteur
- Johan Lilius, Andreas Dahlin, Lionel Morel
- article
- Distributed, Parallel and Biologically Inspired Systems, Sep 2010, Brisbane, Australia. pp.7-18, ⟨10.1007/978-3-642-15234-4_3⟩
- Accès au texte intégral et bibtex
-
2009
Conference papers
- titre
- Formal modelling framework of data acquisition software using a synchronous approach for timing analysis
- auteur
- Lionel Morel, Jean-Philippe Babau, Belgacem Ben Hedia
- article
- 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
- Accès au bibtex
-
2008
Conference papers
- titre
- Description and Implementation of a UML Style Guide
- auteur
- Mohammed Hindawi, Lionel Morel, Régis Aubry, Jean-Louis Sourrouille
- article
- Workshop Quality in Modeling, Sep 2008, France. pp.291-302
- Accès au bibtex
-
- titre
- Description and Implementation of a Style Guide for UML
- auteur
- Mohammed Hindawi, Lionel Morel, Régis Aubry, Jean-Louis Sourrouille
- article
- Quality in Modeling (co-located with MODELS'08), Sep 2008, Toulouse, France. pp.31-45
- Accès au texte intégral et bibtex
-
- titre
- Specifying consistent subsets of UML
- auteur
- Jean-Louis Sourrouille, Mohammed Hindawi, Lionel Morel, Régis Aubry
- article
- Educator symposium (co-located with Models'08), Sep 2008, Toulouse, France. pp.26-38
- Accès au texte intégral et bibtex
-
- titre
- Centralized vs. Decentralized QoS Management policy
- auteur
- Firas Alhalabi, Narkoy Batouma, Mathieu Maranzana, Lionel Morel, Jean-Louis Sourrouille
- article
- ICTTA'08, Apr 2008, Damas, Syria. pp.1-6, ⟨10.1109/ICTTA.2008.4530213⟩
- Accès au bibtex
-
2007
Journal articles
- titre
- Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation
- auteur
- Lionel Morel
- article
- EURASIP Journal on Embedded Systems, SpringerOpen, 2007, pp.59130
- Accès au bibtex
-
Conference papers
- titre
- Stepwise development of Simulink models using the refinement calculus framework
- auteur
- Lionel Morel, Pontus Boström, Marina Waldén
- article
- ICTAC'07 - International Colloquium on Theoretical Aspects of Computing, Sep 2007, Macao, China. pp.79-93, ⟨10.1007/978-3-540-75292-9_6⟩
- Accès au bibtex
-
- titre
- Executable Contracts for Incremental Prototypes of Embedded Systems
- auteur
- Lionel Morel, Louis Mandel
- article
- Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), 2007, Portugal. pp.121-135
- Accès au bibtex
-
- titre
- Design and Validation of Digital Controllers for Hydraulic Systems
- auteur
- Lionel Morel, Pontus Boström
- article
- Tenth Scandinavian International Conference on Fluid Power, 2007, Finland. pp.1
- Accès au bibtex
-
- titre
- Design and Implementation of Energy Saving Digital Hydraulic Control System
- auteur
- Lionel Morel, Pontus Boström
- article
- The Tenth Scandinavian International Conference on Fluid Power (SICFP), 2007, Finland. pp.1
- Accès au bibtex
-
2005
Theses
- titre
- Exploitation des structures régulières et des spécifications locales pour le développement correct de systèmes réactifs de grande taille
- auteur
- Lionel Morel
- article
- Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2005. Français
- Accès au texte intégral et bibtex
-
2004
Conference papers
- titre
- Logical-time contracts for reactive embedded components
- auteur
- Lionel Morel, Florence Maraninchi
- article
- Euromicro Conference, 2004. Proceedings. 30th, Sep 2004, Rennes, France. pp.48 - 55, ⟨10.1109/EURMIC.2004.1333355⟩
- Accès au bibtex
-
- titre
- Arrays and contracts for the specification and analysis of regular systems
- auteur
- Lionel Morel, Florence Maraninchi
- article
- 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⟩
- Accès au bibtex
-
- titre
- Expressing Iterative Properties Logically in a Symbolic Setting
- auteur
- Lionel Morel, Carron Shankland, Jeremy Bryans
- article
- International Conference on Algebraic Methodology and Software Technology (AMAST'04), 2004, United Kingdom. pp.460-474, ⟨10.1007/b98770⟩
- Accès au bibtex
-
2002
Conference papers
- titre
- Efficient compilation of array iterators for Lustre
- auteur
- Lionel Morel
- article
- Synchronous Languages and Applications, 2002, France. pp.1
- Accès au bibtex
-