Prof Les Hatton

Professor

• Publications
• Funding
• Supervision
• Esteem

Monographs and Edited Books

1. S.L. Pfleeger, L. Hatton, C. Howell, "Solid Software" Prentice Hall PTR, ISBN 0-13-091298-0 (2002)
2. L. Hatton, "Safer C: Developing software in high integrity and safety critical systems" International series in software engineering McGraw-Hill, ISBN 0-07-707640-0 (1995)

Journal Papers

3. M. van Genuchten, L. Hatton, "Software: What's in it and what's it in ?" in 'IEEE Software', 27(1) IEEE, January, pp. 14-16. (2010)
4. M. van Genuchten, L. Hatton, "Point / Counterpoint: Embedded Systems are the same as conventional systems" in 'IEEE Software', (2009)
5. L. Hatton, "Power-law distributions of component size in general software systems" in 'IEEE Transactions on Software Engineering', 35(4) IEEE, July, pp. 566-572. (2009)
6. L. Hatton, "The Acoustic field of Marine Seismic airguns and their potential impact on marine animals" in 'Proceedings of the Institute of Acoustics', 30(Pt. 5) (2008)
7. L. Hatton, "Testing the value of checklists in code inspections" in 'IEEE Software', IEEE, July/August, (2008)
8. L. Hatton, "The Chimera of Software Quality" in 'IEEE Computer', 40(8) IEEE, August, pp. 104-107. (2007)
9. L. Hatton, "Some empirical test observations in client / server systems" in 'IEEE Computer', 40(5) IEEE Computer Society, May, pp. 24-29. (2007) abstract
10. L. Hatton, "How accurately do engineers predict software maintenance tasks ?" in 'IEEE Computer', 40(2) IEEE, February, pp. 64-69. (2007) abstract
11. L. Hatton, "Language subsetting in an industrial context: a comparison of MISRA C 1998 and MISRA C 2004" in 'Information and Software Technology', 49(5) May, pp. 475-482. (2007) abstract
12. L. Hatton, "EC- -, a safer subset of ISO C90 suitable for embedded system development" in 'Information and Software Technology', 47(3) pp. 181-187. (2005) abstract
13. L. Hatton, "ESP A Tool for Measuring the Quality of Embedded System Arithmetic" in 'Information and Software Technology', 47(8) Elsevier, pp. 555-563. (2005) abstract
14. L. Hatton, "Safer language subsets: an overview and a case history, MISRA C" in 'Information and Software Technology', 46(7) Elsevier, June, pp. 465-472. ISSN 0950-5849 (2004) abstract
15. L. Hatton, "Building your own Linux PC backup server" in 'LinuxFormat', 37, Future Publishing Ltd., February, (2003)
16. L. Hatton, "Exploring the Role of Diagnosis in Software Engineering" in 'IEEE Software', 18(4) IEEE, July/August, pp. 34-39. ISSN 0740-7459 (2001)

Chapters in Books

17. L. Hatton, Chapter "Bureaucracy, Safety and Software: a potentially lethal cocktail" in 'Making Systems Safer', Safety Critical Systems Club Edited by Dale C, Anderson T., Springer, pp. 21-36. ISBN 978-1-84996-085-4 (2010)
18. L. Hatton, Chapter "Static Analysis" in 'The Testing Practitioner', Edited by Erik van Veenendaal, Tutein Nolthenius, (2002)
19. L. Hatton, Chapter "Software Safety" in 'Wiley Encyclopaedia of Software Engineering', Edited by J. Marciniak, Wiley Interscience, (2001)

Presentations

20. L. Hatton, "Bureaucracy, Safety and Software: a potentially lethal cocktail", SSS'10, February, Bristol, England, (2010)
21. L. Hatton, "The role of empiricism in improving the reliability of future software", TAIC 2008, August, Windsor, England, (2008)
22. L. Hatton, "Testing: some answers but a lot more questions", Ericsson software development conference, Linkoping, Sweden, (2007)
23. L. Hatton, "Failure Patterns: a powerful way to optimise your testing", StarEast07, May, Orlando, Florida, (2007)
24. L. Hatton, "To what extent can we rely on the results of scientific computations ?", ACAT07, Amsterdam, Holland, (2007)

Seminars

25. L. Hatton, "A symmetric cipher not requiring prior sender/receiver key agreement", SB329, 08 Sep 2010 (Chair: Dimitrios Makris), abstract
26. L. Hatton, "Power-laws, persistence and the distribution of information in software systems.", SB329, 04 Mar 2010 (Chair: Dimitrios Makris), abstract
27. L. Hatton, "Unifying power-law behaviour, functionality and defect distribution in general software systems", SB329, 29 Apr 2009 (Chair: Dr Dimitrios Makris), abstract
28. L. Hatton, "Spam, Scams and Filtering", SB329, 10 Dec 2008 (Chair: Dimitrios Makris), abstract
29. L. Hatton, "The acoustic radiation field of seismic airgun sources and their potential impact on marine animals", SB329, 24 Sep 2008 (Chair: Dimitrios Makris), abstract
30. L. Hatton, "Predicting the flight of a javelin in a prevailing wind", SB329, 09 Jul 2008 (Chair: Dimitrios Makris), abstract
31. L. Hatton, "Goto considered not particularly harmful: defect analysis in a major numerical software library", SB329, 04 Jun 2008 (Chair: Dimitrios Makris), abstract
32. L. Hatton, "Conservation of software defect and scale-free behaviour in software systems", SB329, 26 Mar 2008 (Chair: Dimitrios Makris), abstract
33. L. Hatton, "How to write scientific papers and get them accepted reasonably often", PRSB122, 29 Mar 2007 abstract

Software

34. L. Hatton, "Finding the cheapest mobile phone tariff using discrete fuzzy optimisation" in 'http://www.betterdeal.co.uk', (2009)
35. L. Hatton, "The Bibliographic Discovery Engine" in 'http://www.leshatton.org/chance_exe.html', http://www.leshatton.org/chance_exe.html, (2007)
36. L. Hatton, "JFA - The Javelin flight analyser" in 'http://www.leshatton.org/javelin_2005.html', http://www.leshatton.org/javelin_2005.html, (2005)
37. L. Hatton, "A portable C GKS interface to the GD graphics library" in 'http://www.leshatton.org/OSGKS2004.html', http://www.leshatton.org/OSGKS2004.html, (2004)
38. L. Hatton, "Embedded System Paranoia: a tool for testing embedded system arithmetic" in 'http://www.leshatton.org/ESP_903.html', http://www.leshatton.org/ESP_903.html, (2003)
39. L. Hatton, "Gundalf - a software package for predicting the acoustic signature of high pressure airguns in exploration seismology" in 'http://www.gundalf.com/', - http://www.gundalf.com/, -, pp. -. (2002)
40. L. Hatton, "Safer C: Static analysis toolkit for high-integrity C" in 'http://www.oakcomp.co.uk/', - http://www.oakcomp.co.uk/, (2000)