Peter Lammich
2021
CoCon: A Confidentiality-Verified Conference Management System
by Andrei Popescu, Peter Lammich and Thomas Bauereiss
2020
AI Planning Languages Semantics
by Mohammad Abdulaziz and Peter Lammich
2019
VerifyThis 2019 -- Polished Isabelle Solutions
by Peter Lammich and Simon Wimmer
Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra
by Peter Lammich and Tobias Nipkow
Kruskal's Algorithm for Minimum Spanning Forest
by Maximilian P. L. Haslbeck, Peter Lammich and Julian Biendarra
IMP2 – Simple Program Verification in Isabelle/HOL
by Peter Lammich and Simon Wimmer
2018
VerifyThis 2018 - Polished Isabelle Solutions
by Peter Lammich and Simon Wimmer
2017
The string search algorithm by Knuth, Morris and Pratt
by Fabian Hellauer and Peter Lammich
Formalizing Push-Relabel Algorithms
by Peter Lammich and S. Reza Sefidgar
Flow Networks and the Min-Cut-Max-Flow Theorem
by Peter Lammich and S. Reza Sefidgar
The Floyd-Warshall Algorithm for Shortest Paths
by Simon Wimmer and Peter Lammich
2016
Formalizing the Edmonds-Karp Algorithm
by Peter Lammich and S. Reza Sefidgar
A Framework for Verifying Depth-First Search Algorithms
by Peter Lammich and René Neumann
Algorithms for Reduced Ordered Binary Decision Diagrams
by Julius Michaelis, Maximilian P. L. Haslbeck, Peter Lammich and Lars Hupel
2014
Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm
by Peter Lammich
Converting Linear-Time Temporal Logic to Generalized Büchi Automata
by Alexander Schimpf and Peter Lammich
A Fully Verified Executable LTL Model Checker
by Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf and Jan-Georg Smaus
Bounded-Deducibility Security
by Andrei Popescu, Peter Lammich and Thomas Bauereiss
A shallow embedding of HyperCTL*
by Markus N. Rabe, Peter Lammich and Andrei Popescu
2013
2012
A Separation Logic Framework for Imperative HOL
by Peter Lammich and Rene Meis
Dijkstra's Shortest Path Algorithm
by Benedikt Nordhoff and Peter Lammich
2010
Finger Trees
by Benedikt Nordhoff, Stefan Körner and Peter Lammich
Binomial Heaps and Skew Binomial Heaps
by Rene Meis, Finn Nielsen and Peter Lammich
2009
2007
Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors
by Peter Lammich and Markus Müller-Olm