Loïc Lagadec

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 35

Top Topics

Automatically Generate

Programmable Logic

Homomorphic Encryption

High Level Synthesis

Top Venues

Sci. Comput. Program.

Publications

Charbel Geryes Aoun, Noura Mansour, Fadi Dornaika, Loïc Lagadec
Environmental Constraints for Intelligent Internet of Deep-Sea/Underwater Things Relying on Enterprise Architecture Approach. Sensors 24 (8) (2024)
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec
Debugging Paxos in the UML Multiverse. MoDELS (Companion) (2023)
Erwan Fabiani, Loïc Lagadec, Alexandre Skrzyniarz, Chiara Relevat, Erell Cottour, Paul Allaire
Toward a CAD Tool for SYCL programming. IWOCL (2023)
Quentin Ducasse, Pascal Cotret, Loïc Lagadec
JIT Compiler Security through Low-Cost RISC-V Extension. IPDPS Workshops (2023)
Raphaële Milan, Loïc Lagadec, Théotime Bollengier, Lilian Bossuet, Ciprian Teodorov
Secured-by-design systems-on-chip: a MBSE Approach. RSP (2023)
Quentin Ducasse, Pascal Cotret, Loïc Lagadec
Gigue: A JIT Code Binary Generator for Hardware Testing. VMIL@SPLASH (2023)
Raphaële Milan, Lilian Bossuet, Loïc Lagadec, Carlos Andres Lara-Nino, Brice Colombier
TrustSoC: Light and Efficient Heterogeneous SoC Architecture, Secure-by-design. AsianHOST (2023)
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
Temporal Breakpoints for Multiverse Debugging. SLE (2023)
Nabil Kadjouh, Ahcène Bounceur, Madani Bezoui, Mohamed Essaid Khanouche, Reinhardt Euler, Mohammad Hammoudeh, Loïc Lagadec, Sohail Jabbar, Fadi M. Al-Turjman
A Dominating Tree Based Leader Election Algorithm for Smart Cities IoT Infrastructure. Mob. Networks Appl. 28 (2) (2023)
Quentin Ducasse, Guillermo Polito, Pablo Tesone, Pascal Cotret, Loïc Lagadec
Porting a JIT Compiler to RISC-V: Challenges and Opportunities. MPLR (2022)
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
Practical multiverse debugging through user-defined reductions: application to UML models. MoDELS (2022)
Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
Dolmen: FPGA Swarm for Safety and Liveness Verification. DATE (2022)
Ahcène Bounceur, Madani Bezoui, Mohammad Hammoudeh, Loïc Lagadec, Reinhardt Euler
Finding the polygon hull of a network without conditions on the starting vertex. Trans. Emerg. Telecommun. Technol. 33 (3) (2022)
Théotime Bollengier, Loïc Lagadec, Ciprian Teodorov
Prototyping FPGA through overlays. RSP (2021)
Quentin Ducasse, Pascal Cotret, Loïc Lagadec, Robert Stewart
Benchmarking Quantized Neural Networks on FPGAs with FINN. CoRR (2021)
Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
Carnac: Algorithm Variability for Fast Swarm Verification on FPGA. FPL (2021)
Loïc Lagadec, Anne Etien, Jannik Laval
Advances in Smalltalk technologies. Sci. Comput. Program. 199 (2020)
Cyrielle Feron, Loïc Lagadec, Vianney Lapôtre
Automated exploration of homomorphic encryption scheme input parameters. J. Inf. Secur. Appl. 55 (2020)
Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
Menhir: Generic High-Speed FPGA Model-Checker. DSD (2020)
Paul Gardner-Stephen, Angus Wallace, Lucas Moss, Loïc Lagadec, Matthew Lloyd
Designing a combined personal communicator and data entry terminal for disaster relief & remote operations. GHTC (2019)
Nabil Kadjouh, Ahcène Bounceur, Abdelkamel Tari, Reinhardt Euler, Loïc Lagadec, Abdelkader Laouid
Temperature-based models of batteries for the simulation of Wireless Sensor Networks. ICFNDS (2019)
Nabil Kadjouh, Ahcène Bounceur, Abdelkamel Tari, Loïc Lagadec, Reinhardt Euler, Madani Bezoui
A New Leader Election Algorithm based on the WBS Algorithm Dedicated to Smart-cities. ICFNDS (2019)
Madani Bezoui, Ahcène Bounceur, Loïc Lagadec, Reinhardt Euler, Mohammad Hammoudeh, Abdelkader Laouid, Abdelkamel Tari
Detecting gaps and voids in WSNs and IoT networks: the angle-based method. ICFNDS (2018)
Jean-Christophe Le Lann, Théotime Bollengier, Mohamad Najem, Loïc Lagadec
An Integrated Toolchain for Overlay-centric System-on-chip. ReCoSoC (2018)
Ahcène Bounceur, Madani Bezoui, Loïc Lagadec, Reinhardt Euler, Abdelkader Laouid, Mahamadou Traore, Mounir Lallali
Detecting gaps and voids in WSNs and IoT networks: the minimum x-coordinate based method. ICFNDS (2018)
Ahcène Bounceur, Madani Bezoui, Loïc Lagadec, Reinhardt Euler, Abdelkader Laouid, Mohammad Hammoudeh
DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks. MSPN (2018)
Ahcène Bounceur, Olivier Marc, Massinissa Lounis, Julien Soler, Laurent Clavier, Pierre Combeau, Rodolphe Vauzelle, Loïc Lagadec, Reinhardt Euler, Madani Bezoui, Pietro Manzoni
CupCarbon-Lab: An IoT emulator. CCNC (2018)
Cyrielle Feron, Vianney Lapotre, Loïc Lagadec
Fast Evaluation of Homomorphic Encryption Schemes Based on Ring-LWE. NTMS (2018)
Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov
Asserting causal properties in High Level Synthesis. IVSW (2017)
Mohamad Najem, Théotime Bollengier, Jean-Christophe Le Lann, Loïc Lagadec
Extended overlay architectures for heterogeneous FPGA cluster management. J. Syst. Archit. 78 (2017)
Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec
A Unified Design Flow to Automatically Generate On-Chip Monitors During High-Level Synthesis of Hardware Accelerators. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (3) (2017)
Théotime Bollengier, Loïc Lagadec, Mohamad Najem, Jean-Christophe Le Lann, Pierre Guilloux
Soft Timing Closure for Soft Programmable Logic Cores: The ARGen Approach. ARC (2017)
Cyrielle Feron, Vianney Lapotre, Loïc Lagadec
PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes. SECRYPT (2017)
Youenn Corre, Jean-Philippe Diguet, Dominique Heller, Dominique Blouin, Loïc Lagadec
TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGA. ACM Trans. Embed. Comput. Syst. 15 (1) (2016)
Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec
Demo: Overlay architectures for heterogeneous FPGA cluster management. DASIP (2016)
Le Xuan Sang, Loïc Lagadec, Luc Fabresse, Jannik Laval, Noury Bouraqadi
A Meta Model Supporting Both Hardware and Smalltalk-Based Execution of Fpga Circuits. IWST (2015)
Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loïc Lagadec
A role language to interpret multi-formalism System of systems models. SysCon (2015)
Jean-Philippe Schneider, Joël Champeau, Loïc Lagadec, Eric Senn
Role Framework to Support Collaborative Virtual Prototyping of System of Systems. WETICE (2015)
Jean-Philippe Schneider, Eric Senn, Joël Champeau, Loïc Lagadec
Flexible Model-Based Simulation as a System's Design Driver. CSDM (Posters) (2014)
Loïc Lagadec, Jean-Christophe Le Lann, Théotime Bollengier
A prototyping platform for virtual reconfigurable units. ReCoSoC (2014)
Loïc Lagadec, Alain Plantec
Preface to the special issue on advances in Smalltalk based systems. Sci. Comput. Program. 96 (2014)
Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec
A design approach to automatically synthesize ANSI-C assertions during High-Level Synthesis of hardware accelerators. ISCAS (2014)
Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani
Model-driven toolset for embedded reconfigurable cores: Flexible prototyping and software-like debugging. Sci. Comput. Program. 96 (2014)
Ciprian Teodorov, Loïc Lagadec
Virtual prototyping of R2D NASIC based FPGA. NANOARCH (2014)
Alain Plantec, Loïc Lagadec
International workshop on smalltalk technologies 2011 special issue. Softw. Pract. Exp. 44 (4) (2014)
Ciprian Teodorov, Loïc Lagadec
Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse. Softw. Pract. Exp. 44 (4) (2014)
Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec
A design approach to automatically generate on-chip monitors during high-level synthesis of hardware accelerator. ACM Great Lakes Symposium on VLSI (2014)
Loïc Lagadec, Sébastien Pillement, Arnaud Tisserand
Introduction. Tech. Sci. Informatiques 32 (2) (2013)
Youenn Corre, Jean-Philippe Diguet, Loïc Lagadec, Dominique Heller, Dominique Blouin
Fast Template-Based Heterogeneous MPSoC Synthesis on FPGA. ARC (2013)
Papa Issa Diallo, Joël Champeau, Loïc Lagadec
A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation. SLE (2013)
Yahia Benmoussa, Jalil Boukhobza, Yassine Hadjadj Aoul, Loïc Lagadec, Djamel Benazzouz
Behavioral Systel Level Power Consumption Modeling of Mobile Video Streaming applications CoRR (2012)
Youenn Corre, Van-Trinh Hoang, Jean-Philippe Diguet, Dominique Heller, Loïc Lagadec
HLS-based fast design space exploration of ad hoc hardware accelerators: A key tool for MPSoC synthesis on FPGA. DASIP (2012)
Youenn Corre, Jean-Philippe Diguet, Dominique Heller, Loïc Lagadec
A framework for high-level synthesis of heterogeneous MP-SoC. ACM Great Lakes Symposium on VLSI (2012)
Loïc Lagadec, Damien Picard, Youenn Corre, Pierre-Yves Lucas
Experiment Centric Teaching for Reconfigurable Processors. Int. J. Reconfigurable Comput. 2011 (2011)
Ciprian Teodorov, Damien Picard, Loïc Lagadec
FPGA physical-design automation using Model-Driven Engineering. ReCoSoC (2011)
Michael Hübner, Jürgen Becker, Loïc Lagadec, Gilles Sassatelli
Selected Papers from the International Workshop on Reconfigurable Communication-Centric Systems on Chips (ReCoSoC' 2010). Int. J. Reconfigurable Comput. 2011 (2011)
Damien Picard, Loïc Lagadec
Fast prototyping environment for embedded reconfigurable units. ReCoSoC (2011)
Ciprian Teodorov, Loïc Lagadec
FPGA SDK for nanoscale architectures. ReCoSoC (2011)
Ciprian Teodorov, Pritish Narayanan, Loïc Lagadec, Catherine Dezan
Regular 2D NASIC-based architecture and design space exploration. NANOARCH (2011)
Ciprian Teodorov, Loïc Lagadec
MDE-based FPGA physical design: fast model-driven prototyping with Smalltalk. IWST (2011)
Loïc Lagadec, Damien Picard, Pierre-Yves Lucas
Session Teaching Reconfigurable Processor: the Biniou Approach. ReCoSoC (2010)
Loïc Lagadec, Damien Picard
Smalltalk debug lives in the matrix. IWST (2010)
Ludovic Barrandon, Thierry Capitaine, Loïc Lagadec, Nathalie Julien, Christophe Moy, Thierry Monédière
Virtual SoPC rad-hardening for satellite applications. ReCoSoC (2010)
Loïc Lagadec, Bernard Pottier, Damien Picard
Toolset for nano-reconfigurable computing. Microelectron. J. 40 (4-5) (2009)
Damien Picard, Loïc Lagadec
Multilevel Simulation of Heterogeneous Reconfigurable Platforms. Int. J. Reconfigurable Comput. 2009 (2009)
Loïc Lagadec, Damien Picard
Software-like debugging methodology for reconfigurable platforms. IPDPS (2009)
Catherine Dezan, Ciprian Teodorov, Loïc Lagadec, Michael Leuchtenburg, Teng Wang, Pritish Narayanan, Csaba Andras Moritz
Towards a framework for designing applications onto hybrid nano/CMOS fabrics. Microelectron. J. 40 (4-5) (2009)
Catherine Dezan, Christophe Jégo, Bernard Pottier, Christophe Gouyen, Loïc Lagadec
The Case Study of Block Turbo Decoders on a Framework for Portable Synthesis on FPGA. HICSS (2006)
Catherine Dezan, Erwan Fabiani, Christophe Gouyen, Loïc Lagadec, Bernard Pottier, Caaliph Andriamisaina, Alix Poungou
Synthèse portable pour micro-architectures à grain fin. Application aux turbo décodeurs et nanofabriques. Tech. Sci. Informatiques 25 (7) (2006)
Christophe Gouyen, Loïc Lagadec, Bernard Pottier, A. André, E. Lepicier, François Dupont
Compiler level integration of a portable CAD framework for reconfigurable circuits. ReCoSoC (2005)
Joel Cambonie, Sylvain Guérin, Ronan Keryell, Loïc Lagadec, Bernard Pottier, Olivier Sentieys, Bernt Weber, Samar Yazdani
Compiler and System Techniques for soc Distributed Reconfigurable Accelerators. SAMOS (2004)
Loïc Lagadec, Bernard Pottier, Oscar Villellas, Erwan Fabiani, Catherine Dezan
A LUT based Approach for High Level Synthesis on FPGAs. IWLS (2002)
Loïc Lagadec, Dominique Lavenier, Erwan Fabiani, Bernard Pottier
Placing, Routing, and Editing Virtual FPGAs. FPL (2001)
Catherine Dezan, Loïc Lagadec, Bernard Pottier
Object Oriented Approach for Modeling Digital Circuits. MSE (1999)
Loïc Lagadec, Bernard Pottier
A 6200 Model and Editor Based on Object Technology. FPL (1998)