We stand with Ukraine  

Benoît Ballenghien

Orcid: 0009-0000-4941-187X

Affiliations:
  • Paris-Saclay University, Orsay, France


According to our database1, Benoît Ballenghien authored at least 5 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Event-B as DSL in Isabelle and HOL Experiences from a Prototype.
[BibTeX]
[DOI]
Benoît Ballenghien
,
Burkhart Wolff
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

An Operational Semantics in Isabelle/HOL-CSP.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Benoît Ballenghien
,
Burkhart Wolff
Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

2023
Operational Semantics formally proven in HOL-CSP.
[BibTeX]
[DOI]
Benoît Ballenghien
,
Burkhart Wolff
Arch. Formal Proofs, 2023

HOL-CSPM - Architectural operators for HOL-CSP.
[BibTeX]
[DOI]
Benoît Ballenghien
,
Safouan Taha
,
Burkhart Wolff
Arch. Formal Proofs, 2023


  Loading...