Select Publications

by Dr Kai Engelhardt

Books

de Roever W-P; Engelhardt K, 2009, Data Refinement: Model-Oriented Proof Methods and their Comparison, Paperback, Cambridge University Press, Cambridge, UK, http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521103503

Book Chapters

Engelhardt K; Huuck R, 2010, 'Smaller abstractions for ∀CTL* without Next', in Dams D; Hannemann U; Steffen M (ed.), Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever, Springer-Verlag, Berlin/Heidelberg, pp. 250 - 259

Journal articles

Klein G; Andronick J; Elphinstone KJ; Heiser GA; Cock D; Philip D; Elkaduwe D; Engelhardt K; Kolanski R; Norrish M; Sewell T; Tuch H; Winwood S, 2010, 'seL4: formal verification of an operating-system kernel', Communications of the ACM, vol. 53, no. 6, pp. 107 - 115, http://dx.doi.org/10.1145/1743546.1743574

Engelhardt K; Moses Y, 2009, ' Causing communication closure: safe program composition with reliable non-FIFO channels', Distributed Computing, vol. 22, no. 2, pp. 73 - 91, http://dx.doi.org/10.1007/s00446-009-0081-9

Engelhardt K; Moses Y, 2008, ' Single-bit messages are insufficient for data link over duplicating channels', Information Processing Letters, vol. 107, no. 6, pp. 235 - 239, http://dx.doi.org/10.1016/j.ipl.2008.03.010

Conference Papers

Engelhardt K; Van Der Meyden R; Zhang C, 2012, 'Intransitive noninterference in nondeterministic systems', in ACM Conference on Computer and Communications Security, ACM, pp. 869 - 880, presented at 19th ACM Conference on Computer and Communications Security, Raleigh, NC, USA, 16 - 18 October 2012, http://dx.doi.org/10.1145/2382196.2382288

Klein G; Elphinstone K; Heiser G; Andronick J; Cock D; Derrin P; Elkaduwe D; Engelhardt K; Kolanski R; Norrish M; Sewell T; Tuch H; Winwood S, 2009, 'seL4: formal verification of an OS kernel', in Proceedings of SOSP`09, ACM, New York, NY, USA, presented at SOSP, Big Sky, Montana, USA, 11 - 14 October 2009, http://dx.doi.org/10.1145/1629575.1629596

Van Der Meyden R; Engelhardt K; Gammie PR, 2007, 'Model checking knowledge and linear-time PSPACE cases', in Logical Foundations of Computer Science, International Symposium, LFCS 2007, volume 4514 of LNCS, Springer-Verlag, presented at Logical foundations of computer science, New York, USA, 4 - 7 June 2007

Engelhardt K; Moses Y, 2005, 'Safe composition of distributed programs communicating over order-preserving imperfect channels', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, presented at 7th International Workshop on Distributed Computing IWDC 2005, Kharagpur, India, 27 December 2005, http://dx.doi.org/10.1007/11603771_4

Engelhardt K; Moses Y, 2005, 'Single-bit messages are insufficient in the presence of duplication', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, presented at 7th International Workshop on Distributed Computing IWDC 2005, Kharagpur, India, 27 December 2005, http://dx.doi.org/10.1007/11603771_3

Engelhardt K; Moses Y, 2005, 'Causing communication closure: Safe program composition with non-FIFO channels', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, presented at Distributed Computing, Cracow, Poland, 26 - 29 September 2005, http://dx.doi.org/10.1007/11561927_18

Engelhardt K, 2002, 'Towards a Refinement Theory that Supports Reasoning about Knowledge and Time for Multiple Agents (Work in Progress)', in REFINE 2002, presented at REFINE `02, Copenhagen, Denmark, 20 - 21 July 2002

Engelhardt K; Van Der Meyden R, 2002, 'Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers (Preliminary Version)', in Advances in Modal Logic 2002 (AiML), presented at Advances in Modal Logic 2002 (AiML), Toulouse France, 2 September 2002

Engelhardt K; Van Der Meyden R; Moses Y, 2001, 'A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agen', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, presented at Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, 3 - 7 December 2001, http://dx.doi.org/10.1007/3-540-45653-8_9

Engelhardt K; Van Der Meyden R; Moses Y; Moses Y, 2000, 'A Program Refinement Framework Supporting Reasoning about Knowledge and Time', in Foundations of Software Science and Computation Structures, volume 1784 of LNCS, Springer-Verlag, presented at Foundations of Software Science and Computation Structures, Berlin, Germany, 25 March - 2 April 2000, http://dx.doi.org/10.1007/3-540-46432-8_8

Conference Presentations

Engelhardt K, 2010, 'A note on noninterference in the presence of colluding adversaries (preliminary report)', in , presented at , 1 January 2010


Back to profile page