Computer Science @ University of St Andrews

University of St Andrews crest

Prof Simon Dobson

Prof Simon Dobson

Director of Research

Position: Professor

Research profile

Email: simon.dobson@st-andrews.ac.uk

Office: JC1.17 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 1626

Home page: http://sd.host.cs.st-andrews.ac.uk

Recent Publications

Formal verification of a pervasive messaging system

Konur, S, Fisher, M , Dobson, SA & Knox, S 2014, ' Formal verification of a pervasive messaging system ' Formal Aspects of Computing , vol 26, no. 4, pp. 677-694.

Self-management of self-organising mobile computing applications: a separation of concerns approach

Fernandez Marquez, JL, di Marzo Serugendo, G, Stevenson, GT , Ye, J , Dobson, SA & Zamonelli, F 2014, ' Self-management of self-organising mobile computing applications: a separation of concerns approach '. in Proceedings of the 29th ACM Symposium on Applied Computing. ACM Press - Association for Computing Machinery, New York, NY.

Energy-efficient sensing in wireless sensor networks using compressed sensing

Razzaque, MA & Dobson, SA 2014, ' Energy-efficient sensing in wireless sensor networks using compressed sensing ' Sensors , vol 14, no. 2, pp. 2822-2859.

Failure detection in wireless sensor networks: a sequence-based dynamic approach

Kamal, ARM, Bleakley, CJ & Dobson, S 2014, ' Failure detection in wireless sensor networks: a sequence-based dynamic approach ' ACM Transactions on Sensor Networks , vol 10, no. 2, 35.

Autonomous fault detection in self-healing systems: comparing Hidden Markov Models and artificial neural networks

Schneider, C , Barker, AD & Dobson, SA 2014, ' Autonomous fault detection in self-healing systems: comparing Hidden Markov Models and artificial neural networks '. in Proceedings of the 4th International Workshop on Adaptive Self-tuning Computing Systems (ADAPT-2014). Vienna, AT.

KCAR: a knowledge-driven approach for concurrent activity recognition

Ye, J , Stevenson, GT & Dobson, SA 2014, ' KCAR: a knowledge-driven approach for concurrent activity recognition ' Pervasive and Mobile Computing , vol Early online.

A survey of self-healing systems frameworks

Schneider, C , Barker, AD & Dobson, SA 2014, ' A survey of self-healing systems frameworks ' Software: Practice and Experience , vol Early online.

In-network sensor data modelling methods for fault detection

Fang, L & Dobson, SA 2013, ' In-network sensor data modelling methods for fault detection '. in Proceedings of the 1st International Workshop on Uncertainty in Ambient Intelliigence at AmI 2013. Dublin, IE.

A biochemically-inspired approach to awareness in pervasive systems

Stevenson, GT, Castelli, G , Ye, J , Rossi, A , Dobson, SA & Zambonelli, F 2013, ' A biochemically-inspired approach to awareness in pervasive systems '. in Proceedings of First International Workshop on Sensing and Big Data Mining (SenseMine 2013). Rome, IT.

Compression in wireless sensor networks: a survey and comparative evaluation

Razzaque, MA, Bleakley, C & Dobson, SA 2013, ' Compression in wireless sensor networks: a survey and comparative evaluation ' ACM Transactions on Sensor Networks , vol 10, no. 1.