|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Philippe Audebaud, Christine Paulin-Mohring |
Preface.  |
Sci. Comput. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Audebaud, Christine Paulin-Mohring |
Proofs of randomized algorithms in Coq. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Audebaud, Christine Paulin-Mohring (eds.) |
Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings |
MPC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.) |
Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers |
TYPES |
2006 |
DBLP BibTeX RDF |
|
| 1 | Philippe Audebaud, Christine Paulin-Mohring |
Proofs of Randomized Algorithms in Coq. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | June Andronick, Boutheina Chetali, Christine Paulin-Mohring |
Formal Verification of Security Properties of Smart Card Embedded Source Code. |
FM |
2005 |
DBLP DOI BibTeX RDF |
Source code verification, Security, Formal Methods, Theorem Proving, Smart Card |
| 1 | Claude Marché, Christine Paulin-Mohring |
Reasoning About Java Programs with Aliasing and Frame Conditions. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Marché, Christine Paulin-Mohring, Xavier Urbain |
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. |
J. Log. Algebr. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Paulin-Mohring |
Modelisation of Timed Automata in Coq. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Giménez, Christine Paulin-Mohring (eds.) |
Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers |
TYPES |
1998 |
DBLP BibTeX RDF |
|
| 1 | Eduardo Giménez, Christine Paulin-Mohring |
Introduction. |
TYPES |
1996 |
DBLP BibTeX RDF |
|
| 1 | Christine Paulin-Mohring |
Circuits as Streams in Coq: Verification of a Sequential Multiplier. |
TYPES |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Paulin-Mohring, Benjamin Werner |
Synthesis of ML Programs in the System Coq. |
J. Symb. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Paulin-Mohring |
Inductive Definitions in the system Coq - Rules and Properties. |
TLCA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | François Leclerc, Christine Paulin-Mohring |
Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes. |
TYPES |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Pfenning, Christine Paulin-Mohring |
Inductively Defined Types in the Calculus of Constructions. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Paulin-Mohring |
Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
ML |
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")