| 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 | 205 | 1999 |
| Automata-based confidentiality monitoring G Le Guernic, A Banerjee, T Jensen, DA Schmidt Annual Asian Computing Science Conference, 75-89, 2006 | 171 | 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 | 112 | 2001 |
| Strictness analysis in logical form TP Jensen Conference on Functional Programming Languages and Computer Architecture …, 1991 | 98 | 1991 |
| 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 |
| Proof-carrying code from certified abstract interpretation and fixpoint compression F Besson, T Jensen, D Pichardie Theoretical Computer Science 364 (3), 273-291, 2006 | 76 | 2006 |
| Extracting a data flow analyser in constructive logic D Cachera, T Jensen, D Pichardie, V Rusu Theoretical Computer Science 342 (1), 56-78, 2005 | 71 | 2005 |
| Polyhedral analysis for synchronous languages F Besson, T Jensen, JP Talpin International Static Analysis Symposium, 51-68, 1999 | 70 | 1999 |
| Abstract interpretation in logical form TP Jensen PhD Thesis, the Imerial College, 1992 | 67 | 1992 |
| 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 | 66 | 2008 |
| Certified memory usage analysis D Cachera, T Jensen, D Pichardie, G Schneider International Symposium on Formal Methods, 91-106, 2005 | 65 | 2005 |
| 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 | 64 | 2007 |
| 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 | 52* | 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 | 48 | 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 European Symposium on Programming, 227-239, 1990 | 43 | 1990 |
| Control-flow analysis of function calls and returns by abstract interpretation J Midtgaard, TP Jensen Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009 | 42 | 2009 |
