Prof Simon Dobson
Director of Research
Position: Professor
Research profileEmail: 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
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.
Shai, S
& Dobson, SA
2012, '
Effect of resource constraints on intersimilar coupled networks.
'
Physical Review E
, vol 86, no. 6.
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 .


Follow us: