Cécile Marcon

According to our database, Cécile Marcon authored at least 2 papers between 2022 and 2025.

Collaborative distances:

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

2025

BiCoq : Bigraphs Formalisation with Coq.

Cécile Marcon, Cyril Allignol, Célia Picard, Blair Archibald, Michele Sevegnani, Xavier Thirioux

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025

2022

Redesigning systems for Single-Pilot Operations: the mutual awareness problem for remote crews.

Maxime Bardou, Catherine Letondal, Jean-Paul Imbert, Mickaël Causse, Maxence Bidegaimberry, Romane Dubus, Cécile Marcon

Proceedings of 20th European Conference on Computer-Supported Cooperative Work, Coimbra, Portugal, June 27, 2022