Philippe Baufreton

According to our database, Philippe Baufreton authored at least 16 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

2021

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

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, Jean Souyris, Philippe Baufreton, Amaury Graillat

ACM Trans. Archit. Code Optim., 2019

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

2017

REDEFINE^®™: a case for WCET-friendly hardware accelerators for real time applications (work-in-progress).

Kavitha T. Madhu, Tarun Singla, S. K. Nandy, Ranjani Narayan, François Neumann, Philippe Baufreton

Proceedings of the 2017 International Conference on Compilers, 2017

2016

Hierarchical timed abstract state machines for WCET estimation.

Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton

Int. J. Crit. Comput. Based Syst., 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

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

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

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2013

Binary-Level Testing of Embedded Programs.

Sébastien Bardin, Philippe Baufreton, Nicolas Cornuet, Philippe Herrmann, Sébastien Labbé

Proceedings of the 2013 13th International Conference on Quality Software, 2013

On the Determinism of Multi-core Processors.

Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton

Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013

2011

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

Proceedings of the Computer Safety, Reliability, and Security, 2011

2007

Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application.

Philippe Baufreton, Reinhold Heckmann

Proceedings of the ISoLA 2007, 2007

Static Analysis of the Accuracy in Control Systems: Principles and Experiments.

Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2004

Case Studies with Lurette V2.

Erwan Jahier, Pascal Raymond, Philippe Baufreton

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

1999

SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract).

Philippe Baufreton

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

1997

Embedded Systems in Avionics and the SACRES Approach.

Philippe Baufreton, Xavier Méhaut, Éric Rutten

Proceedings of the 16th International Conference on Computer Safety, 1997