Maxime Buyse

According to our database, Maxime Buyse authored at least 4 papers between 2019 and 2024.

Collaborative distances:

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

2024

hax: Verifying Security-Critical Rust Software Using Multiple Provers.

Karthikeyan Bhargavan, Maxime Buyse, Lucas Franceschino, Lasse Letager Hansen, Franziskus Kiefer, Jonas Schneider-Bensch, Bas Spitters

Proceedings of the Verified Software. Theories, Tools and Experiments, 2024

2021

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact).

Maxime Buyse, Rémi Delmas, Youssef Hamadi

Dagstuhl Artifacts Ser., 2021

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety.

Maxime Buyse, Rémi Delmas, Youssef Hamadi

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2019

Communicating Concurrent Kleene Algebra for Distributed Systems Specification.

Maxime Buyse, Jason Jaskolka

Arch. Formal Proofs, 2019