Philippe Baufreton
According to our database1,
Philippe Baufreton
authored at least 16 papers
between 1997 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
IEEE Trans. Aerosp. Electron. Syst., 2022
2021
Decentralized Task Reallocation on Parallel Computing Architectures Targeting an Avionics Application.
J. Optim. Theory Appl., 2021
2019
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware.
ACM Trans. Archit. Code Optim., 2019
Decentralized On-line Task Reallocation on Parallel Computing Architectures with Safety-Critical Applications.
CoRR, 2019
2017
REDEFINE<sup>®</sup>™: a case for WCET-friendly hardware accelerators for real time applications (work-in-progress).
Proceedings of the 2017 International Conference on Compilers, 2017
2016
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.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016
2013
Proceedings of the 2013 13th International Conference on Quality Software, 2013
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.
Proceedings of the Computer Safety, Reliability, and Security, 2011
2007
Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application.
Proceedings of the ISoLA 2007, 2007
Proceedings of the Formal Methods for Industrial Critical Systems, 2007
2006
1999
SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract).
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999
1997
Proceedings of the 16th International Conference on Computer Safety, 1997