| 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 | 213 | 1999 |
| Automata-based confidentiality monitoring G Le Guernic, A Banerjee, T Jensen, DA Schmidt Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2007 | 175 | 2007 |
| Homology of higher dimensional automata E Goubault, TP Jensen CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992 | 130 | 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 | 118 | 2001 |
| Strictness analysis in logical form TP Jensen Functional Programming Languages and Computer Architecture: 5th ACM …, 1991 | 99 | 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 | 81 | 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 | 81 | 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 | 71 | 2005 |
| Polyhedral analysis for synchronous languages F Besson, T Jensen, JP Talpin Static Analysis: 6th International Symposium, SAS’99 Venice, Italy …, 1999 | 71 | 1999 |
| Semantic foundations and inference of non-null annotations L Hubert, T Jensen, D Pichardie Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 …, 2008 | 70 | 2008 |
| Rewriting approximations for fast prototyping of static analyzers Y Boichut, T Genet, T Jensen, L Le Roux Term Rewriting and Applications: 18th International Conference, RTA 2007 …, 2007 | 68 | 2007 |
| Abstract interpretation in logical form TP Jensen PhD Thesis, the Imerial College, 1992 | 66 | 1992 |
| Certified memory usage analysis D Cachera, T Jensen, D Pichardie, G Schneider FM 3582, 91-106, 2005 | 65 | 2005 |
| A calculational approach to control-flow analysis by abstract interpretation J Midtgaard, T Jensen Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008 | 52 | 2008 |
| Certified Result Checking for Polyhedral Analysis of Bytecode Programs. F Besson, TP Jensen, D Pichardie, T Turpin TGC 6084, 253-267, 2010 | 51* | 2010 |
| 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 | 50 | 2003 |
| Disjunctive strictness analysis TP Jensen 1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992 | 48 | 1992 |
| Hybrid information flow monitoring against web tracking F Besson, N Bielova, T Jensen 2013 IEEE 26th Computer Security Foundations Symposium, 240-254, 2013 | 45 | 2013 |
| Sawja: Static analysis workshop for java L Hubert, N Barré, F Besson, D Demange, T Jensen, V Monfort, ... Formal Verification of Object-Oriented Software: International Conference …, 2011 | 45 | 2011 |
| The MOBIUS Proof Carrying Code Infrastructure: (An Overview) G Barthe, P Crégut, B Grégoire, T Jensen, D Pichardie Formal Methods for Components and Objects: 6th International Symposium, FMCO …, 2008 | 45 | 2008 |
