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, 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

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

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

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

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; 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

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, ' 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

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, ' 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

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 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

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

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

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, 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

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

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

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

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

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

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

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

Bernard B; Shi Y; Chattopadhyay S; Roychoudhury A; Heiser GA, 2011, 'Timing Analysis of a Protected Operating System Kernel', in Proceedings of the 32nd Real Time Systems Symposium, IEEE Computer Society, Los Alamitos, USA, pp. 339 - 348, presented at 2011 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, 29 November - 2 December 2011, http://dx.doi.org/10.1109/RTSS.2011.38

Heiser GA, 2011, 'Virtualizing embedded systems - Why bother?', in Proceedings - Design Automation Conference, Institute of Electrical and Electronics Engineers Inc.,, San Diego, CA, United states, pp. 901 - 905, presented at 2011 48th ACM/EDAC/IEEE Design Automation Conference, DAC 2011, San Diego, CA, United States, 5 - 9 June 2011


Pages

Back to profile page