Select Publications by Scientia Professor Gernot Heiser

Book Chapters

Petters SM; Elphinstone K; Heiser G, 2012, 'Trustworthy real-time systems', in Advances in Real-Time Systems, pp. 191 - 206, http://dx.doi.org/10.1007/978-3-642-24349-3_9

Journal articles

Heiser G; Elphinstone K, 2016, 'L4 microkernels: The lessons from 20 years of research and deployment', ACM Transactions on Computer Systems, vol. 34, http://dx.doi.org/10.1145/2893177

Jung H; Han H; Fekete A; Heiser G; Yeom HY, 2014, 'A scalable lock manager for multicores', ACM Transactions on Database Systems, vol. 39, http://dx.doi.org/10.1145/2691190.2691192

Klein G; Andronick J; Elphinstone K; Murray T; Sewell T; Kolanski R; Heiser G, 2014, 'Comprehensive Formal Verification of an OS Microkernel', ACM Transactions on Computer Systems, vol. 32, http://dx.doi.org/10.1145/2560537

Heiser G; Murray T; Klein G, 2012, 'It's time for trustworthy systems', IEEE Security and Privacy, vol. 10, pp. 67 - 70, http://dx.doi.org/10.1109/MSP.2012.41

Heiser G, 2010, 'Virtualizing embedded linux', Electronics World, vol. 116, pp. 34 - 37

Heiser G, 2010, 'Security and mobility the future is now', Electronics World, vol. 116, pp. 31 - 32

Heiser G, 2010, 'Virtualizing embedded linux', Electronics World, vol. 116, pp. 34 - 37

Klein G; Andronick J; Elphinstone K; Heiser G; Cock D; Derrin P; Elkaduwe D; Engelhardt K; Kolanski R; Norrish M, 2010, 'SeL4: Formal verification of an operating-system kernel', Communications of the ACM, vol. 53, pp. 107 - 115, http://dx.doi.org/10.1145/1743546.1743574

Heiser G; Elphinstone K; Kuz I; Klein G; Petters SM, 2007, 'Towards trustworthy computing systems: Taking microkernels to the next level', Operating Systems Review (ACM), vol. 41, pp. 3 - 11, http://dx.doi.org/10.1145/1278901.1278904

Kuz I; Liu Y; Gorton I; Heiser G, 2007, 'CAmkES: A component model for secure microkernel-based embedded systems', Journal of Systems and Software, vol. 80, pp. 687 - 699, http://dx.doi.org/10.1016/j.jss.2006.08.039

Altermatt PP; Schenk A; Heiser G, 2006, 'A simulation model for the density of states and for incomplete ionization in crystalline silicon. I. Establishing the model in Si:P', Journal of Applied Physics, vol. 100, http://dx.doi.org/10.1063/1.2386934

Altermatt PP; Schenk A; Schmithüsen B; Heiser G, 2006, 'A simulation model for the density of states and for incomplete ionization in crystalline silicon. II. Investigation of Si:As and Si:B and usage in device simulation', Journal of Applied Physics, vol. 100, http://dx.doi.org/10.1063/1.2386935

Heiser G; Uhlig V; LeVasseur J, 2006, 'Are virtual-machine monitors microkernels done right?', Operating Systems Review (ACM), vol. 40, pp. 95 - 99, http://dx.doi.org/10.1145/1113361.1113363

Leslie B; Chubb P; Fitzroy-Dale N; Götz S; Gray C; MacPherson L; Potts D; Shen YT; Elphinstone K; Heiser G, 2005, 'User-level device drivers: Achieved performance', Journal of Computer Science and Technology, vol. 20, pp. 654 - 664, http://dx.doi.org/10.1007/s11390-005-0654-4

Rizos C; Mumford P; Parkinson KJ; Engel F; Heiser GA, 2004, 'An open GNSS receiver platform architecture', Positioning, vol. 3, pp. 63 - 69

Altermatt PP; Schenk A; Geelhaar F; Heiser G, 2003, 'Reassessment of the intrinsic carrier density in crystalline silicon in view of band-gap narrowing', Journal of Applied Physics, vol. 93, pp. 1598 - 1604, http://dx.doi.org/10.1063/1.1529297

Altermatt PP; Heiser G, 2002, 'Development of a three-dimensional numerical model of grain boundaries in highly doped polycrystalline silicon and applications to solar cells', Journal of Applied Physics, vol. 91, pp. 4271 - 4274, http://dx.doi.org/10.1063/1.1456962

