Gerwin Klein - Publications, H-index & Citations

Back

Gerwin Klein

university of new south wales sydney

29H-index

161Paper Count

5.4KCitation Count

Published Papers 6

Publication Date

A Rely-Guarantee-Based Simulation for Cooperative Semantics

THEORETICAL ASPECTS OF COMPUTING-ICTAC 2025

IF0

2026-01-01

PREAI

Tran, Kevin; Pohjola, Johannes Aman; Sison, Rob; Klein, Gerwin

Save

seL4 in Australia: From Research to Real-World Trustworthy Systems

COMMUNICATIONS OF THE ACM

IF12.2

2020-03-20

OAAI

Heiser, Gernot; Klein, Gerwin; Andronick, June

Save

Formally Verified Software in the Real World

COMMUNICATIONS OF THE ACM

IF12.2

2018-09-26

OAAI

Klein, Gerwin; Andronick, June; Fernandez, Matthew; Kuz, Ihor; Murray, Toby; Heiser, Gernot

Save

Provably trustworthy systems

PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES

IF3.7

2017-09-04

OAAI

Klein, Gerwin; Andronick, June; Keller, Gabriele; Matichuk, Daniel; Murray, Toby; O'Connor, Liam

Save

An empirical research agenda for understanding formal methods productivity

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2015-04-01

PREAI

Jeffery, Ross; Staples, Mark; Andronick, June; Klein, Gerwin; Murray, Toby

Save

seL4: Formal Verification of an Operating-System Kernel

COMMUNICATIONS OF THE ACM

IF12.2

2010-06-01

161

PREAI

Klein, Gerwin; Andronick, June; Elphinstone, Kevin; Heiser, Gernot; Cock, David; Derrin, Philip; Elkaduwe, Dhammika; Engelhardt, Kai; Kolanski, Rafal; Norrish, Michael; Sewell, Thomas; Tuch, Harvey; Winwood, Simon

Save

Research Directions