Kai Engelhardt

	2009
16		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: 207-220
	2008
15		Kai Engelhardt, Yoram Moses: Single-bit messages are insufficient for data link over duplicating channels. Inf. Process. Lett. 107(6): 235-239 (2008)
	2007
14		Kai Engelhardt, Peter Gammie, Ron van der Meyden: Model Checking Knowledge and Linear Time: PSPACE Cases. LFCS 2007: 195-211
13		Kai Engelhardt, Yoram Moses: Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels CoRR abs/cs/0701064: (2007)
	2005
12		Kai Engelhardt, Yoram Moses: Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. DISC 2005: 229-243
11		Kai Engelhardt, Yoram Moses: Single-Bit Messages Are Insufficient in the Presence of Duplication. IWDC 2005: 25-31
10		Kai Engelhardt, Yoram Moses: Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. IWDC 2005: 32-44
	2002
9		Kai Engelhardt, Ron van der Meyden, Kaile Su: Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. Advances in Modal Logic 2002: 9-30
8		Kai Engelhardt: Towards a refinement theory that supports reasoning about knowledge and time for multiple agents. Electr. Notes Theor. Comput. Sci. 70(3): (2002)
	2001
7		Kai Engelhardt, Ron van der Meyden, Yoram Moses: A Refinement Theory that Supports Reasoning About Knowledge and Time. LPAR 2001: 125-141
	2000
6		Kai Engelhardt, Ron van der Meyden, Yoram Moses: A Program Refinement Framework Supporting Reasoning about Knowledge and Time. FoSSaCS 2000: 114-129
	1998
5		Willem P. de Roever, Kai Engelhardt: Data Refinement: Model-oriented Proof Theories and their Comparison Cambridge University Press 1998
4		Kai Engelhardt, Ron van der Meyden, Yoram Moses: Knowledge and the Logic of Local Propositions. TARK 1998: 29-41
	1996
3		Kai Engelhardt, Willem P. de Roever: Simulation of Specification Statements in Hoare Logic. MFCS 1996: 324-335
	1995
2		Kai Engelhardt, Willem P. de Roever: Towards a Practitioners' Approach to Abadi and Lamport's Method. Formal Asp. Comput. 7(5): 550-575 (1995)
	1993
1		Kai Engelhardt, Willem P. de Roever: Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. FME 1993: 294-313

Coauthor Index

1	June Andronick	[16]
2	David Cock	[16]
3	Philip Derrin	[16]
4	Dhammika Elkaduwe	[16]
5	Kevin Elphinstone	[16]
6	Peter Gammie	[14]
7	Gernot Heiser	[16]
8	Gerwin Klein	[16]
9	Rafal Kolanski	[16]
10	Ron van der Meyden	[4] [6] [7] [9] [14]
11	Yoram Moses	[4] [6] [7] [10] [11] [12] [13] [15]
12	Michael Norrish	[16]
13	Willem P. de Roever	[1] [2] [3] [5]
14	Thomas Sewell	[16]
15	Kaile Su	[9]
16	Harvey Tuch	[16]
17	Simon Winwood	[16]

Colors in the list of coauthors