EDBT 2026 Demo / reviewers in the wild / expert

Benoît Boyer

dblp:71/1731 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2026 Verification of Generic VHDL Designs and Their Translation to Rocq
Ocan Sankur, Benoît Boyer, Florian Faissole
 VMCAI2
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 Function
abstract
International audience
Paul Bonnot, Benoît Boyer, Florian Faissole, Claude Marché, Raphaël Rieu-Helft
 FMCAD2
2021 A Mechanically Verified Theory of Contracts
Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin
 ICTAC2
2019 Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin
 FM3
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
 ICFEM2