Searching for authors named "Lennart Beringer" – sorted by Relevance.
-
Towards Certificate Generation for Linear Heap Consumption
- Towards certificate generation for linear heap consumption Lennart Beringer 1 , Martin Hofmann 2
- Cited by 2 (2 self) – Add To MetaCart
-
Grail: A Functional Form for Imperative Mobile Code
- ://www.elsevier.nl/locate/entcs/volume85.html 21 pages Grail: a functional form for imperative mobile code Abstract Lennart Beringer 1
- Cited by 24 (11 self) – Add To MetaCart
-
Automatic Certification of Heap Consumption
- Automatic Certification of Heap Consumption Lennart Beringer 1 , Martin Hofmann 2 , Alberto
- Cited by 12 (4 self) – Add To MetaCart
-
A Program Logic for Resource Verification
- A Program Logic for Resource Verification David Aspinall 1 , Lennart Beringer 1 , Martin Hofmann 2
- Cited by 17 (10 self) – Add To MetaCart
-
Mobius: Mobility, ubiquity, security: Objectives and progress report
- MOBIUS: Mobility, Ubiquity, Security ⋆ Objectives and progress report Gilles Barthe 1 , Lennart
- Cited by 2 (2 self) – Add To MetaCart

