Dr Lynne Blair

Senior Lecturer

Research Overview

- Human aspects of Computing such as personal and social implications of our digital economy on community values and integrity, wellbeing, and environmental implications regarding sustainability in digital innovations.

- Values and frames – applied to digital technologies; and specifically the integration of values into design through the HCI field of Value Sensitive Design.

- Interactions occurring in software systems (feature-oriented development), aspect-oriented software development and formal verification techniques.

The future of the computing curriculum: how the computing curriculum instills values and subjectivity in young people
Wohl, B., Beck, S., Blair, L. 9/01/2017 In: International Journal of Computer Science Education in Schools. 1, 1, p. 21-29. 9 p.
Journal article

Fostering social innovation for active ageing
Sharma, D., Clune, S.J., Blair, L. 28/07/2016
Conference paper

Developing radical-digital interventions to tackle loneliness amongst the elderly
Sharma, D., Blair, L., Clune, S. 5/08/2015 In: Human aspects of IT for the aged population. Cham : Springer p. 170-180. 11 p.
Paper

Radicalising the designer: combating age-related loneliness through radical-digital interventions
Sharma, D., Clune, S., Blair, L. 4/06/2015 In: Proceedings of Cumulus Milan 2015: The Virtuous Circle.
Conference contribution

Beyond the technological blindfold: a fundamental design research approach to sustainability
Thomas, L., Walker, S., Blair, L. 26/05/2015 In: Global Journal on Humanities and Social Sciences. 3, p. 532-539. 8 p.
Journal article

Models and patterns of trust
Knowles, B., Rouncefield, M., Harding, M., Davies, N., Blair, L., Hannon, J., Walden, J., Wang, D. 03/2015 In: CSCW '15 Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work & Social Computing. New York : ACM p. 328-338. 11 p.
Paper

In search of the citizen centric city: a value reflection tool for living labs
Mullagh, L., Blair, L., Dunn, N. 1/09/2014
Conference paper

Beyond the smart city: reflecting human values in the built environment
Mullagh, L., Blair, L., Dunn, N. 22/07/2014 In: The Third International Conference on Smart Systems, Devices and Technologies SMART 2014 July 20 - 24, 2014 - Paris, France. Paris, France : IARIA p. 43-46. 4 p.
Paper

Patterns of persuasion for sustainability
Knowles, B., Blair, L., Walker, S., Coulton, P., Thomas, L., Mullagh, L. 21/06/2014 In: DIS '14 Proceedings of the 2014 conference on Designing interactive systems. New York : ACM p. 1035-1044. 10 p.
Paper

Rethinking plan A for sustainable HCI
Knowles, B., Blair, L., Coulton, P., Lochrie, M. 2014 In: CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York : ACM p. 3593-3596. 4 p.
Paper

Toward a sustainability lexicon and pattern language?
Knowles, B., Blair, L., Walker, S. 2014
Conference paper

Trustworthy by design
Knowles, B., Harding, M., Blair, L., Davies, N., Hannon, J., Rouncefield, M., Walden, J. 2014 In: CSCW '14 Proceedings of the 17th ACM conference on Computer supported cooperative work & social computing. New York : ACM p. 1060-1071. 12 p.
Paper

Design for Cyber-Sustainability: Toward a Sustainable Digital Future
Knowles, B., Walker, S., Blair, L. 2013 In: The Handbook of Design for Sustainability. London : Bloomsbury p. 488-512. ISBN: 987-0-8578-5852-8.
Chapter

Exploring sustainability research in computing: where we are and where we go next
Knowles, B., Blair, L., Hazas, M., Walker, S. 2013 In: Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing (UbiComp 2013). New York : ACM p. 305-314. 10 p.
Paper

Reframing progress in the digital age: moving forward sustainably
Richards, B., Walker, S., Blair, L. 2013 In: The International Journal of Sustainability in Economic, Social and Cultural Context. 8, 4, p. 53-61. 9 p.
Journal article

Cyber-Sustainability: Leaving a Lasting Legacy of Human Wellbeing
Richards, B., Walker, S., Blair, L. 2011 In: Proceedings of HCI 2011 The 25th BCS Conference on Human Computer Interaction. Swindon : British Computer Society p. 1-6. 6 p.
Conference contribution

CIF: A Framework for Managing Integrity in Aspect-Oriented Composition
Camilleri, A., Coulson, G., Blair, L. 2009 In: Objects, Components, Models and Patterns. Berlin : Springer Verlag p. 18-36. 19 p. ISBN: 978-3-642-02570-9.
Conference contribution

Securing Aspect Composition
Camilleri, A., Blair, L., Coulson, G. 2008 In: Proceedings of the 2008 ACM Symposium on Applied Computing. New York : ACM p. 278-279. 2 p. ISBN: 9781595937537.
Conference contribution

Policies and Conflicts in Call Control
Turner, K.J., Blair, L. 02/2007 In: Computer Networks. 51, 2, p. 496-514. 19 p.
Journal article

