Publications HAL

2023

Journal articles

titre
Detection of AIS messages falsifications and spoofing by checking messages compliance with TDMA protocol
auteur
Maelic Louart, Jean-Jacques Szkolnik, Abdel-Ouahab Boudraa, Jean-Christophe Le Lann, Frédéric Le Roy
article
Digital Signal Processing, 2023, 136, pp.103983. ⟨10.1016/j.dsp.2023.103983⟩
Accès au bibtex
BibTex

Conference papers

titre
Acceleration of contractor algebra on RISCV in the context of mobile robotic
auteur
Pierre Filiol, Luc Jaulin, Jean-Christophe Le Lann, Théotime Bollengier
article
Summer Workshop on Interval Methods, Jun 2023, Angers, France
Accès au bibtex
BibTex

2022

Conference papers

titre
Émulation de Systèmes Cyber-Physiques sur FPGA
auteur
Maelic Louart, Jean-Christophe Le Lann, Frédéric Le Roy, Abdel Boudraa, Jean-Jacques Szkolnik
article
GRETSI'22 XXVIIIème Colloque Francophone de Traitement du Signal et des Images, Sep 2022, Nancy, France. pp.481-484
Accès au texte intégral et bibtex
https://hal.science/hal-03839578/file/louart972.pdf BibTex
titre
Stratégie de détection des Falsifications des Positions des Messages AIS Basée sur l'Application du Filtre IMM
auteur
Maelic Louart, Jean-Jacques Szkolnik, Abdel-Ouahab Boudraa, Jean-Christophe Le Lann, Frédéric Le Roy
article
Gretsi'22 XXVIIIème Colloque Francophone de Traitement du Signal et des Images, Sep 2022, Nancy, France
Accès au texte intégral et bibtex
https://hal.science/hal-03859377/file/Gretsi_2022__article____Strat_gie_de_d_tection_des_Falsifications_des_Positions_des_Messages_AIS_Bas_e_sur_l_Application_du_Filtre_IMM.pdf BibTex
titre
A new interval arithmetic to generate the complementary of contractors
auteur
Pierre Filiol, Théotime Bollengier, Luc Jaulin, Jean-Christophe Le Lann
article
Summer Workshop on Interval Methods, Jul 2022, Hannover, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-03859346/file/paper_iota.pdf BibTex
titre
HLS-based Accelerated Simulation of Large Scale Cyber-Physical Systems on FPGAs
auteur
Maelic Louart, Jean-Christophe Le Lann, Frédéric Le Roy, Abdel Boudraa, Jean-Jacques Szkolnik
article
IEEE International NEWCAS Conference, Jul 2022, Montreal, Canada. ⟨10.1109/NEWCAS52662.2022.9842250⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03839510/file/_Newcas_2022__HLS_based_Accelerated_Simulation_of_Large_Scale_Cyber_Physical_Systems_on_FPGAs.pdf BibTex

Book sections

titre
Protecting Behavioral IPs During Design Time: Key-Based Obfuscation Techniques for HLS in the Cloud
auteur
Hannah Badier, Jean-Christophe Le Lann, Philippe Coussy, Gogniat Guy
article
Behavioral Synthesis for Hardware Security, Springer International Publishing; Springer International Publishing, pp.71-93, 2022, ⟨10.1007/978-3-030-78841-4_5⟩
Accès au bibtex
BibTex

Patents

titre
Procédé de configuration d'un circuit logique programmable, circuit logique programmable et dispositif pour implémenter le procédé
auteur
Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Théotime Bollengier
article
France, N° de brevet: FR3115134. 2022
Accès au bibtex
BibTex

2021

Conference papers

titre
Opportunistic IP Birthmarking using Side Effects of Code Transformations on High-Level Synthesis
auteur
Hannah Badier, Christian Pilato, Jean-Christophe Le Lann, Philippe Coussy, Guy Gogniat
article
DATE'21 Design Automation and Test in Europe, Feb 2021, Grenoble (virtuel), France
Accès au texte intégral et bibtex
https://hal.science/hal-03228922/file/date21_birthmarking_camera_ready.pdf BibTex

2020

Conference papers

titre
Towards a Hardware DSL Ecosystem: RubyRTL and Friends
auteur
Jean-Christophe Le Lann, Hannah Badier, Florent Kermarrec
article
OSDA'2020 Open Source Hardware Design, colocated with DATE'20, Mar 2020, Grenoble, France
Accès au texte intégral et bibtex
https://hal.science/hal-02513256/file/osda_2020.pdf BibTex

2019

Conference papers

titre
Transient Key-based Obfuscation for HLS in an Untrusted Cloud Environment
auteur
Hannah Badier, Jean-Christophe Le Lann, Philippe Coussy, Guy Gogniat
article
2019 Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Mar 2019, Florence, Italy
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-02052433/file/DATE19_camera_ready_final.pdf BibTex
titre
LiteX: an open-source SoC builder and library based on Migen Python DSL
auteur
Florent Kermarrec, Sébastien Bourdeauducq, Hannah Badier, Jean-Christophe Le Lann
article
OSDA 2019, colocated with DATE 2019 Design Automation and Test in Europe, Mar 2019, Florence, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-02088044/file/litex.pdf BibTex

