ISABELLE 2014 PAPERS (UNREFEREED): AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index Additional files

Shortcuts: A B H K L N P R S T V W Z

A
Avigad, Jeremy	A formally verified proof of the Central Limit Theorem (PDF, talk)
B
Blanchette, Jasmin Christian	Primitively (Co)recursive Definitions for Isabelle/HOL (PDF, talk)
Blasum, Holger	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract) (PDF, talk)
H
Haftmann, Florian	Towards abstract and executable multivariate polynomials in Isabelle (PDF, talk)
Havle, Oto	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract) (PDF, talk)
Hölzl, Johannes	A formally verified proof of the Central Limit Theorem (PDF, talk)
K
Kunčar, Ondřej	From types to sets in Isabelle/HOL (PDF, talk)
L
Lammich, Peter	The CAVA Automata Library (PDF, talk)
Langenstein, Bruno	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract) (PDF, talk)
Lochbihler, Andreas	Towards abstract and executable multivariate polynomials in Isabelle (PDF, talk) Programming TLS in Isabelle/HOL (PDF, talk)
N
Nemouchi, Yakoub	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract) (PDF, talk)
Nipkow, Tobias	Amortized Complexity Verified (PDF, talk)
Noschinski, Lars	Towards Structured Proofs for Program Verification (Ongoing Work) (PDF, talk) Pattern-based Subterm Selection In Isabelle (PDF, talk)
P
Panny, Lorenz	Primitively (Co)recursive Definitions for Isabelle/HOL (PDF, talk)
Paulson, Lawrence	Proving Gödel’s Incompleteness Theorems (PDF, talk)
Popescu, Andrei	From types to sets in Isabelle/HOL (PDF, talk)
R
Rizkallah, Christine	A Simpl Shortest Path Checker Verification (PDF, talk)
S
Schmaltz, Julien	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract) (PDF, talk)
Schreiner, Wolfgang	Towards abstract and executable multivariate polynomials in Isabelle (PDF, talk)
Serafin, Luke	A formally verified proof of the Central Limit Theorem (PDF, talk)
Stephan, Werner	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract) (PDF, talk)
T
Traut, Christoph	Pattern-based Subterm Selection In Isabelle (PDF, talk)
Traytel, Dmitriy	Primitively (Co)recursive Definitions for Isabelle/HOL (PDF, talk)
Tverdyshev, Sergey	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract) (PDF, talk)
V
Verbeek, Freek	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract) (PDF, talk)
W
Wenzel, Makarius	Isabelle/jEdit NEWS (PDF, talk)
Wolff, Burkhart	Using Isabelle/HOL to Develop and Maintain Separation Invariants for an Operating System (Extended Abstract) (PDF, talk)
Z
Züst, Marc	Programming TLS in Isabelle/HOL (PDF, talk)