Pichardie, David, 1977-....
Pichardie, David
VIAF ID: 305031192 ( Personal )
Permalink: http://viaf.org/viaf/305031192
Preferred Forms
- 100 1 _ ‡a Pichardie, David
-
-
- 100 1 _ ‡a Pichardie, David ‡d 1977-...
- 100 1 _ ‡a Pichardie, David, ‡d 1977-....
Works
Title | Sources |
---|---|
Algorithmes certifiés pour la simplification syntaxique de programmes. | |
Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle par interprétation abstraite | |
Analyse statique des propriétés numériques et structurelles du tableau. | |
Une approche pratique pour la définition et la preuve de propriétés de fonctions récursives générales en théorie des types, français | |
Une architecture PCC basée sur l'interprétation abstraite certifiée, français | |
Certified algorithms for program slicing | |
Characterization and detection of Android malware based on information flows. | |
Compilation vérifiée et sécurisée contre les canaux cachés temporels. | |
Defining and reasoning about general recursive functions in type theory : a practical method | |
Interactive theorem proving, [2013]: | |
Interprétation abstraite en logique intuitionniste : extraction d'analyseurs Java certifiés | |
IRISA web site, 8 August 2013: | |
Proof Tactics for the Verification of Structured Systems of Affine Recurrence Equations | |
Proving the security of software-intensive embedded systems by abstract interpretation.. | |
Semantic foundations of intermediate program representations | |
Sémantique différentielle des programmes. | |
Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings | |
Static analysis of numerical properties in the presence of pointers | |
Verification by abstract interpretation under weakly consistent memory. | |
Vérification d'implémentations constant-time dans une chaîne de compilation vérifiée | |
Vérification d'un glaneur de cellules concurrent. | |
Vérification par interprétation abstraite en mémoire faiblement cohérente | |
Verified Programming at the Intersection of Dependent Types and Static Analysis | |
Verified Secure Compilation against Timing Side-Channels | |
Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques |