Frédéric Boniol

877 total citations
36 papers, 180 citations indexed

About

Frédéric Boniol is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Software. According to data from OpenAlex, Frédéric Boniol has authored 36 papers receiving a total of 180 indexed citations (citations by other indexed papers that have themselves been cited), including 22 papers in Computational Theory and Mathematics, 21 papers in Hardware and Architecture and 10 papers in Software. Recurrent topics in Frédéric Boniol's work include Embedded Systems Design Techniques (19 papers), Real-Time Systems Scheduling (18 papers) and Formal Methods in Verification (18 papers). Frédéric Boniol is often cited by papers focused on Embedded Systems Design Techniques (19 papers), Real-Time Systems Scheduling (18 papers) and Formal Methods in Verification (18 papers). Frédéric Boniol collaborates with scholars based in France, United States and Austria. Frédéric Boniol's co-authors include Claire Pagetti, Virginie Wiels, Julien Forget, David Lesens, Klaus‐Dieter Schewe, Yamine Aït‐Ameur, Éric Noulard, Pierre Bieber, Philippe Dhaussy and Charles Castel and has published in prestigious journals such as SHILAP Revista de lepidopterología, SAE technical papers on CD-ROM/SAE technical paper series and ACM SIGPLAN Notices.

In The Last Decade

Frédéric Boniol

32 papers receiving 171 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Frédéric Boniol France 9 114 87 43 41 29 36 180
Ingo Stierand Germany 7 93 0.8× 92 1.1× 52 1.2× 25 0.6× 46 1.6× 27 165
Friedhelm Stappert Germany 8 194 1.7× 62 0.7× 44 1.0× 63 1.5× 28 1.0× 17 243
Claire Pagetti France 10 184 1.6× 88 1.0× 20 0.5× 80 2.0× 27 0.9× 29 224
John Rushby United States 4 148 1.3× 59 0.7× 29 0.7× 86 2.1× 46 1.6× 5 199
Sophie Quinton Germany 9 192 1.7× 85 1.0× 27 0.6× 111 2.7× 47 1.6× 20 252
Jean-Paul Bodeveix France 8 38 0.3× 57 0.7× 69 1.6× 25 0.6× 62 2.1× 26 143
Benjamin Monate France 6 43 0.4× 76 0.9× 104 2.4× 29 0.7× 83 2.9× 8 191
Tobias Schuele Germany 9 150 1.3× 137 1.6× 47 1.1× 27 0.7× 52 1.8× 19 218
Kåre J. Kristoffersen Denmark 7 54 0.5× 117 1.3× 56 1.3× 20 0.5× 56 1.9× 9 153
Alain Girault France 7 147 1.3× 46 0.5× 19 0.4× 111 2.7× 9 0.3× 11 203

Countries citing papers authored by Frédéric Boniol

Since Specialization
Citations

This map shows the geographic impact of Frédéric Boniol's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Frédéric Boniol with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Frédéric Boniol more than expected).

Fields of papers citing papers by Frédéric Boniol

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Frédéric Boniol. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Frédéric Boniol. The network helps show where Frédéric Boniol may publish in the future.

Co-authorship network of co-authors of Frédéric Boniol

This figure shows the co-authorship network connecting the top 25 collaborators of Frédéric Boniol. A scholar is included among the top collaborators of Frédéric Boniol based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Frédéric Boniol. Frédéric Boniol is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Jenn, Éric, et al.. (2024). A Refinement Method for Interference Analysis using the PHYLOG Modeling Language. SPIRE - Sciences Po Institutional REpository. 1 indexed citations
2.
3.
Boniol, Frédéric, et al.. (2024). Combining Argumentation-Based and Model-Based Approaches for the Certification of Multi-Core Architectures: The PHYLOG Methodology. SPIRE - Sciences Po Institutional REpository. 1–10.
4.
Boniol, Frédéric, et al.. (2023). A Unified Model for Integrated Modular Architecture-TSN based Systems. SPIRE - Sciences Po Institutional REpository. 9. 1–8. 1 indexed citations
5.
Boniol, Frédéric, et al.. (2022). Towards an efficient cost function equation for DDR SDRAM interference analysis on heterogeneous MPSoCs. SPIRE - Sciences Po Institutional REpository. 29–38. 1 indexed citations
6.
Boniol, Frédéric, et al.. (2019). A Service-Based Modelling Approach to Ease the Certification of Multi-Core COTS Processors. SAE technical papers on CD-ROM/SAE technical paper series. 1. 1 indexed citations
7.
Santinelli, Luca, et al.. (2018). Schedulability analysis for mixed critical cyber physical systems. 297–303. 1 indexed citations
8.
Boniol, Frédéric, Virginie Wiels, Yamine Aït‐Ameur, & Klaus‐Dieter Schewe. (2016). The landing gear case study: challenges and experiments. International Journal on Software Tools for Technology Transfer. 19(2). 133–140. 11 indexed citations
9.
Boniol, Frédéric, et al.. (2014). ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z Toulouse, France, June 2-6, 2014, Proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 161–161. 3 indexed citations
10.
Boniol, Frédéric, et al.. (2012). Off-line (Optimal) multiprocessor scheduling of dependent periodic tasks. 1815–1820. 4 indexed citations
11.
Dhaussy, Philippe, et al.. (2011). Reducing State Explosion with Context Modeling for Model-Checking. HAL (Le Centre pour la Communication Scientifique Directe). 1 indexed citations
12.
Boniol, Frédéric, et al.. (2011). Latency and freshness analysis on IMA systems. 1–8. 12 indexed citations
13.
Boniol, Frédéric, et al.. (2011). Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset. HAL (Le Centre pour la Communication Scientifique Directe). 107–116. 6 indexed citations
14.
Forget, Julien, Frédéric Boniol, David Lesens, & Claire Pagetti. (2010). Implementing Multi-Periodic Critical Systems: from Design to Code Generation. SHILAP Revista de lepidopterología. 20. 34–48. 3 indexed citations
15.
Dhaussy, Philippe, et al.. (2008). Using context descriptions and property definition patterns for software formal verification. 89–96. 1 indexed citations
16.
Boniol, Frédéric, et al.. (2007). Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués. Ingénierie des systèmes d information. 12(5). 133–157.
17.
Bieber, Pierre, et al.. (2006). Safe Allocation of Avionics Shared Resources. 25. 25–33. 11 indexed citations
18.
Boniol, Frédéric, et al.. (2006). A formal framework for verifying distributed embedded systems based on abstraction methods. International Journal on Software Tools for Technology Transfer. 8(6). 471–484. 4 indexed citations
19.
Boniol, Frédéric, et al.. (2004). Verification of an avionic system using timed model checking.. 15(4). 335–342. 2 indexed citations
20.
Boniol, Frédéric, et al.. (2002). Synchronous/anytime programming for distributed reactive systems. 197. 131–136.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Ingo Stierand Breakdown of academic impact, for papers by Friedhelm Stappert Breakdown of academic impact, for papers by Claire Pagetti Breakdown of academic impact, for papers by John Rushby Breakdown of academic impact, for papers by Sophie Quinton Breakdown of academic impact, for papers by Jean-Paul Bodeveix Breakdown of academic impact, for papers by Benjamin Monate Breakdown of academic impact, for papers by Tobias Schuele Breakdown of academic impact, for papers by Kåre J. Kristoffersen Breakdown of academic impact, for papers by Alain Girault
Rankless by CCL
2026