Jean-Marc Daveau
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
8
Active years
1997–2026
Best venue rank
C
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ETS | Fault Model-Driven Formal Verification of Cryptographic Hardware Against Fault Attacks. | Daniel Thirion, George-Cristian Sercaianu, Valentin Egloff, Jean-Marc Daveau, Vincent Beroulle, David Hly, Philippe Roche |
| 2026 | IOLTS | Reducing Safety False-Positives in Parity-Based Security AES Using a Hardware Fault Classifier. | Daniel Thirion, Jean-Marc Daveau, Valentin Egloff, Vincent Beroulle, Philippe Roche, David Hly |
| 2025 | DDECS | Comparative Study of Safety and Security-Protected AES Designs. | Daniel Thirion, Jean-Marc Daveau, Valentin Egloff, David Hly, Vincent Beroulle, Philippe Roche |
| 2025 | MEMOCODE | Formal Analysis of Fault Propagation in Complex Digital Systems. | Damiano Zuccal, Samuel Hon, Mohammad Reza Heidari Iman, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory |
| 2024 | ETS | Formal Resilience Metric Characterization in Complex Digital Systems. | Damiano Zuccal, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory |
| 2024 | MEMOCODE | Formal Fault Injection in Digital Blocks with Mined Assertions. | Damiano Zuccal, Paul Breuil, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory |
| 2022 | IOLTS | Software Product Reliability Based on Basic Block Metrics Recomposition. | Tiziano Fiorucci, Giorgio Di Natale, Jean-Marc Daveau, Philippe Roche |
| 2021 | IOLTS | Automated Dysfunctional Model Extraction for Model Based Safety Assessment of Digital Systems. | Tiziano Fiorucci, Jean-Marc Daveau, Giorgio Di Natale, Philippe Roche |
| 2011 | IOLTS | An approach to reduce computational cost in combinatorial logic netlist reliability analysis using circuit clustering and conditional probabilities. | Josep Torras Flaquer, Jean-Marc Daveau, Lirida A. B. Naviner, Philippe Roche |
| 2010 | DSN | Verification of soft error detection mechanism through fault injection on hardware emulation platform. | Oscar Bailan, Umberto Rossi, Anne Wantens, Jean-Marc Daveau, Salvatore Nappi, Philippe Roche |
| 2008 | IOLTS | Growing Interest of Advanced Commercial CMOS Technologies for Space and Medical Applications. Illustration with a New Nano-Power and Radiation-Hardened SRAM in 130nm CMOS. | Philippe Roche, Mark Lysinger, Gilles Gasiot, Jean-Marc Daveau, Mehdi Zamanian, Pierre Dautriche |
| 2002 | EMSOFT | FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors. | Valrie Bertin, Jean-Marc Daveau, Philippe Guillaume, Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana, Thomas Thery |
| 1999 | RSP | Communication Interface Synthesis for Multilanguage Specifications. | Fabiano Hessel, Philippe Coste, P. LeMarrec, Nacer-Eddine Zergainoh, Jean-Marc Daveau, Ahmed Amine Jerraya |
| 1997 | ICCAD | Transformational partitioning for co-design of multiprocessor systems. | Gilberto Fernandes Marchioro, Jean-Marc Daveau, Ahmed Amine Jerraya |