Christophe Chareton

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 5

Top Topics

Provably Correct

Quantum Computing

Embedded Systems

Top Venues

University of Toulouse, France (PHD)

Education History

University of Toulouse, France

PHD

Publications

Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
Formal Methods for Quantum Programs: A Survey. CoRR (2021)
Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
An Automated Deductive Verification Framework for Circuit-building Quantum Programs. ESOP (2021)
Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
Toward certified quantum programming. CoRR (2020)
Christophe Chareton
Strategic Knowledge of the Past - Expressivity and Complexity. EUMAS/AT (2017)
Christophe Chareton, Hans van Ditmarsch
Strategic Knowledge of the Past in Quantum Cryptography. LORI (2017)
Christophe Chareton, Julien Brunel, David Chemouil
A logic with revocable and refinable strategies. Inf. Comput. 242 (2015)
Christophe Chareton, Julien Brunel, David Chemouil
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents. SBMF (2015)
Sardaouna Hamadou, John Mullins, Christophe Chareton, Abdelouahed Gherbi
Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus. IRI (2015)
Christophe Chareton, Julien Brunel, David Chemouil
Towards an Updatable Strategy Logic SR (2013)
Christophe Chareton, Julien Brunel, David Chemouil
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic. SBMF (2011)