Efficient Compilation of Array Iterators for Lustre. - Lionel Morel (SLAP@ETAPS, 2002)

Arrays and Contracts for the Specification and Analysis of Regular Systems. - Florence Maraninchi; Lionel Morel (ACSD, 2004)

Expressing Iterative Properties Logically in a Symbolic Setting. - Carron Shankland; Jeremy W. Bryans; Lionel Morel (AMAST, 2004)

Logical-Time Contracts for Reactive Embedded Components. - Florence Maraninchi; Lionel Morel (EUROMICRO, 2004)

Exploitation des structures régulières et des spécifications locales pour le développement correct de systèmes réactifs de grande taille. - Lionel Morel (2005)

Stepwise Development of Simulink Models Using the Refinement Calculus Framework. - Pontus Boström; Lionel Morel; Marina Waldén (ICTAC, 2007)

Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation. - Lionel Robert Morel (EURASIP J. Embed. Syst., 2007)

Executable Contracts for Incremental Prototypes of Embedded Systems. - Lionel Morel; Louis Mandel (FESCA@ETAPS, 2007)

Description and Implementation of a UML Style Guide. - Mohammed M. Al-Hindawi; Lionel Morel; Régis Aubry; Jean-Louis Sourrouille (MoDELS (Workshops), 2008)

Rialto 2.0: A Language for Heterogeneous Computations. - Johan Lilius; Andreas Dahlin; Lionel Morel (DIPES/BICC, 2010)

Extending dataflow programs with throughput properties. - Manuel Selva; Lionel Morel; Kevin Marquet; Stéphane Frénot (MES, 2013)

A Monitoring System for Runtime Adaptations of Streaming Applications. - Manuel Selva; Lionel Morel; Kevin Marquet; Stéphane Frénot (PDP, 2015)

Integration of dataflow components within a legacy video transcoding framework. - Tewodros Deneke; Lionel Morel; Sébastien Lafond; Johan Lilius (SiPS, 2015)

numap: A portable library for low-level memory profiling. - Manuel Selva; Lionel Morel; Kevin Marquet (SAMOS, 2016)

CalMAR - a multi-application dataflow runtime: work-in-progress. - Lionel Morel; Manuel Selva; Kevin Marquet; Coralie Saysset; Tanguy Risset (EMSOFT Companion, 2017)

NumaMMA: NUMA MeMory Analyzer. - François Trahay; Manuel Selva; Lionel Morel; Kevin Marquet (ICPP, 2018)

Polyhedral Dataflow Programming: A Case Study. - Romain Fontaine; Laure Gonnord; Lionel Morel (SBAC-PAD, 2018)

Idols with Feet of Clay: On the Security of Bootloaders and Firmware Updaters for the IoT. - Lionel Morel; Damien Couroussé (NEWCAS, 2019)

A Survey on Parallelism and Determinism. - Laure Gonnord; Ludovic Henrio; Lionel Morel; Gabriel Radanne (ACM Comput. Surv., 2023)

Code Polymorphism Meets Code Encryption: Confidentiality and Side-channel Protection of Software Components. - Lionel Morel; Damien Couroussé; Thomas Hiscock (DTRAP, 2023)