Thomas P. Jensen

	2012
66		Jan Midtgaard, Thomas P. Jensen: Control-flow analysis of function calls and returns by abstract interpretation. Inf. Comput. 211: 49-76 (2012)
65		Thomas P. Jensen, Florent Kirchner, David Pichardie: Secure the Clones Logical Methods in Computer Science 8(2): (2012)
	2011
64		Thomas P. Jensen, Florent Kirchner, David Pichardie: Secure the Clones - Static Enforcement of Policies for Secure Object Copying. ESOP 2011: 317-337
	2010
63		Delphine Demange, Thomas P. Jensen, David Pichardie: A Provably Correct Stackless Intermediate Representation for Java Bytecode. APLAS 2010: 97-113
62		Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie: Enforcing Secure Object Initialization in Java. ESORICS 2010: 101-115
61		Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin: Sawja: Static Analysis Workshop for Java. FoVeOOS 2010: 92-106
60		Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin: Certified Result Checking for Polyhedral Analysis of Bytecode Programs. TGC 2010: 253-267
59		Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie: Enforcing Secure Object Initialization in Java CoRR abs/1007.3133: (2010)
58		Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin: Sawja: Static Analysis Workshop for Java CoRR abs/1007.3353: (2010)
57		Frédéric Besson, Guillaume Dufay, Thomas P. Jensen, David Pichardie: Verifying resource access control on mobile interactive devices. Journal of Computer Security 18(6): 971-998 (2010)
56		David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin: Long-run cost analysis by approximation of linear operators over dioids. Mathematical Structures in Computer Science 20(4): 589-624 (2010)
	2009
55		Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie: Certified Static Analysis by Abstract Interpretation. FOSAD 2009: 223-257
54		Jan Midtgaard, Thomas P. Jensen: Control-flow analysis of function calls and returns by abstract interpretation. ICFP 2009: 287-298
	2008
53		David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin: Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. AMAST 2008: 122-138
52		Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin: Computing Stack Maps with Interfaces. ECOOP 2008: 642-666
51		Laurent Hubert, Thomas P. Jensen, David Pichardie: Semantic Foundations and Inference of Non-null Annotations. FMOODS 2008: 132-149
50		Benoît Boyer, Thomas Genet, Thomas P. Jensen: Certifying a Tree Automata Completion Checker. IJCAR 2008: 523-538
49		Jan Midtgaard, Thomas P. Jensen: A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. SAS 2008: 347-362
	2007
48		Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin: Small Witnesses for Abstract Interpretation-Based Proofs. ESOP 2007: 268-283
47		Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie: The MOBIUS Proof Carrying Code Infrastructure. FMCO 2007: 1-24
46		Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux: Rewriting Approximations for Fast Prototyping of Static Analyzers. RTA 2007: 48-62
	2006
45		Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt: Automata-Based Confidentiality Monitoring. ASIAN 2006: 75-89
44		Frédéric Besson, Guillaume Dufay, Thomas P. Jensen: A Formal Model of Access Control for Mobile Interactive Devices. ESORICS 2006: 110-126
43		Pascal 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)
42		Fré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
40		David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider: Certified Memory Usage Analysis. FM 2005: 91-106
39		Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen: Interfaces for stack inspection. J. Funct. Program. 15(2): 179-217 (2005)
38		David 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
37		David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a Data Flow Analyser in Constructive Logic. ESOP 2004: 385-400
36		Marieke 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
34		Frédéric Besson, Thomas P. Jensen: Modular Class Analysis with DATALOG. SAS 2003: 19-36
33		Fausto Spoto, Thomas P. Jensen: Class analyses as abstract interpretations of trace semantics. ACM Trans. Program. Lang. Syst. 25(5): 578-630 (2003)
32		Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie: A Java Card CAP converter in PVS. Electr. Notes Theor. Comput. Sci. 82(2): 426-442 (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
30		Marc É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
28		Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen: Secure calling contexts for stack inspection. PPDP 2002: 76-87
27		Thomas P. Jensen: Types in Program Analysis. The Essence of Computation 2002: 204-222
26		Ewen 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
23		Marc Éluard, Thomas P. Jensen, Ewen Denney: An Operational Semantics of the Java Card Firewall. E-smart 2001: 95-110
22		Thomas 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
20		Ewen Denney, Thomas P. Jensen: Correctness of Java Card Method Lookup via Logical Relations. ESOP 2000: 104-118
	1999
19		Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn: Verification of Control Flow based Security Properties. IEEE Symposium on Security and Privacy 1999: 89-103
18		Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin: Polyhedral Analysis for Synchronous Languages. SAS 1999: 51-68
	1998
17		Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn: Coarse Grained Java Security Policies. ECOOP Workshops 1998: 296
16		Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn: Security and Dynamic Class Loading in Java: A Formalization. ICCL 1998: 4-15
15		Thomas P. Jensen: Inference of Polymorphic and Conditional Strictness Properties. POPL 1998: 209-221
	1997
14		Thomas P. Jensen: Disjunctive Program Analysis for Algebraic Data Types. ACM Trans. Program. Lang. Syst. 19(5): 751-803 (1997)
	1996
13		Thomas 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
6		Eric 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
1		Thomas P. Jensen, Torben Æ. Mogensen: A Backwards Analysis for Compile-time Garbage Collection. ESOP 1990: 227-239

Coauthor Index

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

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page