2018

Conference papers

titre
An Integrated Toolchain for Overlay-centric System-on-chip
auteur
Jean-Christophe Le Lann, Théotime Bollengier, Mohamad Najem, Loïc Lagadec
article
13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip 2018 (ReCoSoC 2018), Jul 2018, Lille, France. ⟨10.1109/ReCoSoC.2018.8449388⟩
Accès au bibtex
BibTex

2017

Journal articles

titre
Extended overlay architectures for heterogeneous FPGA cluster management
auteur
Mohamad Najem, Théotime Bollengier, Jean-Christophe Le Lann, Loïc Lagadec
article
Journal of Systems Architecture, 2017, 78, pp.1-14. ⟨10.1016/j.sysarc.2017.06.001⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01643297/file/Extended%20overlay.pdf BibTex

Conference papers

titre
A Cost-effective Approach for Efficient Time-sharing of Reconfigurable Architectures
auteur
Mohamad Najem, Théotime Bollengier, Jean-Christophe Le Lann, Loïc Lagadec
article
FPGA4GPC'2017, May 2017, Hambourg, Germany. ⟨10.1109/FPGA4GPC.2017.8008959⟩
Accès au bibtex
BibTex
titre
Soft timing closure for soft programmable logic cores: The ARGen approach
auteur
Théotime Bollengier, Loïc Lagadec, Mohamad Najem, Jean-Christophe Le Lann, Pierre Guilloux
article
ARC 2017 - 13th International Symposium on Applied Reconfigurable Computing, Delft University of Technology Apr 2017, Delft, Netherlands
Accès au texte intégral et bibtex
https://hal.science/hal-01475251/file/paper_6-4.pdf BibTex

2016

Conference papers

titre
CaRDIN: An Agile Environment for EdgeComputing on Reconfigurable Sensor Networks
auteur
Xuan Sang Le, Jean-Christophe Le Lann, Loïc Lagadec, Luc Fabresse, Noury Bouraqadi, Jannik Laval
article
3rd IEEE International Conference on Computational Science and Computational Intelligence (CSCI 2016), Dec 2016, Las Vegas, United States
Accès au bibtex
BibTex
titre
Overlay Architectures for Heterogeneous FPGA Cluster Management.
auteur
Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec
article
DASIP 2016, Oct 2016, Rennes, France
Accès au texte intégral et bibtex
https://hal.science/hal-01405890/file/demo_dasip_2016.pdf BibTex
titre
ZeFF : Une plateforme pour l’intégration d’architectures overlay dans le Cloud
auteur
Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec
article
COMPAS 2016, Jul 2016, Lorient, France
Accès au bibtex
BibTex
titre
Speeding Up Robot Control Software Through Seamless Integration With FPGA
auteur
Xuan Sang Le, Luc Fabresse, Jannik Laval, Jean-Christophe Le Lann, Loïc Lagadec
article
SHARC'16, Jun 2016, Brest, France
Accès au bibtex
BibTex
titre
Overlay Architectures For FPGA Resource Virtualization
auteur
Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec
article
GDR SOC SIP, Jun 2016, Nantes, France
Accès au texte intégral et bibtex
https://hal.science/hal-01405912/file/gdr_soc-sip_2016.pdf BibTex

2015

Conference papers

titre
Communication-aware Parallelization Strategies for High Performance Applications.
auteur
Imran Ashraf, Nader Khammassi, Koen Bertels, Jean-Christophe Le Lann
article
ISVLSI'15 - IEEE Computer Society Annual Symposium on VLSI, Jul 2015, Montpellier, France
Accès au bibtex
BibTex

2014

Journal articles

titre
Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging
auteur
Loic Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani
article
Science of Computer Programming, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩
Accès au bibtex
BibTex

Conference papers

titre
A Prototyping Platform for Virtual Reconfigurable Units
auteur
Loïc Lagadec, Jean-Christophe Le Lann, Théotime Bollengier
article
RECOSOC 2014, May 2014, Montpellier, France
Accès au bibtex
BibTex
titre
A High-Level Programming Model to Ease Pipeline Parallelism Expression On Shared Memory Multicore Architectures
auteur
Nader Khammassi, Jean-Christophe Le Lann
article
HPC 2014, Apr 2014, Tampa, FL, United States. pp.XX
Accès au bibtex
BibTex
titre
DESIGN AND IMPLEMENTATION OF A CACHE HIERARCHY-AWARE TASK SCHEDULING FOR PARALLEL LOOPS ON MULTICORE ARCHITECTURES
auteur
Nader Khammassi, Jean-Christophe Le Lann
article
PDCTA 2014, Feb 2014, Sydney, Australia
Accès au bibtex
BibTex
titre
Tackling Real-Time Signal Processing Applications on Shared Memory Multicore Architectures Using XPU
auteur
Nader Khammassi, Jean-Christophe Le Lann
article
ERTS 2014, Feb 2014, Toulouse, France
Accès au bibtex
BibTex