A Framework for Policy Driven Auto-Adaptive Systems using Dynamic Framed Aspects.
Blair, L., Greenwood, P. 1/11/2006 In: Transactions on Aspect-Oriented Software Development II. Berlin : Springer p. 30-65. 36 p.
Paper

Policy Support for Call Control
Turner, K.J., Reiff-Marganiec, S., Blair, L., Pang, J., Gray, T., Perry, P., Ireland, J. 09/2006 In: Computer Standards and Interfaces. 28, 6, p. 635-649. 15 p.
Journal article

Policies for an AOP Based Auto-Adaptive Framework
Greenwood, P., Blair, L. 09/2005 In: Lecture Notes in Informatics: NODe 2005/ GSEM 2005. Bonn : Gesellschaft für Informatik p. 76-93. 18 p. ISBN: 3-88579-398-9.
Conference contribution

Dynamic Framed Aspects for Policy Driven Auto-Adaptive Systems
Greenwood, P., Blair, L. 01/2005
Conference paper

Engineering Aspect-Oriented Systems
Blair, G.S., Blair, L., Rashid, A., Chitchyan, R., Moreira, A., Araujo, J. 01/2005 In: Aspect-oriented software development. Harlow : Addison Wesley Longman p. 379-406. 28 p. ISBN: 9780321219763.
Chapter

Handling Policy Conflicts in Call Control
Blair, L., Turner, K. 2005 In: Feature Interactions in Telecommunications and Software Systems VIII. Amsterdam : IOS Press p. 39-57. 19 p.
Paper

Dynamic Framed Aspects for Dynamic Software Evolution
Greenwood, P., Blair, L., Loughran, N., Rashid, A. 2004
Other chapter contribution

Refining Feature Driven Development: A Methodology For Early Aspects
Pang, J., Blair, L. 2004 In: Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design. p. 86-91. 6 p.
Conference contribution

Using Dynamic Aspect-Oriented Programming to Implement an Autonomic System
Greenwood, P., Blair, L. 2004 In: Proceedings of the 2004 Dynamic Aspects Workshop (DAW04). p. 76-88. 13 p.
Conference contribution

Investigating Feature Interactions by Exploiting Aspect Oriented Programming
Monga, M., Beltagui, F., Blair, L. 01/2003
Working paper

Separating Interaction Concerns from Distributed Feature Components
Pang, J., Blair, L. 01/2003
Conference paper

Aspect-Oriented Programming and Separation of Crosscutting Concerns
Rashid, A., Blair, L. 2003 In: The Computer Journal. 46, 5, 2 p.
Editorial

Aspect-Oriented Solutions to Feature Interaction Concerns using AspectJ
Blair, L., Pang, J. 2003 In: Feature Interactions in Telecommunications and Software Systems VII. Amsterdam : IOS Press p. 87-104. 17 p. ISBN: 9781586033484 .
Conference contribution

Reasoning on AspectJ Programmes
Blair, L., Monga, M. 2003
Conference paper

Reflection, Self-Awareness and Self-Healing in OpenORB
Blair, G.S., Coulson, G., Blair, L., Duran-Limon, H., Grace, P., Moreira, R., Parlavantzas, N. 11/2002 In: WOSS '02 Proceedings of the first workshop on Self-healing systems. New York : ACM Press p. 9-14. 6 p.
Paper

A Feature Manager Approach to the Analysis of Component Interactions
Blair, L., Jones, T., Reiff-Marganiec, S. 2002
Other chapter contribution

An Adaptive Run Time Manager for the Dynamic Integration and Interaction Resolution of Features.
Pang, J., Blair, L. 2002 In: Distributed Computing Systems Workshops, 2002. Proceedings. 22nd International Conference on. IEEE p. 445-450. 6 p. ISBN: 0-7695-1588-6.
Conference contribution

Digging into Concurrency
Chandler, A., Patching, S., Blair, L. 2002 In: Concurrency in Dependable Computing. Boston, Mass. : Kluwer Academic Publishers ISBN: 9781402070433.
Conference contribution

The Design and Implementation of OpenORB 2
Blair, G.S., Coulson, G., Andersen, A., Blair, L., Clarke, M., Costa, F., Duran-Limon, H., Fitzpatrick, T., Johnston, L., Moreira, R., Parlavantzas, N., Saikoski, K. 1/10/2001 In: IEEE Distributed Systems Online. 2, 6
Journal article

