Follow
Thomas Jensen
Thomas Jensen
Directeur de recherche INRIA Rennes and IRISA
Verified email at inria.fr
Title
Cited by
Cited by
Year
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
2161999
Automata-based confidentiality monitoring
G Le Guernic, A Banerjee, T Jensen, DA Schmidt
Annual Asian Computing Science Conference, 75-89, 2006
1762006
Homology of higher dimensional automata
E Goubault, TP Jensen
International Conference on Concurrency Theory, 254-268, 1992
1281992
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
1152001
Strictness analysis in logical form
TP Jensen
Conference on Functional Programming Languages and Computer Architecture …, 1991
1031991
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
851998
Proof-carrying code from certified abstract interpretation and fixpoint compression
F Besson, T Jensen, D Pichardie
Theoretical Computer Science 364 (3), 273-291, 2006
812006
Abstract interpretation in logical form
TP Jensen
PhD Thesis, the Imerial College, 1992
741992
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
712008
Extracting a data flow analyser in constructive logic
D Cachera, T Jensen, D Pichardie, V Rusu
Theoretical Computer Science 342 (1), 56-78, 2005
712005
Polyhedral analysis for synchronous languages
F Besson, T Jensen, JP Talpin
International Static Analysis Symposium, 51-68, 1999
711999
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
702007
Certified memory usage analysis
D Cachera, T Jensen, D Pichardie, G Schneider
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
622005
Disjunctive strictness analysis
TP Jensen
1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992
531992
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
51*2010
A calculational approach to control-flow analysis by abstract interpretation
J Midtgaard, T Jensen
International Static Analysis Symposium, 347-362, 2008
512008
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
502003
Hybrid information flow monitoring against web tracking
F Besson, N Bielova, T Jensen
2013 IEEE 26th Computer Security Foundations Symposium, 240-254, 2013
472013
UML-CASTING: Test synthesis from UML models using constraint resolution
L Van Aertryck, T Jensen
Proc. AFADL’2003 (Approches Formelles dans l’Assistance au Dévelopment de …, 2003
452003
Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases
D Cachera, T Jensen, A Jobin, F Kirchner
Science of Computer Programming 93, 89-109, 2014
442014
The system can't perform the operation now. Try again later.
Articles 1–20