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 GA, 2007, 'CAmkES: A component model for secure microkernel-based embedded systems', Journal of Systems and Software, vol. 80, pp. 687 - 699

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 P; Schenk A; Heiser GA, 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

Altermatt P; Schenk A; Schmithuesen B; Heiser GA, 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

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

Leslie BJ; Chubb P; Fitzroy-Dale NJ; Gotz S; Gray CE; Macpherson LD; Potts DP; Elphinstone KJ; Heiser GA; Shen Y, 2005, 'User-level device drivers: Achieved performance', Journal of Computer Science and Technology, vol. 20, pp. 654 - 664

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

Altermatt P; Schenk A; Geelhaar F; Heiser GA, 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

Altermatt P; Aberle AG; Zhao J; Wang A; Heiser GA, 2002, 'A numerical model of p n junctions bordering on surfaces', Solar Energy Materials and Solar Cells, vol. 74, pp. 165 - 174

Altermatt P; Heiser GA, 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

Altermatt P; Heiser GA, 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

Altermatt P; Schumacher JJ; Cuevas A; Kerr M; Glunz S; King RR; Heiser GA; Schenk A, 2002, 'Numerical modeling of highly doped Si:P emitters based of Fermi-Dirac statistics and self-consistent material parameters', Journal of Applied Physics, vol. 92, pp. 3187 - 3197

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

Schumacher JJ; Altermatt P; Heiser GA; Aberle AG, 2001, 'Application of an improved bandgap narrowing model to the numerical simulation of recombination properties of phosphorus doped silicon emitters', Solar Energy Materials and Solar Cells, pp. 95 - 103

Corkish RP; Altermatt P; Heiser GA, 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, pp. 63 - 69

Kuhlmann B; Aberle AG; Hezel R; Heiser GA, 2000, 'Simulation and optimization of metal-insulator-semiconductor inversion-layer silicon solar cells', IEEE Transactions on Electron Devices, pp. 2167 - 2178

Heiser GA; Elphinstone KJ; Vochteloo J; Russell SM; Liedtke J, 1998, 'The Mungi Single-Address-Space Operating System', Software: Practice and Experience, pp. 901 - 928

Bradley PT; Rozenfeld A; Lee KT; Jamieson DD; Heiser GA; Satoh S, 1998, 'Charge Collection and Radiation Hardness of a SOI Microdosimeter for Medical and Space Applications', IEEE Transactions on Nuclear Science, pp. 2700 - 2710

Schenk A; Heiser GA, 1997, 'Modeling and Simulation of Tunneling through Ultra-Thin Gate Dielectrics', Journal of Applied Physics, pp. 7900 - 7908

Altermatt P; Schmidt J; Heiser GA; Aberle AG, 1997, 'Assessment and Parameterisation of Coulomb-Enhanced Auger Recombination Coefficients in Lowly Injected Crystalline Silicon', Journal of Applied Physics, pp. 4938 - 4944

Altermatt P; Heiser GA; Aberle AG; Wang AL; Zhao J; Robinson J; Bowden SJ; Green MA, 1996, 'Spatially resolved analysis and minimisation of resistive losses in high-efficiency Si solar cells', Progress in Photovoltaics: research and applications, pp. 399 - 414

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

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

Altermatt P; Heiser GA; Dai X; Jurgens J; Aberle AG; Robinson S; Young TR; Wenham SR; Green MA, 1996, 'Rear serface passivation of high-efficiency silicon solar cells by a floating junction', Journal of Applied Physics, pp. 3574 - 3586

Aberle AG; Altermatt P; Heiser GA; Robinson S; Wang AL; Zhao J; Krumbein U; Green MA, 1995, 'Limiting loss mechanisms in 23% efficient silicon solar cells', Journal of Applied Physics, pp. 3491 - 3501

Heiser GA; Aberle AG; Wenham SR; Green MA, 1995, 'Two-dimensional numerical simulations of high-efficiency silicon solar cells', Microelectronics Journal, pp. 273 - 286

Robinson S; Wenham SR; Altermatt P; Aberle AG; Heiser GA; Green MA, 1995, 'Recombination rate saturation mechanisms at oxidized surfaces of high-efficiency silicon solar cells', Journal of Applied Physics, pp. 4740 - 4754

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

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

Conference Papers

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

Budzynowski A; Heiser G, 2013, 'The von Neumann architecture is due for retirement', in Workshop on Hot Topics in Operating Systems, USENIX, presented at

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

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

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

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

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

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


Pages

Back to profile page