Feature Interactions Outside a Telecom Domain
Blair, L., Blair, G.S., Pang, J., Efstratiou, C. 06/2001 In: Proceedings of the Workshop on Feature Interaction in Composed Systems (at ECOOP'01). p. 15-20. 6 p.
Paper

Formal Support for Dynamic QoS Management in the Development of Open Component-Based Distributed Systems
Blair, L., Blair, G.S., Andersen, A., Jones, T. 06/2001 In: IEE Proceedings - Software. 148, 3, p. 89-97. 9 p.
Journal article

Prototyping of Real-Time Component Based Systems by the Use of Timed Automata
Blair, L., Jones, T. 05/2001
Other

Specifying and analysing multimedia systems
Blair, L., Blair, G.S. 2001 In: Formal methods for distributed processing . Cambridge : Cambridge University Press p. 373-399. 27 p. ISBN: 9780521771849.
Chapter

The Design and Implementation of Open ORB V2
Blair, G.S., Blair, L., Coulson, G., Andersen, A., Clarke, M., Costas, F., Duran-Limon, H., Fitzpatrick, T., Johnston, L., Moreira, R., Parlavantzas, N., Saikoski, K. 2001 In: IEEE Distributed Systems Online. 2, 6
Journal article

The use of automata in modelling and building a real-time component based system
Blair, L., Jones, T. 2001 In: Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on. IEEE p. 69-76. 8 p.
Paper

Specification and Analysis of Automata-Based Designs
Blair, L., Bryans, J., Bowman, H., Derrick, J. 11/2000
Other

A Formal View of Aspects in the Development of Component-Based Distributed Systems
Blair, G.S., Blair, L., Andersen, A. 09/2000
Other contribution

Stochastically Enhanced Timed Automata
Blair, L., Blair, G.S., Jones, T. 09/2000
Other

Feature Interactions Life Beyond Traditional Telephony
Blair, L., Pang, J. 05/2000
Other

The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms
Blair, G.S., Blair, L., Issarny, V., Tuma, P., Zarras, A. 04/2000
Other contribution

Supporting Dynamic QoS Management Functions in a Reflective Middleware Platform
Blair, G.S., Blair, L., Coulson, G., Andersen, A., Sanchez, D. 02/2000 In: IEE Proceedings - Software. 147, 1, p. 13-21. 9 p.
Journal article

Testing Petri Nets for Mobile Robots Using Groebner Bases
Chandler, A., Blair, L., Heyworth, A., Seward, D. 01/2000
Other

A principled approach to supporting adaptation in distributed mobile environments
Blair, G., Coulson, G., Andersen, A., Blair, L., Clarke, M., Costa, F., Duran, H., Parlavantzas, N., Saikoski, K. 2000 In: International Symposium on Software Engineering for Parallel and Distributed Systems, Proceedings. Los Alamitos : IEEE p. 3-12. 10 p.
Paper

The Role of Temporal Logic and Time Automata in Distributed Multimedia Systems
Blair, L. 11/1999
Other contribution

A Tool Suite to Support Aspect-Oriented Specification
Blair, L., Blair, G.S. 06/1999
Other contribution

A Tool Suite for Multi-Paradigm Specification
Blair, L., Blair, G.S., Jones, T. 03/1999
Other

Composition in Multi-Paradigm Specification Techniques
Blair, L., Blair, G.S. 02/1999
Other

The role of reflection in supporting dynamic QoS management functions
Blair, G., Andersen, A., Blair, L., Coulson, G. 1999 In: IWQOS '99: 1999 7th International Workshop on Quality of Service. New York : IEEE p. 49-51. 3 p. ISBN: 0-7803-5671-3.
Conference contribution

The Impact of Aspect-Oriented Programming on Formal Methods
Blair, L., Blair, G.S. 01/1998
Conference paper

Formal specification of distributed multimedia systems.
Blair, G.S., Blair, L., Bowman, H., Chetwynd, A.G. 1998 UCL Press.
Book

Formal description of multimedia systems : an assessment of potential techniques.
Bowman, H., Blair, L., Blair, G.S., Chetwynd, A.G. 12/1995 In: Computer Communications. 18, 12, p. 964-977. 14 p.
Journal article

Formal specification and verification of multimedia systems in open distributed processing.
Blair, L., Blair, G.S., Bowman, H., Chetwynd, A.G. 30/09/1995 In: Computer Standards and Interfaces. 17, 5-6, p. 413-436. 24 p.
Journal article

A formal description technique supporting quality of service and media synchronisation.
Bowman, H., Blair, L., Blair, G.S., Chetwynd, A.G. 1994 In: Proceedings of Cost 237 : multimedia transport and teleservices. Springer
Chapter

A framework for the formal specification and verification of distributed multimedia systems.
Blair, L., Blair, G.S., Bowman, H., Chetwynd, A.G. 1994 In: Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks.
Chapter

A framework for the formal specification of multimedia systems in open distributed processing MPG-93-12 J.
Blair, L., Blair, G.S., Bowman, H., Chetwynd, A.G., Papathomas, M. 1994 In: Proceedings of the Workshop on Distributed Multimedia Applications and Quality of Service Verification. Montreal
Chapter

Time versus abstraction in formal descriptions.
Bowman, H., Blair, L., Blair, G.S., Chetwynd, A.G. 1994 In: Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93). North Holland : Elsevier
Chapter

Formal description of distributed multimedia systems.
Bowman, H., Blair, L., Blair, G.S., Chetwynd, A.G. 1993 In: Proceedings of the 9th British Colloquium for Theoretical Computer Science. York
Chapter