Loïc Lagadec

According to our database, Loïc Lagadec authored at least 75 papers between 1998 and 2024.

Collaborative distances:

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

2024

Environmental Constraints for Intelligent Internet of Deep-Sea/Underwater Things Relying on Enterprise Architecture Approach.

Charbel Geryes Aoun, Noura Mansour, Fadi Dornaika, Loïc Lagadec

Sensors, April, 2024

2023

A Dominating Tree Based Leader Election Algorithm for Smart Cities IoT Infrastructure.

Nabil Kadjouh, Ahcène Bounceur, Madani Bezoui, Mohamed Essaid Khanouche, Reinhardt Euler, Mohammad Hammoudeh, Loïc Lagadec, Sohail Jabbar, Fadi M. Al-Turjman

Mob. Networks Appl., April, 2023

Gigue: A JIT Code Binary Generator for Hardware Testing.

Quentin Ducasse, Pascal Cotret, Loïc Lagadec

Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2023

Temporal Breakpoints for Multiverse Debugging.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Secured-by-design systems-on-chip: a MBSE Approach.

Raphaële Milan, Loïc Lagadec, Théotime Bollengier, Lilian Bossuet, Ciprian Teodorov

Proceedings of the 34th International Workshop on Rapid System Prototyping, 2023

Debugging Paxos in the UML Multiverse.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Toward a CAD Tool for SYCL programming.

Erwan Fabiani, Loïc Lagadec, Alexandre Skrzyniarz, Chiara Relevat, Erell Cottour, Paul Allaire

Proceedings of the 2023 International Workshop on OpenCL, 2023

JIT Compiler Security through Low-Cost RISC-V Extension.

Quentin Ducasse, Pascal Cotret, Loïc Lagadec

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2023

TrustSoC: Light and Efficient Heterogeneous SoC Architecture, Secure-by-design.

Raphaële Milan, Lilian Bossuet, Loïc Lagadec, Carlos Andres Lara-Nino, Brice Colombier

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2023

2022

Finding the polygon hull of a network without conditions on the starting vertex.

Ahcène Bounceur, Madani Bezoui, Mohammad Hammoudeh, Loïc Lagadec, Reinhardt Euler

Trans. Emerg. Telecommun. Technol., 2022

Porting a JIT Compiler to RISC-V: Challenges and Opportunities.

Quentin Ducasse, Guillermo Polito, Pablo Tesone, Pascal Cotret, Loïc Lagadec

Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, 2022

Practical multiverse debugging through user-defined reductions: application to UML models.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Dolmen: FPGA Swarm for Safety and Liveness Verification.

Emilien Fournier, Ciprian Teodorov, Loïc Lagadec

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Benchmarking Quantized Neural Networks on FPGAs with FINN.

Quentin Ducasse, Pascal Cotret, Loïc Lagadec, Robert Stewart

CoRR, 2021

Prototyping FPGA through overlays.

Théotime Bollengier, Loïc Lagadec, Ciprian Teodorov

Proceedings of the IEEE International Workshop on Rapid System Prototyping, 2021

Carnac: Algorithm Variability for Fast Swarm Verification on FPGA.

Emilien Fournier, Ciprian Teodorov, Loïc Lagadec

Proceedings of the 31st International Conference on Field-Programmable Logic and Applications, 2021

2020

Advances in Smalltalk technologies.

Loïc Lagadec, Anne Etien, Jannik Laval

Sci. Comput. Program., 2020

Automated exploration of homomorphic encryption scheme input parameters.

Cyrielle Feron, Loïc Lagadec, Vianney Lapôtre

J. Inf. Secur. Appl., 2020

Menhir: Generic High-Speed FPGA Model-Checker.

Emilien Fournier, Ciprian Teodorov, Loïc Lagadec

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019

A New Leader Election Algorithm based on the WBS Algorithm Dedicated to Smart-cities.

Nabil Kadjouh, Ahcène Bounceur, Abdelkamel Tari, Loïc Lagadec, Reinhardt Euler, Madani Bezoui

Proceedings of the 3rd International Conference on Future Networks and Distributed Systems, 2019

Temperature-based models of batteries for the simulation of Wireless Sensor Networks.

Nabil Kadjouh, Ahcène Bounceur, Abdelkamel Tari, Reinhardt Euler, Loïc Lagadec, Abdelkader Laouid

Proceedings of the 3rd International Conference on Future Networks and Distributed Systems, 2019

Designing a combined personal communicator and data entry terminal for disaster relief & remote operations.

Paul Gardner-Stephen, Angus Wallace, Lucas Moss, Loïc Lagadec, Matthew Lloyd

Proceedings of the IEEE Global Humanitarian Technology Conference, 2019

2018

An Integrated Toolchain for Overlay-centric System-on-chip.

Jean-Christophe Le Lann, Théotime Bollengier, Mohamad Najem, Loïc Lagadec

Proceedings of the 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2018

Fast Evaluation of Homomorphic Encryption Schemes Based on Ring-LWE.

Cyrielle Feron, Vianney Lapotre, Loïc Lagadec

