Publications of Pierre Castéran
Load the BibTeX file
Books
- Yves Bertot, Pierre Castéran. Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science, Springer Verlag, 2004.
Academic Journals
- Pierre Castéran, Vincent Filou. Tasks, types and tactics for local computation systems. Studia Informatica Universalis, http://studia.complexica.net/Art/RI090102.pdf, 9.1:39-86, 2011.
International Conferences
- Pierre Castéran, Vincent Filou. Tâches, types et tactiques pour les systèmes de calculs locaux. In Journées Francophones des Langages Applicatifs, 2010.
- Pierre Castéran, Vincent Filou. Tâches, types et tactiques pour les systèmes de calculs locaux. In Actes des vingt-et-unièmes Journées Francophones des Langages Applicatifs, Ivan Lavallée (ed.), Studia Informatica Universalis, Pages 83-110, La Ciotat, France, March 2010.
- Pierre Castéran, Vincent Filou, Mohamed Mosbah. Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant. In Symbolic Computation in Software Science (SCSS'09), 2009.
- Pierre Castéran, Vincent Filou, Mohamed Mosbah. Certifying Distributed Algorithms by Embedding Local Computation Systems in the Coq Proof Assistant. In Proceedings of Symbolic Computation in Software Science (SCSS 2009) Symbolic Computation in Software Science (SCSS 2009), Tunisie, 2009.
Research Reports
- Pierre Castéran, Vincent Filou, Mohamed Mosbah. Formal Proofs of Local Computation Systems. March 2009.
Misc
- Pierre Castéran, Vincent Filou. Loco: A Coq Library on Local Computation Systems. http://www.labri.fr/$\sim$casteran/Loco, 0.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.