Publications HAL

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
https://inria.hal.science/hal-03828497/file/Surveypaper.pdf 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
https://hal.science/hal-03048742/file/iannetta.2020.compas.pdf 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
https://inria.hal.science/hal-02573052/file/RR-9343.pdf 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
https://shs.hal.science/halshs-02140104/file/Alternative%20Platforms%20and%20Societal%20Horizon%20%20-%20SASE%202019%20.pdf 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
https://shs.hal.science/halshs-02140103/file/Les%20plateformes%20collaboratives%20%20-%20WP%20EnCommuns.pdf 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
https://cea.hal.science/cea-01855997/file/finalversion_hal_sbacpad18_FGM.pdf 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
https://cea.hal.science/cea-01854072/file/icpp18.pdf 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
https://hal.science/hal-01954396/file/RR-9232.pdf 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
https://hal.science/hal-03549719/file/RR-9183.pdf 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
https://inria.hal.science/hal-01631691/file/wip-emsoft.pdf 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
https://inria.hal.science/hal-01614637/file/RR-0492-lustrearray.pdf 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
https://hal.science/hal-01572439/file/RR-0490-dataflow-poly.pdf 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
https://inria.hal.science/hal-01408979/file/numap.pdf 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
https://inria.hal.science/hal-01285522/file/RR-8879.pdf 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
https://inria.hal.science/hal-01289532/file/dataflow_transcoder.pdf 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
https://inria.hal.science/hal-01229025/file/2015-PDP.pdf 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
https://hal.science/hal-01005316/file/J3EA_INSA_Lyon.pdf 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
https://inria.hal.science/hal-00876566/file/mes.pdf 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
https://inria.hal.science/hal-00780976/file/cfse.pdf 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
https://hal.science/hal-00521339/file/dahlin-lilius-morel-DIPES2010.pdf 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
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
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
https://hal.science/hal-00321772/file/QiM-2008-Hindawi.pdf 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
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
https://hal.science/hal-00321776/file/sUML-EduSymp-Sourrouille.pdf 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
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
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
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
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
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
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
https://theses.hal.science/tel-00011841/file/these.pdf 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
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
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
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
BibTex