Publications HAL

2024

Conference papers

titre
RISC-V Embedded AI for IDS Applications
auteur
Pierre Garreau, Pascal Cotret, Julien Francq, Jean-Christophe Cexus, Loïc Lagadec
article
RESSI 2024 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France
Accès au texte intégral et bibtex
https://hal.science/hal-04498047/file/bare_conf.pdf BibTex

2023

Journal articles

titre
A Dominating Tree Based Leader Election Algorithm for Smart Cities IoT Infrastructure
auteur
Nabil Kadjouh, Ahcène Bounceur, Madani Bezoui, Mohamed Essaid Khanouche, Reinhardt Euler, Mohammad Hammoudeh, Loïc Lagadec, Sohail Jabbar, Fadi Al-Turjman
article
Mobile Networks and Applications, 2023, 28, pp.718-731. ⟨10.1007/s11036-020-01599-z⟩
Accès au bibtex
BibTex

Conference papers

titre
TrustSoC: Light and Efficient Heterogeneous SoC Architecture, Secure-by-design
auteur
Raphaële Milan, Lilian Bossuet, Loïc Lagadec, Carlos Andres Lara-Nino, Brice Colombier
article
2023 Asian Hardware Oriented Security and Trust Symposium (AsianHOST), Dec 2023, Tianjin, China. pp.1-6, ⟨10.1109/AsianHOST59942.2023.10409311⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04419064/file/%5BHAL%5D_TrustSoC_Light_and_Efficient_Heterogeneous_SoC_Architecture_Secure_by_design.pdf BibTex
titre
Gigue: A JIT Code Binary Generator for Hardware Testing
auteur
Quentin Ducasse, Pascal Cotret, Loïc Lagadec
article
VMIL, Oct 2023, Cascais, Portugal. ⟨10.1145/3623507.3623553⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04469651/file/Gigue%20a%20JIT%20Code%20Binary%20Generator%20for%20Hardware%20Testing.pdf BibTex
titre
Temporal Breakpoints for Multiverse Debugging
auteur
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
article
Software Language Engineering 2023, Oct 2023, Lisbonne, Portugal
Accès au bibtex
BibTex
titre
Debugging Paxos in the UML Multiverse
auteur
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec
article
MODELS-C/MoDeVVa, Oct 2023, Västerås, Sweden
Accès au bibtex
BibTex
titre
Secured-by-design systems-on-chip: a MBSE Approach
auteur
Raphaële Milan, Loïc Lagadec, Théotime Bollengier, Lilian Bossuet, Ciprian Teodorov
article
Rapid System Prototyping, Sep 2023, Hambourg, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-04373771/file/RSP_2023.pdf BibTex
titre
TrustSoC : Architecture SoC hétérogène légère et efficace sécurisée par conception
auteur
Raphaele Milan, Lilian Bossuet, Loïc Lagadec, Carlos Andres Lara-Nino
article
Conférence francophone d’informatique en Parallélisme, Architecture et Système (COMPAS), LISTIC - Laboratoire d’Informatique, Systèmes, Traitement de l’Information et de la Connaissance, Jul 2023, Annecy, France
Accès au texte intégral et bibtex
https://hal.science/hal-04213598/file/COMPAS23_Proposition_d_architecture_de_SoC_heterogene_securisee_par_conception.pdf BibTex
titre
Débogage Multivers de Modèles UML
auteur
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec
article
AFADL, Jun 2023, Rennes, France
Accès au bibtex
BibTex
titre
JIT Compiler Security through Low-Cost RISC-V Extension
auteur
Quentin Ducasse, Pascal Cotret, Loïc Lagadec
article
30th Reconfigurable Architectures Workshop, May 2023, St Petersburg (Florida), United States
Accès au texte intégral et bibtex
https://hal.science/hal-04031296/file/main.pdf BibTex

Poster communications

titre
Toward a CAD Tool for SYCL programming
auteur
Erwan Fabiani, Loic Lagadec, Alexandre Skrzyniarz, Chiara Relevat, Erell Cottour, Paul Allaire
article
IWOCL '23: International Workshop on OpenCL, Apr 2023, Cambridge, United Kingdom. ACM, pp.1-2, ⟨10.1145/3585341.3585358⟩
Accès au bibtex
BibTex

2022

Journal articles

