Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

P. Baufreton · SciRah

Researcher profile · Semantic Scholar

P. Baufreton

Share profile

P. Baufreton — researcher profile on SciRah

h-index: 8
Works: 42
Citations: 249

Most-cited papers

Static Analysis of the Accuracy in Control Systems: Principles and Experiments
É. Goubault, S. Putot, P. Baufreton, J. Gassino
2007International Workshop on Formal Methods for Industrial Critical Systems44 citations
Semantic Scholar
Case studies with Lurette V2
E. Jahier, P. Raymond, P. Baufreton
2004International Journal on Software Tools for Technology Transfer (STTT)36 citations Open access
Semantic Scholar
A cross-domain comparison of software development assurance standards
Joseph Machrouh, J. Blanquart, P. Baufreton, J. Boulanger +9 more
201221 citations
Semantic Scholar
Cross domain comparison of System Assurance
Joseph Machrouh, J. Blanquart, P. Baufreton, J. Boulanger +9 more
201116 citations
Semantic Scholar
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware
Keryan Didier, D. Potop-Butucaru, Guillaume Iooss, Albert Cohen +3 more
2019ACM Transactions on Architecture and Code Optimization (TACO)15 citations Open access
Semantic Scholar
Binary-Level Testing of Embedded Programs
Sébastien Bardin, P. Baufreton, Nicolas Cornuet, P. Herrmann +1 more
2013International Conference on Quality Software10 citations
Semantic Scholar
Design of Avionics Network Architecture Under a Reliability Constraint
Thanakorn Khamvilai, John B. Mains, Louis Sutter, Aqib A. Syed +3 more
2021IEEE Transactions on Aerospace and Electronic Systems8 citations Open access
Semantic Scholar
Joint use of static and dynamic software verification techniques: a cross-domain view in safety critical system industries
E. Ledinot, J. Blanquart, J. Astruc, P. Baufreton +7 more
20148 citations
Semantic Scholar
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach
J. Blanquart, E. Armengaud, P. Baufreton, Quentin Bourrouilh +7 more
2011International Conference on Computer Safety, Reliability, and Security7 citations
Semantic Scholar
SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract)
P. Baufreton
1999International Conference on Hybrid Systems: Computation and Control7 citations
Semantic Scholar
Experimental Allocation of Safety-Critical Applications on Reconfigurable Multi-Core Architecture
Louis Sutter, Thanakorn Khamvilai, P. Monmousseau, John B. Mains +7 more
2018Symposium on Dependable Autonomic and Secure Computing6 citations
Semantic Scholar
Using reconfigurable multi-core architectures for safety-critical embedded systems
Tom Guillaumet, Aayush Sharma, E. Feron, Madhava Krishna +4 more
2016Symposium on Dependable Autonomic and Secure Computing6 citations
Semantic Scholar
The System Design Life Cycle
Nikolaos Priggouris, Adeline Silva, M. Shawky, Magnus Persson +5 more
20136 citations
Semantic Scholar
On the Determinism of Multi-core Processors
V. Paun, B. Monsuez, P. Baufreton
2013French Singaporean Workshop on Formal Methods and Applications6 citations Open access
Semantic Scholar
Perspectives on Probabilistic Assessment of Systems and Software
E. Ledinot, J. Blanquart, J. Gassino, B. Ricque +6 more
20165 citations
Semantic Scholar
Task allocation of safety-critical applications on reconfigurable multi-core architectures
Tom Guillaumet, E. Feron, P. Baufreton, François Neumann +5 more
2017Symposium on Dependable Autonomic and Secure Computing4 citations
Semantic Scholar
Software Safety Assessment and Probabilities
J. Blanquart, P. Baufreton, J. Boulanger, Jean-Louis Camus +6 more
20162016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)4 citations
Semantic Scholar
Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application
P. Baufreton, R. Heckmann
2007Leveraging Applications of Formal Methods4 citations
Semantic Scholar
Hard real-time development environments
J. Baeten, P. Baufreton, A. Benveniste, S. Boutin +29 more
20054 citations
Semantic Scholar
The SACRES Approach to Embedded Systems Applied to Aircraft Engine Controllers
P. Baufreton, Hugues Granier, Xavier Méhaut, Éric Rutten
19974 citations
Semantic Scholar
Embedded Systems in Avionics and the SACRES Approach
P. Baufreton, Xavier Méhaut, Éric Rutten
1997International Conference on Computer Safety, Reliability, and Security4 citations
Semantic Scholar
Software Safety - A journey across domains and safety standards
J. Blanquart, E. Ledinot, J. Gassino, P. Baufreton +6 more
20183 citations
Semantic Scholar
Customization principles of an aeronautics SLM environment and an illustration on aeronautics use cases: the doors management system and the flight control system
O. Laurent, Ivo Viglietti, A. Sia, Fabien Paganelli +4 more
20123 citations
Semantic Scholar
A multi-domain platform of safety process methods and tools for critical embedded systems
J. Blanquart, E. Armengaud, P. Baufreton, Quentin Bourrouilh +5 more
20113 citations
Semantic Scholar
Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems
Guillaume Iooss, Albert Cohen Google, France Dumitru Potop-Butucaru, Marc Pouzet +3 more
3 citations
Semantic Scholar
Decentralized Task Reallocation on Parallel Computing Architectures Targeting an Avionics Application
Thanakorn Khamvilai, Louis Sutter, P. Baufreton, François Neumann +1 more
2021Journal of Optimization Theory and Applications2 citations
Semantic Scholar
Efficient fine-grain parallelism in shared memory for real-time avionics
P. Baufreton, Vincent Bregeon, Keryan Didier, Guillaume Iooss +2 more
20202 citations
Semantic Scholar
Task Allocation of Safety-Critical Applications on Reconfigurable Multi-Core Architectures with an Application on Control of Propulsion System
Thanakorn Khamvilai, Louis Sutter, John B. Mains, E. Feron +6 more
2019Symposium on Dependable Autonomic and Secure Computing2 citations
Semantic Scholar
Efficient parallelization of large-scale hard real-time applications
Keryan Didier, D. Potop-Butucaru, Guillaume Iooss, Albert Cohen +3 more
20182 citations
Semantic Scholar
1-Synchronous Programming of Large Scale, Multi-Periodic Real-Time Applications with Functional Degrees of Freedom
Guillaume Iooss, Marc Pouzet, Albert Cohen, D. Potop-Butucaru +3 more
20201 citations
Semantic Scholar
Integration of Symbolic Execution into a Formal Abstract State Machines based Language
V. Paun, B. Monsuez, P. Baufreton
20171 citations Open access
Semantic Scholar
Hierarchical Timed Symbolic Abstract State Machines for precise WCET estimation
V. Paun, B. Monsuez, P. Baufreton
2013IEEE International Conference on Embedded and Real-Time Computing Systems and Applications1 citations
Semantic Scholar
SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract)
P. Baufreton
19991 citations
Semantic Scholar
Exploiting Burstiness to Improve Multi-Core Interference Analysis
Jad Khatib, D. Potop-Butucaru, P. Baufreton
2025IEEE Real-Time Systems Symposium0 citations
Semantic Scholar
Micro-Architectural support for High Availability of NoC-based MP-SoC
Ritika Singh, Shashank Vijaya Ranga, Swarali Patil, Madhava Krishna +7 more
2019Symposium on Dependable Autonomic and Secure Computing0 citations
Semantic Scholar
Decentralized On-line Task Reallocation on Parallel Computing Architectures with Safety-Critical Applications
Thanakorn Khamvilai, Louis Sutter, E. Feron, P. Baufreton +1 more
2019arXiv.org0 citations
Semantic Scholar
Chapter 2 The System Design Life Cycle
Nikolaos Priggouris, Adeline Silva, M. Shawky, Magnus Persson +5 more
20190 citations
Semantic Scholar
A journey across domains and safety standards
J. Blanquart, E. Ledinot, J. Gassino, P. Baufreton +6 more
20180 citations
Semantic Scholar
Work-in-progress: REDEFINE – a case for WCET-friendly hardware accelerators for real time applications
K. Madhu, Tarun Singla, S. Nandy, R. Narayan +2 more
2017International Conference on Compilers, Architecture, and Synthesis for Embedded Systems0 citations
Semantic Scholar
Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems
Achraf Mguidich, V. Paun, B. Monsuez, P. Baufreton
2016IEEE Real-Time Systems Symposium0 citations
Semantic Scholar
Compositional certification: the CERCLES2 project
P. Baufreton, E. Chailloux, Jean-Louis Dufour, Grégoire Henry +4 more
20140 citations
Semantic Scholar
Hierarchical timed abstract state machines for WCET estimation
V. Paun, B. Monsuez, P. Baufreton
2013Int. J. Crit. Comput. Based Syst.0 citations Open access
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

J. Blanquart×9
Invite
J. Blanquart — researcher profile on SciRah
François Neumann×9
Invite
François Neumann — researcher profile on SciRah
J. Gassino×8
Invite
J. Gassino — researcher profile on SciRah
J. Boulanger×7
Invite
J. Boulanger — researcher profile on SciRah

×7

Invite

E. Ledinot — researcher profile on SciRah

Philippe Quéré×7

Invite

Philippe Quéré — researcher profile on SciRah

Invite

E. Feron — researcher profile on SciRah

Joseph Machrouh×6

Invite

Joseph Machrouh — researcher profile on SciRah

Invite

B. Ricque — researcher profile on SciRah

Invite

R. Narayan — researcher profile on SciRah

Invite

H. Delseny — researcher profile on SciRah

D. Potop-Butucaru×5

Invite

D. Potop-Butucaru — researcher profile on SciRah