Gernot Heiser - Publications, H-index & Citations

Gernot Heiser

swiss federal institutes of technology domain

47H指数

265论文数

1.2W被引数

收录论文 12

发表时间

Systematic Prevention of On-Core Timing Channels by Full Temporal Partitioning

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2023-05-01

OAAI

Wistoff, Nils; Schneider, Moritz; Gurkaynak, Frank K.; Heiser, Gernot; Benini, Luca

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

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

Proving File Systems Meet Expectations

COMMUNICATIONS OF THE ACM

IF12.2

2017-03-24

PREAI

Heiser, Gernot

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

CAmkES: A component model for secure microkernel-based embedded systems

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2007-05-01

OAAI

Kuz, Ihor; Liu, Yan; Gorton, Ian; Heiser, Gernot

A numerical model of p-n junctions bordering on surfaces 表面接壤的p-n结的数值模型

SOLAR ENERGY MATERIALS AND SOLAR CELLS

IF6.3

2002-10-01

PREAI

Altermatt, PP; Aberle, AG; Zhao, JH; Wang, AH; Heiser, G

Improvements in numerical modelling of highly injected crystalline silicon solar cells

SOLAR ENERGY MATERIALS AND SOLAR CELLS

IF6.3

2001-01-01

PREAI

Altermatt, PP; Sinton, RA; Heiser, G

Numerical simulation of electron-beam-induced current near a silicon grain boundary and impact of a p-n junction space charge region

SOLAR ENERGY MATERIALS AND SOLAR CELLS

IF6.3

2001-01-01

PREAI

Corkish, R; Altermatt, PP; Heiser, G

Application of an improved band-gap narrowing model to the numerical simulation of recombination properties of phosphorus-doped silicon emitters 改进的带隙变窄模型在掺磷硅发射极复合性能数值模拟中的应用

SOLAR ENERGY MATERIALS AND SOLAR CELLS

IF6.3

2001-01-01

PREAI

Schumacher, JO; Altermatt, PP; Heiser, G; Aberle, AG

Spatially resolved analysis and minimization of resistive losses in high-efficiency Si solar cells

PROGRESS IN PHOTOVOLTAICS

IF7.6

1996-11-01

PREAI

Altermatt, PP; Heiser, G; Aberle, AG; Wang, AH; Zhao, JH; Robinson, SJ; Bowden, S; Green, MA

Limits to the efficiency of silicon multilayer thin film solar cells

SOLAR ENERGY MATERIALS AND SOLAR CELLS

IF6.3

1996-06-01

PREAI

Wenham, SR; Green, MA; Edmiston, S; Campbell, P; Koschier, L; Honsberg, CB; Sproul, AB; Thorpe, D; Shi, Z; Heiser, G

研究方向