A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. - Christophe Chareton; Julien Brunel; David Chemouil (SBMF, 2011)

Towards an Updatable Strategy Logic - Christophe Chareton; Julien Brunel; David Chemouil (SR, 2013)

Modélisation formelle d'exigences et logiques temporelles multi-agents. (Formal Requirement Modeling and Temporal Multi-Agent Logics). - Christophe Chareton (2014)

Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus. - Sardaouna Hamadou; John Mullins; Christophe Chareton; Abdelouahed Gherbi (IRI, 2015)

Evaluating the Assignment of Behavioral Goals to Coalitions of Agents. - Christophe Chareton; Julien Brunel; David Chemouil (SBMF, 2015)

A logic with revocable and refinable strategies. - Christophe Chareton; Julien Brunel; David Chemouil (Inf. Comput., 2015)

Strategic Knowledge of the Past - Expressivity and Complexity. - Christophe Chareton (EUMAS/AT, 2017)

Strategic Knowledge of the Past in Quantum Cryptography. - Christophe Chareton; Hans van Ditmarsch (LORI, 2017)

Toward certified quantum programming. - Christophe Chareton; Sébastien Bardin; François Bobot; Valentin Perrelle; Benoît Valiron (CoRR, 2020)

An Automated Deductive Verification Framework for Circuit-building Quantum Programs. - Christophe Chareton; Sébastien Bardin; François Bobot; Valentin Perrelle; Benoît Valiron (ESOP, 2021)

Formal Methods for Quantum Programs: A Survey. - Christophe Chareton; Sébastien Bardin; Dongho Lee; Benoît Valiron; Renaud Vilmart; Zhaowei Xu (CoRR, 2021)

Formal Methods for Quantum Algorithms. - Christophe Chareton; Dongho Lee; Benoît Valiron; Renaud Vilmart; Sébastien Bardin; Zhaowei Xu (Handb. Formal Anal. Verification Cryptogr., 2023)