Kai Engelhardt

Sitert av

	Alle	Siden 2020
Sitater	3823	1070
h-indeks	10	4
i10-indeks	10	4

260

130

195

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202534 25 34 43 47 62 44 45 52 82 180 173 209 230 213 235 240 239 245 245 201 210 210 207 215 27

Offentlig tilgang

Vis alle

1 artikkel

0 artikler

tilgjengelige

ikke tilgjengelige

Basert på finansieringsmandater

Medforfattere

Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerifisert e-postadresse på cse.unsw.edu.au
Yoram MosesTechnionVerifisert e-postadresse på ee.technion.ac.il
Gerwin KleinProofcraft and UNSWVerifisert e-postadresse på unsw.edu.au
Gernot HeiserProfessor of Computer Science, University of New South WalesVerifisert e-postadresse på unsw.edu.au
Michael NorrishAustralian National UniversityVerifisert e-postadresse på anu.edu.au
Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verifisert e-postadresse på ce.pdn.ac.lk
Kevin ElphinstoneUniversity of New South WalesVerifisert e-postadresse på cse.unsw.edu.au
June AndronickCEO and co-founcer, ProofcraftVerifisert e-postadresse på proofcraft.systems
David CockSenior Researcher, ETH ZurichVerifisert e-postadresse på cse.unsw.edu.au
Peter GammieANUVerifisert e-postadresse på anu.edu.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerifisert e-postadresse på unimelb.edu.au
Rob SisonSchool of Computer Science and Engineering, UNSW SydneyVerifisert e-postadresse på unsw.edu.au
Kaile SuIIIS, Griffith UniversityVerifisert e-postadresse på griffith.edu.au
Tony HoskingAustralian National UniversityVerifisert e-postadresse på anu.edu.au
Chenyi ZhangOracle Labs AustraliaVerifisert e-postadresse på oracle.com
Ralf HuuckNICTA, UNSWVerifisert e-postadresse på cse.unsw.edu.au

Følg

Kai Engelhardt

n.a.

Verifisert e-postadresse på acm.org

concurrency verification autonomy synchronous languages security


Tittel Sorter etter sitater Sorter etter år Sorter etter tittel	Sitert av Sitert av	År
seL4: Formal verification of an OS kernel G Klein, K Elphinstone, G Heiser, J Andronick, D Cock, P Derrin, ... Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009	2921	2009
Data Refinement: Model-oriented proof methods and their comparison WP de Roever, K Engelhardt Cambridge University Press, 1998	606	1998
Knowledge and the logic of local propositions K Engelhardt, R van der Meyden, Y Moses Proceedings of the 7th conference on Theoretical aspects of rationality and …, 1998	75	1998
COVERN: A logic for compositional verification of information flow control T Murray, R Sison, K Engelhardt 2018 IEEE European Symposium on Security and Privacy (EuroS&P), 16-30, 2018	48	2018
Relaxing safely: verified on-the-fly garbage collection for x86-TSO P Gammie, AL Hosking, K Engelhardt ACM SIGPLAN Notices 50 (6), 99-109, 2015	37	2015
Model checking knowledge and linear time: PSPACE cases K Engelhardt, P Gammie, R Van Der Meyden Logical Foundations of Computer Science: International Symposium, LFCS 2007 …, 2007	20	2007
A refinement theory that supports reasoning about knowledge and time for synchronous agents K Engelhardt, R van der Meyden, Y Moses International Conference on Logic for Programming Artificial Intelligence …, 2001	17	2001
A program refinement framework supporting reasoning about knowledge and time K Engelhardt, R van der Meyden, Y Moses Foundations of Software Science and Computation Structures, 114-129, 2000	17	2000
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers (Preliminary Report) K Engelhardt, R van der Meyden, K Su	17*
Intransitive noninterference in nondeterministic systems K Engelhardt, R Van Der Meyden, C Zhang Proceedings of the 2012 ACM conference on Computer and communications …, 2012	16	2012
Generalizing Abadi & Lamport's method to solve a problem posed by A. Pnueli K Engelhardt, WP de Roever International Symposium of Formal Methods Europe, 294-313, 1993	9	1993
Safe composition of distributed programs communicating over order-preserving imperfect channels K Engelhardt, Y Moses International Workshop on Distributed Computing, 32-44, 2005	8	2005
Single-bit messages are insufficient in the presence of duplication K Engelhardt, Y Moses International Workshop on Distributed Computing, 25-31, 2005	6	2005
Model-oriented data refinement K Engelhardt Christian-Albrechts-Universität zu Kiel, 1997	6	1997
Simulation of specification statements in Hoare logic K Engelhardt, WP de Roever International Symposium on Mathematical Foundations of Computer Science, 324-335, 1996	6	1996
Causing communication closure: safe program composition with reliable non-FIFO channels K Engelhardt, Y Moses Distributed Computing 22 (2), 73-91, 2009	3	2009
Causing communication closure: Safe program composition with non-FIFO channels K Engelhardt, Y Moses International Symposium on Distributed Computing, 229-243, 2005	3	2005
A better composition operator for quantitative information flow analyses K Engelhardt European Symposium on Research in Computer Security, 446-463, 2017	2	2017
Knowledge and the logic of local propositions R van der Meyden, K Engelhardt, Y Moses Theoretical Aspects of Rationality and Knowledge, Proc. of TARK, 1998	2	1998
Towards a practitioners' approach to Abadi and Lamport's method K Engelhardt, WP de Roever Formal aspects of computing 7, 550-575, 1995	2	1995

Systemet kan ikke utføre handlingen. Prøv på nytt senere.

Artikler 1–20

Sitater per år

Duplikatsitater

Sammenslåtte sitater

Legg til medforfattereMedforfattere

Følg

Sitert av

Medforfattere