Demo Data from SIGIR 2026 / reviewers in the wild / expert
Benoît Boyer
dblp:71/1731
· DBLP profile ↗
7ranked-venue papers
1as first author
4since 2021 · last 2026
0000-0002-6655-9857ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 5 · 1 first-author · 2 since 2021Theory of computation · 4 · 3 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Logic in computer science · 50% Automated reasoning and model checking · 50% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking
compositional verification |
0.4 | 1 | 2019 | Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic · FM 2019 |
Logic in computer science › modal logic › dynamic logic
differential dynamic logic |
0.4 | 1 | 2019 | Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic · FM 2019 |
Automated reasoning and model checking
hybrid systems verification |
0.4 | 1 | 2019 | Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic · FM 2019 |
Logic in computer science › concurrency theory
parallel composition |
0.4 | 1 | 2019 | Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic · FM 2019 |
Methods — techniques the papers use, named apart from their topics
theorem proving · 0.4differential dynamic logic · 0.4
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Verification of Generic VHDL Designs and Their Translation to Rocq
Ocan Sankur, Benoît Boyer, Florian Faissole |
VMCAI | 2 |
| 2026 | Formally verified roundoff error bounds on LogSumExp-based computations
Paul Bonnot, Benoît Boyer, Florian Faissole, Claude Marché, Raphaël Rieu-Helft |
Formal Methods Syst. Des. | 2 |
| 2024 | Formally Verified Rounding Errors of the Logarithm-Sum-Exponential FunctionabstractInternational audience Paul Bonnot, Benoît Boyer, Florian Faissole, Claude Marché, Raphaël Rieu-Helft |
FMCAD | 2 |
| 2021 | A Mechanically Verified Theory of Contracts
Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin |
ICTAC | 2 |
| 2019 | Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin |
FM | 3 |
| 2014 | A Formalism for Stochastic Adaptive Systems
Benoît Boyer, Axel Legay, Louis-Marie Traonouez |
ISoLA (2) | 1 |
| 2012 | Equational Abstraction Refinement for Certified Tree Regular Model Checking
Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay |
ICFEM | 2 |