Computer Science @ University of St Andrews

University of St Andrews crest

Prof Ron Morrison

Prof Ron Morrison

Position: Emeritus Professor

Email (@st-andrews.ac.uk): ron

Home page: https://ron.host.cs.st-andrews.ac.uk

Research Overview

Distributed systems; Distributed termination; Distributed garbage collection; Database management systems; Software Engineering; Programming language design; Programming language implementation; Persistent programming; Compliant systems architectures

Recent Publications

On the selection of connectivity-based metrics for WSNs using a classification of application behaviour

Boyd, A, Balasubramaniam, D, Dearle, A & Morrison, R 2010, On the selection of connectivity-based metrics for WSNs using a classification of application behaviour. in 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing: SUTC 2010. IEEE Computer Society, pp. 268-275, 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, Newport Beach, California, United States, 7/06/10. DOI: 10.1109/SUTC.2010.44

Orthogonal persistence revisited

Dearle, A, Kirby, G & Morrison, R 2009, Orthogonal persistence revisited. in MC Norrie & M Grossniklaus (eds), Object Databases: Second International Conference, ICOODB 2009. Lecture Notes in Computer Science, vol. 5936/2010, Springer-Verlag, Berlin, pp. 1-22, 2nd International Conference on Object Databases (ICOODB 2009), Zurich, Switzerland, 1/07/09. DOI: 10.1007/978-3-642-14681-7_1

Towards verifying correctness of wireless sensor network applications using Insense and Spin

Sharma, O, Lewis, JP, Miller, A, Dearle, A, Balasubramaniam, D, Morrison, R & Sventek, J 2009, Towards verifying correctness of wireless sensor network applications using Insense and Spin. in CS Pasareanu (ed.), Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings. Lecture Notes in Computer Science, vol. 5578, Springer, pp. 223-240, 16th International SPIN Workshop on Model Checking in Software , Grenoble, France, 26/06/09. DOI: 10.1007/978-3-642-02652-2_19

A component-based model and language for wireless sensor network applications

Dearle, A, Balasubramaniam, D, Lewis, JP & Morrison, R 2008, A component-based model and language for wireless sensor network applications. in 32nd annual IEEE International Computer Software and Applications: COMPSAC 2008, 28 July-1 August 2008, Turku, Finland. IEEE COMPSAC, IEEE Computer Society, pp. 1303-1308, 32nd Annual IEEE International Computer Software and Applications Conference, Turku, Finland, 28/07/08. DOI: 10.1109/COMPSAC.2008.151

An Approach to Extending the Lifetime of Wireless Sensor Networks

Boyd, A, Balasubramaniam, D, Dearle, A & Morrison, R 2008, An Approach to Extending the Lifetime of Wireless Sensor Networks. in 9th Annual Postgraduate Symposium on The Convergence of Telecommunications, Networking and Broadcasting . PGNet, Liverpool, UK, pp. 123-128, 9th Annual Postgraduate Symposium on The Convergence of Telecommunications, Networking and Broadcasting , Liverpool, United Kingdom, 23/06/08.

A composition-based approach to the construction and dynamic reconfiguration of wireless sensor network applications

Balasubramaniam, D, Dearle, A & Morrison, R 2008, A composition-based approach to the construction and dynamic reconfiguration of wireless sensor network applications. in C Pautasso & E Tanter (eds), Software Composition: 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings. vol. 4954, Lecture Notes in Computer Science, vol. 4954, Springer, pp. 206-214, 7th International Symposium on Software Composition, Budapest, Hungary, 29/03/08. DOI: 10.1007/978-3-540-78789-1_16

A Framework for Supporting Dynamic Systems Co-evolution

Morrison, R, Balasubramaniam, D, Kirby, GNC, Mickan, K, Warboys, BCW, Greenwood, RM, Robertson, I & Snowdon, R 2007, 'A Framework for Supporting Dynamic Systems Co-evolution' Automated Software Engineering, vol. 14, no. 3, pp. 261-292. DOI: 10.1007/s10515-007-0011-7

The Doomsday Distributed Termination Detection Protocol

The Impact of Software-Architecture Compliance on System Evolution

Greenwood, RM, Mayes, K, Seet, W, Warboys, BC, Balasubramaniam, D, Kirby, GNC, Morrison, R & Sage, A 2006, The Impact of Software-Architecture Compliance on System Evolution. in NH Madhavji, JC Fernandez-Ramil & DE Perry (eds), Software Evolution and Feedback: Theory and Practice. John Wiley and Sons, pp. 269-280. DOI: 10.1002/0470871822.ch13

Server Enforced Program Safety for Web Applications

Morrison, R, Detmold, H, Falkner, K, Munro, D, Olds, T & Norcross, SJ 2005, 'Server Enforced Program Safety for Web Applications' Journal of Web Engineering, vol. 4, no. 4, pp. 339-371.