| 2025 | MODELSWARD | Hierarchical System of Digital Twins: A Holistic Architecture for Swarm System Analysis. | Mouhamadou F. Ball, Jannik Laval, Loc Lagadec |
| 2023 | MODELS | Debugging Paxos in the UML Multiverse. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Loc Lagadec |
| 2023 | RSP | Secured-by-design systems-on-chip: a MBSE Approach. | Raphale Milan, Loc Lagadec, Thotime Bollengier, Lilian Bossuet, Ciprian Teodorov |
| 2023 | SLE | Temporal Breakpoints for Multiverse Debugging. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Luka Le Roux, Loc Lagadec |
| 2022 | DATE | Dolmen: FPGA Swarm for Safety and Liveness Verification. | Emilien Fournier, Ciprian Teodorov, Loc Lagadec |
| 2022 | MODELS | Practical multiverse debugging through user-defined reductions: application to UML models. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Luka Le Roux, Loc Lagadec |
| 2021 | FPL | Carnac: Algorithm Variability for Fast Swarm Verification on FPGA. | Emilien Fournier, Ciprian Teodorov, Loc Lagadec |
| 2021 | RSP | Prototyping FPGA through overlays. | Thotime Bollengier, Loc Lagadec, Ciprian Teodorov |
| 2020 | DSD | Menhir: Generic High-Speed FPGA Model-Checker. | Emilien Fournier, Ciprian Teodorov, Loc Lagadec |
| 2017 | SECRYPT | PAnTHErS: A Prototyping and Analysis Tool for Homomorphic Encryption Schemes. | Cyrielle Feron, Vianney Lapotre, Loc Lagadec |
| 2015 | WETICE | Role Framework to Support Collaborative Virtual Prototyping of System of Systems. | Jean-Philippe Schneider, Jol Champeau, Loc Lagadec, Eric Senn |
| 2014 | ISCAS | A design approach to automatically synthesize ANSI-C assertions during High-Level Synthesis of hardware accelerators. | Mohamed Ben Hammouda, Philippe Coussy, Loc Lagadec |
| 2013 | SLE | A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation. | Papa Issa Diallo, Jol Champeau, Loc Lagadec |
| 2001 | FPL | Placing, Routing, and Editing Virtual FPGAs. | Loc Lagadec, Dominique Lavenier, Erwan Fabiani, Bernard Pottier |
| 1998 | FPL | A 6200 Model and Editor Based on Object Technology. | Loc Lagadec, Bernard Pottier |