Mikal Briday
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
2006–2025
Best venue rank
C
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DSD | Circadia: Checkpointing for Intermittent Computing in AI Driven Applications. | Matthieu Rodet, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Isabelle Puaut, Erven Rohou |
| 2024 | CGO | SCHEMATIC: Compile-Time Checkpoint Placement and Memory Allocation for Intermittent Systems. | Hugo Reymond, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Isabelle Puaut, Erven Rohou |
| 2024 | RTCSA | EarlyBird: Energy belongs to those who wake up early. | Hugo Reymond, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Isabelle Puaut, Erven Rohou |
| 2023 | DATE | Securing a RISC-V architecture: A dynamic approach. | Sbastien Pillement, Maria Mendez Real, J. Pottier, T. Nieddu, Bertrand Le Gal, Sbastien Faucou, Jean-Luc Bchennec, Mikal Briday, Sylvain Girbal, Jimmy Le Rhun, Olivier Gilles, Daniel Gracia Prez, Andr Sintzoff, Jean-Roch Coulon |
| 2021 | ARITH | Pipeline Optimization using a Cost Extension of Timed Petri Nets. | Rmi Parrot, Mikal Briday, Olivier H. Roux |
| 2018 | EDCC | Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. | Dimitry Solet, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Sbastien Pillement |
| 2017 | VECoS | WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction. | Armel Mangean, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou |
| 2014 | SIMULTECH | Reactive embedded device driver synthesis using logical timed models. | Julien Tanguy, Jean-Luc Bchennec, Mikal Briday, Olivier H. Roux |
| 2013 | ETFA | Device driver synthesis for embedded systems. | Julien Tanguy, Jean-Luc Bchennec, Mikal Briday, Sebastien Dube, Olivier H. Roux |
| 2006 | ETFA | Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification. | Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Yvon Trinquet |