Follow
Gernot Heiser
Title
Cited by
Cited by
Year
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
28772009
An analysis of power consumption in a smartphone
A Carroll, G Heiser
2010 USENIX Annual Technical Conference (USENIX ATC 10), 2010
22182010
Last-level cache side-channel attacks are practical
F Liu, Y Yarom, Q Ge, G Heiser, RB Lee
2015 IEEE symposium on security and privacy, 605-622, 2015
14442015
Dynamic voltage and frequency scaling: The laws of diminishing returns
E Le Sueur, G Heiser
Proceedings of the 2010 international conference on Power aware computing …, 2010
6292010
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware
Q Ge, Y Yarom, D Cock, G Heiser
Journal of Cryptographic Engineering 8, 1-27, 2018
5302018
Catalyst: Defeating last-level cache side channel attacks in cloud computing
F Liu, Q Ge, Y Yarom, F Mckeen, C Rozas, G Heiser, RB Lee
2016 IEEE international symposium on high performance computer architecture …, 2016
5292016
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
5262014
The role of virtualization in embedded systems
G Heiser
Proceedings of the 1st workshop on Isolation and integration in embedded …, 2008
3792008
The OKL4 Microvisor: Convergence point of microkernels and hypervisors
G Heiser, B Leslie
Proceedings of the first ACM asia-pacific workshop on Workshop on systems, 19-24, 2010
3182010
Reassessment of the intrinsic carrier density in crystalline silicon in view of band-gap narrowing
PP Altermatt, A Schenk, F Geelhaar, G Heiser
Journal of Applied Physics 93 (3), 1598-1604, 2003
3122003
Koala: A platform for OS-level power management
DC Snowdon, E Le Sueur, SM Petters, G Heiser
Proceedings of the 4th ACM European conference on Computer systems, 289-302, 2009
2992009
A simulation model for the density of states and for incomplete ionization in crystalline silicon. I. Establishing the model in Si: P
PP Altermatt, A Schenk, G Heiser
Journal of Applied Physics 100 (11), 2006
2942006
Modeling and simulation of tunneling through ultra-thin gate dielectrics
A Schenk, G Heiser
Journal of applied physics 81 (12), 7900-7908, 1997
2811997
User-level device drivers: Achieved performance
B Leslie, P Chubb, N Fitzroy-Dale, S Götz, C Gray, L Macpherson, D Potts, ...
Journal of Computer Science and Technology 20 (5), 654-664, 2005
2602005
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
K Elphinstone, G Heiser
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013
2502013
Numerical modeling of highly doped Si: P emitters based on Fermi–Dirac statistics and self-consistent material parameters
PP Altermatt, JO Schumacher, A Cuevas, MJ Kerr, SW Glunz, RR King, ...
Journal of Applied Physics 92 (6), 3187-3197, 2002
2412002
Assessment and parameterisation of Coulomb-enhanced Auger recombination coefficients in lowly injected crystalline silicon
PP Altermatt, J Schmidt, G Heiser, AG Aberle
Journal of applied physics 82 (10), 4938-4944, 1997
2171997
Providing dynamic update in an operating system.
A Baumann, G Heiser, J Appavoo, D Da Silva, O Krieger, RW Wisniewski, ...
USENIX Annual Technical Conference, General Track, 279-291, 2005
2022005
The mungi single‐address‐space operating system
G Heiser, K Elphinstone, J Vochteloo, S Russell, J Liedtke
Software: Practice and Experience 28 (9), 901-928, 1998
1881998
Power management and dynamic voltage scaling: Myths and facts
DC Snowdon, S Ruocco, G Heiser
Proceedings of the 2005 workshop on power aware real-time Computing, new …, 2005
1862005
The system can't perform the operation now. Try again later.
Articles 1–20