Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Chareton, Christophe"'
Autor:
Chareton, Christophe, Bardin, Sébastien, Lee, Dongho, Valiron, Benoît, Vilmart, Renaud, Xu, Zhaowei
While recent progress in quantum hardware open the door for significant speedup in certain key areas (cryptography, biology, chemistry, optimization, machine learning, etc), quantum algorithms are still hard to implement right, and the validation of
Externí odkaz:
http://arxiv.org/abs/2109.06493
Autor:
Chareton, Christophe, Bardin, Sébastien, Bobot, François, Perrelle, Valentin, Valiron, Benoit
While recent progress in quantum hardware open the door for significant speedup in certain key areas, quantum algorithms are still hard to implement right, and the validation of such quantum programs is a challenge. Early attempts either suffer from
Externí odkaz:
http://arxiv.org/abs/2003.05841
Autor:
Chareton, Christophe
Ces travaux concernent la modélisation formelle d’exigences et les interactions entre agents. Nous y avons développé un langage de modélisation pour les exigences d’un système à élaborer, KHI. En s’inspirant notamment des méthodes KAOS
Externí odkaz:
http://www.theses.fr/2014ESAE0020/document
Publikováno v:
EPTCS 112, 2013, pp. 91-98
This article is about temporal multi-agent logics. Several of these formalisms have been already presented (ATL-ATL*, ATLsc, SL). They enable to express the capacities of agents in a system to ensure the satisfaction of temporal properties. Particula
Externí odkaz:
http://arxiv.org/abs/1303.0795
Publikováno v:
In Information and Computation June 2015 242:157-182
Autor:
Chareton, Christophe, Bardin, Sébastien, Bobot, François, Perrelle, Valentin, Valiron, Benoît
Publikováno v:
Programming Languages and Systems
While recent progress in quantum hardware open the door for significant speedup in certain key areas, quantum algorithms are still hard to implement right, and the validation of such quantum programs is a challenge. In this paper we propose Qbricks,
Publikováno v:
18e journées Approches Formelles dans l'Assistance au Développement de Logiciels
18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France
18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c17ca38052ccf5c1cc0993408f37e9b7
https://hal.archives-ouvertes.fr/hal-02175079/document
https://hal.archives-ouvertes.fr/hal-02175079/document
Publikováno v:
2nd International Workshop on Quantum Compilation
2nd International Workshop on Quantum Compilation, Nov 2018, San Diego, United States
2nd International Workshop on Quantum Compilation, Nov 2018, San Diego, United States
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::05c83dce57dee3b7b8d747d7dd85c1bf
https://hal.archives-ouvertes.fr/hal-02175112/document
https://hal.archives-ouvertes.fr/hal-02175112/document
Autor:
Chareton, Christophe
Ces travaux concernent la modélisation formelle d’exigences et les interactions entre agents. Nous y avons développé un langage de modélisation pour les exigences d’un système à élaborer, KHI. En s’inspirant notamment des méthodes KAOS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=artemis___fr::0bf256e2d7afdf1cc196feed24bca843
http://depozit.isae.fr/theses/2014/2014_Chareton_Christophe_D.pdf
http://depozit.isae.fr/theses/2014/2014_Chareton_Christophe_D.pdf
Publikováno v:
Formal Methods: Foundations & Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings; 2016, p56-73, 18p