researcher / Thomas Jensen

Thomas Jensen

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Automatic verification of higher-order functional programs using regular tree languages
Vérification d'isolation de fautes logicielle
Compilation sécurisée pour la protection de la mémoire
Static analysis of functional programs with an application to the frame problem in deductive verification
Formal models and verification of memory management in a hypervisor
Certified semantics and analysis of JavaScript
Sécurité des générateurs pseudo-aléatoires et des implémentations de schémas de signature à clé publique
Static analysis of numerical properties in the presence of pointers
Certification of static analysis in many-sorted first-order logic
Semantic foundations of intermediate program representations
Dioïdes et idéaux de polynômes en analyse statique
Méthodologie et outil de Test, de localisation de fautes et de correction automatique des programmes à contraintes
Généralisation de chemins infaisables pour l'exécution symbolique
Réécriture d'automates certifiée pour la vérification de modèle
Modélisation par contraintes de programmes en bytecode java pour la génération automatique de tests
Foundations and implementation of a tool bench for static analysis of Java bytecode programs
Aspects quantitatifs de l'analyse de programmes
Élagage d’invariants de programmes
Test statistique structurel par résolution par contraintes de choix probabiliste
Confidentiality enforcement using dynamic information flow analyses
Interprétation abstraite en logique intuitionniste : extraction d'analyseurs Java certifiés
Automates d'arbres et réécriture pour l'étude de problèmes d'accessibilité
Résolution modulaire d'analyses de programmes : application à la sécurité logicielle
Analyse de sécurité pour la certification d'applications java card