Select Publications

by Scientia Professor Gernot Heiser

Book Chapters

Petters S; Elphinstone KJ; Heiser GA, 2012, 'Trustworthy Real-Time Systems', in Chakraborty S; Eberspächer J (ed.), Advances in Real-Time Systems, Springer, Heidelberg, Germany, pp. 191 - 206, http://dx.doi.org/10.1007/978-3-642-24349-3_9

Journal articles

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, no. 1, pp. 1 - 70, http://dx.doi.org/10.1145/2560537

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

Klein G; Andronick J; Elphinstone KJ; Heiser GA; Cock D; Philip D; Elkaduwe D; Engelhardt K; Kolanski R; Norrish M; Sewell T; Tuch H; Winwood S, 2010, 'seL4: formal verification of an operating-system kernel', Communications of the ACM, vol. 53, no. 6, pp. 107 - 115, http://dx.doi.org/10.1145/1743546.1743574

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, no. 5, pp. 687 - 699, http://dx.doi.org/10.1016/j.jss.2006.08.039

Heiser GA; Elphinstone KJ; Kuz I; Klein G; Petters S, 2007, 'Towards trustworthy computing systems: taking microkernels to the next level', Operating Systems Review (ACM), vol. 41, pp. 3 - 11

Altermatt PP; Schenk A; Schmithu?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, no. 11, pp. 113715 - 113715, 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, no. 1, pp. 95 - 99, http://dx.doi.org/10.1145/1113361.1113363

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, no. 11, pp. 113714 - 113714, http://dx.doi.org/10.1063/1.2386934

Leslie B; Chubb P; Fitzroy-Dale N; Götz S; Gray C; Macpherson L; Potts D; Shen Y-T; Elphinstone K; Heiser G, 2005, ' User-Level Device Drivers: Achieved Performance', Journal of Computer Science and Technology, vol. 20, no. 5, 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, no. 3, pp. 1598 - 1598, http://dx.doi.org/10.1063/1.1529297

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, no. 1-4, pp. 165 - 174, http://dx.doi.org/10.1016/S0927-0248(02)00061-2

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, no. 7, pp. 4271 - 4271, http://dx.doi.org/10.1063/1.1456962

Altermatt PP; Schumacher JRO; 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, no. 6, pp. 3187 - 3187, http://dx.doi.org/10.1063/1.1501743

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, no. 5, pp. 2561 - 2561, http://dx.doi.org/10.1063/1.1498961

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, no. 1-4, 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, no. 1-4, pp. 63 - 69, http://dx.doi.org/10.1016/S0927-0248(00)00078-7

Altermatt PP; Sinton RA; Heiser G, 2001, ' Improvements in numerical modelling of highly injected crystalline silicon solar cells', Solar Energy Materials and Solar Cells, vol. 65, no. 1-4, pp. 149 - 155, http://dx.doi.org/10.1016/S0927-0248(00)00089-1

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, no. 11, 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, no. 6, pp. 2700 - 2710, http://dx.doi.org/10.1109/23.736518

Heiser G; Elphinstone K; Vochteloo J; Russell S; Liedtke J, 1998, ' The mungi single-address-space operating system', Software: Practice and Experience, vol. 28, no. 9, pp. 901 - 928, http://dx.doi.org/10.1002/(SICI)1097-024X(19980725)28:9<901::AID-SPE181>3.0.CO;2-7

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, no. 10, pp. 4938 - 4938, http://dx.doi.org/10.1063/1.366360

Schenk A; Heiser G, 1997, ' Modeling and simulation of tunneling through ultra-thin gate dielectrics', Journal of Applied Physics, vol. 81, no. 12, pp. 7900 - 7900, http://dx.doi.org/10.1063/1.365364

Altermatt PP; Heiser G; Dai X; Ju?rgens JR; 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, no. 6, pp. 3574 - 3574, http://dx.doi.org/10.1063/1.363231

Altermatt P; Heiser GA; Green MA, 1996, 'Numerical quantification and minimisation of perimeter losses in high-efficiency silicon solar cells', Progress in Photovoltaics: research and applications, pp. 355 - 367

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, no. 12, pp. 6783 - 6783, http://dx.doi.org/10.1063/1.363806

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, no. 6, pp. 399 - 414, http://dx.doi.org/10.1002/(SICI)1099-159X(199611/12)4:6<399::AID-PIP148>3.0.CO;2-4

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

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, no. 7, pp. 3491 - 3491, http://dx.doi.org/10.1063/1.358643

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, no. 7, pp. 4740 - 4740, http://dx.doi.org/10.1063/1.359821

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, no. 10, pp. 5391 - 5391, http://dx.doi.org/10.1063/1.355694

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, no. 1-4, pp. 149 - 160, http://dx.doi.org/10.1016/0927-0248(94)90035-3

Conference Papers

Heiser G; Le Sueur E; Danis A; Budzynowski A; Salomie T-L; Alonso G, 2013, 'RapiLog: Reducing system complexity through verification', in Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys 2013, pp. 323 - 336, presented at , http://dx.doi.org/10.1145/2465351.2465383

