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