Christophe Chareton

14 papers A 1Misc 1Journal 4Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting. TACAS (2) Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Alfons Laarman, Jingyi Mei
2025	J	`jnl`	Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits. CoRR Jérome Ricciardi, Sébastien Bardin, Christophe Chareton, Benoît Valiron
2023	—	`ch.`	Formal Methods for Quantum Algorithms. Handb. Formal Anal. Verification Cryptogr. Christophe Chareton, Dongho Lee, Benoît Valiron, Renaud Vilmart, Sébastien Bardin, Zhaowei Xu
2021	A	`conf`	An Automated Deductive Verification Framework for Circuit-building Quantum Programs. ESOP Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
2021	J	`jnl`	Formal Methods for Quantum Programs: A Survey. CoRR Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
2020	J	`jnl`	Toward certified quantum programming. CoRR Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
2017	—	`conf`	Strategic Knowledge of the Past - Expressivity and Complexity. EUMAS/AT Christophe Chareton
2017	—	`conf`	Strategic Knowledge of the Past in Quantum Cryptography. LORI Christophe Chareton, Hans van Ditmarsch
2015	J	`jnl`	A logic with revocable and refinable strategies. Inf. Comput. Christophe Chareton, Julien Brunel, David Chemouil
2015	—	`conf`	Evaluating the Assignment of Behavioral Goals to Coalitions of Agents. SBMF Christophe Chareton, Julien Brunel, David Chemouil
2015	Misc	`conf`	Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus. IRI Sardaouna Hamadou, John Mullins, Christophe Chareton, Abdelouahed Gherbi
2014	—	`—`	Modélisation formelle d'exigences et logiques temporelles multi-agents. (Formal Requirement Modeling and Temporal Multi-Agent Logics). Christophe Chareton
2013	—	`conf`	Towards an Updatable Strategy Logic SR Christophe Chareton, Julien Brunel, David Chemouil
2011	—	`conf`	A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. SBMF Christophe Chareton, Julien Brunel, David Chemouil