Jean-Luc Bchennec
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
21
Active years
1988–2026
Best venue rank
A*
Where they publish
- NationalRTNS3 papers
- BEuroPar3 papers
- CCoDIT2 papers
- CHPCC2 papers
- CETFA2 papers
- ARTAS1 paper
- CDSD1 paper
- MulticonferenceSAC1 paper
- ACGO1 paper
- BRTCSA1 paper
- ADATE1 paper
- CICFEM1 paper
- UnrankedEDCC1 paper
- CVECoS1 paper
- CSIMULTECH1 paper
- A*HPCA1 paper
- AICS1 paper
- NationalWCAE1 paper
- BICPP1 paper
- CPDP1 paper
- CICCD1 paper
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | RTAS | Work in Progress: Exploring Timing Anomalies in Multi-Core Systems with Time Petri Nets. | Maha Essabyr, Florian Brandner, Mihail Asavoae, Sbastien Faucou, Jean-Luc Bchennec |
| 2025 | DSD | Circadia: Checkpointing for Intermittent Computing in AI Driven Applications. | Matthieu Rodet, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Isabelle Puaut, Erven Rohou |
| 2025 | SAC | Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. | tienne Andr, Jean-Luc Bchennec, Sudipta Chattopadhyay, Sbastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun |
| 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 |
| 2022 | CoDIT | High-level Colored Time Petri Nets for true concurrency modeling in real-time software. | Imane Haur, Jean-Luc Bchennec, Olivier H. Roux |
| 2022 | ICFEM | Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel. | Imane Haur, Jean-Luc Bchennec, Olivier H. Roux |
| 2021 | RTNS | Formal schedulability analysis based on multi-core RTOS model. | Imane Haur, Jean-Luc Bchennec, Olivier Henri Roux |
| 2020 | RTNS | Requirement specification and model-checking of a real-time scheduler implementation. | Khaoula Boukir, Jean-Luc Bchennec, Anne-Marie Dplanche |
| 2018 | CoDIT | Formal model-based conformance verification of an OSEK/VDX compliant RTOS. | Jean-Luc Bchennec, Olivier Henry Roux, Tigori Kabland Toussaint Gautier |
| 2018 | EDCC | Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. | Dimitry Solet, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Sbastien Pillement |
| 2018 | RTNS | Formal approach for a verified implementation of Global EDF in Trampoline. | Khaoula Boukir, Jean-Luc Bchennec, Anne-Marie Dplanche |
| 2017 | VECoS | WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction. | Armel Mangean, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou |
| 2015 | HPCC | Formal Synthesis of Optimal RTOS. | Tigori Kabland Toussaint Gautier, Jean-Luc Bchennec, Olivier Henry Roux |
| 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 |
| 2012 | HPCC | A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR. | Sylvain Cotard, Sbastien Faucou, Jean-Luc Bchennec, Audrey Queudet, Yvon Trinquet |
| 2006 | ETFA | Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification. | Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Yvon Trinquet |
| 2000 | HPCA | The Best Distribution for a Parallel OpenGL 3D Engine with Texture Caches. | Alexis Vartanian, Jean-Luc Bchennec, Nathalie Drach-Temam |
| 1999 | EuroPar | A Parallel Algorithm for 3D Geometry Transformations in OpenGL. | Julien Sbot, Alexis Vartanian, Jean-Luc Bchennec, Nathalie Drach-Temam |
| 1999 | EuroPar | PopSPY: A PowerPC Instrumentation Tool for Multiprocessor Simulation. | Claude Limousin, Alexis Vartanian, Jean-Luc Bchennec |
| 1999 | EuroPar | Two Schemes to Improve the Performance of a | Alexis Vartanian, Jean-Luc Bchennec, Nathalie Drach-Temam |
| 1998 | ICS | Evaluation of High Performance Multicache Parallel Texture Mapping. | Alexis Vartanian, Jean-Luc Bchennec, Nathalie Drach-Temam |
| 1998 | WCAE | ASF: a teaching and rsearch object-oriented simulation tool for computer architecture design and performance evaluation. | Jean-Luc Bchennec |
| 1993 | ICPP | Balanced Distributed Memory Parallel Computers. | Franck Cappello, Jean-Luc Bchennec, Franck Delaplace, Ccile Germain, Jean-Louis Giavitto, Vincent Nri, Daniel Etiemble |
| 1993 | PDP | Static computation of standard linear algebra subroutines for PTAH. | E. Daugeras, Jean-Luc Bchennec, Franck Cappello |
| 1988 | ICCD | A highly parallel processor with an instruction set including relational algebra. | Pascal Faudemay, Daniel Etiemble, Jean-Luc Bchennec |