Philippe Baufreton

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