| An automated deductive verification framework for circuit-building quantum programs C Chareton, S Bardin, F Bobot, V Perrelle, B Valiron Programming Languages and Systems: 30th European Symposium on Programming …, 2021 | 49 | 2021 |
| Towards an updatable strategy logic C Chareton, J Brunel, D Chemouil arXiv preprint arXiv:1303.0795, 2013 | 16 | 2013 |
| A logic with revocable and refinable strategies C Chareton, J Brunel, D Chemouil Information and Computation 242, 157-182, 2015 | 13 | 2015 |
| Formal methods for quantum programs: A survey C Chareton, S Bardin, D Lee, B Valiron, R Vilmart, Z Xu arXiv preprint arXiv:2109.06493, 2021 | 10 | 2021 |
| A formal treatment of agents, goals and operations using alternating-time temporal logic C Chareton, J Brunel, D Chemouil Brazilian Symposium on Formal Methods, 188-203, 2011 | 7 | 2011 |
| Vers une sémantique des jeux pour un langage d'ingénierie des exigences par buts et agents C Chareton, J Brunel, D Chemouil Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), ?, 2012 | 5 | 2012 |
| Formal methods for quantum programs: A survey, 2021 C Chareton, S Bardin, D Lee, B Valiron, R Vilmart, Z Xu URL: https://arxiv. org/abs/2109.06493, doi 10, 0 | 5 | |
| Toward certified quantum programming C Chareton, S Bardin, F Bobot, V Perrelle, B Valiron arXiv preprint arXiv:2003.05841, 2020 | 4 | 2020 |
| Strategic knowledge of the past in quantum cryptography C Chareton, H van Ditmarsch International Workshop on Logic, Rationality and Interaction, 347-361, 2017 | 4 | 2017 |
| Specifying avionic embedded systems by denotations of the time-triggered constraint-based calculus S Hamadou, J Mullins, C Chareton, A Gherbi 2015 IEEE International Conference on Information Reuse and Integration, 303-310, 2015 | 2 | 2015 |
| Formal methods for quantum algorithms C Chareton, D Lee, B Valiron, R Vilmart, S Bardin, Z Xu Handbook of Formal Analysis and Verification in Cryptography, 319-422, 2023 | 1 | 2023 |
| Strategic knowledge of the past-expressivity and complexity C Chareton European Conference on Multi-Agent Systems, 115-130, 2017 | 1 | 2017 |
| Evaluating the assignment of behavioral goals to coalitions of agents C Chareton, J Brunel, D Chemouil Brazilian Symposium on Formal Methods, 56-73, 2015 | 1 | 2015 |
| Modélisation formelle d’exigences et logiques temporelles multi-agents C Chareton Toulouse, ISAE, 2014 | 1 | 2014 |
| Qbricks, un environnement pour la vérification formelle en informatique quantique C Chareton, S Bardin, F Bobot, V Perelle, B Valiron 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, 2019 | | 2019 |
| Toward certified quantum programming S Bardin, F Bobot, V Perelle, C Chareton, B Valiron 2nd International Workshop on Quantum Compilation, 2018 | | 2018 |
| Sur l’assignation de buts comportementaux à des coalitions d’agents C Chareton, J Brunel, D Chemouil Approches Formelles dans l'Assistance au Développement de Logiciels, 2017 | | 2017 |
| Qbricks, un environnement noyau pour la vérification de programmes quantiques C Chareton, S Bardin, F Bobot, V Perelle, B Valiron | | |
| Sémantique formelle multi-agents pour l’Ingénierie des Exigences C Chareton | | |
