| 2026 | SAC | Towards a Machine Learning Approach to Capturing Applications' Footprint on Complex Hardware. | Cdric Cazanove, Benjamin Lesage, Frdric Boniol, Sandrine Mouysset, Jrme Ermont |
| 2025 | ISORC | Towards a validated core memory model through (MP)SoC events. | Alfonso Mascareas Gonzlez, Frdric Boniol, Benjamin Lesage, Claire Pagetti |
| 2023 | ETFA | A Unified Model for Integrated Modular Architecture-TSN based Systems. | Matthias Houssin, Oana Hotescu, Frdric Boniol |
| 2022 | ETFA | Task and Memory Mapping Optimization for SDRAM Interference Minimization on Heterogeneous MPSoCs. | Alfonso Mascareas Gonzlez, Jean-Baptiste Chaudron, Frdric Boniol, Youcef Bouchebaba, Jean-Loup Bussenot |
| 2021 | RTNS | Heterogeneous multicore SDRAM interference analysis. | Alfonso Mascareas Gonzlez, Frdric Boniol, Youcef Bouchebaba, Jean-Loup Bussenot, Jean-Baptiste Chaudron |
| 2017 | ETFA | Verifying end-to-end real-time constraints on multi-periodic models. | Julien Forget, Frdric Boniol, Claire Pagetti |
| 2013 | SAC | End-to-end latency computation in a multi-periodic design. | Rmy Wyss, Frdric Boniol, Claire Pagetti, Julien Forget |
| 2012 | APLAS | A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. | Rmy Wyss, Frdric Boniol, Julien Forget, Claire Pagetti |
| 2012 | SAC | Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks. | Julie Baro, Frdric Boniol, Mikel Cordovilla, Eric Noulard, Claire Pagetti |
| 2011 | ETFA | Latency and freshness analysis on IMA systems. | Michal Lauer, Jrme Ermont, Frdric Boniol, Claire Pagetti |
| 2011 | SAC | Multiprocessor schedulability analyser. | Mikel Cordovilla, Frdric Boniol, Eric Noulard, Claire Pagetti |
| 2011 | SAC | Application of partial-order methods for the verification of closed-loop SDL systems. | Xavier Dumas, Philippe Dhaussy, Frdric Boniol, Eric Bonnafous |
| 2011 | RTNS | Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset. | Mikel Cordovilla, Frdric Boniol, Julien Forget, Eric Noulard, Claire Pagetti |
| 2010 | ISoLA | Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. | Yamine At Ameur, Frdric Boniol, Dominique Mry, Virginie Wiels |
| 2010 | ISoLA | Analyzing End-to-End Functional Delays on an IMA Platform. | Michal Lauer, Jrme Ermont, Claire Pagetti, Frdric Boniol |
| 2010 | SAC | A real-time architecture design language for multi-rate embedded control systems. | Julien Forget, Frdric Boniol, David Lesens, Claire Pagetti |
| 2010 | RTAS | Scheduling Dependent Periodic Tasks without Synchronization Mechanisms. | Julien Forget, Frdric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti |
| 2008 | ICST | Using context descriptions and property definition patterns for software formal verification. | Philippe Dhaussy, Julien Auvray, Stphane de Belloy, Frdric Boniol, Eric Landel |
| 2007 | ISoLA | Formal Functionally Deterministic Scheduling. | Frdric Boniol, Claire Pagetti, Franois Revest |
| 2007 | ISoLA | Verification of embbeded systems with preemption: a negative result. | Jrme Ermont, Frdric Boniol |
| 2004 | ISoLA | Verification of an avionic system using timed model checking. | Francois Carcenac, Frdric Boniol |
| 1994 | PODC | Controlling Real-Time Asynchronous Tasks with ESTEREL Synchronous Language. | Martin Adelantado, Frdric Boniol |
| 1993 | ECRTS | Synchronous/Asynchronous Approaches for Intelligent Real-Time Systems. | Martin Adelantado, Frdric Boniol, Manuel Cubero-Castan, V. David, Bernard Lcussan, R. Porche |