Benot Ballenghien
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2024–2026
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL. | Fang Yan, Benot Ballenghien, Simon Foster, Ana Cavalcanti, James Baxter, Burkhart Wolff |
| 2024 | ICTAC | A Theory of Proc-Omata - and Proof Methods for Process Architectures. | Benot Ballenghien, Burkhart Wolff |
| 2024 | ITP | An Operational Semantics in Isabelle/HOL-CSP. | Benot Ballenghien, Burkhart Wolff |