Benoît Ballenghien

15 papers B 1C 2Journal 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Bridge between CSP Processes and Functional Automata.
Arch. Formal Proofs
Benoît Ballenghien, Burkhart Wolff
2026 J jnl
Parameterized Termination for Sequential Composition and Synchronization Product.
Arch. Formal Proofs
Benoît Ballenghien
2025 J jnl
A Proof of Hilbert Basis Theorem and an Extension to Formal Power Series.
Arch. Formal Proofs
Benjamin Puyobro, Benoît Ballenghien, Burkhart Wolff
2025 J jnl
CSP Semantics over Restriction Spaces.
Arch. Formal Proofs
Benoît Ballenghien, Burkhart Wolff
2025 J jnl
Definition and Elementary Properties of Ultrametric Spaces.
Arch. Formal Proofs
Benoît Ballenghien, Benjamin Puyobro, Burkhart Wolff
2025 J jnl
Examples of Restriction Spaces.
Arch. Formal Proofs
Benoît Ballenghien, Benjamin Puyobro, Burkhart Wolff
2025 — —
HOL-CSP: A Comprehensive Process Theory for Semantics and Proc-Omata Reasoning. (HOL-CSP: Une théorie intégrée de processus pour raisonner sur les sémantiques et les Proc-Omata).
Benoît Ballenghien
2025 J jnl
Restriction Spaces: a Fixed-Point Theory.
Arch. Formal Proofs
Benoît Ballenghien, Benjamin Puyobro, Burkhart Wolff
2025 J jnl
Sophie Germain's Theorem.
Arch. Formal Proofs
Benoît Ballenghien
2025 J jnl
Ultrametric Structure for Restriction Spaces.
Arch. Formal Proofs
Benoît Ballenghien, Benjamin Puyobro, Burkhart Wolff
2024 C conf
A Theory of Proc-Omata - and Proof Methods for Process Architectures.
ICTAC
Benoît Ballenghien, Burkhart Wolff
2024 B conf
An Operational Semantics in Isabelle/HOL-CSP.
ITP
Benoît Ballenghien, Burkhart Wolff
2024 C conf
Event-B as DSL in Isabelle and HOL Experiences from a Prototype.
ABZ
Benoît Ballenghien, Burkhart Wolff
2023 J jnl
HOL-CSPM - Architectural operators for HOL-CSP.
Arch. Formal Proofs
Benoît Ballenghien, Safouan Taha, Burkhart Wolff
2023 J jnl
Operational Semantics formally proven in HOL-CSP.
Arch. Formal Proofs
Benoît Ballenghien, Burkhart Wolff