Publications

    International journals

• • 2015 A logic with revocable and refinable strategies, Authors : Chareton C, Brunel J, Chemouil D, Information and Computation, Vol. 242, pp 157-182. (link)

    Reviewed international conferences 

• 2021: An automated deductive verification framework for cirsuit-building quantum programs, Authors: Chareton C, Bardin S, Bobot F, Perrelle V, Valiron,  Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021.(link) 

• 2017 : Strategic knowledge of the past - expressivity and complexity, Authors : Chareton C, 15th European Conference on Multi-agent Systems. (link)

• 2017 : Strategic knowledge of the past in quantum cryptography, Authors : Chareton C, Van Ditmarsch, H.   6th International Conference on Logic, Rationality and Interaction (LORI).(link)

• 2015 Evaluating the Assignment of Behavioral Goals to Coalitions of Agents, Authors : Chareton C, Brunel J, Chemouil D, SBMF 2015 (18th Brazilian Symposium on Formal Methods), pp. 20-35. (link)

• 2015 Specifying avionic embedded systems by denotations of the Time-Triggered Constraint-Based Calculus, Authors : Hamadou S, Mullins J, Chareton C, Gherbi, FMI 2015 (3rd IEEE International Workshop on Formal Methods Integration). (link)

• 2013 Towards an Updatable Strategy Logic, Authors : Chareton C, Brunel J, Chemouil D, SR 2013 (1st International Workshop on Strategic Reasoning). (link)

• 2011 A Formal Treatment of Agents, Goals and Operations using Alternating-time Temporal Logic, Authors : Chareton C, Brunel J, Chemouil D, SBMF 2011 (14th Brazilian Symposium on Formal Methods), pp. 188–203. (link)

    Book chapter

• 2023: Formal methods for quantum algorithms. Authors: Christophe Chareton, Dongho Lee, Benoît Valiron, Renaud Vilmart, Sébastien Bardin, Zhaowei Xu. Handbook of Formal Analysis and Verification in Crytography. (link) 

    Other international publications (short articles)

• 2019 : Qbricks: formal verification in quantum programming, Authors : Chareton C, Bardin S, Bobot F, Perrelle V, Valiron, PlanQC 2020 (Programming Languages for Quantum Computing).

• 2018 : Toward certified quantum programming, Authors :  Bardin S, Bobot F, Perrelle V, Chareton C, Valiron , IWQC (2nd International Workshop on Quantum Compilation).(link)

• 2017 : Knowledge about the context and knowledge about the past, in a strategic context. Auteur : C Chareton. FMAI (1st Workshop on Formal Methods in Artificial Intelligence), Naples,2 p.

    Reviewed national conferences 

• 2019 : Qbricks, un environnement pour la vérification formelle en informatique quantique, Authors : Chareton C, Bardin S, Bobot F, Perrelle V, Valiron, AFADL 2019 (Approches Formelles dans l'Assistance au Développement de Logiciels).(link)

• 2017 : Sur l’assignation de buts comportementaux à des coalitions d’agents, Authors : Chareton C, Brunel J, Chemouil D,  AFADL 2017 (Approches Formelles dans l’Assistance au Développement de Logiciels).

• 2012 Vers une Sémantique des Jeux pour un langage d’Ingénierie des Exigences par Buts et Agents, Authors : Chareton C, Brunel J, Chemouil D, AFADL 2012 (Approches Formelles dans l’Assistance au Développement de Logiciels). (link)