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

Direct phone: +44 (0)1334 461626

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

Recent Publications

Unifying sensor fault detection with energy conservation

Forrester, L & Dobson, SA 2013, ' Unifying sensor fault detection with energy conservation '. in Proceedings of the 7th International Workshop on Self-Organising Systems.

Coupled adaptive complex networks

Shai, S & Dobson, SA 2013, ' Coupled adaptive complex networks ' Physical Review E , vol 87, no. 4.

Minimising virtual machine support for concurrency

Dobson, SA , Dearle, A & Porter, BF 2013, ' Minimising virtual machine support for concurrency '. in Proceedings of 5th ETAPS workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software.

Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks

Stevenson, GT, Viroli, M, Montagna, S, Pianini, D , Ye, J & Dobson, SA 2013, ' Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks '. in Proceedings of the 28th ACM Symposium on Applied Computing. ACM Press - Association for Computing Machinery.

Packet-Level Attestation (PLA): a framework for in-network sensor-data reliability

Kamal, ARM, Bleakley, C & Dobson, SA 2013, ' Packet-Level Attestation (PLA): a framework for in-network sensor-data reliability ' ACM Transactions on Sensor Networks , vol 9, no. 2.

Formal verification of a pervasive messaging system

Konur, S, Fisher, M , Dobson, SA & Knox, S 2013, ' Formal verification of a pervasive messaging system ' Formal Aspects of Computing .

Effect of resource constraints on intersimilar coupled networks.

A reconfigurable component model with semantic type system for dynamic WSN applications

Thoelen, K, Hughes, D, Matthys, N, Forrester, L , Dobson, SA , Qiang, Y, Bai, W, Man, KL, Guan, S-U, Preuveneers, D, Michiels, S, Huygens, C & Joosen, W 2012, ' A reconfigurable component model with semantic type system for dynamic WSN applications ' Journal of Internet Services and Applications , vol 3, no. 3, pp. 277-290.

Perceiving and interpreting smart home datasets with PI

Ye, J , Stevenson, GT , Dobson, SA , O'Grady, M & O'Hare, G 2012, ' Perceiving and interpreting smart home datasets with PI ' Journal of Ambient Intelligence and Humanized Computing .

High accuracy reference-free ultrasonic location estimation

Saad, M, Bleakley, C, Ballal, T & Dobson, SA 2012, ' High accuracy reference-free ultrasonic location estimation ' IEEE Transactions on Instrumentation and Measurement , vol 61, no. 6, pp. 1561 - 1570 .