 | 2009 |
|---|
| 16 |       | Philippe Audebaud,
Christine Paulin-Mohring:
Proofs of randomized algorithms in Coq.
Sci. Comput. Program. 74(8): 568-589 (2009) |
| 2008 |
|---|
| 15 |  | Philippe Audebaud,
Christine Paulin-Mohring:
Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
Springer 2008 |
| 2006 |
|---|
| 14 | | Jean-Christophe Filliâtre,
Christine Paulin-Mohring,
Benjamin Werner:
Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Springer 2006 |
| 13 | | Philippe Audebaud,
Christine Paulin-Mohring:
Proofs of Randomized Algorithms in Coq.
MPC 2006: 49-68 |
| 2005 |
|---|
| 12 | | June Andronick,
Boutheina Chetali,
Christine Paulin-Mohring:
Formal Verification of Security Properties of Smart Card Embedded Source Code.
FM 2005: 302-317 |
| 11 | | Claude Marché,
Christine Paulin-Mohring:
Reasoning About Java Programs with Aliasing and Frame Conditions.
TPHOLs 2005: 179-194 |
| 2004 |
|---|
| 10 | | Claude Marché,
Christine Paulin-Mohring,
Xavier Urbain:
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML.
J. Log. Algebr. Program. 58(1-2): 89-106 (2004) |
| 2001 |
|---|
| 9 | | Christine Paulin-Mohring:
Modelisation of Timed Automata in Coq.
TACS 2001: 298-315 |
| 1998 |
|---|
| 8 | | Eduardo Giménez,
Christine Paulin-Mohring:
Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers
Springer 1998 |
| 1996 |
|---|
| 7 | | Eduardo Giménez,
Christine Paulin-Mohring:
Introduction.
TYPES 1996: 1-8 |
| 1995 |
|---|
| 6 | | Christine Paulin-Mohring:
Circuits as Streams in Coq: Verification of a Sequential Multiplier.
TYPES 1995: 216-230 |
| 1993 |
|---|
| 5 | | Christine Paulin-Mohring:
Inductive Definitions in the system Coq - Rules and Properties.
TLCA 1993: 328-345 |
| 4 | | François Leclerc,
Christine Paulin-Mohring:
Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes.
TYPES 1993: 191-212 |
| 3 | | Christine Paulin-Mohring,
Benjamin Werner:
Synthesis of ML Programs in the System Coq.
J. Symb. Comput. 15(5/6): 607-640 (1993) |
| 1989 |
|---|
| 2 | | Frank Pfenning,
Christine Paulin-Mohring:
Inductively Defined Types in the Calculus of Constructions.
Mathematical Foundations of Programming Semantics 1989: 209-228 |
| 1 | | Christine Paulin-Mohring:
Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions.
POPL 1989: 89-104 |
