Kai Engelhardt

	2010
19		Kai Engelhardt, Ralf Huuck: Smaller Abstractions for FOR ALL CTL* without Next. Concurrency, Compositionality, and Correctness 2010: 250-259
18		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): 107-115 (2010)
	2009
17		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
16		Kai Engelhardt, Yoram Moses: Causing communication closure: safe program composition with reliable non-FIFO channels. Distributed Computing 22(2): 73-91 (2009)
	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): 178 (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	[17] [18]
2	David Cock	[17] [18]
3	Philip Derrin	[17] [18]
4	Dhammika Elkaduwe	[17] [18]
5	Kevin Elphinstone	[17] [18]
6	Peter Gammie	[14]
7	Gernot Heiser	[17] [18]
8	Ralf Huuck	[19]
9	Gerwin Klein	[17] [18]
10	Rafal Kolanski	[17] [18]
11	Ron van der Meyden	[4] [6] [7] [9] [14]
12	Yoram Moses	[4] [6] [7] [10] [11] [12] [13] [15] [16]
13	Michael Norrish	[17] [18]
14	Willem P. de Roever (Willem-Paul de Roever)	[1] [2] [3] [5]
15	Thomas Sewell	[17] [18]
16	Kaile Su	[9]
17	Harvey Tuch	[17] [18]
18	Simon Winwood	[17] [18]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page