dblp.uni-trier.dewww.uni-trier.de

Thomas P. Jensen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
55EEFrédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie: Certified Static Analysis by Abstract Interpretation. FOSAD 2009: 223-257
54EEJan Midtgaard, Thomas P. Jensen: Control-flow analysis of function calls and returns by abstract interpretation. ICFP 2009: 287-298
2008
53EEDavid Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin: Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. AMAST 2008: 122-138
52EEFrédéric Besson, Thomas P. Jensen, Tiphaine Turpin: Computing Stack Maps with Interfaces. ECOOP 2008: 642-666
51EELaurent Hubert, Thomas P. Jensen, David Pichardie: Semantic Foundations and Inference of Non-null Annotations. FMOODS 2008: 132-149
50EEBenoît Boyer, Thomas Genet, Thomas P. Jensen: Certifying a Tree Automata Completion Checker. IJCAR 2008: 523-538
49EEJan Midtgaard, Thomas P. Jensen: A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. SAS 2008: 347-362
2007
48EEFrédéric Besson, Thomas P. Jensen, Tiphaine Turpin: Small Witnesses for Abstract Interpretation-Based Proofs. ESOP 2007: 268-283
47EEGilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie: The MOBIUS Proof Carrying Code Infrastructure. FMCO 2007: 1-24
46EEYohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux: Rewriting Approximations for Fast Prototyping of Static Analyzers. RTA 2007: 48-62
2006
45EEGurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt: Automata-Based Confidentiality Monitoring. ASIAN 2006: 75-89
44EEFrédéric Besson, Guillaume Dufay, Thomas P. Jensen: A Formal Model of Access Control for Mobile Interactive Devices. ESORICS 2006: 110-126
43EEPascal Sotin, David Cachera, Thomas P. Jensen: Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card. Electr. Notes Theor. Comput. Sci. 164(3): 153-167 (2006)
42EEFrédéric Besson, Thomas P. Jensen, David Pichardie: Proof-carrying code from certified abstract interpretation and fixpoint compression. Theor. Comput. Sci. 364(3): 273-291 (2006)
2005
41 Michael D. Ernst, Thomas P. Jensen: Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005 ACM 2005
40EEDavid Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider: Certified Memory Usage Analysis. FM 2005: 91-106
39EEFrédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen: Interfaces for stack inspection. J. Funct. Program. 15(2): 179-217 (2005)
38EEDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a data flow analyser in constructive logic. Theor. Comput. Sci. 342(1): 56-78 (2005)
2004
37EEDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a Data Flow Analyser in Constructive Logic. ESOP 2004: 385-400
36EEMarieke Huisman, Thomas P. Jensen: Guest editors' introduction: Special issue on Formal Methods for Smart Cards. J. Log. Algebr. Program. 58(1-2): 1-2 (2004)
35 Marc Éluard, Thomas P. Jensen: Validation du contrôle d'accès dans des cartes à puce multiapplications. Technique et Science Informatiques 23(3): 323-357 (2004)
2003
34EEFrédéric Besson, Thomas P. Jensen: Modular Class Analysis with DATALOG. SAS 2003: 19-36
33EEFausto Spoto, Thomas P. Jensen: Class analyses as abstract interpretations of trace semantics. ACM Trans. Program. Lang. Syst. 25(5): 578-630 (2003)
32EEThomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie: A Java Card CAP converter in PVS. Electr. Notes Theor. Comput. Sci. 82(2): (2003)
31 Anindya Banerjee, Thomas P. Jensen: Modular Control-Flow Analysis with Rank 2 Intersection Types. Mathematical Structures in Computer Science 13(1): 87-124 (2003)
2002
30EEMarc Éluard, Thomas P. Jensen: Secure Object Flow Analysis for Java Card. CARDIS 2002: 97-110
29 Thomas P. Jensen, Florimond Ployette, Olivier Ridoux: Iteration schemes for fixed point calculation. FICS 2002: 69-76
28EEFrédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen: Secure calling contexts for stack inspection. PPDP 2002: 76-87
27EEThomas P. Jensen: Types in Program Analysis. The Essence of Computation 2002: 204-222
26EEEwen Denney, Thomas P. Jensen: Correctness of Java card method lookup via logical relations. Theor. Comput. Sci. 283(2): 305-331 (2002)
2001
25 Isabelle Attali, Thomas P. Jensen: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers Springer 2001
24 Isabelle Attali, Thomas P. Jensen: Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings Springer 2001
23EEMarc Éluard, Thomas P. Jensen, Ewen Denney: An Operational Semantics of the Java Card Firewall. E-smart 2001: 95-110
22EEThomas P. Jensen, Fausto Spoto: Class Analysis of Object-Oriented Programs through Abstract Interpretation. FoSSaCS 2001: 261-275
21 Frédéric Besson, Thomas P. Jensen, Daniel Le Métayer: Model Checking Security Properties of Control Flow Graphs. Journal of Computer Security 9(3): 217-250 (2001)
2000
20EEEwen Denney, Thomas P. Jensen: Correctness of Java Card Method Lookup via Logical Relations. ESOP 2000: 104-118
1999
19EEThomas P. Jensen, Daniel Le Métayer, Tommy Thorn: Verification of Control Flow based Security Properties. IEEE Symposium on Security and Privacy 1999: 89-103
18EEFrédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin: Polyhedral Analysis for Synchronous Languages. SAS 1999: 51-68
1998
17EEThomas P. Jensen, Daniel Le Métayer, Tommy Thorn: Coarse Grained Java Security Policies. ECOOP Workshops 1998: 296
16EEThomas P. Jensen, Daniel Le Métayer, Tommy Thorn: Security and Dynamic Class Loading in Java: A Formalization. ICCL 1998: 4-15
15EEThomas P. Jensen: Inference of Polymorphic and Conditional Strictness Properties. POPL 1998: 209-221
1997
14EEThomas P. Jensen: Disjunctive Program Analysis for Algebraic Data Types. ACM Trans. Program. Lang. Syst. 19(5): 751-803 (1997)
1996
13EEThomas P. Jensen, Ian Mackie: Flow Analysis in the Geometry of Interaction. ESOP 1996: 188-203
1995
12 Thomas P. Jensen: Clock Analysis of Synchronous Dataflow Programs. PEPM 1995: 156-167
11 Thomas P. Jensen: Conjunctive Type Systems and Abstract Interpretation of Higher-Order Functional Programs. J. Log. Comput. 5(4): 397-421 (1995)
1994
10 Thomas P. Jensen: Abstract Interpretation over Algebraic Data Types. ICCL 1994
9 Thomas P. Jensen: Denotational Semantics of Timed Dataflow Programs. Theory and Formal Methods 1994: 381-396
1993
8 Lindsay Errington, Chris Hankin, Thomas P. Jensen: Reasoning About Gamma Programs. Theory and Formal Methods 1993: 115-125
7 Lindsay Errington, Chris Hankin, Thomas P. Jensen: A Congruence for Gamma Programs. WSA 1993: 242-253
1992
6EEEric Goubault, Thomas P. Jensen: Homology of Higher Dimensional Automata. CONCUR 1992: 254-268
5 Thomas P. Jensen: Disjunctive Strictness Analysis LICS 1992: 174-185
4 Thomas P. Jensen: Axiomatising Uniform Properties of Recursive Data Structures. WSA 1992: 144-151
1991
3 Thomas P. Jensen: Strictness Analysis in Logical Form. FPCA 1991: 352-366
2 Samson Abramsky, Thomas P. Jensen: A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions. POPL 1991: 49-54
1990
1EEThomas P. Jensen, Torben Æ. Mogensen: A Backwards Analysis for Compile-time Garbage Collection. ESOP 1990: 227-239

