Get started
Author

Benoît Boyer

PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library
2013 · Benoît Boyer, Kevin Corre, et al. · Lecture notes in computer science · 94
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
2019 · Simon Lunel, Stefan Mitsch, et al. · Lecture notes in computer science · 19
PDF
Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach
2013 · Alexandre Arnold, Benoît Boyer, et al. · Electronic Proceedings in Theoretical Computer Science · 18
Incremental Generation of Linear Invariants for Component-Based Systems
2013 · Saddek Bensalem, Marius Bozga, et al. · International Conference on Application of Concurrency to System Design (ACSD) · 18
Compositional Proofs in Differential Dynamic Logic dL
2017 · Simon Lunel, Benoit Boyer, et al. · International Conference on Application of Concurrency to System Design (ACSD) · 16
Certifying a Tree Automata Completion Checker
2008 · Benoît Boyer, Thomas Genet, et al. · Lecture notes in computer science · 12
SoS contract verification using statistical model checking
2013 · Alessandro Mignogna, Leonardo Mangeruca, et al. · Electronic Proceedings in Theoretical Computer Science · 11
Equational Abstraction Refinement for Certified Tree Regular Model Checking
2012 · Yohan Boichut, Benoit Boyer, et al. · Lecture notes in computer science · 10
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
2010 · Benoît Boyer, Thomas Genet · Electronic Proceedings in Theoretical Computer Science · 5
A Formalism for Stochastic Adaptive Systems
2014 · Benoît Boyer, Axel Legay, et al. · Lecture notes in computer science · 3
Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach
2013 · Arnold, Alexandre, Boyer, Benoît, et al. · HAL · 3
Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code
2019 · Shun Hinatsu, Koichi Shimizu, et al. · Advances in intelligent systems and computing · 1
A Trusted Approach to Design a Network Monitor
2017 · Koichi Shimizu, Teruyoshi Yamaguchi, et al. · IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE) · 1
On the Simulation of Time-Triggered Systems on a Chip with BIP
2011 · Blech, Jan Olaf, Boyer, Benoit, et al. · arXiv (Cornell University) · 1
PDF
Fast Equational Abstraction Refinement for Regular Tree Model Checking
2010 · Y. Boichut, B. Boyer, et al. · 1
Formally verified roundoff error bounds on LogSumExp-based computations
2026 · Paul Bonnot, Benoît Boyer, et al. · Formal Methods in System Design
A Correct-by-Construction Checker for Validation of Railway Data
2026 · Boyer, Benoît, Canva, Noé, et al. · HAL
PDF
Verification of Generic VHDL Designs and Their Translation to Rocq
2026 · Ocan Sankur, Benoît Boyer, et al. · Lecture notes in computer science
Generating and Certifying Accuracy Properties of Floating-Point Programs
2024 · Bonnot, Paul, Boyer, Benoît, et al. · HAL
PDF
Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function
2024 · Bonnot, Paul, Boyer, Benoît, et al.
PDF
Method and system for converting an input computer program into an output computer program achieving a target global accuracy
2024 · Boyer, Benoît, Faissole, Florian, et al. · HAL
Ten Years of Industrial Experiments with Frama-C at Mitsubishi Electric R&D Centre Europe
2024 · Éric Lavillonnière, David Mentré, et al. · Computer science foundations and applied logic
Formally Verified Bounds on Rounding Errors in Concrete Implementations of Logarithm-Sum-Exponential Functions
2023 · Bonnot, Paul, Boyer, Benoît, et al. · HAL
PDF
A Mechanically Verified Theory of Contracts
2021 · Stéphane Kastenbaum, Benoît Boyer, et al. · Lecture notes in computer science
PDF
Simulating Time-Triggered Systems on a Chip with BIP
2017 · Hong Quyet Ngo, Thanh Hung Nguyen, et al.
Works count: 34
Citation count: 213
H-index: 8
I10-index: 8
Year
Topic
Type