Altermatt PP; Heiser G, 2002, 'Predicted electronic properties of polycrystalline silicon from three-dimensional device modeling combined with defect-pool model', Journal of Applied Physics, vol. 92, pp. 2561 - 2574, http://dx.doi.org/10.1063/1.1498961

Altermatt PP; Schumacher JO; Cuevas A; Kerr MJ; Glunz SW; King RR; Heiser G; Schenk A, 2002, 'Numerical modeling of highly doped Si:P emitters based on Fermi-Dirac statistics and self-consistent material parameters', Journal of Applied Physics, vol. 92, pp. 3187 - 3197, http://dx.doi.org/10.1063/1.1501743

Altermatt PP; Aberle AG; Zhao J; Wang A; Heiser G, 2002, 'A numerical model of p-n junctions bordering on surfaces', Solar Energy Materials and Solar Cells, vol. 74, pp. 165 - 174, http://dx.doi.org/10.1016/S0927-0248(02)00061-2

Schumacher JO; Altermatt PP; Heiser G; Aberle AG, 2001, '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, vol. 65, pp. 95 - 103, http://dx.doi.org/10.1016/S0927-0248(00)00082-9

Corkish R; Altermatt PP; Heiser G, 2001, '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, vol. 65, pp. 63 - 69, http://dx.doi.org/10.1016/S0927-0248(00)00078-7

Altermatt P; Sinton R; Heiser GA, 2001, 'Improvements in the numerical modeling of highly injected crystalline silicon solar cells', Solar Energy Materials and Solar Cells, pp. 149 - 155

Kuhlmann B; Aberle AG; Hezel R; Heiser G, 2000, 'Simulation and optimization of metal-insulator-semiconductor inversion-layer silicon solar cells', IEEE TRANSACTIONS ON ELECTRON DEVICES, vol. 47, pp. 2167 - 2178, http://dx.doi.org/10.1109/16.877180

Bradley PD; Rosenfeld AB; Lee KK; Jamieson DN; Heiser G; Satoh S, 1998, 'Charge collection and radiation hardness of a SOI microdosimeter for medical and space applications', IEEE Transactions on Nuclear Science, vol. 45, pp. 2700 - 2710

Heiser G; Elphinstone K; Vochteloo J; Russell S; Liedtke J, 1998, 'The mungi single-address-space operating system', Software - Practice and Experience, vol. 28, pp. 901 - 928

Schenk A; Heiser G, 1997, 'Modeling and simulation of tunneling through ultra-thin gate dielectrics', Journal of Applied Physics, vol. 81, pp. 7900 - 7908

Altermatt PP; Schmidt J; Heiser G; Aberle AG, 1997, 'Assessment and parameterisation of Coulomb-enhanced Auger recombination coefficients in lowly injected crystalline silicon', Journal of Applied Physics, vol. 82, pp. 4938 - 4944

Altermatt PP; Heiser G; Green MA, 1996, 'Numerical quantification and minimization of perimeter losses in high-efficiency silicon solar cells', Progress in Photovoltaics: Research and Applications, vol. 4, pp. 355 - 367

Altermatt PP; Heiser G; Dai X; Jürgens J; Aberle AG; Robinson SJ; Young T; Wenham SR; Green MA, 1996, 'Rear surface passivation of high-efficiency silicon solar cells by a floating junction', Journal of Applied Physics, vol. 80, pp. 3574 - 3586

Altermatt PP; Heiser G; Aberle AG; Wang A; Zhao J; Robinson SJ; Bowden S; Green MA, 1996, 'Spatially resolved analysis and minimization of resistive losses in high-efficiency Si solar cells', Progress in Photovoltaics: Research and Applications, vol. 4, pp. 399 - 414

Edmiston SA; Heiser G; Sproul AB; Green MA, 1996, 'Improved modeling of grain boundary recombination in bulk and p-n junction regions of polycrystalline silicon solar cells', Journal of Applied Physics, vol. 80, pp. 6783 - 6795

Aberle AG; Altermatt PP; Heiser G; Robinson SJ; Wang A; Zhao J; Krumbein U; Green MA, 1995, 'Limiting loss mechanisms in 23% efficient silicon solar cells', Journal of Applied Physics, vol. 77, pp. 3491 - 3504, http://dx.doi.org/10.1063/1.358643

Heiser G; Aberle AG; Wenham SR; Green MA, 1995, 'Two-dimensional numerical simulations of high-efficiency silicon solar cells', Microelectronics Journal, vol. 26, pp. 273 - 286, http://dx.doi.org/10.1016/0026-2692(95)98930-P