titre
Finding the polygon hull of a network without conditions on the starting vertex
auteur
Ahcène Bounceur, Madani Bezoui, Mohammad Hammoudeh, Loïc Lagadec, Reinhardt Euler
article
Transactions on emerging telecommunications technologies, 2022, 33 (3), pp.e3696. ⟨10.1002/ett.3696⟩
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-02303242/file/rr_lpcn_bb.pdf BibTex

Conference papers

titre
Practical multiverse debugging through user-defined reductions
auteur
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
article
MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩
Accès au bibtex
BibTex
titre
Porting a JIT Compiler to RISC-V: Challenges and Opportunities
auteur
Quentin Ducasse, Guillermo Polito, Pablo Tesone, Pascal Cotret, Loïc Lagadec
article
Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes (MPLR '22), Sep 2022, Brussels, Belgium
Accès au texte intégral et bibtex
https://hal.science/hal-03725841/file/default.pdf BibTex
titre
An Extended Modeling Approach for Marine/Deep-Sea Observatory
auteur
Charbel Geryes Aoun, Loïc Lagadec, Mohammad Habes
article
The 8th International Conference on Advanced Machine Learning and Technologies and Applications (AMLTA2022), May 2022, The Caire, Egypt. pp.502-514, ⟨10.1007/978-3-031-03918-8_42⟩
Accès au bibtex
BibTex
titre
Dolmen: FPGA Swarm for Safety and Liveness Verification
auteur
Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
article
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩
Accès au bibtex
BibTex

Other publications

titre
High-performance language virtual machines: an analysis and challenges
auteur
Stéphane Ducasse, Guillermo Polito, Pablo Tesone, Gaël Thomas, Loïc Lagadec
article
2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03770053/file/VM-challenges-v3.pdf 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

Proceedings

titre
IWST 2022: International Workshop on Smalltalk Technologies 2022
auteur
Loïc Lagadec, Vincent Aranega
article
3325, 2022
Accès au bibtex
BibTex

Reports

titre
Remarkable Challenges of High-Performance Language Virtual Machines
auteur
Guillermo Polito, Stéphane Ducasse, Pablo Tesone, Luc Fabresse, G Thomas, M Bacou, Loïc Lagadec, Pascal Cotret
article
[Research Report] Inria Lille - Nord Europe. 2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03770065/file/main.pdf BibTex

2021

Conference papers

titre
Prototyping FPGA through overlays
auteur
Theotime Bollengier, Loïc Lagadec, Ciprian Teodorov
article
2021 IEEE International Workshop on Rapid System Prototyping (RSP), Oct 2021, Paris, France. pp.15-21, ⟨10.1109/RSP53691.2021.9806222⟩
Accès au bibtex
BibTex
titre
Carnac: Algorithm Variability for Fast Swarm Verification on FPGA
auteur
Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
article
2021 31st International Conference on Field-Programmable Logic and Applications (FPL), Aug 2021, Dresden, Germany. pp.185-189, ⟨10.1109/FPL53798.2021.00038⟩
Accès au bibtex
BibTex
titre
Efficient Leader Election in Wireless Sensor and IoT Networks
auteur
Reinhardt Euler, Ahcène Bounceur, Madani Bezoui, Mohammad Hammoudeh, Loïc Lagadec, Abdelkader Laouid
article
31st European Conference on Operational Research (EURO 2021), Jul 2021, Athens, Greece
Accès au bibtex
BibTex
titre
Benchmarking Quantized Neural Networks on FPGAs with FINN
auteur
Quentin Ducasse, Pascal Cotret, Loïc Lagadec, Rob Stewart
article
DATE Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures, Feb 2021, Grenoble, France
Accès au texte intégral et bibtex
https://hal.science/hal-03085342/file/article_IEEE.pdf BibTex

Poster communications

titre
Securing a High-Level Language Virtual Machine Through its ISA: Pharo as a Case Study
auteur
Quentin Ducasse, Pascal Cotret, Loïc Lagadec
article
GDR SOC², Jun 2021, Rennes, France
Accès au texte intégral et bibtex
https://hal.science/hal-04542157/file/poster.pdf BibTex

2020

Journal articles

titre
Advances in Smalltalk technologies
auteur
Loïc Lagadec, Anne Etien, Jannik Laval
article
Science of Computer Programming, 2020, 199, pp.102518. ⟨10.1016/j.scico.2020.102518⟩
Accès au bibtex
BibTex
titre
Automated Exploration of Homomorphic Encryption Scheme Input Parameters
auteur
Cyrielle Feron, Loïc Lagadec, Vianney Lapotre
article
Journal of Information Security and Applications, 2020, 55, pp.102627. ⟨10.1016/j.jisa.2020.102627⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02960569/file/journal.pdf BibTex

Conference papers

titre
Menhir: Generic High-Speed FPGA Model-Checker
auteur
Émilien Fournier, Ciprian Teodorov, Loïc Lagadec
article
2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩
Accès au bibtex
BibTex

2019

Conference papers

titre
Designing a combined personal communicator and data entry terminal for disaster relief & remote operations
auteur
Paul Gardner-Stephen, Angus Wallace, Lucas Moss, Loïc Lagadec, Matthew Lloyd
article
IEEE Global Humanitarian Technology Conference (GHTC), Oct 2019, Seattle, WA, United States
Accès au bibtex
BibTex
titre
A New Leader Election Algorithm based on the WBS Algorithm Dedicated to Smart-cities
auteur
Nabil Kadjouh, Ahcène Bounceur, Abdelkamel Tari, Loïc Lagadec, Reinhardt Euler, Madani Bezoui
article
3rd International Conference on Future Networks and Distributed Systems (ICFNDS '19), Jul 2019, Paris, France. pp.1-5, ⟨10.1145/3341325.3342014⟩
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-02303247/file/Kadjouhleader.pdf BibTex
titre
Temperature-based models of batteries for the simulation of Wireless Sensor Networks
auteur
Nabil Kadjouh, Ahcène Bounceur, Abdelkamel Tari, Reinhardt Euler, Loïc Lagadec, Abdelkader Laouid
article
3rd International Conferenceon on Future Networks and Distributed Systems, Jul 2019, Paris, France. pp.1-6, ⟨10.1145/3341325.3342013⟩
Accès au texte intégral et bibtex
https://ensta-bretagne.hal.science/hal-02303250/file/Kadjouh2019.pdf BibTex

Book sections

titre
DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks
auteur
Ahcène Bounceur, Madani Bezoui, Loïc Lagadec, Reinhardt Euler, Abdelkader Laouid, Mohammad Hammoudeh
article
Renault É., Boumerdassi S., Bouzefrane S. (eds). Mobile, Secure, and Programmable Networking. MSPN 2018, 11005, Springer, Cham, pp.42-53, 2019, Lecture Notes in Computer Science, 978-3-030-03100-8. ⟨10.1007/978-3-030-03101-5_5⟩
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-02501870/file/dotro_bounceur.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
titre
Detecting Gaps and Voids in WSNs and IoT Networks: the Minimum x-Coordinate based Method
auteur
Ahcène Bounceur, Madani Bezoui, Loïc Lagadec, Reinhardt Euler, Abdelkader Laouid, Mahamadou Traore, Mounir Lallali
article
International Conference on Future Networks and Distr buted Systems (ICFNDS), Jun 2018, Amman, Jordan. ⟨10.1145/3231053.3231090⟩
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-01829227/file/bounceur_icfnds_2018.pdf BibTex
titre
Detecting Gaps and Voids in WSNs and IoT Networks: the Angle-based Method
auteur
Madani Bezoui, Ahcène Bounceur, Loïc Lagadec, Reinhardt Euler, Hammoudeh Mohammad, Abdelkader Laouid, Abdelkamel Tari
article
International Conference on Future Networks and Distributed Systems (ICFNDS), Jun 2018, Amman, Jordan. ⟨10.1145/3231053.3231089⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01836035/file/bezoui_icfnds_2018.pdf BibTex
titre
DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks
auteur
Ahcène Bounceur, Madani Bezoui, Loïc Lagadec, Reinhardt Euler, Abdelkader Laouid, Mohammad Hammoudeh
article
4th International Conference on Mobile, Secure and Programmable Networking (MSPN 2018), Jun 2018, Paris, France. pp.42-53
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-01829251/file/dotro_bounceur.pdf BibTex
titre
Fast Evaluation of Homomorphic Encryption Schemes Based on Ring-LWE
auteur
Cyrielle Feron, Vianney Lapotre, Loïc Lagadec
article
2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Feb 2018, Paris, France. ⟨10.1109/NTMS.2018.8328693⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01757093/file/fast-evaluation-homomorphic13.pdf BibTex
titre
CupCarbon-Lab: An IoT Emulator
auteur
Ahcène Bounceur, Olivier Marc Marc, Massinissa Lounis, Julien Soler, Laurent Clavier, Pierre Combeau, Rodolphe Vauzelle, Loïc Lagadec, Reinhardt Euler, Madani Bezoui, Pietro Manzoni
article
IEEE Consumer Communications & Networking Conference, Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319313⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01704422/file/Boun18.pdf BibTex

2017

Journal articles

titre
A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerators
auteur
Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec
article
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (3), pp.384-397. ⟨10.1109/TCAD.2016.2587278⟩
Accès au bibtex
BibTex
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 High Abstraction Level Constraint for Object Localization in Marine Observatories
auteur
Joël Champeau, Loïc Lagadec, Charbel Geryes Aoun, Jad Moussa, Elio Hanna
article
CSCI 2017, Dec 2017, Las Vegas, United States
Accès au bibtex
BibTex
titre
PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes
auteur
Cyrielle Feron, Vianney Lapotre, Loïc Lagadec
article
SECRYPT: 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain
Accès au texte intégral et bibtex
https://hal.science/hal-01595789/file/panthers-SECRYPT.pdf BibTex
titre
Asserting causal properties in High Level Synthesis
auteur
Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov
article
2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
Accès au bibtex
BibTex
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

Journal articles

titre
TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGA
auteur
Youenn Corre, Jean-Philippe Diguet, Dominique Heller, Dominique Blouin, Loïc Lagadec
article
ACM Transactions on Embedded Computing Systems (TECS), 2016, 15 (1), pp.9
Accès au texte intégral et bibtex
https://hal.science/hal-01172103/file/Preprint_TECS_YC%20%283%29.pdf BibTex

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
A Meta Model Supporting both Hardware and Smalltalk-based Execution of FPGA Circuits
auteur
Xuan Sang Le, Loic Lagadec, Luc Fabresse, Jannik Laval, Noury Bouraqadi
article
IWST 2015, ESUG, Jul 2015, Bressia, Italy. ⟨10.1145/2811237.2811296⟩
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-01179466/file/IWST_2015_submission_6%20%281%29.pdf BibTex
titre
Fast Prototyping of a New Reconfigurable Architecture : Toward Tailored Space FPGA
auteur
Chagun Basha Basheer Ahmed, Sébastien Pillement, Loïc Lagadec, Arnaud Tisserand
article
Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jun 2015, Villeneuve d'Ascq, France. pp.10
Accès au bibtex
BibTex
titre
Role Framework to Support Collaborative Virtual Prototyping of System of Systems
auteur
Jean-Philippe Schneider, Joël Champeau, Loïc Lagadec, Eric Senn
article
WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus
Accès au bibtex
BibTex
titre
A Role Language to Interpret Multi-Formalism System of Systems Models
auteur
Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loic Lagadec
article
Syscon 2015, IEEE, Apr 2015, Vancouver, Canada
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Phadeo : un environnement pour FPGA virtuel
auteur
Sebastián Tleye, Ciprian Teodorov, Erwan Fabiani, Loic Lagadec
article
2015
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-01179474/file/compas2015.pdf 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
From Smalltalk to Silicon: Towards a methodology to turn Smalltalk code into FPGA
auteur
Le Xuan Sang, Loïc Lagadec, Luc Fabresse, Jannik Laval, Noury Bouraqadi
article
IWST 14, Aug 2014, Cambridge, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-01326520/file/from%20smalltalk%20to%20silicon.pdf BibTex
titre
Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators
auteur
Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec
article
ICSAS 2014 - International symposium on circuits and systems, Jun 2014, Melbourne, Australia
Accès au bibtex
BibTex
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 Design Approach to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerator
auteur
Mohamed Ben Hammouda, Philippe Coussy, Loic Lagadec
article
GLSVLSI 2014, May 2014, Houston, United States
Accès au bibtex
BibTex
titre
A Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators
auteur
Mohamed Ben Hammouda, Philippe Coussy, Loic Lagadec
article
ISCAS 2014 - IEEE International Symposium on Circuits and Systems, May 2014, Melbourne, Australia. pp.XX
Accès au bibtex
BibTex
titre
FPGAs virtuels : enjeux et usages
auteur
Loïc Lagadec
article
COMPAS 2014, Apr 2014, Neuchâtel, Switzerland
Accès au texte intégral et bibtex
https://hal.science/hal-00989984/file/compas2014_submission_51.pdf BibTex
titre
Une approche de conception pour générer automatiquement des moniteurs sur puce pendant la synthèse de haut niveau d'accélérateurs matériels
auteur
Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec
article
COMPAS 2014 - Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse
Accès au bibtex
BibTex
titre
New reconfigurable fault tolerant FPGA architecture: A design for mission critical applications
auteur
Chagun Basha Basheer Ahmed, Sébastien Pillement, Loïc Lagadec
article
Workshop on Reconfigurable Computing (WRC), Jan 2014, Vienne, Austria. pp.WRC 2014
Accès au bibtex
BibTex

Books

titre
Preface to the special issue on advances in Smalltalk based systems
auteur
Loïc Lagadec, Alain Plantec
article
96 (1), pp.1-3, 2014, Science of Computer Programming, Science direct, ⟨10.1016/j.scico.2014.07.004⟩
Accès au bibtex
BibTex
titre
International workshop on smalltalk technologies 2011 special issue (Journal of Software: Practice and Experience)
auteur
Alain Plantec, Loic Lagadec
article
Wiley, pp.91, 2014, ⟨10.1002/spe.2172⟩
Accès au bibtex
BibTex

2013

Journal articles

titre
Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse
auteur
Ciprian Teodorov, Loic Lagadec
article
Software: Practice and Experience, 2013, 44 (4), pp.455-482. ⟨10.1002/spe.2190⟩
Accès au bibtex
BibTex

Conference papers

titre
A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation
auteur
Papa Issa Diallo, Joël Champeau, Loïc Lagadec
article
SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
Accès au bibtex
BibTex
titre
Enhance the reusability of Models and their Behavioral correctness
auteur
Papa Issa Diallo, Joël Champeau, Loïc Lagadec
article
MODELS 2013 - Workshop GEMOC, Sep 2013, Miami, United States
Accès au bibtex
BibTex
titre
Fast Template-based Heterogeneous MPSoC Synthesis on FPGA
auteur
Youenn Corre, Jean-Philippe Diguet, Loic Lagadec, Dominique Heller, Dominique Blouin
article
9th Int. Symposium on Applied Reconfigurable Computing, Mar 2013, Los Angeles, United States
Accès au bibtex
BibTex

Books

titre
Architecture des ordinateurs
auteur
Loïc Lagadec, Sébastien Pillement, Arnaud Tisserand
article
Loïc Lagadec and Sébastien Pillement and Arnaud Tisserand. Hermes, 32, pp.150, 2013, Technique et science informatique, 9782746245679
Accès au bibtex
BibTex

2012

Journal articles

titre
Les observatoires du trait de côte en France métropolitaine et dans les DOM
auteur
Serge S. Suanez, Manuel Garcin, Thomas Bulteau, Mathias Rouan, Loïc Lagadec, Laurence David
article
EchoGéo, 2012, 19, ⟨10.4000/echogeo.12942⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00657607/file/Suanez_et-al_2012_EchoGeo.pdf BibTex

Conference papers

titre
HLS-based Fast Design Space Exploration of ad hoc hardware accelerators: a key tool for MPSoC Synthesis on FPGA
auteur
Youenn Corre, Van-Trinh Hoang, Jean-Philippe Diguet, Dominique Heller, Loic Lagadec
article
International Conference on Design and Architectures for Signal and Image Processing (DASIP), Oct 2012, Germany
Accès au bibtex
BibTex
titre
Behavioral System Level Power Consumption Modeling of Mobile Video Streaming applications
auteur
Yahia Benmoussa, Jalil Boukhobza, Yassine Hadjadj-Aoul, Loïc Lagadec, Djamel Benazzouz
article
Colloque du GDR SoC SiP, Jun 2012, Paris, France. pp.39
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-00724988/file/GDR_Benmoussa_Boukhobza_Benazzouz_Lagadec.pdf BibTex
titre
A framework for high-level synthesis of heterogeneous MP-SoC
auteur
Youenn Corre, Jean-Philippe Diguet, Dominique Heller, Loic Lagadec
article
GLSVLSI, May 2012, Salt Lake City, United States. pp.283-286, ⟨10.1145/2206781.2206850⟩
Accès au bibtex
BibTex

Books

titre
Proceedings of the 2012 International Workshop on Smalltalk Technologies
auteur
Loic Lagadec, Alain Plantec
article
ACM digital library, pp.68, 2012, 978-1-4503-1897-6
Accès au bibtex
BibTex

2011

Journal articles

titre
Experiment Centric Teaching for Reconfigurable Processors
auteur
Loic Lagadec, Damien Picard, Youenn Corre, Pierre-Yves Lucas
article
International Journal of Reconfigurable Computing, 2011, 2011, pp.952560. ⟨10.1155/2011/952560⟩
Accès au bibtex
BibTex

Conference papers

titre
MDE-based FPGA Physical Design Fast Model-Driven Prototyping with Smalltalk
auteur
Ciprian Teodorov, Loic Lagadec
article
IWST 2011, Aug 2011, Edinburgh, United Kingdom. pp.1-13
Accès au bibtex
BibTex
titre
Biniou: Prototypage d'architecture reconfigurable: Volet matériel et flot d'exploitation
auteur
Loic Lagadec
article
Journée du GDR Soc-Sip, Thème architectures reconfigurables, Jul 2011, Paris, France
Accès au bibtex
BibTex
titre
FPGA Physical-Design Automation using Model-Driven Engineering
auteur
Ciprian Teodorov, Damien Picard, Loic Lagadec
article
RECOSOC, Jun 2011, Montpellier, France. pp.1-6
Accès au bibtex
BibTex
titre
Fast Prototyping Environment for Embedded Reconfigurable Units
auteur
Damien Picard, Loic Lagadec
article
RECOSOC, Jun 2011, France. pp.1-8
Accès au bibtex
BibTex
titre
FPGA SDK for Nanoscale Architectures
auteur
Ciprian Teodorov, Loic Lagadec
article
RECOSOC, Jun 2011, Montpellier, France. pp.1-8
Accès au bibtex
BibTex
titre
Regular 2D Nasic-based Architecture and Design Space Exploration
auteur
Ciprian Teodorov, Pritish Narayanan, Loic Lagadec, Catherine Dezan
article
NANOARCH 2011, Jun 2011, San Diego, United States. pp.70-77
Accès au bibtex
BibTex
titre
Constititution d'une chaine d'outils pour une technologie reconfigurable
auteur
Loic Lagadec, Damien Picard
article
Symposium en Architecture Nouvelle de Machines, May 2011, Saint Malo, France
Accès au bibtex
BibTex
titre
Experiment centric teaching for reconfigurable processor
auteur
Damien Picard, Loic Lagadec
article
Symposium en Architecture Nouvelle de Machines, May 2011, Saint Malo, France. pp.1-14
Accès au bibtex
BibTex

Books

titre
Proceedings of the 2011 International Workshop on Smalltalk Technologies
auteur
Loic Lagadec, Alain Plantec
article
ACM digital library, pp.112, 2011, 978-1-4503-1050-5
Accès au bibtex
BibTex
titre
Selected Papers from the International Workshop on Reconfigurable Communication-centric Systems on Chips (ReCoSoC' 2010)
auteur
Michael Hübner, Jurgen Becker, Loic Lagadec, Gilles Sassatelli
article
Hindawi publishing corporation, pp.164, 2011
Accès au bibtex
BibTex

2010

Conference papers

titre
Smalltalk debug lives in the Matrix
auteur
Loic Lagadec, Damien Picard
article
International Workshop on Smalltalk Technologies, Sep 2010, Barcelona, Spain. pp.1-10
Accès au bibtex
BibTex
titre
Virtual SoPC Rad-Hardening for Satellite Applications
auteur
Ludovic Barrandon, Thierry Capitaine, Loïc Lagadec, Nathalie Julien, Christophe Moy, Thierry Monédière
article
ReCoSoC'10, May 2010, Karlsruhe, Germany. 2 p
Accès au bibtex
BibTex
titre
Flot ADL d'exploration et de prototypage d'architectures reconfigurables
auteur
Damien Picard, Loïc Lagadec
article
Colloque annuel du GDR Soc-Sip, 2010, Cergy pontoise, France
Accès au bibtex
BibTex
titre
Teaching reconfigurable computer : the Biniou approach
auteur
Loïc Lagadec, Damien Picard, Pierre-Yves Lucas
article
ReCoSoc 2010, 2010, Karlshrue, Germany. pp.127-134
Accès au bibtex
BibTex

2009

Journal articles

titre
Toolset for Nano Reconfigurable Computing
auteur
Loïc Lagadec, Bernard Pottier, Damien Picard
article
Micro electronics journal, 2009, 40 (4-5), pp.665-672
Accès au bibtex
BibTex
titre
Towards a Framework for Designing Applications onto hybrid nano/CMOS fabrics
auteur
Catherine Dezan, Ciprian Teodorov, Loïc Lagadec, Michael Leuchtenburg, Teng Wang, Pritish Narayanan, Csaba Andras Moritz
article
Microelectronics Journal, 2009, 40 (4-5), pp.656-664. ⟨10.1016/j.mejo.2008.07.072⟩
Accès au bibtex
BibTex
titre
Multi-Level Simulation of Heterogeneous Reconfigurable Platforms
auteur
Damien Picard, Loïc Lagadec
article
International Journal of Reconfigurable Computing, 2009, 2009, pp.12. ⟨10.1155/2009/162416⟩
Accès au bibtex
BibTex

Conference papers

titre
Contribution du Lab-STICC au projet FP6 Morpheus
auteur
Loïc Lagadec
article
Colloque annuel du GDR Soc-SIP, 2009, Paris, France
Accès au bibtex
BibTex
titre
Software-Like Debugging Methodology for Reconfigurable Platforms
auteur
Loïc Lagadec, Damien Picard
article
International Symposium on Parallel&Distributed Processing, 2009, Rome, European Union. pp.1-4, ⟨10.1109/IPDPS.2009.5161224⟩
Accès au bibtex
BibTex
titre
Présentation de l'Université de Bretagne Occidentale / Université Européenne de Bretagne et des activités du LAB-STICC
auteur
Loic Lagadec
article
Facultés des sciencs exactes, 2009, Béjaia, Algeria
Accès au bibtex
BibTex

Book sections

titre
Spatial Design
auteur
Loïc Lagadec, Damien Picard, Bernard Pottier
article
Voros, Nikolaos and Rosti, Alberto and Hübner, Michael (Eds.). Dynamic System Reconfiguration in Heterogeneous Platforms. The MORPHEUS Approach, Springer, chapter 13, 2009, Lecture Notes in Electrical Engineering, Vol. 40, ⟨10.1007/978-90-481-2427-5⟩
Accès au bibtex
BibTex

2008

Conference papers

titre
On the Way to Design Computing Architectures with Emerging Nanoscale Technologies
auteur
Ciprian Teodorov, Catherine Dezan, Loïc Lagadec
article
Colloque annuel GDR-SOC-Sip, Jun 2008, Paris, France
Accès au bibtex
BibTex
titre
MADEO : Object Oriented Programming, Modelization, and Tools for FPGAS
auteur
Loïc Lagadec
article
European Smalltalk User Group, 2008, Amsterdam, Netherlands
Accès au bibtex
BibTex
titre
Spatial design backend : CDFG mapping on eFPGA and DREAM IPs
auteur
Loïc Lagadec, Damien Picard
article
AMWAS, 2008, Lugano, Switzerland
Accès au bibtex
BibTex
titre
Chaîne de programmation pour architecture hétérogène reconfigurable
auteur
Loïc Lagadec, Jalil Boukhobza, Alain Plantec
article
SYMPosium en Architectures nouvelles de machines, 2008, Fribourgh, Suisse
Accès au bibtex
BibTex
titre
Building CAD tools as an Efficient Learning for both EE and CS students
auteur
Loïc Lagadec
article
Reconfigurable Computing Education, 2008, Montpellier, France
Accès au bibtex
BibTex
titre
Multi-Level Simulation of Heterogeneous Reconfigurable Platforms
auteur
Damien Picard, Loïc Lagadec
article
ReCoSoC, 2008, Barcelone, France
Accès au bibtex
BibTex

Other publications

titre
Rapport et bilan pour le projet VALMADEO pour l'étape 3
auteur
Catherine Dezan, Thierry Goubier, Ciprian Teodorov, Samar Yazdani, Loïc Lagadec, Erwan Fabiani, Loïc Le Dréau, Loïc Gueguen, Christophe Jego, Bernard Pottier
article
2008
Accès au bibtex
BibTex

2007

Conference papers

titre
Building CAD Prototyping Tool for Emerging Nanoscale Fabrics
auteur
Catherine Dezan, Loïc Lagadec, Michael Leuchtenburg, Teng Wang, Pritish Narayanan, Csaba Andras Moritz
article
European Nano Systems 2007, Dec 2007, Paris, France. pp.25-30
Accès au bibtex
BibTex
titre
A layered methodology for fast deployment of new technologies
auteur
Loic Lagadec, Bernard Pottier, Alix Poungou
article
ENS 2007, Dec 2007, Paris, France. pp.20-24
Accès au texte intégral et bibtex
https://hal.science/hal-00202506/file/ens07_020-2.pdf BibTex
titre
Building CAD Prototyping Tool for Emerging Nanoscale Fabrics
auteur
Catherine Dezan, Loic Lagadec, Michael Leuchtenburg, Teng Wang, Pritish Narayanan, Andras Moritz
article
ENS 2007, Dec 2007, Paris, France. pp.25-30
Accès au texte intégral et bibtex
https://hal.science/hal-00202507/file/ens07_025-2.pdf BibTex
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
titre
Synthesis in Morpheus
auteur
Loïc Lagadec, Cornelia Amariei, Johan Delouvée, Florent Padellec, Damien Picard
article
AMWAS, 2007, Paris, France
Accès au bibtex
BibTex

Other publications

titre
Projet VALMADEO, étape 2
auteur
Thierry Goubier, Loïc Lagadec, Kush Kothari, Bernard Pottier, Catherine Dezan, Christophe Jego
article
2007
Accès au bibtex
BibTex

2006

Journal articles

titre
Synthèse portable pour micro-architectures à grain fin. Application aux turbo-décodeurs et nano-fabriques.
auteur
Catherine Dezan, Erwan Fabiani, Christophe Gouyen, Loïc Lagadec, Bernard Pottier, Caaliph Andriamisaina, Alix Poungou
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2006, 25, pp.893-920
Accès au bibtex
BibTex

Conference papers

titre
The Case Study of Block turbo Decoders on a Framework for Portable Synthesis on FPGA
auteur
Catherine Dezan, Christophe Jégo, Bernard Pottier, Christophe Gouyen, Loïc Lagadec
article
39th Hawaii International conference on System Sciences, 2006, United States. pp.250b
Accès au bibtex
BibTex

Other publications

titre
Rapport et bilan pour le projet VALMADEO pour étape 1
auteur
Catherine Dezan, Christophe Gouyen, Christophe Jego, Bernard Pottier, Loïc Lagadec
article
2006
Accès au bibtex
BibTex

2005

Conference papers

titre
Compiler level integration of a portable CAD framework for reconfigurable circuits
auteur
Christophe Gouyen, Loïc Lagadec, Bernard Pottier, François Dupont, Arnaud André, Eric Lépicier
article
First ReCoSoc workshop, 2005, Montpellier, France
Accès au bibtex
BibTex
titre
Du reconfigurable aux nano-fabriques : composants nano-électroniques et outils de modélisation
auteur
Alix Poungou, Erwan Fabiani, Loïc Lagadec, Bernard Pottier
article
SympA'2005 : 8ème édition du symposium en architectures nouvelles de machines, 2005, France. pp.195-206
Accès au bibtex
BibTex
titre
Madeo, une approche MDA pour la programmation et la synthèse d'architectures reconfigurables
auteur
Sébastien Lebeux, Loïc Lagadec
article
SympA'2005 : 8ème édition du symposium en architectures nouvelles de machines, 2005, Le Croisic, France. pp.1-12
Accès au bibtex
BibTex

2004

Conference papers

titre
Compiler and system techniques for SOC distributed reconfigurable accelerators
auteur
Joël Cambonie, Sylvain Guérin, Ronan Keryell, Loïc Lagadec, Bernard Pottier, Olivier Sentieys, Bernt Weber, Samar Yazdani
article
2004, pp.293-302
Accès au bibtex
BibTex
titre
Abstract Execution Mechanisms in a Synthesis Framework
auteur
Erwan Fabiani, Loïc Lagadec, Bernard Pottier, Alix Poungou, Samar Yazdani
article
3rd Workshop on Non-Silicon computation (NSC3), 2004, Munich, Germany
Accès au bibtex
BibTex

2003

Conference papers

titre
Outils génériques pour le reconfigurable: Applications aux architectures commerciales
auteur
Christophe Gouyen, Loïc Lagadec
article
2003, pp.399-408
Accès au bibtex
BibTex

Book sections

titre
A LUT based high level synthesis framework for reconfigurable architectures
auteur
Loïc Lagadec, Bernard Pottier, Oscar Villellas
article
Domain-Specific Processors : Systems, Architectures, Modeling and Simulations, Marcel Dekker, pp.19-39, 2003
Accès au bibtex
BibTex

2001

Journal articles

titre
Placing, Routing, and Editing Virtual FPGAs
auteur
Loïc Lagadec, Dominique Lavenier, Erwan Fabiani, Bernard Pottier
article
Transactions on Computational Science, 2001
Accès au texte intégral et bibtex
https://hal.science/hal-02013412/file/FPL2001.pdf BibTex

2000

Journal articles

titre
Object-oriented meta tools for reconfigurable architectures
auteur
Loïc Lagadec, Bernard Pottier
article
Proceedings of SPIE, the International Society for Optical Engineering, 2000
Accès au bibtex
BibTex