Embedded Systems in Avionics and the SACRES Approach. - Philippe Baufreton; Xavier Méhaut; Éric Rutten (SAFECOMP, 1997)

SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract). - Philippe Baufreton (HSCC, 1999)

Case studies with Lurette V2. - Erwan Jahier; Pascal Raymond; Philippe Baufreton (Int. J. Softw. Tools Technol. Transf., 2006)

Static Analysis of the Accuracy in Control Systems: Principles and Experiments. - Eric Goubault; Sylvie Putot; Philippe Baufreton; Jean Gassino (FMICS, 2007)

Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application. - Philippe Baufreton; Reinhold Heckmann (ISoLA, 2007)

Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach. - Jean-Paul Blanquart; Eric Armengaud; Philippe Baufreton; Quentin Bourrouilh; Gerhard Griessnig; Martin Krammer; Odile Laurent; Joseph Machrouh; Thomas Peikenkamp; Cecile Schindler; Tormod Wien (SAFECOMP, 2011)

On the Determinism of Multi-core Processors. - Vladimir-Alexandru Paun; Bruno Monsuez; Philippe Baufreton (FSFMA, 2013)

Binary-Level Testing of Embedded Programs. - Sébastien Bardin; Philippe Baufreton; Nicolas Cornuet; Philippe Herrmann; Sébastien Labbé 002 (QSIC, 2013)

Software Safety Assessment and Probabilities. - Jean-Paul Blanquart; Philippe Baufreton; Jean-Louis Boulanger; Jean-Louis Camus; Cyrille Comar; Hervé Delseny; Jean Gassino; Emmanuel Ledinot; Philippe Quéré; Bertrand Ricque (DSN Workshops, 2016)

Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems. - Achraf Mguidich; Vladimir-Alexandru Paun; Bruno Monsuez; Philippe Baufreton (RTSS, 2016)

Hierarchical timed abstract state machines for WCET estimation. - Vladimir-Alexandru Paun; Bruno Monsuez; Philippe Baufreton (Int. J. Crit. Comput. Based Syst., 2016)

REDEFINE®™: a case for WCET-friendly hardware accelerators for real time applications (work-in-progress). - Kavitha T. Madhu; Tarun Singla; S. K. Nandy 001; Ranjani Narayan; François Neumann; Philippe Baufreton (CASES, 2017)

Decentralized On-line Task Reallocation on Parallel Computing Architectures with Safety-Critical Applications. - Thanakorn Khamvilai; Louis Sutter; Eric Feron; Philippe Baufreton; François Neumann (CoRR, 2019)

Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware. - Keryan Didier; Dumitru Potop-Butucaru; Guillaume Iooss; Albert Cohen 001; Jean Souyris; Philippe Baufreton; Amaury Graillat (ACM Trans. Archit. Code Optim., 2019)

Decentralized Task Reallocation on Parallel Computing Architectures Targeting an Avionics Application. - Thanakorn Khamvilai; Louis Sutter; Philippe Baufreton; François Neumann; Eric Feron (J. Optim. Theory Appl., 2021)

Design of Avionics Network Architecture Under a Reliability Constraint. - Thanakorn Khamvilai; John B. Mains; Louis Sutter; Aqib A. Syed; Philippe Baufreton; François Neumann; Eric Feron (IEEE Trans. Aerosp. Electron. Syst., 2022)