Christine Paulin-Mohring

According to our database, Christine Paulin-Mohring authored at least 17 papers between 1989 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Towards Provably Robust Watermarking.

David Baelde, Pierre Courtieu, David Gross-Amblard, Christine Paulin-Mohring

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2011

Preface.

Philippe Audebaud, Christine Paulin-Mohring

Sci. Comput. Program., 2011

Introduction to the Coq Proof-Assistant for Practical Software Verification.

Christine Paulin-Mohring

Proceedings of the Tools for Practical Software Verification, 2011

2009

Proofs of randomized algorithms in Coq.

Philippe Audebaud, Christine Paulin-Mohring

Sci. Comput. Program., 2009

2005

Reasoning About Java Programs with Aliasing and Frame Conditions.

Claude Marché, Christine Paulin-Mohring

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Formal Verification of Security Properties of Smart Card Embedded Source Code.

June Andronick, Boutheina Chetali, Christine Paulin-Mohring

Proceedings of the FM 2005: Formal Methods, 2005

2004

The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML.

Claude Marché, Christine Paulin-Mohring, Xavier Urbain

J. Log. Algebraic Methods Program., 2004

2001

Modelisation of Timed Automata in Coq.

Christine Paulin-Mohring

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

1996

Introduction.

Eduardo Giménez, Christine Paulin-Mohring

Proceedings of the Types for Proofs and Programs, 1996

Définitions Inductives en Théorie des Types. (Inductive Definitions in Type Theory).

Christine Paulin-Mohring

, 1996

1995

Circuits as Streams in Coq: Verification of a Sequential Multiplier.

Christine Paulin-Mohring

Proceedings of the Types for Proofs and Programs, 1995

1993

Synthesis of ML Programs in the System Coq.

Christine Paulin-Mohring, Benjamin Werner

J. Symb. Comput., 1993

Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes.

François Leclerc, Christine Paulin-Mohring

Proceedings of the Types for Proofs and Programs, 1993

Inductive Definitions in the system Coq - Rules and Properties.

Christine Paulin-Mohring

Proceedings of the Typed Lambda Calculi and Applications, 1993

1989

Extraction de programmes dans le Calcul des Constructions. (Program Extraction in the Calculus of Constructions).

Christine Paulin-Mohring

PhD thesis, 1989

Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions.

Christine Paulin-Mohring

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

Inductively Defined Types in the Calculus of Constructions.

Frank Pfenning, Christine Paulin-Mohring

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989