|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Ralf Huuck |
Smaller Abstractions for FOR ALL CTL* without Next. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Yoram Moses |
Causing communication closure: safe program composition with reliable non-FIFO channels. |
Distributed Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
l4, sel4, microkernel, isabelle/hol |
| 1 | Kai Engelhardt, Yoram Moses |
Single-bit messages are insufficient for data link over duplicating channels. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Yoram Moses |
Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Kai Engelhardt, Peter Gammie, Ron van der Meyden |
Model Checking Knowledge and Linear Time: PSPACE Cases. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Yoram Moses |
Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels. |
IWDC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Yoram Moses |
Single-Bit Messages Are Insufficient in the Presence of Duplication. |
IWDC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Yoram Moses |
Causing Communication Closure: Safe Program Composition with Non-FIFO Channels. |
DISC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt |
Towards a refinement theory that supports reasoning about knowledge and time for multiple agents. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Ron van der Meyden, Kaile Su |
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. |
Advances in Modal Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
A Refinement Theory that Supports Reasoning About Knowledge and Time. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
A Program Refinement Framework Supporting Reasoning about Knowledge and Time. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem P. de Roever, Kai Engelhardt |
Data Refinement: Model-oriented Proof Theories and their Comparison |
|
1998 |
RDF |
|
| 1 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
Knowledge and the Logic of Local Propositions. |
TARK |
1998 |
DBLP BibTeX RDF |
|
| 1 | Kai Engelhardt, Willem P. de Roever |
Simulation of Specification Statements in Hoare Logic. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Willem P. de Roever |
Towards a Practitioners' Approach to Abadi and Lamport's Method. |
Formal Asp. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Engelhardt, Willem P. de Roever |
Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")