Christine Paulin-Mohring

Publication Activity (10 Years)

Years Active: 1989-2012
Publications (10 Years): 0

Top Venues

ITP

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

David Baelde, Pierre Courtieu, David Gross-Amblard, Christine Paulin-Mohring
Towards Provably Robust Watermarking. ITP (2012)
Christine Paulin-Mohring
Introduction to the Coq Proof-Assistant for Practical Software Verification. LASER Summer School (2011)
Philippe Audebaud, Christine Paulin-Mohring
Preface. Sci. Comput. Program. 76 (3) (2011)
Philippe Audebaud, Christine Paulin-Mohring
Proofs of randomized algorithms in Coq. Sci. Comput. Program. 74 (8) (2009)
Philippe Audebaud, Christine Paulin-Mohring
Proofs of Randomized Algorithms in Coq. MPC (2006)
June Andronick, Boutheina Chetali, Christine Paulin-Mohring
Formal Verification of Security Properties of Smart Card Embedded Source Code. FM (2005)
Claude Marché, Christine Paulin-Mohring
Reasoning About Java Programs with Aliasing and Frame Conditions. TPHOLs (2005)
Claude Marché, Christine Paulin-Mohring, Xavier Urbain
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. J. Log. Algebraic Methods Program. 58 (1-2) (2004)
Christine Paulin-Mohring
Modelisation of Timed Automata in Coq. TACS (2001)
Eduardo Giménez, Christine Paulin-Mohring
Introduction. TYPES (1996)
Christine Paulin-Mohring
Circuits as Streams in Coq: Verification of a Sequential Multiplier. TYPES (1995)
François Leclerc, Christine Paulin-Mohring
Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes. TYPES (1993)
Christine Paulin-Mohring, Benjamin Werner
Synthesis of ML Programs in the System Coq. J. Symb. Comput. 15 (5/6) (1993)
Christine Paulin-Mohring
Inductive Definitions in the system Coq - Rules and Properties. TLCA (1993)
Frank Pfenning, Christine Paulin-Mohring
Inductively Defined Types in the Calculus of Constructions. Mathematical Foundations of Programming Semantics (1989)
Christine Paulin-Mohring
Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions. POPL (1989)

Christine Paulin-Mohring.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christine Paulin-Mohring