Benoît Ballenghien

According to our database, Benoît Ballenghien authored at least 6 papers between 2023 and 2025.

Collaborative distances:

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

2025

A Proof of Hilbert Basis Theorem and an Extension to Formal Power Series.

Benjamin Puyobro, Benoît Ballenghien, Burkhart Wolff

Arch. Formal Proofs, 2025

2024

Event-B as DSL in Isabelle and HOL Experiences from a Prototype.

Benoît Ballenghien, Burkhart Wolff

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

An Operational Semantics in Isabelle/HOL-CSP.

Benoît Ballenghien, Burkhart Wolff

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

A Theory of Proc-Omata - and Proof Methods for Process Architectures.

Benoît Ballenghien, Burkhart Wolff

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

2023

Operational Semantics formally proven in HOL-CSP.

Benoît Ballenghien, Burkhart Wolff

Arch. Formal Proofs, 2023

HOL-CSPM - Architectural operators for HOL-CSP.

Benoît Ballenghien, Safouan Taha, Burkhart Wolff

Arch. Formal Proofs, 2023