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

Lennart Beringer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2007
15EELennart Beringer, Martin Hofmann: Secure information flow and program logics. CSF 2007: 233-248
14EELennart Beringer, Martin Hofmann, Mariela Pavlova: Certification Using the Mobius Base Logic. FMCO 2007: 25-51
13EENick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann: Relational semantics for effect-based program transformations with dynamic allocation. PPDP 2007: 87-96
12EELennart Beringer: Functional Elimination of Phi-instructions. Electr. Notes Theor. Comput. Sci. 176(3): 3-20 (2007)
11EEDavid Aspinall, Lennart Beringer, Alberto Momigliano: Optimisation Validation. Electr. Notes Theor. Comput. Sci. 176(3): 37-59 (2007)
10EEDavid Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A program logic for resources. Theor. Comput. Sci. 389(3): 411-445 (2007)
2006
9EENick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer: Reading, Writing and Relations. APLAS 2006: 114-130
8EELennart Beringer, Martin Hofmann: A Bytecode Logic for JML and Types. APLAS 2006: 389-405
7EEGilles 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
5EELennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska: Automatic Certification of Heap Consumption. LPAR 2004: 347-362
4EEDavid Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A Program Logic for Resource Verification. TPHOLs 2004: 34-49
2003
3EELennart Beringer: A Programming Language Based Analysis of Operand Forwarding. CHARME 2003: 270-276
2EELennart Beringer, Kenneth MacKenzie, Ian Stark: Grail: a functional form for imperative mobile code. Electr. Notes Theor. Comput. Sci. 85(1): (2003)
2001
1EELennart Beringer: Typing Assembly Programs with Explicit Forwarding. TACS 2001: 514-534

Coauthor Index

1David Aspinall [4] [6] [10] [11]
2Gilles Barthe [7]
3Nick Benton (P. N. Benton) [9] [13]
4Pierre Crégut [7]
5Stephen Gilmore (Stephen T. Gilmore) [6]
6Benjamin Grégoire [7]
7Martin Hofmann [4] [5] [6] [7] [8] [9] [10] [13] [14] [15]
8Andrew Kennedy [9] [13]
9Hans-Wolfgang Loidl [4] [6] [10]
10Kenneth MacKenzie [2] [6]
11Alberto Momigliano [4] [5] [6] [10] [11]
12Peter Müller [7]
13Mariela Pavlova [14]
14Erik Poll [7]
15Germán Puebla (German Puebla) [7]
16Donald Sannella [6]
17Olha Shkaravska [5] [6]
18Ian Stark [2] [6] [7]
19Eric Vétillard [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)