Lionel Morel

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