| 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 |
| scientific article; zbMATH DE number 7699449 (Why is no real title available?) | 2023-06-20 | Paper |
Abstraction and subsumption in modular verification of C programs
Formal Methods in System Design | 2022-06-20 | Paper |
| Verified software units | 2021-10-18 | Paper |
VST-Floyd: a separation logic tool to verify correctness of C programs
Journal of Automated Reasoning | 2018-08-21 | Paper |
Compositional CompCert
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Program logics for certified compilers | 2014-07-28 | Paper |
Verified heap theorem prover by paramodulation
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
Verifying pointer and string analyses with region type systems
Computer Languages, Systems & Structures | 2014-06-16 | Paper |
Verified Compilation for Shared-Memory C
Programming Languages and Systems | 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
Lecture Notes in Computer Science | 2012-06-29 | Paper |
Relational decomposition
Interactive Theorem Proving | 2011-08-17 | Paper |
Verifying pointer and string analyses with region type systems
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
Relational bytecode correlations
The Journal of Logic and Algebraic Programming | 2010-10-22 | Paper |
Noninterference with dynamic security domains and policies
Advances in Computer Science - ASIAN 2009. Information Security and Privacy | 2010-01-14 | Paper |
Certification Using the Mobius Base Logic
Formal Methods for Components and Objects | 2009-02-12 | Paper |
Reading, Writing and Relations
Programming Languages and Systems | 2008-05-06 | Paper |
A Bytecode Logic for JML and Types
Programming Languages and Systems | 2008-05-06 | Paper |
A program logic for resources
Theoretical Computer Science | 2007-12-14 | Paper |
| scientific article; zbMATH DE number 2242604 (Why is no real title available?) | 2006-01-02 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science | 2005-08-18 | Paper |
