Search the dblp DataBase
Kai Engelhardt :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Kai Engelhardt , Ron van der Meyden , Kaile Su Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2002, pp:9-30 [Conf ] Kai Engelhardt , Willem P. de Roever Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. [Citation Graph (0, 0)][DBLP ] FME, 1993, pp:294-313 [Conf ] Kai Engelhardt , Ron van der Meyden , Yoram Moses A Program Refinement Framework Supporting Reasoning about Knowledge and Time. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2000, pp:114-129 [Conf ] Kai Engelhardt , Yoram Moses Single-Bit Messages Are Insufficient in the Presence of Duplication. [Citation Graph (0, 0)][DBLP ] IWDC, 2005, pp:25-31 [Conf ] Kai Engelhardt , Yoram Moses Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. [Citation Graph (0, 0)][DBLP ] IWDC, 2005, pp:32-44 [Conf ] Kai Engelhardt , Ron van der Meyden , Yoram Moses A Refinement Theory that Supports Reasoning About Knowledge and Time. [Citation Graph (0, 0)][DBLP ] LPAR, 2001, pp:125-141 [Conf ] Kai Engelhardt , Willem P. de Roever Simulation of Specification Statements in Hoare Logic. [Citation Graph (0, 0)][DBLP ] MFCS, 1996, pp:324-335 [Conf ] Kai Engelhardt , Ron van der Meyden , Yoram Moses Knowledge and the Logic of Local Propositions. [Citation Graph (0, 0)][DBLP ] TARK, 1998, pp:29-41 [Conf ] Kai Engelhardt , Yoram Moses Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. [Citation Graph (0, 0)][DBLP ] DISC, 2005, pp:229-243 [Conf ] Kai Engelhardt Towards a refinement theory that supports reasoning about knowledge and time for multiple agents. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal ] Kai Engelhardt , Willem P. de Roever Towards a Practitioners' Approach to Abadi and Lamport's Method. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1995, v:7, n:5, pp:550-575 [Journal ] Kai Engelhardt , Peter Gammie , Ron van der Meyden Model Checking Knowledge and Linear Time: PSPACE Cases. [Citation Graph (0, 0)][DBLP ] LFCS, 2007, pp:195-211 [Conf ] Kai Engelhardt , Yoram Moses Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Smaller Abstractions for FOR ALL CTL* without Next. [Citation Graph (, )][DBLP ] seL4: formal verification of an OS kernel. [Citation Graph (, )][DBLP ] seL4: formal verification of an operating-system kernel. [Citation Graph (, )][DBLP ] Causing communication closure: safe program composition with reliable non-FIFO channels. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs