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 (@st-andrews.ac.uk): simon.dobson

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

Fault detection for binary sensors in smart home environments

Ye, J , Stevenson, G & Dobson, S 2015, ' Fault detection for binary sensors in smart home environments '. in IEEE International Conference on Pervasive Computing and Communications (PerCom 2015). IEEE Computer Society.

Developing pervasive multiagent systems with nature-inspired co-ordination

Zambonelli, F, Omicini, A, Anzengruber, B, Castelli, G, DeAngelis, F, di Marzo Serugendo, G , Dobson, SA , Fernandez Marquez, J-L, Ferscha, A, Mamei, M, Mariani, S, Molesini, A, Montagna, S, Nieminen, J, Pianini, D, Rosi, A, Stevenson, GT, Viroli, M & Ye, J 2015, ' Developing pervasive multiagent systems with nature-inspired co-ordination ' Pervasive and Mobile Computing , vol 17, no. Part B, pp. 236-252.

Evaluating unsupervised fault detection in self-healing systems using stochastic primitives

Schneider, C , Barker, AD & Dobson, SA 2015, ' Evaluating unsupervised fault detection in self-healing systems using stochastic primitives ' EAI Endorsed Transactions on Self-Adaptive Systems , vol 15, no. 1, e3.

Semantic web technologies in pervasive computing: a survey and research roadmap

Ye, J , Dasiopoulou, S, Stevenson, GT, Meditskos, G, Kontopoulos, E, Kompatsiaris, I & Dobson, SA 2015, ' Semantic web technologies in pervasive computing: a survey and research roadmap ' Pervasive and Mobile Computing .

USMART: an unsupervised semantic mining activity recognition technique

Ye, J , Stevenson, GT & Dobson, SA 2014, ' USMART: an unsupervised semantic mining activity recognition technique ' ACM Transactions on Intelligent Interaction Systems , vol 4, no. 4, 16.

Data collection with in-network fault detection based on spatial correlation

Fang, L & Dobson, SA 2014, ' Data collection with in-network fault detection based on spatial correlation '. in 2014 International Conference on Cloud and Autonomic Computing (ICCAC). pp. 56-65.

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.

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 ADAPT '14 The 4th International Workshop on Adaptive Self-tuning Computing Systems. ACM Press - Association for Computing Machinery, New York, NY, pp. 24-31, 4th International Workshop on Adaptive Self-tuning Computing Systems, Vienna, Australia, 22-22 January.