2022
Journal articles
- titre
- A Survey on Parallelism and Determinism
- auteur
- Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
- article
- ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
- Accès au texte intégral et bibtex
-
2020
Conference papers
- titre
- On optimizing scalar self-rebalancing trees
- auteur
- Paul Iannetta, Laure Gonnord, Lionel Morel
- article
- COMPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France. pp.1-7
- Accès au texte intégral et bibtex
-
Reports
- titre
- On optimizing scalar self-rebalancing trees
- auteur
- Paul Iannetta, Laure Gonnord, Lionel Morel
- article
- [Research Report] RR-9343, ENS LYON; Inria - Research Centre Grenoble – Rhône-Alpes; Université de Lyon I Claude Bernard. 2020
- Accès au texte intégral et bibtex
-
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
- Paul Iannetta, Laure Gonnord, Lionel Morel
- article
- [Research Report] INRIA. 2018
- 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
- 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
-
- 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
-
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, 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 2013 - Conférence francophone d'informatique 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
- Geomorphic and archeological features of coastal caves in madre de dios archipelago (Patagonia, Chile)
- auteur
- Richard Maire, Bernard Tourte, Stéphane Jaillet, Jöel Despain, Benjamin Lans, Franck Brehier, L.H. Fage, Lionel Morel, Marc Pouilly, T. Datry, M. Massault, Dominique Genty, Claude Moreau, Karine Wainer, Vincent Ridoux, Willy Dabin, J. - F Pernette, M. Agüero Faridoni, M. J. Manneshi
- article
- International Congress of Speleology, Nov 2009, Kerrville, United States. pp.516-521
- Accès au bibtex
-
- 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 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
- 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
- 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, 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
- 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
-
- 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
- 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
-
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. ⟨NNT : ⟩
- 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
-