( en | de | ru )

 

Disambiguation of "Courtieu, Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq.

, , , , , , , , and . HILT, page 21-22. ACM, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pierre Nyabyenda

Pierre Mattern

Pierre Gottschlich

Pierre Mangold

Pierre Venet

 

Other publications of authors with the same name

Automated Certified Proofs with CiME3., , , , and . RTA, volume 10 of LIPIcs, page 21-30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Focused Certification of an Industrial Compilation and Static Verification Toolchain., , , , and . SEFM, volume 10469 of Lecture Notes in Computer Science, page 17-34. Springer, (2017)Efficient Reasoning about Executable Specifications in Coq., and . TPHOLs, volume 2410 of Lecture Notes in Computer Science, page 31-46. Springer, (2002)Swarms of Mobile Robots: Towards Versatility with Safety., , , and . Leibniz Trans. Embed. Syst., 8 (2): 02:1-02:36 (2022)Tool-Assisted Specification and Verification of Typed Low-Level Languages., , , and . J. Autom. Reason., 35 (4): 295-354 (2005)Certifying a Termination Criterion Based on Graphs, without Graphs., , and . TPHOLs, volume 5170 of Lecture Notes in Computer Science, page 183-198. Springer, (2008)Représentation d'algèbres non libres en théorie des types. (Representation of Non Free Algebras in Type Theory).. University of Paris-Sud, Orsay, France, (2001)Certification of Automated Termination Proofs., , , , and . FroCoS, volume 4720 of Lecture Notes in Computer Science, page 148-162. Springer, (2007)Tool-Assisted Specification and Verification of the JavaCard Platform., , , and . AMAST, volume 2422 of Lecture Notes in Computer Science, page 41-59. Springer, (2002)Maximal and Compositional Pattern-Based Loop Invariants., , , and . FM, volume 7436 of Lecture Notes in Computer Science, page 37-51. Springer, (2012)