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

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

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

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

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

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

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

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

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

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

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

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

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

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

Heiser GA; Ryzhyk L; Michael VT; Budzynowski A, 2011, 'What If You Could Actually Trust Your Kernel?', in HotOS XIII: Proceedings of the 13th Workshop on Hot Topics in Operating Systems, USENIX, http://static.usenix.org/events/hotos11/tech/, pp. 1 - 5, presented at 13th Workshop on Hot Topics in Operating Systems, Napa, CA, USA, 9 May 2011, http://www.usenix.org/events/hotos11/tech/final_files/Heiser.pdf

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


Pages

Back to profile page