|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas P. Jensen, Florent Kirchner, David Pichardie |
Secure the Clones  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Gilles Barthe, Delphine Demange, David Pichardie |
A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pichardie |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cachera, David Pichardie |
Programmation d'un interpréteur abstrait certifié en logique constructive. |
Technique et Science Informatiques |
2011 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie |
Modular SMT Proofs for Fast Reflexive Checking Inside Coq. |
CPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen, Florent Kirchner, David Pichardie |
Secure the Clones - Static Enforcement of Policies for Secure Object Copying. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Guillaume Dufay, Thomas P. Jensen, David Pichardie |
Verifying resource access control on mobile interactive devices. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie |
Enforcing Secure Object Initialization in Java |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Laurent Hubert, David Pichardie |
Soundly Handling Static Fields: Issues, Semantics and Analysis |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin |
Sawja: Static Analysis Workshop for Java |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | David Cachera, David Pichardie |
A Certified Denotational Abstract Interpreter. |
ITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Delphine Demange, Thomas P. Jensen, David Pichardie |
A Provably Correct Stackless Intermediate Representation for Java Bytecode. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin |
Certified Result Checking for Polyhedral Analysis of Bytecode Programs. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin |
Sawja: Static Analysis Workshop for Java. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie |
Enforcing Secure Object Initialization in Java. |
ESORICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Hubert, David Pichardie |
Soundly Handling Static Fields: Issues, Semantics and Analysis. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie |
Certified Static Analysis by Abstract Interpretation. |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Dabrowski, David Pichardie |
A Certified Data Race Analysis for a Java-like Language. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pichardie |
Building Certified Static Analysers by Modular Construction of Well-founded Lattices. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Hubert, Thomas P. Jensen, David Pichardie |
Semantic Foundations and Inference of Non-null Annotations. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese |
Preservation of Proof Pbligations for Hybrid Verification Methods. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie |
The MOBIUS Proof Carrying Code Infrastructure. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, David Pichardie, Tamara Rezk |
A Certified Lightweight Non-interference Java Bytecode Verifier. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Thomas P. Jensen, David Pichardie |
Proof-carrying code from certified abstract interpretation and fixpoint compression. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu |
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu |
Extracting a data flow analyser in constructive logic. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pichardie |
Modular Proof Principles for Parameterised Concretizations. |
CASSIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider |
Certified Memory Usage Analysis. |
FM |
2005 |
DBLP DOI BibTeX RDF |
certified memory analysis, Program analysis, theorem proving, constraint solving |
| 1 | David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu |
Extracting a Data Flow Analyser in Constructive Logic. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie |
A Java Card CAP converter in PVS. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cachera, David Pichardie |
Embedding of Systems of Affine Recurrence Equations in Coq. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Pichardie, Yves Bertot |
Formalizing Convex Hull Algorithms. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")