Carroll A; Heiser G, 2013, 'The systems hacker's guide to the Galaxy energy usage in a modern smartphone', in Proceedings of the 4th Asia-Pacific Workshop on Systems, APSys 2013, presented at , http://dx.doi.org/10.1145/2500727.2500734

Jung H; Heiser G; Han H; Fekete AD; Yeom HY, 2013, 'A scalable lock manager for multicores', in Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 73 - 84, presented at , http://dx.doi.org/10.1145/2463676.2465271

Elphinstone K; Heiser G, 2013, 'From L3 to seL4: What have we learnt in 20 years of L4 microkernels?', in SOSP 2013 - Proceedings of the 24th ACM Symposium on Operating Systems Principles, pp. 133 - 150, presented at , http://dx.doi.org/10.1145/2517349.2522720

Budzynowski A; Heiser G, 2013, 'The von Neumann architecture is due for retirement', in , USENIX, presented at 14th Workshop on Hot Topics in Operating Systems (HotOS XIV), Santa Ana Pueblo, New Mexico, 13 - 15 May 2013

Carroll A; Heiser G, 2013, 'Mobile multicores: Use them or waste them', in Proceedings of the Workshop on Power-Aware Computing and Systems, HotPower 2013, presented at , http://dx.doi.org/10.1145/2525526.2525850

Blackham B; Heiser G, 2013, 'Sequoll: A framework for model checking binaries', in Real-Time Technology and Applications - Proceedings, pp. 97 - 106, presented at , http://dx.doi.org/10.1109/RTAS.2013.6531083

Shi Y; Blackham B; Heiser G, 2013, 'Code optimizations using formally verified properties', in Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, pp. 427 - 441, presented at , http://dx.doi.org/10.1145/2509136.2509513

Keller G; Murray T; Amani S; O'Connor L; Chen Z; Ryzhyk L; Klein G; Heiser G, 2013, 'File systems deserve verification too!', in Proceedings of the 7th Workshop on Programming Languages and Operating Systems, PLOS 2013 - In Conjunction with the 24th ACM Symposium on Operating Systems Principles, SOSP 2013, presented at , http://dx.doi.org/10.1145/2525528.2525530

Blackham B; Heiser G, 2012, 'Correct, fast, maintainable - Choose any three!', in Proceedings of the Asia-Pacific Workshop on Systems, APSYS'12, presented at , http://dx.doi.org/10.1145/2349896.2349909

Blackham B; Tang V; Heiser G, 2012, 'To preempt or not to preempt, that is the question', in Proceedings of the Asia-Pacific Workshop on Systems, APSYS'12, presented at , http://dx.doi.org/10.1145/2349896.2349904

Blackham B; Shi Y; Heiser G, 2012, 'Improving interrupt response time in a verifiable protected microkernel', in EuroSys'12 - Proceedings of the EuroSys 2012 Conference, pp. 323 - 336, presented at , http://dx.doi.org/10.1145/2168836.2168869

Ryzhyk L; Keys J; Mirla B; Raghunath A; Viji M; Heiser GA, 2011, 'Improved device driver reliability through hardware verification reuse', in Proceedings of the 16th International Conference on Architectural Support for Programming, Association for Computing Machinery, New York, NY, United States, pp. 133 - 144, presented at 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, United States, 5 - 11 March 2011, http://dx.doi.org/10.1145/1950365.1950383

Bernard B; Shi Y; Heiser GA, 2011, 'Protected Hard Real-time: The Next Frontier', in Proceedings of the Second Asia-Pacific Workshop on Systems (APSys'11), ACM, New York, NY, USA, pp. 1 - 5, presented at APSys'11: 2nd ACM SIGOPS Asia-Pacific Workshop on Systems, Shanghai, China, 11 - 12 July 2011, http://dx.doi.org/10.1145/2103799.2103801

Amani S; Ryzhyk L; Donaldson A; Heiser GA; Legg A; Zhu Y, 2011, 'Static Analysis of Device Drivers: We Can Do Better!', in Proceedings of the Second Asia-Pacific Workshop on Systems (APSys'11), ACM, New York, NY, USA, pp. 1 - 5, presented at APSys'11: 2nd ACM SIGOPS Asia-Pacific Workshop on Systems, Shanghai, China, 11 - 12 July 2011, http://dx.doi.org/10.1145/2103799.2103809

Varanasi P; Heiser GA, 2011, 'Hardware-Supported Virtualization on ARM', in Proceedings of the Second Asia-Pacific Workshop on Systems (APSys'11), ACM, New York, NY, USA, pp. 1 - 5, presented at APSys'11: 2nd ACM SIGOPS Asia-Pacific Workshop on Systems, Shanghai, China, 11 - 12 July 2011, http://dx.doi.org/10.1145/2103799.2103813

Lesueur E; Heiser GA, 2011, 'Slow down or sleep, that is the question', in Proceedings of the 2011 USENIX Annual Technical Conference, ISBN 978931971850, USENIX Association, Portland, OR, USA, pp. 217 - 222, presented at USENIX Annual Technical Conference 2011, Portland, OR, USA, 14 - 17 June 2010, http://www.usenix.org/event/atc11/tech/final_files/atc11_proceedings.pdf


Pages

Back to profile page