Certifying a Tree Automata Completion Checker. - Benoît Boyer; Thomas Genet; Thomas P. Jensen (IJCAR, 2008)

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems - Benoît Boyer; Thomas Genet (RULE, 2009)

On the Simulation of Time-Triggered Systems on a Chip with BIP - Jan Olaf Blech; Benoît Boyer; Thanh-Hung Nguyen (CoRR, 2011)

Equational Abstraction Refinement for Certified Tree Regular Model Checking. - Yohan Boichut; Benoît Boyer; Thomas Genet; Axel Legay (ICFEM, 2012)

Incremental Generation of Linear Invariants for Component-Based Systems. - Saddek Bensalem; Marius Bozga; Benoît Boyer; Axel Legay (ACSD, 2013)

PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. - Benoît Boyer; Kevin Corre; Axel Legay; Sean Sedwards (QEST, 2013)

Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach. - Alexandre Arnold; Benoît Boyer; Axel Legay (AiSoS, 2013)

SoS contract verification using statistical model checking. - Alessandro Mignogna; Leonardo Mangeruca; Benoît Boyer; Axel Legay; Alexandre Arnold (AiSoS, 2013)

A Formalism for Stochastic Adaptive Systems. - Benoît Boyer; Axel Legay; Louis-Marie Traonouez (ISoLA (2), 2014)

Compositional Proofs in Differential Dynamic Logic dL. - Simon Lunel; Benoît Boyer; Jean-Pierre Talpin (ACSD, 2017)

A Trusted Approach to Design a Network Monitor. - Koichi Shimizu; Teruyoshi Yamaguchi; Tsunato Nakai; Takeshi Ueda; Nobuhiro Kobayashi; Benoît Boyer (FormaliSE@ICSE, 2017)

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. - Simon Lunel; Stefan Mitsch; Benoît Boyer; Jean-Pierre Talpin (FM, 2019)

Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code. - Shun Hinatsu; Koichi Shimizu; Takeshi Ueda; Benoît Boyer; David Mentré (NBiS, 2019)

A Mechanically Verified Theory of Contracts. - Stéphane Kastenbaum; Benoît Boyer; Jean-Pierre Talpin (ICTAC, 2021)

Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function. - Paul Bonnot; Benoît Boyer; Florian Faissole; Claude Marché; Raphaël Rieu-Helft (FMCAD, 2024)