Thomas Jensen
Thomas Jensen
Directeur de recherche INRIA Rennes and IRISA
Dirección de correo verificada de inria.fr
Título
Citado por
Citado por
Año
Verification of control flow based security properties
T Jensen, D Le Métayer, T Thorn
Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No …, 1999
1961999
Automata-based confidentiality monitoring
G Le Guernic, A Banerjee, T Jensen, DA Schmidt
Annual Asian Computing Science Conference, 75-89, 2006
1572006
Homology of higher dimensional automata
E Goubault, TP Jensen
International Conference on Concurrency Theory, 254-268, 1992
1191992
Model checking security properties of control flow graphs
F Besson, T Jensen, D Le Métayer, T Thorn
Journal of computer security 9 (3), 217-250, 2001
1082001
Strictness analysis in logical form
TP Jensen
Conference on Functional Programming Languages and Computer Architecture …, 1991
921991
Security and dynamic class loading in java: A formalisation
T Jensen, D Le Métayer, T Thorn
Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998
771998
Proof-carrying code from certified abstract interpretation and fixpoint compression
F Besson, T Jensen, D Pichardie
Theoretical Computer Science 364 (3), 273-291, 2006
692006
Extracting a data flow analyser in constructive logic
D Cachera, T Jensen, D Pichardie, V Rusu
Theoretical Computer Science 342 (1), 56-78, 2005
692005
Polyhedral analysis for synchronous languages
F Besson, T Jensen, JP Talpin
International Static Analysis Symposium, 51-68, 1999
661999
Abstract interpretation in logical form
TP Jensen
PhD Thesis, the Imerial College, 1992
641992
Rewriting approximations for fast prototyping of static analyzers
Y Boichut, T Genet, T Jensen, L Le Roux
International Conference on Rewriting Techniques and Applications, 48-62, 2007
632007
Certified memory usage analysis
D Cachera, T Jensen, D Pichardie, G Schneider
International Symposium on Formal Methods, 91-106, 2005
602005
Semantic foundations and inference of non-null annotations
L Hubert, T Jensen, D Pichardie
International Conference on Formal Methods for Open Object-Based Distributed …, 2008
562008
Certified result checking for polyhedral analysis of bytecode programs
F Besson, T Jensen, D Pichardie, T Turpin
International Symposium on Trustworthy Global Computing, 253-267, 2010
46*2010
A calculational approach to control-flow analysis by abstract interpretation
J Midtgaard, T Jensen
International Static Analysis Symposium, 347-362, 2008
462008
Class analyses as abstract interpretations of trace semantics
F Spoto, T Jensen
ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (5), 578-630, 2003
462003
Disjunctive strictness analysis
TP Jensen
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992
441992
The MOBIUS proof carrying code infrastructure
G Barthe, P Crégut, B Grégoire, T Jensen, D Pichardie
International Symposium on Formal Methods for Components and Objects, 1-24, 2007
422007
A backwards analysis for compile-time garbage collection
TP Jensen
European Symposium on Programming, 227-239, 1990
411990
Extracting a data flow analyser in constructive logic
D Cachera, T Jensen, D Pichardie, V Rusu
European Symposium on Programming, 385-400, 2004
392004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20