Frédéric Besson

	2011
17		Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie: Modular SMT Proofs for Fast Reflexive Checking Inside Coq. CPP 2011: 151-166
	2010
16		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
15		Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin: Certified Result Checking for Polyhedral Analysis of Bytecode Programs. TGC 2010: 253-267
14		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)
13		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)
	2009
12		Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie: Certified Static Analysis by Abstract Interpretation. FOSAD 2009: 223-257
	2008
11		Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin: Computing Stack Maps with Interfaces. ECOOP 2008: 642-666
	2007
10		Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin: Small Witnesses for Abstract Interpretation-Based Proofs. ESOP 2007: 268-283
	2006
9		Frédéric Besson, Guillaume Dufay, Thomas P. Jensen: A Formal Model of Access Control for Mobile Interactive Devices. ESORICS 2006: 110-126
8		Frédéric Besson: Fast Reflexive Arithmetic Tactics the Linear Case and Beyond. TYPES 2006: 48-62
7		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
6		Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen: Interfaces for stack inspection. J. Funct. Program. 15(2): 179-217 (2005)
	2004
5		Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andrew D. Gordon: From Stack Inspection to Access Control: A Security Analysis for Libraries. CSFW 2004: 61-
	2003
4		Frédéric Besson, Thomas P. Jensen: Modular Class Analysis with DATALOG. SAS 2003: 19-36
	2002
3		Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen: Secure calling contexts for stack inspection. PPDP 2002: 76-87
	2001
2		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)
	1999
1		Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin: Polyhedral Analysis for Synchronous Languages. SAS 1999: 51-68

Coauthor Index

1	Nicolas Barré	[14] [16]
2	Tomasz Blanc	[5]
3	David Cachera	[12]
4	Pierre-Emmanuel Cornilleau	[17]
5	Delphine Demange	[14] [16]
6	Guillaume Dufay	[9] [13]
7	Cédric Fournet	[5]
8	Andrew D. Gordon (Andy Gordon)	[5]
9	Laurent Hubert	[14] [16]
10	Thomas P. Jensen	[1] [2] [3] [4] [6] [7] [9] [10] [11] [12] [13] [14] [15] [16]
11	Thomas de Grenier de Latour	[3] [6]
12	Daniel Le Métayer	[2]
13	Vincent Monfort	[14] [16]
14	David Pichardie	[7] [12] [13] [14] [15] [16] [17]
15	Jean-Pierre Talpin	[1]
16	Tiphaine Turpin	[10] [11] [14] [15] [16]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page