Proceedings of the 9th IFIP International Conference on New Technologies, 2018

DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks.

Ahcène Bounceur, Madani Bezoui, Loïc Lagadec, Reinhardt Euler, Abdelkader Laouid, Mohammad Hammoudeh

Proceedings of the Mobile, Secure, and Programmable Networking, 2018

Detecting gaps and voids in WSNs and IoT networks: the minimum x-coordinate based method.

Ahcène Bounceur, Madani Bezoui, Loïc Lagadec, Reinhardt Euler, Abdelkader Laouid, Mahamadou Traore, Mounir Lallali

Proceedings of the 2nd International Conference on Future Networks and Distributed Systems, 2018

Detecting gaps and voids in WSNs and IoT networks: the angle-based method.

Madani Bezoui, Ahcène Bounceur, Loïc Lagadec, Reinhardt Euler, Mohammad Hammoudeh, Abdelkader Laouid, Abdelkamel Tari

Proceedings of the 2nd International Conference on Future Networks and Distributed Systems, 2018

CupCarbon-Lab: An IoT emulator.

Ahcène Bounceur, Olivier Marc, Massinissa Lounis, Julien Soler, Laurent Clavier, Pierre Combeau, Rodolphe Vauzelle, Loïc Lagadec, Reinhardt Euler, Madani Bezoui, Pietro Manzoni

Proceedings of the 15th IEEE Annual Consumer Communications & Networking Conference, 2018

2017

A Unified Design Flow to Automatically Generate On-Chip Monitors During High-Level Synthesis of Hardware Accelerators.

Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 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

PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes.

Cyrielle Feron, Vianney Lapotre, Loïc Lagadec

Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Asserting causal properties in High Level Synthesis.

Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov

Proceedings of the IEEE 2nd International Verification and Security Workshop, 2017

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

Proceedings of the Applied Reconfigurable Computing - 13th International Symposium, 2017

2016

TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGA.

Youenn Corre, Jean-Philippe Diguet, Dominique Heller, Dominique Blouin, Loïc Lagadec

ACM Trans. Embed. Comput. Syst., 2016

Demo: Overlay architectures for heterogeneous FPGA cluster management.

Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec

Proceedings of the 2016 Conference on Design and Architectures for Signal and Image Processing (DASIP), 2016

2015

Role Framework to Support Collaborative Virtual Prototyping of System of Systems.

Jean-Philippe Schneider, Joël Champeau, Loïc Lagadec, Eric Senn

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

A role language to interpret multi-formalism System of systems models.

Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loïc Lagadec

Proceedings of the Annual IEEE Systems Conference, 2015

A Meta Model Supporting Both Hardware and Smalltalk-Based Execution of Fpga Circuits.

Le Xuan Sang, Loïc Lagadec, Luc Fabresse, Jannik Laval, Noury Bouraqadi

Proceedings of the International Workshop on Smalltalk Technologies, 2015

2014

Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse.

Ciprian Teodorov, Loïc Lagadec

Softw. Pract. Exp., 2014

International workshop on smalltalk technologies 2011 special issue.

Alain Plantec, Loïc Lagadec

Softw. Pract. Exp., 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

Preface to the special issue on advances in Smalltalk based systems.

Loïc Lagadec, Alain Plantec

Sci. Comput. Program., 2014

A prototyping platform for virtual reconfigurable units.

Loïc Lagadec, Jean-Christophe Le Lann, Théotime Bollengier

Proceedings of the 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip, 2014

Virtual prototyping of R2D NASIC based FPGA.

Ciprian Teodorov, Loïc Lagadec

Proceedings of the IEEE/ACM International Symposium on Nanoscale Architectures, 2014

A design approach to automatically synthesize ANSI-C assertions during High-Level Synthesis of hardware accelerators.

Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec

Proceedings of the IEEE International Symposium on Circuits and Systemss, 2014

A design approach to automatically generate on-chip monitors during high-level synthesis of hardware accelerator.

Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec

Proceedings of the Great Lakes Symposium on VLSI 2014, GLSVLSI '14, Houston, TX, USA - May 21, 2014

Flexible Model-Based Simulation as a System's Design Driver.

Jean-Philippe Schneider, Eric Senn, Joël Champeau, Loïc Lagadec

Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), 2014

2013

Introduction.

Loïc Lagadec, Sébastien Pillement, Arnaud Tisserand

Tech. Sci. Informatiques, 2013

A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation.

Papa Issa Diallo, Joël Champeau, Loïc Lagadec

Proceedings of the Software Language Engineering - 6th International Conference, 2013

Fast Template-Based Heterogeneous MPSoC Synthesis on FPGA.

Youenn Corre, Jean-Philippe Diguet, Loïc Lagadec, Dominique Heller, Dominique Blouin

Proceedings of the Reconfigurable Computing: Architectures, Tools and Applications, 2013

2012

Behavioral Systel Level Power Consumption Modeling of Mobile Video Streaming applications

Yahia Benmoussa, Jalil Boukhobza, Yassine Hadjadj Aoul, Loïc Lagadec, Djamel Benazzouz

CoRR, 2012

