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 | 207 | 1999 |
Automata-based confidentiality monitoring GL Guernic, A Banerjee, T Jensen, DA Schmidt Annual Asian Computing Science Conference, 75-89, 2006 | 176 | 2006 |
Homology of higher dimensional automata E Goubault, TP Jensen International Conference on Concurrency Theory, 254-268, 1992 | 125 | 1992 |
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 | 117 | 2001 |
Strictness analysis in logical form TP Jensen Conference on Functional Programming Languages and Computer Architecture …, 1991 | 97 | 1991 |
Proof-carrying code from certified abstract interpretation and fixpoint compression F Besson, T Jensen, D Pichardie Theoretical Computer Science 364 (3), 273-291, 2006 | 79 | 2006 |
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 | 78 | 1998 |
Extracting a data flow analyser in constructive logic D Cachera, T Jensen, D Pichardie, V Rusu Theoretical Computer Science 342 (1), 56-78, 2005 | 72 | 2005 |
Polyhedral analysis for synchronous languages F Besson, T Jensen, JP Talpin International Static Analysis Symposium, 51-68, 1999 | 70 | 1999 |
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 | 67 | 2008 |
Abstract interpretation in logical form TP Jensen PhD Thesis, the Imerial College, 1992 | 66 | 1992 |
Rewriting approximations for fast prototyping of static analyzers Y Boichut, T Genet, T Jensen, LL Roux International Conference on Rewriting Techniques and Applications, 48-62, 2007 | 63 | 2007 |
Certified memory usage analysis D Cachera, T Jensen, D Pichardie, G Schneider International Symposium on Formal Methods, 91-106, 2005 | 61 | 2005 |
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 | 51 | 2008 |
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 | 49 | 2003 |
Disjunctive strictness analysis TP Jensen 1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992 | 48 | 1992 |
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 | 44 | 2007 |
A backwards analysis for compile-time garbage collection TP Jensen, T Mogensen European Symposium on Programming, 227-239, 1990 | 44 | 1990 |
Sawja: Static analysis workshop for java L Hubert, N Barré, F Besson, D Demange, T Jensen, V Monfort, ... International Conference on Formal Verification of Object-Oriented Software …, 2010 | 43 | 2010 |