Robinson SJ; Wenham SR; Altermatt PP; Aberle AG; Heiser G; Green MA, 1995, 'Recombination rate saturation mechanisms at oxidized surfaces of high-efficiency silicon solar cells', Journal of Applied Physics, vol. 78, pp. 4740 - 4754, http://dx.doi.org/10.1063/1.359821

Aberle AG; Wenham SR; Green MA; Heiser G, 1994, 'Decreased emitter sheet resistivity loss in high‐eficiency silicon solar cells', Progress in Photovoltaics: Research and Applications, vol. 2, pp. 3 - 17, http://dx.doi.org/10.1002/pip.4670020103

Sproul AB; Edmiston S; Wenham SR; Heiser GH; Green MA, 1994, 'Innovative structures for thin film crystalline silicon solar cells to give high efficiencies from low quality silicon', Conference Record of the IEEE Photovoltaic Specialists Conference, vol. 2, pp. 1563 - 1566

Aberle AG; Heiser G; Green MA, 1994, 'Two-dimensional minority carrier flow in high-efficiency silicon solar cells at short-circuit, open-circuit and maximum power point operating conditions', Solar Energy Materials and Solar Cells, vol. 34, pp. 149 - 160, http://dx.doi.org/10.1016/0927-0248(94)90035-3

Aberle AG; Heiser G; Green MA, 1994, 'Two-dimensional numerical optimization study of the rear contact geometry of high-efficiency silicon solar cells', Journal of Applied Physics, vol. 75, pp. 5391 - 5405, http://dx.doi.org/10.1063/1.355694

Heiser G; Pommerell C; Weis J; Fichtner W, 1991, 'Three-Dimensional Numerical Semiconductor Device Simulation: Algorithms, Architectures, Results', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 10, pp. 1218 - 1230, http://dx.doi.org/10.1109/43.88918

Biagioni E; Hinrichs K; Heiser G; Muller C, 1986, 'A Portable Operating System Interface and Utility Library', IEEE Software, vol. 3, pp. 18 - 26, http://dx.doi.org/10.1109/MS.1986.229470

Conference Papers

Heiser G; Kono K; Park K; van Renesse R, 2016, 'Report on the Asia-Pacific Systems Workshop 2015 (APSys'15)', in OPERATING SYSTEMS REVIEW, ASSOC COMPUTING MACHINERY, Tokyo, JAPAN, pp. 1 - 2, presented at 6th Asia-Pacific Systems Workshop (APSys), Tokyo, JAPAN, 27 - 28 July 2015, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000385264900001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a

Sewell T; Kam F; Heiser G, 2016, 'Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis', in 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings, http://dx.doi.org/10.1109/RTAS.2016.7461326

Amani S; Hixon A; Chen Z; Rizkallah C; Chubb P; O'Connor L; Beeren J; Nagashima Y; Lim J; Sewell T, 2016, 'COGENT: Verifying high-assurance file system implementations', in International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, pp. 175 - 188, http://dx.doi.org/10.1145/2872362.2872404

Liu F; Ge Q; Yarom Y; McKeen F; Rozas C; Heiser G; Lee RB, 2016, 'CATalyst: Defeating last-level cache side channel attacks in cloud computing', in Proceedings - International Symposium on High-Performance Computer Architecture, pp. 406 - 418, http://dx.doi.org/10.1109/HPCA.2016.7446082

Peters S; Danis A; Elphinstone K; Heiser G, 2015, 'For a microkernel, a big lock is fine', in 6th Asia-Pacific Systems Workshop, APSys 2015, http://dx.doi.org/10.1145/2797022.2797042

Liu F; Yarom Y; Ge Q; Heiser G; Lee RB, 2015, 'Last-level cache side-channel attacks are practical', in Proceedings - IEEE Symposium on Security and Privacy, pp. 605 - 622, http://dx.doi.org/10.1109/SP.2015.43

Carroll A; Heiser G, 2014, 'Mobile multicores: Use them or waste them', in Operating Systems Review (ACM), pp. 44 - 48, http://dx.doi.org/10.1145/2525526.2525850

Keller G; Murray T; Amani S; O'Connor L; Chen Z; Ryzhyk L; Klein G; Heiser G, 2014, 'File systems deserve verification too!', in Operating Systems Review (ACM), pp. 58 - 64, http://dx.doi.org/10.1145/2525528.2525530


Pages

Back to profile page