Lennart Beringer

Available identifiers

zbMath Open beringer.lennartMaRDI QIDQ710671

List of research outcomes

Publication	Date of Publication	Type
Foundational verification of stateful P4 packet processing	2024-11-26	Paper
Abstraction and subsumption in modular verification of C programs	2024-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q6099631	2023-06-20	Paper
Abstraction and subsumption in modular verification of C programs	2022-06-20	Paper
Verified software units	2021-10-18	Paper
VST-Floyd: a separation logic tool to verify correctness of C programs	2018-08-21	Paper
Compositional CompCert	2016-09-29	Paper
Program Logics for Certified Compilers	2014-07-28	Paper
Verified heap theorem prover by paramodulation	2014-07-21	Paper
Verifying pointer and string analyses with region type systems	2014-06-16	Paper
Verified Compilation for Shared-Memory C	2014-04-16	Paper
Grail: a functional form for imperative mobile code	2013-08-27	Paper
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow	2012-06-29	Paper
Relational Decomposition	2011-08-17	Paper
Verifying Pointer and String Analyses with Region Type Systems	2011-01-07	Paper
Relational bytecode correlations	2010-10-22	Paper
Noninterference with dynamic security domains and policies	2010-01-14	Paper
Certification Using the Mobius Base Logic	2009-02-12	Paper
Reading, Writing and Relations	2008-05-06	Paper
A Bytecode Logic for JML and Types	2008-05-06	Paper
A program logic for resources	2007-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q5714457	2006-01-02	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper

Research outcomes over time

This page was built for person: Lennart Beringer