Book sections

titre
XPU: A C++ Metaprogramming Approach to Ease Parallelism Expression: Parallelization Methodology, Internal Design and Practical Application
auteur
Nader Khammassi, Jean-Christophe Le Lann
article
Parallel Programming: Practical Aspects, Models and Current Limitations, NOVA publishers, pp.175-198, 2014, 978-1-60741-263-2
Accès au bibtex
BibTex

2013

Conference papers

titre
Early exploring design alternatives of smart sensor software with Model of Computation implemented with actors
auteur
Jean-Philippe Schneider, Zoé Drey, Jean-Christophe Le Lann
article
ESUG 2013 - 21th International Smalltalk Conference, Sep 2013, Annecy, France
Accès au bibtex
BibTex

2012

Conference papers

titre
From system-level models to heterogeneous embedded systems
auteur
Jean-Christophe Le Lann, Joël Champeau, Papa Issa Diallo, Pierre-Laurent Lagalaye
article
RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-00771758/file/RITF2012-140.pdf BibTex
titre
AN EXPERIMENTAL TOOLCHAIN BASED ON HIGH-LEVEL DATAFLOW MODELS OF COMPUTATION FOR HETEROGENEOUS MPSOC
auteur
Julien Heulot, Karol Desnos, Jean François Nezan, Maxime Pelcat, Mickaël Raulet, Hervé Yviquel, Pierre-Laurent Lagalaye, Jean-Christophe Le Lann
article
DASIP, Oct 2012, Karlsruhe, Germany
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-00749175/file/2012_DASIP_Julien_Heulot.pdf BibTex
titre
MHPM : Multi-Scale Hybrid Programming Model A flexible parallelization Medthodology
auteur
Nader Khammassi, Jean-Christophe Le Lann, Jean-Philippe Diguet, Alexandre Skrzyniarz
article
HPCC 2012, Jun 2012, Liverpool, United Kingdom
Accès au bibtex
BibTex
titre
Modélisation algorithmique et synthèse d'architectures assistées par model-checking
auteur
Jean-Christophe Le Lann, Philippe Dhaussy, Pierre-Laurent Lagalaye
article
CAL 2012-, May 2012, Montpellier, France
Accès au bibtex
BibTex

2010

Conference papers

titre
JOG : une approche haut niveau des systèmes embarqués via Armadeus et Java
auteur
Olivier Reynet, Jean-Christophe Le Lann, Benoit Clement
article
3èmes Journées Démonstrateurs 2010, Nov 2010, Angers, France
Accès au texte intégral et bibtex
https://hal.science/hal-00911269/file/jd2010-OReynet-JCLelann-BClement.pdf BibTex
titre
MoPCoM Methodology: Focus on Models of Computation
auteur
Ali Koudri, Joël Champeau, Jean-Christophe Le Lann, Vincent Leilde
article
6th European Conference on Modelling Foundations and Applications (ECMFA'10), Jun 2010, Paris, France. pp.Non renseigne
Accès au bibtex
BibTex
titre
UML/MARTE Process for SoC/SoPC
auteur
Ali Koudri, Jean-Christophe Le Lann, Joël Champeau
article
Embedded Real Time Software and Systems Symposium, 2010, Toulouse, France. pp.201,209
Accès au bibtex
BibTex

2008

Conference papers

titre
Using MARTE in a Co-Design Methodology
auteur
Ali Koudri, Denis Aulagnier, Didier Vojtisek, Philippe Soulard, Christophe Moy, Joël Champeau, Jorgiano Vidal, Jean-Christophe Le Lann
article
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00354356/file/Koudri08a.pdf BibTex
titre
Using MARTE in the MOPCOM SoC/SoPC Methodology
auteur
Ali Koudri, Didier Vojtsiek, Philippe Soulard, Christophe Moy, Joël Champeau, Jorgiano Vidal, Jean-Christophe Le Lann
article
Workshop MARTE, Colocated with DATE, Mar 2008, Munich, Germany
Accès au bibtex
BibTex

2007

Conference papers

titre
CDFG Platform in MORPHEUS
auteur
Jalil Boukhobza, Loïc Lagadec, Alain Plantec, Jean-Christophe Le Lann
article
AETHER - MORPHEUS Workshop AMWAS'07, Oct 2007, Paris, France
Accès au bibtex
BibTex

Patents

titre
Context adaptive arithmetic decoding method and device
auteur
Jean-Christophe Le Lann, Gildas Cocherel, Christophe Jollivet, Mickaël Fossard
article
France, Patent n° : WO2007118811. 2007, pp.24
Accès au bibtex
BibTex

2003

Reports

titre
Polychrony for system design
auteur
Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann
article
[Research Report] RR-4715, INRIA. 2003
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00071871/file/RR-4715.pdf BibTex

2002

Journal articles

titre
Polychrony for system design
auteur
Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann
article
Journal of Systems Architecture, 2002, 12, pp.261--304
Accès au bibtex
BibTex