Lionel Morel

According to our database, Lionel Morel authored at least 20 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

CoRR, 2023

2019

Idols with Feet of Clay: On the Security of Bootloaders and Firmware Updaters for the IoT.

Lionel Morel, Damien Couroussé

Proceedings of the 17th IEEE International New Circuits and Systems Conference, 2019

2018

Polyhedral Dataflow Programming: A Case Study.

Romain Fontaine, Laure Gonnord, Lionel Morel

Proceedings of the 30th International Symposium on Computer Architecture and High Performance Computing, 2018

NumaMMA: NUMA MeMory Analyzer.

François Trahay, Manuel Selva, Lionel Morel, Kevin Marquet

Proceedings of the 47th International Conference on Parallel Processing, 2018

2017

CalMAR - a multi-application dataflow runtime: work-in-progress.

Lionel Morel, Manuel Selva, Kevin Marquet, Coralie Saysset, Tanguy Risset

Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion, 2017

2016

numap: A portable library for low-level memory profiling.

Manuel Selva, Lionel Morel, Kevin Marquet

Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

2015

Integration of dataflow components within a legacy video transcoding framework.

Tewodros Deneke, Lionel Morel, Sébastien Lafond, Johan Lilius

Proceedings of the 2015 IEEE Workshop on Signal Processing Systems, 2015

A Monitoring System for Runtime Adaptations of Streaming Applications.

Manuel Selva, Lionel Morel, Kevin Marquet, Stéphane Frénot

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

2013

Extending dataflow programs with throughput properties.

Manuel Selva, Lionel Morel, Kevin Marquet, Stéphane Frénot

Proceedings of the 1st International Workshop on Many-core Embedded Systems 2013, 2013

2010

Rialto 2.0: A Language for Heterogeneous Computations.

Johan Lilius, Andreas Dahlin, Lionel Morel

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2008

Description and Implementation of a UML Style Guide.

Mohammed Hindawi, Lionel Morel, Régis Aubry, Jean-Louis Sourrouille

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

2007

Executable Contracts for Incremental Prototypes of Embedded Systems.

Lionel Morel, Louis Mandel

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation.

Lionel Robert Morel

EURASIP J. Embed. Syst., 2007

Stepwise Development of Simulink Models Using the Refinement Calculus Framework.

Pontus Boström, Lionel Morel, Marina Waldén

Proceedings of the Theoretical Aspects of Computing, 2007

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

PhD thesis, 2005

2004

Logical-Time Contracts for Reactive Embedded Components.

Florence Maraninchi, Lionel Morel

Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

Expressing Iterative Properties Logically in a Symbolic Setting.

Carron Shankland, Jeremy W. Bryans, Lionel Morel

Proceedings of the Algebraic Methodology and Software Technology, 2004

Arrays and Contracts for the Specification and Analysis of Regular Systems.

Florence Maraninchi, Lionel Morel

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2002

Efficient Compilation of Array Iterators for Lustre.

Lionel Morel

Proceedings of the Synchronous Languages, Applications, and Programming, 2002