Benoît Boyer

18 papers A 1B 3C 2Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2026 B conf
Verification of Generic VHDL Designs and Their Translation to Rocq.
VMCAI
Ocan Sankur, Benoît Boyer, Florian Faissole
2024 B conf
Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function.
FMCAD
Paul Bonnot, Benoît Boyer, Florian Faissole, Claude Marché, Raphaël Rieu-Helft
2021 C conf
A Mechanically Verified Theory of Contracts.
ICTAC
Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin
2021 J jnl
A Mechanically Verified Theory of Contracts.
CoRR
Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin
2019 — conf
Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code.
NBiS
Shun Hinatsu, Koichi Shimizu, Takeshi Ueda, Benoît Boyer, David Mentré
2019 B conf
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.
FM
Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin
2019 J jnl
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.
CoRR
Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin
2017 — conf
A Trusted Approach to Design a Network Monitor.
FormaliSE@ICSE
Koichi Shimizu, Teruyoshi Yamaguchi, Tsunato Nakai, Takeshi Ueda, Nobuhiro Kobayashi, Benoît Boyer
2017 — conf
Compositional Proofs in Differential Dynamic Logic dL.
ACSD
Simon Lunel, Benoît Boyer, Jean-Pierre Talpin
2014 — conf
A Formalism for Stochastic Adaptive Systems.
ISoLA (2)
Benoît Boyer, Axel Legay, Louis-Marie Traonouez
2013 — conf
Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach.
AiSoS
Alexandre Arnold, Benoît Boyer, Axel Legay
2013 — conf
Incremental Generation of Linear Invariants for Component-Based Systems.
ACSD
Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay
2013 — conf
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library.
QEST
Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards
2013 — conf
SoS contract verification using statistical model checking.
AiSoS
Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold
2012 C conf
Equational Abstraction Refinement for Certified Tree Regular Model Checking.
ICFEM
Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay
2011 J jnl
On the Simulation of Time-Triggered Systems on a Chip with BIP
CoRR
Jan Olaf Blech, Benoît Boyer, Thanh-Hung Nguyen
2009 — conf
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
RULE
Benoît Boyer, Thomas Genet
2008 A conf
Certifying a Tree Automata Completion Checker.
IJCAR
Benoît Boyer, Thomas Genet, Thomas P. Jensen