Benoît Boyer

According to our database, Benoît Boyer authored at least 14 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Mechanically Verified Theory of Contracts.

Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2019

Automatic Vulnerability Identification and Security Installation with Type Checking for Source Code.

Shun Hinatsu, Koichi Shimizu, Takeshi Ueda, Benoît Boyer, David Mentré

Proceedings of the Advances in Networked-based Information Systems, 2019

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.

Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2017

A Trusted Approach to Design a Network Monitor.

Koichi Shimizu, Teruyoshi Yamaguchi, Tsunato Nakai, Takeshi Ueda, Nobuhiro Kobayashi, Benoît Boyer

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

Compositional Proofs in Differential Dynamic Logic dL.

Simon Lunel, Benoît Boyer, Jean-Pierre Talpin

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2014

A Formalism for Stochastic Adaptive Systems.

Benoît Boyer, Axel Legay, Louis-Marie Traonouez

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

SoS contract verification using statistical model checking.

Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold

Proceedings of the Proceedings 1st Workshop on Advances in Systems of Systems, 2013

Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach.

Alexandre Arnold, Benoît Boyer, Axel Legay

Proceedings of the Proceedings 1st Workshop on Advances in Systems of Systems, 2013

PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library.

Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Incremental Generation of Linear Invariants for Component-Based Systems.

Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Equational Abstraction Refinement for Certified Tree Regular Model Checking.

Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay

Proceedings of the Formal Methods and Software Engineering, 2012

2011

On the Simulation of Time-Triggered Systems on a Chip with BIP

Jan Olaf Blech, Benoît Boyer, Thanh-Hung Nguyen

CoRR, 2011

2009

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

Benoît Boyer, Thomas Genet

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

2008

Certifying a Tree Automata Completion Checker.

Benoît Boyer, Thomas Genet, Thomas P. Jensen

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008