Christophe Chareton
Affiliations:- CEA, LIST, Université Paris-Saclay, Palaiseau, France
According to our database1,
Christophe Chareton
authored at least 12 papers
between 2011 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023
2021
Proceedings of the Programming Languages and Systems, 2021
2020
2017
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017
2015
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015
Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus.
Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015
2014
Modélisation formelle d'exigences et logiques temporelles multi-agents. (Formal Requirement Modeling and Temporal Multi-Agent Logics).
PhD thesis, 2014
2013
Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013
2011
A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic.
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011