High-level synthesis using hierarchical conditional dependency graphs in the CODESIS system. - Apostolos A. Kountouris; Christophe Wolinski; Jean-Christophe Le Lann (J. Syst. Archit., 2001)

POLYCHRONY for System Design. - Paul Le Guernic; Jean-Pierre Talpin; Jean-Christophe Le Lann (J. Circuits Syst. Comput., 2003)

MoPCoM Methodology: Focus on Models of Computation. - Ali Koudri; Joël Champeau; Jean-Christophe Le Lann; Vincent Leilde (ECMFA, 2010)

An experimental toolchain based on high-level dataflow models of computation for heterogeneous MPSoC. - Julien Heulot; Karol Desnos; Jean-François Nezan; Maxime Pelcat; Mickaël Raulet; Hervé Yviquel; P.-L. Lagalaye; Jean-Christophe Le Lann (DASIP, 2012)

MHPM: Multi-Scale Hybrid Programming Model: A Flexible Parallelization Methodology. - Nader Khammassi; Jean-Christophe Le Lann; Jean-Philippe Diguet; Alexandre Skrzyniarz (HPCC-ICESS, 2012)

A prototyping platform for virtual reconfigurable units. - Loïc Lagadec; Jean-Christophe Le Lann; Théotime Bollengier (ReCoSoC, 2014)

A high-level programming model to ease pipeline parallelism expression on shared memory multicore architectures. - Nader Khammassi; Jean-Christophe Le Lann (SpringSim (HPS), 2014)

Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging. - Loïc Lagadec; Ciprian Teodorov; Jean-Christophe Le Lann; Damien Picard; Erwan Fabiani (Sci. Comput. Program., 2014)

Communication-Aware Parallelization Strategies for High Performance Applications. - Imran Ashraf; Koen Bertels; Nader Khammassi; Jean-Christophe Le Lann (ISVLSI, 2015)

Demo: Overlay architectures for heterogeneous FPGA cluster management. - Théotime Bollengier; Mohamad Najem; Jean-Christophe Le Lann; Loïc Lagadec (DASIP, 2016)

Soft Timing Closure for Soft Programmable Logic Cores: The ARGen Approach. - Théotime Bollengier; Loïc Lagadec; Mohamad Najem; Jean-Christophe Le Lann; Pierre Guilloux (ARC, 2017)

Extended overlay architectures for heterogeneous FPGA cluster management. - Mohamad Najem; Théotime Bollengier; Jean-Christophe Le Lann; Loïc Lagadec (J. Syst. Archit., 2017)

An Integrated Toolchain for Overlay-centric System-on-chip. - Jean-Christophe Le Lann; Théotime Bollengier; Mohamad Najem; Loïc Lagadec (ReCoSoC, 2018)

Transient Key-based Obfuscation for HLS in an Untrusted Cloud Environment. - Hannah Badier; Jean-Christophe Le Lann; Philippe Coussy; Guy Gogniat (DATE, 2019)

Towards a Hardware DSL Ecosystem : RubyRTL and Friends. - Jean-Christophe Le Lann; Hannah Badier; Florent Kermarrec (CoRR, 2020)

LiteX: an open-source SoC builder and library based on Migen Python DSL. - Florent Kermarrec; Sébastien Bourdeauducq; Jean-Christophe Le Lann; Hannah Badier (CoRR, 2020)

Opportunistic IP Birthmarking using Side Effects of Code Transformations on High-Level Synthesis. - Hannah Badier; Christian Pilato; Jean-Christophe Le Lann; Philippe Coussy; Guy Gogniat (DATE, 2021)

Protecting Behavioral IPs During Design Time: Key-Based Obfuscation Techniques for HLS in the Cloud. - Hannah Badier; Jean-Christophe Le Lann; Philippe Coussy; Guy Gogniat (Behavioral Synthesis for Hardware Security, 2022)

HLS-based Accelerated Simulation of Large Scale Cyber-Physical Systems on FPGAs. - Maelic Louart; Jean-Christophe Le Lann; Frédéric Le Roy; Abdel-Ouahab Boudraa; Jean-Jacques Szkolnik (NEWCAS, 2022)

Detection of AIS messages falsifications and spoofing by checking messages compliance with TDMA protocol. - Maelic Louart; Jean-Jacques Szkolnik; Abdel-Ouahab Boudraa; Jean-Christophe Le Lann; Frédéric Le Roy (Digit. Signal Process., 2023)

An HLS Algorithm for the Direct Synthesis of Complex Control Flow Graphs Into Finite State Machines with Implicit Datapath. - Jean-Christophe Le Lann (DSD, 2024)

A New Interval Arithmetic to Generate the Complementary of Contractors. - Pierre Filiol; Théotime Bollengier; Luc Jaulin; Jean-Christophe Le Lann (Acta Cybern., 2024)

RISC-V Based Hardware Acceleration of Interval Contractor Primitives in the Context of Mobile Robotics. - Pierre Filiol; Théotime Bollengier; Luc Jaulin; Jean-Christophe Le Lann (Acta Cybern., 2024)

An approach to detect identity spoofing in AIS messages. - Maelic Louart; Jean-Jacques Szkolnik; Abdel-Ouahab Boudraa; Jean-Christophe Le Lann; Frédéric Le Roy (Expert Syst. Appl., 2024)

Efficient Hardware Primitives for Interval Contractors in Robotics and Integration to a Custom RISC-V ISA Extension. - Pierre Filiol; Théotime Bollengier; Luc Jaulin; Jean-Christophe Le Lann (NewCAS, 2025)