Quelen Cartellier

According to our database, Quelen Cartellier authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs.

Quelen Cartellier, Marc Frappier, Amel Mammar

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025

2023

Proving Local Invariants in ASTDs.

Quelen Cartellier, Marc Frappier, Amel Mammar

Proceedings of the Formal Methods and Software Engineering, 2023