A framework for high-level synthesis of heterogeneous MP-SoC.

Youenn Corre, Jean-Philippe Diguet, Dominique Heller, Loïc Lagadec

Proceedings of the Great Lakes Symposium on VLSI 2012, 2012

HLS-based fast design space exploration of ad hoc hardware accelerators: A key tool for MPSoC synthesis on FPGA.

Youenn Corre, Van-Trinh Hoang, Jean-Philippe Diguet, Dominique Heller, Loïc Lagadec

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

2011

Experiment Centric Teaching for Reconfigurable Processors.

Loïc Lagadec, Damien Picard, Youenn Corre, Pierre-Yves Lucas

Int. J. Reconfigurable Comput., 2011

Selected Papers from the International Workshop on Reconfigurable Communication-Centric Systems on Chips (ReCoSoC' 2010).

Michael Hübner, Jürgen Becker, Loïc Lagadec, Gilles Sassatelli

Int. J. Reconfigurable Comput., 2011

FPGA physical-design automation using Model-Driven Engineering.

Ciprian Teodorov, Damien Picard, Loïc Lagadec

Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011

FPGA SDK for nanoscale architectures.

Ciprian Teodorov, Loïc Lagadec

Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011

Fast prototyping environment for embedded reconfigurable units.

Damien Picard, Loïc Lagadec

Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011

Regular 2D NASIC-based architecture and design space exploration.

Ciprian Teodorov, Pritish Narayanan, Loïc Lagadec, Catherine Dezan

Proceedings of the 2011 IEEE/ACM International Symposium on Nanoscale Architectures, 2011

MDE-based FPGA physical design: fast model-driven prototyping with Smalltalk.

Ciprian Teodorov, Loïc Lagadec

Proceedings of the International Workshop on Smalltalk Technologies, 2011

2010

Session Teaching Reconfigurable Processor: the Biniou Approach.

Loïc Lagadec, Damien Picard, Pierre-Yves Lucas

Proceedings of the 5th International Workshop on Reconfigurable Communication-centric Systems on Chip, 2010

Virtual SoPC rad-hardening for satellite applications.

Ludovic Barrandon, Thierry Capitaine, Loïc Lagadec, Nathalie Julien, Christophe Moy, Thierry Monédière

Proceedings of the 5th International Workshop on Reconfigurable Communication-centric Systems on Chip, 2010

Smalltalk debug lives in the matrix.

Loïc Lagadec, Damien Picard

Proceedings of the International Workshop on Smalltalk Technologies, 2010

2009

Toolset for nano-reconfigurable computing.

Loïc Lagadec, Bernard Pottier, Damien Picard

Microelectron. J., 2009

Towards a framework for designing applications onto hybrid nano/CMOS fabrics.

Catherine Dezan, Ciprian Teodorov, Loïc Lagadec, Michael Leuchtenburg, Teng Wang, Pritish Narayanan, Csaba Andras Moritz

Microelectron. J., 2009

Multilevel Simulation of Heterogeneous Reconfigurable Platforms.

Damien Picard, Loïc Lagadec

Int. J. Reconfigurable Comput., 2009

Software-like debugging methodology for reconfigurable platforms.

Loïc Lagadec, Damien Picard

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

2006

Synthèse portable pour micro-architectures à grain fin. Application aux turbo décodeurs et nanofabriques.

Catherine Dezan, Erwan Fabiani, Christophe Gouyen, Loïc Lagadec, Bernard Pottier, Caaliph Andriamisaina, Alix Poungou

Tech. Sci. Informatiques, 2006

The Case Study of Block Turbo Decoders on a Framework for Portable Synthesis on FPGA.

Catherine Dezan, Christophe Jégo, Bernard Pottier, Christophe Gouyen, Loïc Lagadec

Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006

2005

Compiler level integration of a portable CAD framework for reconfigurable circuits.

Christophe Gouyen, Loïc Lagadec, Bernard Pottier, A. André, E. Lepicier, François Dupont

Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2005

2004

Compiler and System Techniques for soc Distributed Reconfigurable Accelerators.

Joel Cambonie, Sylvain Guérin, Ronan Keryell, Loïc Lagadec, Bernard Pottier, Olivier Sentieys, Bernt Weber, Samar Yazdani

Proceedings of the Computer Systems: Architectures, 2004

2002

A LUT based Approach for High Level Synthesis on FPGAs.

Loïc Lagadec, Bernard Pottier, Oscar Villellas, Erwan Fabiani, Catherine Dezan

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

2001

Placing, Routing, and Editing Virtual FPGAs.

Loïc Lagadec, Dominique Lavenier, Erwan Fabiani, Bernard Pottier

Proceedings of the Field-Programmable Logic and Applications, 2001

1999

Object Oriented Approach for Modeling Digital Circuits.

Catherine Dezan, Loïc Lagadec, Bernard Pottier

Proceedings of the IEEE International Conference on Microelectronic Systems Education, 1999

1998

A 6200 Model and Editor Based on Object Technology.

Loïc Lagadec, Bernard Pottier

Proceedings of the Field-Programmable Logic and Applications, 1998