Concepedia

Thomas Sewell

TS

Statistics

Publications

14

Citations

2.5K

H-Index

13

Active since

2009

Affiliations

UNSW Sydney(Current)

Data61

University of Cambridge

The University of Melbourne

Chalmers University of Technology

Thomas Sewell is an author at UNSW Sydney specializing in formal verification, software analysis, and program analysis.

Top concepts

EngineeringProgram AnalysisSoftware AnalysisFormal VerificationVerificationFormal MethodsSystem SoftwareComputer ScienceComputer EngineeringSoftware Verification

Publications per year

2009–2023

14

Publications

14

seL4

Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.5K citations

Engineering, Hardware Verification Language, Verification +18

Comprehensive formal verification of an OS microkernel

Gerwin Klein, June Andronick, Kevin Elphinstone et al. · ACM Transactions on Computer Systems · 2014 · 329 citations

Engineering, Hardware Verification Language, Verification +17

seL4

Gerwin Klein, June Andronick, Kevin Elphinstone et al. · Communications of the ACM · 2010 · 294 citations

Translation validation for a verified OS kernel

Thomas Sewell, Magnus O. Myreen, Gerwin Klein · 2013 · 133 citations

Engineering, Hardware Verification Language, Verification +21

Cogent

Sidney Amani, Alex Hixon, Zilin Chen et al. · 2016 · 67 citations · Full text

Program Checking, Engineering, Verification +16

1–5 of 14