Christophe Chen

According to our database, Christophe Chen authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Formal Modelling and Reasoning on Assurance Cases Expressed with GSN in Event-B.

Christophe Chen

Proceedings of the Rigorous State-Based Methods - 11th International Conference, 2025

A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B.

Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït-Ameur, Marc Frappier

Proceedings of the 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2025