Kai Engelhardt

Publication Activity (10 Years)

Years Active: 1993-2018
Publications (10 Years): 4

Top Venues

EuroS&P

PLDI

Arch. Formal Proofs

CCS

University of Kiel (PHD)

Education History

University of Kiel

PHD

Publications

Toby C. Murray, Robert Sison, Kai Engelhardt
COVERN: A Logic for Compositional Verification of Information Flow Control. EuroS&P (2018)
Kai Engelhardt
A Better Composition Operator for Quantitative Information Flow Analyses. ESORICS (1) (2017)
Peter Gammie, Antony L. Hosking, Kai Engelhardt
Relaxing safely: verified on-the-fly garbage collection for x86-TSO. PLDI (2015)
Peter Gammie, Tony Hosking, Kai Engelhardt
Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO. Arch. Formal Proofs 2015 (2015)
Kai Engelhardt, Ron van der Meyden, Chenyi Zhang
Intransitive noninterference in nondeterministic systems. CCS (2012)
Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
seL4: formal verification of an operating-system kernel. Commun. ACM 53 (6) (2010)
Kai Engelhardt, Ralf Huuck
Smaller Abstractions for FOR ALL CTL* without Next. Concurrency, Compositionality, and Correctness (2010)
Kai Engelhardt, Yoram Moses
Causing communication closure: safe program composition with reliable non-FIFO channels. Distributed Comput. 22 (2) (2009)
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
seL4: formal verification of an OS kernel. SOSP (2009)
Kai Engelhardt, Yoram Moses
Single-bit messages are insufficient for data link over duplicating channels. Inf. Process. Lett. 107 (6) (2008)
Kai Engelhardt, Peter Gammie, Ron van der Meyden
Model Checking Knowledge and Linear Time: PSPACE Cases. LFCS (2007)
Kai Engelhardt, Yoram Moses
Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels CoRR (2007)
Kai Engelhardt, Yoram Moses
Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. IWDC (2005)
Kai Engelhardt, Yoram Moses
Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. DISC (2005)
Kai Engelhardt, Yoram Moses
Single-Bit Messages Are Insufficient in the Presence of Duplication. IWDC (2005)
Kai Engelhardt
Towards a refinement theory that supports reasoning about knowledge and time for multiple agents. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Kai Engelhardt, Ron van der Meyden, Kaile Su
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. Advances in Modal Logic (2002)
Kai Engelhardt, Ron van der Meyden, Yoram Moses
A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR (2001)
Kai Engelhardt, Ron van der Meyden, Yoram Moses
A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS (2000)
Kai Engelhardt, Ron van der Meyden, Yoram Moses
Knowledge and the Logic of Local Propositions. TARK (1998)
Kai Engelhardt, Willem P. de Roever
Simulation of Specification Statements in Hoare Logic. MFCS (1996)
Kai Engelhardt, Willem P. de Roever
Towards a Practitioners' Approach to Abadi and Lamport's Method. Formal Aspects Comput. 7 (5) (1995)
Kai Engelhardt, Willem P. de Roever
Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. FME (1993)

Kai Engelhardt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kai Engelhardt