Lionel Morel

ORCID

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 8

Top Venues

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
A Survey on Parallelism and Determinism. ACM Comput. Surv. 55 (10) (2023)
Lionel Morel, Damien Couroussé, Thomas Hiscock
Code Polymorphism Meets Code Encryption: Confidentiality and Side-Channel Protection of Software Components. CoRR (2023)
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
A Survey on Parallelism and Determinism. CoRR (2022)
Lionel Morel, Damien Couroussé
Idols with Feet of Clay: On the Security of Bootloaders and Firmware Updaters for the IoT. NEWCAS (2019)
Romain Fontaine, Laure Gonnord, Lionel Morel
Polyhedral Dataflow Programming: A Case Study. SBAC-PAD (2018)
François Trahay, Manuel Selva, Lionel Morel, Kevin Marquet
NumaMMA: NUMA MeMory Analyzer. ICPP (2018)
Lionel Morel, Manuel Selva, Kevin Marquet, Coralie Saysset, Tanguy Risset
CalMAR - a multi-application dataflow runtime: work-in-progress. EMSOFT Companion (2017)
Manuel Selva, Lionel Morel, Kevin Marquet
numap: A portable library for low-level memory profiling. SAMOS (2016)
Manuel Selva, Lionel Morel, Kevin Marquet, Stéphane Frénot
A Monitoring System for Runtime Adaptations of Streaming Applications. PDP (2015)
Tewodros Deneke, Lionel Morel, Sébastien Lafond, Johan Lilius
Integration of dataflow components within a legacy video transcoding framework. SiPS (2015)
Manuel Selva, Lionel Morel, Kevin Marquet, Stéphane Frénot
Extending dataflow programs with throughput properties. MES (2013)
Johan Lilius, Andreas Dahlin, Lionel Morel
Rialto 2.0: A Language for Heterogeneous Computations. DIPES/BICC (2010)
Lionel Morel, Louis Mandel
Executable Contracts for Incremental Prototypes of Embedded Systems. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
Mohammed Hindawi, Lionel Morel, Régis Aubry, Jean-Louis Sourrouille
Description and Implementation of a UML Style Guide. MoDELS (Workshops) (2008)
Pontus Boström, Lionel Morel, Marina Waldén
Stepwise Development of Simulink Models Using the Refinement Calculus Framework. ICTAC (2007)
Carron Shankland, Jeremy W. Bryans, Lionel Morel
Expressing Iterative Properties Logically in a Symbolic Setting. AMAST (2004)
Florence Maraninchi, Lionel Morel
Logical-Time Contracts for Reactive Embedded Components. EUROMICRO (2004)
Florence Maraninchi, Lionel Morel
Arrays and Contracts for the Specification and Analysis of Regular Systems. ACSD (2004)
Lionel Morel
Efficient Compilation of Array Iterators for Lustre. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)

Lionel Morel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lionel Morel