Philippe Baufreton

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 8

Top Topics

Safety Analysis

Blur Estimation

Parallel Computing

Top Venues

J. Optim. Theory Appl.

Int. J. Crit. Comput. Based Syst.

Publications

Thanakorn Khamvilai, John B. Mains, Louis Sutter, Aqib A. Syed, Philippe Baufreton, François Neumann, Eric Feron
Design of Avionics Network Architecture Under a Reliability Constraint. IEEE Trans. Aerosp. Electron. Syst. 58 (3) (2022)
Thanakorn Khamvilai, Louis Sutter, Philippe Baufreton, Francois Neumann, Eric Feron
Decentralized Task Reallocation on Parallel Computing Architectures Targeting an Avionics Application. J. Optim. Theory Appl. 191 (2) (2021)
Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, Amaury Graillat
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware. ACM Trans. Archit. Code Optim. 16 (3) (2019)
Thanakorn Khamvilai, Louis Sutter, Eric Feron, Philippe Baufreton, Francois Neumann
Decentralized On-line Task Reallocation on Parallel Computing Architectures with Safety-Critical Applications. CoRR (2019)
Kavitha T. Madhu, Tarun Singla, S. K. Nandy, Ranjani Narayan, Francois Neumann, Philippe Baufreton
™: a case for WCET-friendly hardware accelerators for real time applications (work-in-progress). CASES (2017)
Jean-Paul Blanquart, Philippe Baufreton, Jean-Louis Boulanger, Jean-Louis Camus, Cyrille Comar, Hervé Delseny, Jean Gassino, Emmanuel Ledinot, Philippe Quéré, Bertrand Ricque
Software Safety Assessment and Probabilities. DSN Workshops (2016)
Achraf Mguidich, Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton
Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems. RTSS (2016)
Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton
Hierarchical timed abstract state machines for WCET estimation. Int. J. Crit. Comput. Based Syst. 6 (4) (2016)
Sébastien Bardin, Philippe Baufreton, Nicolas Cornuet, Philippe Herrmann, Sébastien Labbé
Binary-Level Testing of Embedded Programs. QSIC (2013)
Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton
On the Determinism of Multi-core Processors. FSFMA (2013)
Jean-Paul Blanquart, Eric Armengaud, Philippe Baufreton, Quentin Bourrouilh, Gerhard Griessnig, Martin Krammer, Odile Laurent, Joseph Machrouh, Thomas Peikenkamp, Cecile Schindler, Tormod Wien
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach. SAFECOMP (2011)
Philippe Baufreton, Reinhold Heckmann
Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application. ISoLA (2007)
Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino
Static Analysis of the Accuracy in Control Systems: Principles and Experiments. FMICS (2007)
Erwan Jahier, Pascal Raymond, Philippe Baufreton
Case studies with Lurette V2. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
Erwan Jahier, Pascal Raymond, Philippe Baufreton
Case Studies with Lurette V2. ISoLA (Preliminary proceedings) (2004)
Philippe Baufreton
SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract). HSCC (1999)
Philippe Baufreton, Xavier Méhaut, Éric Rutten
Embedded Systems in Avionics and the SACRES Approach. SAFECOMP (1997)