Coauthor Index

1Samson Abramsky [2]
2Isabelle Attali [24] [25]
3Anindya Banerjee [31] [45]
4Gilles Barthe [47]
5Frédéric Besson [18] [21] [28] [34] [39] [42] [44] [48] [52] [55]
6Yohan Boichut [46]
7Benoît Boyer [50]
8David Cachera [37] [38] [40] [43] [53] [55]
9Pierre Crégut [47]
10Ewen Denney [20] [23] [26]
11Guillaume Dufay [44]
12Marc Éluard [23] [30] [35]
13Michael D. Ernst [41]
14Lindsay Errington [7] [8]
15Thomas Genet [32] [46] [50]
16Eric Goubault [6]
17Benjamin Grégoire [47]
18Gurvan Le Guernic [45]
19Chris Hankin [7] [8]
20Laurent Hubert [51]
21Marieke Huisman [36]
22Arnaud Jobin [53]
23Vikash Kodati [32]
24Thomas de Grenier de Latour [28] [39]
25Ian Mackie [13]
26Daniel Le Métayer [16] [17] [19] [21]
27Jan Midtgaard [49] [54]
28Torben Æ. Mogensen [1]
29David Pichardie [32] [37] [38] [40] [42] [47] [51] [55]
30Florimond Ployette [29]
31Olivier Ridoux [29]
32Luka Le Roux [46]
33Vlad Rusu [37] [38]
34David A. Schmidt [45]
35Gerardo Schneider [40]
36Pascal Sotin [43] [53]
37Fausto Spoto [22] [33]
38Jean-Pierre Talpin [18]
39Tommy Thorn [16] [17] [19]
40Tiphaine Turpin [48] [52]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)