Gerwin Klein

Sitert av

	Alle	Siden 2020
Sitater	8125	2544
h-indeks	34	20
i10-indeks	79	39

600

300

150

450

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202548 44 69 70 110 183 244 340 288 356 412 482 496 577 564 549 590 506 491 496 522 475 53

Offentlig tilgang

Vis alle

30 artikler

0 artikler

tilgjengelige

ikke tilgjengelige

Basert på finansieringsmandater

Medforfattere

June AndronickCEO and co-founcer, ProofcraftVerifisert e-postadresse på proofcraft.systems
Gernot HeiserProfessor of Computer Science, University of New South WalesVerifisert e-postadresse på unsw.edu.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneVerifisert e-postadresse på unimelb.edu.au
Kevin ElphinstoneUniversity of New South WalesVerifisert e-postadresse på cse.unsw.edu.au
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerifisert e-postadresse på in.tum.de
Michael NorrishAustralian National UniversityVerifisert e-postadresse på anu.edu.au
David CockSenior Researcher, ETH ZurichVerifisert e-postadresse på cse.unsw.edu.au
Ihor KuzPrincipal OS Engineer, Kry10 LtdVerifisert e-postadresse på ikuz.org
Liam O'ConnorThe Australian National University and The University of EdinburghVerifisert e-postadresse på anu.edu.au
Gabriele KellerUtrecht UniversityVerifisert e-postadresse på uu.nl
Christine RizkallahSenior Lecturer at the University of MelbourneVerifisert e-postadresse på unimelb.edu.au
Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Verifisert e-postadresse på ce.pdn.ac.lk
Peter GammieANUVerifisert e-postadresse på anu.edu.au
Daniel MatichukPhD Graduate, UNSWVerifisert e-postadresse på unswalumni.com
Matthew FernandezIntel LabsVerifisert e-postadresse på intel.com
Kai Engelhardtn.a.Verifisert e-postadresse på acm.org
Yutaka NagashimaInstitute of Computer Science, the Czech Academy of SciencesVerifisert e-postadresse på cs.cas.cz
Mark StaplesData61, CSIROVerifisert e-postadresse på data61.csiro.au
David GreenawayNICTA and School of Computer Science, University of New South WalesVerifisert e-postadresse på cse.unsw.edu.au
R JefferyUNSWVerifisert e-postadresse på cse.unsw.edu.au

Følg

Gerwin Klein

Proofcraft and UNSW

Verifisert e-postadresse på unsw.edu.au - Startside

formal methods interactive theorem proving software verification semantics of programming languages Isabelle/HOL


Tittel Sorter etter sitater Sorter etter år Sorter etter tittel	Sitert av Sitert av	År
seL4: Formal Verification of an Operating-System Kernel SW Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David ... Communications of the ACM 53 (6), 107-115, 2010	2923*	2010
Comprehensive formal verification of an OS microkernel G Klein, J Andronick, K Elphinstone, T Murray, T Sewell, R Kolanski, ... ACM Transactions on Computer Systems (TOCS) 32 (1), 1-70, 2014	522	2014
A machine-checked model for a Java-like language, virtual machine, and compiler G Klein, T Nipkow ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (4), 619-695, 2006	371	2006
Concrete semantics: with Isabelle/HOL T Nipkow, G Klein Springer, 2014	310	2014
seL4: from general purpose to a proof of information flow enforcement T Murray, D Matichuk, M Brassil, P Gammie, T Bourke, S Seefried, ... 2013 IEEE Symposium on Security and Privacy, 415-429, 2013	298	2013
Types, bytes, and separation logic H Tuch, G Klein, M Norrish Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007	249	2007
Translation validation for a verified OS kernel TAL Sewell, MO Myreen, G Klein Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013	226	2013
Operating system verification—an overview G Klein Sadhana 34 (1), 27-69, 2009	194	2009
JFlex-The Fast Scanner Generator for Java G Klein, S Rowe, R Décamps URL: http://www. jflex. de, 2005	149*	2005
Verified bytecode verifiers G Klein, T Nipkow Theoretical Computer Science 298 (3), 583-626, 2003	144	2003
Towards trustworthy computing systems: taking microkernels to the next level G Heiser, K Elphinstone, I Kuz, G Klein, SM Petters ACM SIGOPS Operating Systems Review 41 (4), 3-11, 2007	140	2007
Cogent: Verifying high-assurance file system implementations S Amani, A Hixon, Z Chen, C Rizkallah, P Chubb, L O'Connor, J Beeren, ... ACM SIGARCH Computer Architecture News 44 (2), 175-188, 2016	136	2016
seL4 enforces integrity T Sewell, S Winwood, P Gammie, T Murray, J Andronick, G Klein International Conference on Interactive Theorem Proving, 325-340, 2011	122	2011
Secure microkernels, state monads and scalable refinement D Cock, G Klein, T Sewell Theorem Proving in Higher Order Logics: 21st International Conference …, 2008	118	2008
Verified protection model of the seL4 microkernel D Elkaduwe, G Klein, K Elphinstone Verified Software: Theories, Tools, Experiments: Second International …, 2008	90	2008
Don't sweat the small stuff: formal verification of C code without the pain D Greenaway, J Lim, J Andronick, G Klein ACM SIGPLAN Notices 49 (6), 429-439, 2014	89	2014
Bridging the gap: Automatic verified abstraction of C D Greenaway, J Andronick, G Klein Interactive Theorem Proving: Third International Conference, ITP 2012 …, 2012	89	2012
Noninterference for operating system kernels T Murray, D Matichuk, M Brassil, P Gammie, G Klein Certified Programs and Proofs: Second International Conference, CPP 2012 …, 2012	85	2012
Towards a Practical, Verified Kernel. K Elphinstone, G Klein, P Derrin, T Roscoe, G Heiser HotOS, 2007	70	2007
Verified lightweight bytecode verification G Klein, T Nipkow Concurrency and Computation: Practice and Experience 13 (13), 1133-1151, 2001	66	2001

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