Lennart Beringer

	2012
24		Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino: A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow. POST 2012: 369-389
	2011
23		Lennart Beringer: Relational Decomposition. ITP 2011: 39-54
	2010
22		Lennart Beringer, Robert Grabowski, Martin Hofmann: Verifying Pointer and String Analyses with Region Type Systems. LPAR (Dakar) 2010: 82-102
21		Lennart Beringer: Relational bytecode correlations. J. Log. Algebr. Program. 79(7): 483-514 (2010)
	2009
20		Robert Grabowski, Lennart Beringer: Noninterference with Dynamic Security Domains and Policies. ASIAN 2009: 54-68
19		Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer: A Proof-Carrying-Code Infrastructure for Resources. LADC 2009: 127-134
18		Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations: higher-order store. PPDP 2009: 301-312
	2008
17		Lennart Beringer, Martin Hofmann: A Bytecode Logic for JML and Types. Archive of Formal Proofs 2008: (2008)
16		Lennart Beringer, Martin Hofmann: Secure information flow and program logics. Archive of Formal Proofs 2008: (2008)
	2007
15		Lennart Beringer, Martin Hofmann: Secure information flow and program logics. CSF 2007: 233-248
14		Lennart Beringer, Martin Hofmann, Mariela Pavlova: Certification Using the Mobius Base Logic. FMCO 2007: 25-51
13		Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations with dynamic allocation. PPDP 2007: 87-96
12		Lennart Beringer: Functional Elimination of Phi-instructions. Electr. Notes Theor. Comput. Sci. 176(3): 3-20 (2007)
11		David Aspinall, Lennart Beringer, Alberto Momigliano: Optimisation Validation. Electr. Notes Theor. Comput. Sci. 176(3): 37-59 (2007)
10		David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A program logic for resources. Theor. Comput. Sci. 389(3): 411-445 (2007)
	2006
9		Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer: Reading, Writing and Relations. APLAS 2006: 114-130
8		Lennart Beringer, Martin Hofmann: A Bytecode Logic for JML and Types. APLAS 2006: 389-405
7		Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard: MOBIUS: Mobility, Ubiquity, Security. TGC 2006: 10-29
	2005
6		Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska: Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming 2005: 211-226
	2004
5		Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska: Automatic Certification of Heap Consumption. LPAR 2004: 347-362
4		David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A Program Logic for Resource Verification. TPHOLs 2004: 34-49
	2003
3		Lennart Beringer: A Programming Language Based Analysis of Operand Forwarding. CHARME 2003: 270-276
2		Lennart Beringer, Kenneth MacKenzie, Ian Stark: Grail: a functional form for imperative mobile code. Electr. Notes Theor. Comput. Sci. 85(1): 3-23 (2003)
	2001
1		Lennart Beringer: Typing Assembly Programs with Explicit Forwarding. TACS 2001: 514-534

Coauthor Index

1	Torben Amtoft (Torben Amtoft Hansen)	[24]
2	Andrew Appel	[24]
3	David Aspinall	[4] [6] [10] [11]
4	Gilles Barthe	[7]
5	Nick Benton (P. N. Benton)	[9] [13] [18]
6	Andrew Cousino	[24]
7	Pierre Crégut	[7]
8	Josiah Dodds	[24]
9	Stephen Gilmore (Stephen T. Gilmore)	[6]
10	Robert Grabowski	[20] [22]
11	Benjamin Grégoire	[7]
12	John Hatcliff	[24]
13	Martin Hofmann	[4] [5] [6] [7] [8] [9] [10] [13] [14] [15] [16] [17] [18] [22]
14	Steffen Jost	[19]
15	Andrew Kennedy	[9] [13] [18]
16	Hans-Wolfgang Loidl	[4] [6] [10] [19]
17	Kenneth MacKenzie	[2] [6] [19]
18	Alberto Momigliano	[4] [5] [6] [10] [11]
19	Peter Müller	[7]
20	Xinming Ou	[24]
21	Mariela Pavlova	[14]
22	Erik Poll	[7]
23	Germán Puebla (German Puebla)	[7]
24	Donald Sannella	[6]
25	Olha Shkaravska	[5] [6]
26	Ian Stark	[2] [6] [7]
27	Eric Vétillard	[7]
28	Zhi Zhang	[24]

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