Neal Snooke BSc, PhD (Wales)


Contact Details

Room Number..........:  1.42
Building....................:  Physical Sciences
Phone.......................:   +44 (0)1970 621782
E-Mail........................:   nns
Home Page...............:   Personal


My research interests are broadly in the area of Artificial Intelligence, particularly with respect to model based reasoning and software analysis. Further details are contained in the 'work' section of my Personal site and my publications are listed below. I enjoy writing software and there are several projects available to download from the 'software' section of my Personal site. When not at work I kite surf, mountain bike, flying model aircraft, and occasionally tinker with my Westfield kit car.

Research Groups

Teaching Areas

Modules Taught


Derivation of High Spatial Resolution Albedo from UAV Digital Imagery: Application over the Greenland Ice SheetRyan, J. C., Hubbard, A., Box, J. E., Brough, S., Cameron, K., Cook, J. M., Cooper, M., Doyle, S. H., Edwards, A., Holt, T., Irvine-Fynn, T., Jones, C., Pitcher, L. H., Rennermalm, Å. K., Smith, L. C., Stibal, M. & Snooke, N. 2017 In : Frontiers in Earth Science. 00040
UAV photogrammetry and structure from motion to assess calving dynamics at Store Glacier, a large outlet draining the Greenland ice sheetRyan, J. C., Hubbard, A. L., Box, J. E., Todd, J., Christoffersen, P., Carr, J. R., Holt, T. O. & Snooke, N. 2015 In : Cryosphere.9, 1, p. 1-1111 p.
Feature Selection Inspired Classifier Ensemble ReductionDiao, R., Chao, F., Peng, T., Snooke, N. & Shen, Q. 2014 In : IEEE Transactions on Cybernetics.44, 8, p. 1259-1268
Automated FMEA for PHM of UAVSnooke, N. 2014 Chapter 40, Handbook of Unmanned Aerial Vehicles. Valavanis, K. P. & Vachtsevanos, G. J. (eds.). 2014 ed.Springer Nature, Vol. 1, p. 870-888
Repeat UAV photogrammetry to assess calving front dynamics at a large outlet glacier draining the Greenland Ice SheetRyan, J. C., Hubbard, A. L., Todd, J., Carr, J. R., Box, J. E., Christoffersen, P., Holt, T. O. & Snooke, N. 2014 In : Cryosphere Discussions.8, 2, p. 2243-2275
Qualitative Order of Magnitude Energy-Flow-Based Failure Modes and Effects AnalysisSnooke, N. & Lee, M. H. 2013 In : Journal of Artificial Intelligence Research.46, p. 413-447
Automated method for generating symptoms data for diagnostic systemsSnooke, N. 2012 G06F 17/50
Automated FMEA Based Diagnostic Symptom GenerationSnooke, N. & Price, C. J. 2012 In : Advanced Engineering Informatics.26, 4, p. 870-888
An Effective Practical Model-Based Detectability ToolSnooke, N. & Price, C. 2011 p. 180-1878 p.
Assisting Failure Modes and Effects Analysis of a SystemSnooke, N. 2010 G05B 17/02
Lessons from engineering: can software benefit from product based evidence of quality?Snooke, N. 2010
An Automated Failure Modes and Effect Analysis Based Visual Matrix Approach to Sensor Selection and Diagnosability AssessmentSnooke, N. 2009
An Automated Software FMEAPrice, C. & Snooke, N. 2008 Proceedings of the International System Safety Regional Conference: extending system safety frontiers.Research Publishing Services, 10 p.
Automated Failure Effect Analysis for PHM of UAVDownes, C., Snooke, N., Price, C. & Aspey, C. 2008 Proceedings of the International System Safety and Reliability Conference, (ISSRC 2008).p. 978-9814 p.
A language for functional interpretation of model based simulationBell, J., Snooke, N. & Price, C. 2007 p. 398-40912 p.
Qualitative FuturesPrice, C., Trave-Massuyes, L., Milne, R., Ironi, L., Forbus, K., Bredeweg, B., Lee, M., Struss, P., Snooke, N., Lucas, P., Cavazza, M. & Coghill, G. 2006 In : Knowledge Engineering Review.21, 4, p. 317-334
A layered approach to automated electrical safety analysis in automotive environmentsPrice, C., Snooke, N. & Lewis, S. 2006 In : Computers in Industry.57, 5, p. 451-46111 p.
A language for functional interpretation of model based simulationBell, J., Snooke, N. & Price, C. 2005 p. 1547-15482 p.
Functional decomposition for interpretation of model based simulationBell, J., Price, C. & Snooke, N. 2005 p. 192-1987 p.
Describing System Functions that Depend on Intermittent and Sequential BehaviorBell, J. & Snooke, N. 2004 p. 51-577 p.
Model-Based Failure Modes and Effects Analysis of SoftwareSnooke, N. 2004 p. 221-2266 p.
Adaptable Modelling of Electrical SystemsPrice, C., Snooke, N. & Lewis, S. 2003 p. 147-1537 p.
Abstracting Automotive System Models from Component-based Simulation with Multi Level BehaviourSnooke, N. & Bell, J. 2002 p. 151-16010 p.
Whole Lifecycle Electrical Design AnalysisSnooke, N., Price, C. & Ellis, D. 2002
Generating Automotive Electrical System Models from Component Based Qualitative SimulationSnooke, N. & Shipman, R. 2001 Applications and Innovations in Intelligent Systems IX: Proceedings of ES2001, the Twenty-first SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, December 2001. Macintosh, A., Moulton, M. & Preece, A. (eds.). Springer Nature, p. 100-11415 p.
Simulating Electrical Devices with Complex BehaviourSnooke, N. 1999 In : AI Communications.12, 1-2, p. 45-5915 p.
Identifying Design Glitches through Automated Design AnalysisPrice, C., Snooke, N. & Ellis, D. 1999
Hierarchical Functional ReasoningSnooke, N. & Price, C. 1998 In : Knowledge-Based Systems.11, 5-6, p. 301-3099 p.
Challenges for qualitative electrical reasoning in automotive circuit simulationSnooke, N. & Price, C. 1997 p. 175-1806 p.
Combining Functional and Structural Reasoning for Safety Analysis of Electrical DesignsPrice, C., Pugh, D., Snooke, N., Hunt, J. & Wilson, M. 1997 In : Knowledge Engineering Review.12, 3, p. 271-28717 p.