Formal description of distributed multimedia systems.

Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1993, Proceedings of the 9th British Colloquium for Theoretical Computer Science. York

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

A formal description technique supporting quality of service and media synchronisation.

Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of Cost 237 : multimedia transport and teleservices. Springer

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

A framework for the formal specification and verification of distributed multimedia systems.

Blair, L., Blair, G. S., Bowman, H. & Chetwynd, A. G., 1994, Proceedings of the Workshop on Quality of Service and Network Performance, 2nd International Conference on Intelligence in Broadband Services and Networks.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › 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, Proceedings of the Workshop on Distributed Multimedia Applications and Quality of Service Verification. Montreal

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Time versus abstraction in formal descriptions.

Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1994, Proceedings of the Sixth International Conference on Formal Description Techniques (Forte '93). Tenney, R. L., Amer, P. D. & Uyar, U. (eds.). North Holland: Elsevier

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

A formal description technique supporting expression of quality of service and media synchronization

Bowman, H., Blair, L., Blair, G. S. & Chetwynd, A. G., 1/01/1994, Multimedia Transport and Teleservices - International COST 237 Workshop, Proceedings. Springer-Verlag, p. 145-167 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 882 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The role of reflection in supporting dynamic QoS management functions

Blair, G., Andersen, A., Blair, L. & Coulson, G., 1999, IWQOS '99: 1999 7th International Workshop on Quality of Service. New York: IEEE, p. 49-51 3 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A tool suite for multi-paradigm specification

Blair, L., Jones, T. & Blair, G., 1/01/1999, Fundamental Approaches to Software Engineering - 2nd Intrnational Conference, FASE 1999 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1999, Proceedings. Finance, J.-P. (ed.). Springer-Verlag, p. 234-238 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1577).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

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, International Symposium on Software Engineering for Parallel and Distributed Systems, Proceedings. Los Alamitos: IEEE, p. 3-12 10 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The role of software architecture in constraining adaptation in component-based middleware platforms

Blair, G. S., Blair, L., Issarny, V., Tuma, P. & Zarras, A., 1/01/2000, Middleware 2000 - IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, Proceedings. Sventek, J. & Coulson, G. (eds.). Springer-Verlag, p. 164-184 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1795).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Specification and analysis of automata-based designs

Bryans, J., Blair, L., Bowman, H. & Derrick, J., 1/12/2000, Integrated Formal Methods - Second International Conference, IFM 2000, Proceedings. Springer, p. 176-193 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1945 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Stochastically enhanced timed automata

Blair, L., Jones, T. & Blair, G., 1/12/2000, Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000. p. 327-347 21 p. (IFIP Advances in Information and Communication Technology; vol. 49 AICT).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Specifying and analysing multimedia systems

Blair, L. & Blair, G. S., 2001, Formal methods for distributed processing : a survey of object-oriented approaches. Bowman, H. & Derrick, J. (eds.). Cambridge: Cambridge University Press, p. 373-399 27 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

The use of automata in modelling and building a real-time component based system

Blair, L. & Jones, T., 2001, Object-Oriented Real-Time Dependable Systems, 2001. Proceedings. Sixth International Workshop on. IEEE, p. 69-76 8 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Feature Interactions Outside a Telecom Domain

Blair, L., Blair, G. S., Pang, J. & Efstratiou, C., 06/2001, Proceedings of the Workshop on Feature Interaction in Composed Systems (at ECOOP'01). p. 15-20 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Feature Manager Approach to the Analysis of Component Interactions

Blair, L., Jones, T. & Reiff-Marganiec, S., 2002, Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. Jacobs, B. & Rensink, A. (eds.). Boston: Kluwer Academic Publishers

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Other chapter contribution

An Adaptive Run Time Manager for the Dynamic Integration and Interaction Resolution of Features.

Pang, J. & Blair, L., 2002, Distributed Computing Systems Workshops, 2002. Proceedings. 22nd International Conference on. IEEE, Vol. 2. p. 445-450 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Digging into Concurrency

Chandler, A., Patching, S. & Blair, L., 2002, Concurrency in Dependable Computing. Ezhilchelvan, P. & Romanovsky, A. (eds.). Boston, Mass.: Kluwer Academic Publishers

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

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, WOSS '02 Proceedings of the first workshop on Self-healing systems. New York: ACM Press, p. 9-14 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Aspect-Oriented Solutions to Feature Interaction Concerns using AspectJ

Blair, L. & Pang, J., 2003, Feature Interactions in Telecommunications and Software Systems VII. Amyot, D. & Logrippo, L. (eds.). Amsterdam: IOS Press, p. 87-104 17 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Dynamic Framed Aspects for Dynamic Software Evolution

Greenwood, P., Blair, L., Loughran, N. & Rashid, A., 2004, RAM-SE’04 – ECOOP’04 Workshop on Reflection, AOP, and Meta-Data for Software Evolution (Proceedings). Cazzola, W., Chiba, S. & Saake, G. (eds.). p. 101-110 10 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Other chapter contribution

Refining Feature Driven Development: A Methodology For Early Aspects

Pang, J. & Blair, L., 2004, Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design. Tekinerdogan, B., Clements, P., Moreira, A. & Araujo, J. (eds.). p. 86-91 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Using Dynamic Aspect-Oriented Programming to Implement an Autonomic System

Greenwood, P. & Blair, L., 2004, Proceedings of the 2004 Dynamic Aspects Workshop (DAW04). Filman, R. E., Haupt , M., Mehner, K. & Mezini, M. (eds.). p. 76-88 13 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Handling Policy Conflicts in Call Control

Blair, L. & Turner, K. J., 2005, Feature Interactions in Telecommunications and Software Systems VIII. Reiff-Marganiec , S. & Ryan, M. D. (eds.). Amsterdam: IOS Press, p. 39-57 19 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Engineering Aspect-Oriented Systems

Blair, G. S., Blair, L., Rashid, A., Chitchyan, R., Moreira, A. & Araujo, J., 01/2005, Aspect-oriented software development. Filman, R. E., Elrad, T., Clarke, S. & Aksit, M. (eds.). Harlow: Addison Wesley Longman, p. 379-406 28 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Policies for an AOP Based Auto-Adaptive Framework

Greenwood, P. & Blair, L., 09/2005, Lecture Notes in Informatics: NODe 2005/ GSEM 2005: NetObjectDays05. Hirschfeld , R., Kowalczyk, R., Polze, A. & Weske, M. (eds.). Bonn: Gesellschaft für Informatik, Vol. P-69. p. 76-93 18 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Framework for Policy Driven Auto-Adaptive Systems using Dynamic Framed Aspects.

Blair, L. & Greenwood, P., 1/11/2006, Transactions on Aspect-Oriented Software Development II. Berlin : Springer, p. 30-65 36 p. (Lecture Notes in Computer Science; vol. 4242).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Securing Aspect Composition

Camilleri, A., Blair, L. & Coulson, G., 2008, Proceedings of the 2008 ACM Symposium on Applied Computing. New York: ACM, p. 278-279 2 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

CIF: A Framework for Managing Integrity in Aspect-Oriented Composition

Camilleri, A., Coulson, G. & Blair, L., 2009, Objects, Components, Models and Patterns. Oriol, M. & Meyer, B. (eds.). Berlin: Springer Verlag, p. 18-36 19 p. (Lecture Notes in Business Information Processing; vol. 33, no. 2).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Cyber-Sustainability: Leaving a Lasting Legacy of Human Wellbeing

Richards, B., Walker, S. & Blair, L., 2011, Proceedings of HCI 2011 The 25th BCS Conference on Human Computer Interaction. Swindon: British Computer Society, p. 1-6 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Design for Cyber-Sustainability: Toward a Sustainable Digital Future

Knowles, B., Walker, S. & Blair, L., 2013, The Handbook of Design for Sustainability. Walker, S. & Giard, J. (eds.). London: Bloomsbury, p. 488-512

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Exploring sustainability research in computing: where we are and where we go next

Knowles, B., Blair, L., Hazas, M. & Walker, S., 2013, Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing (UbiComp 2013). New York: ACM, p. 305-314 10 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Rethinking plan A for sustainable HCI

Knowles, B., Blair, L., Coulton, P. & Lochrie, M., 2014, CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: ACM, p. 3593-3596 4 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Trustworthy by design

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

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Patterns of persuasion for sustainability

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

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Beyond the smart city: reflecting human values in the built environment

Mullagh, L., Blair, L. & Dunn, N., 22/07/2014, The Third International Conference on Smart Systems, Devices and Technologies SMART 2014 July 20 - 24, 2014 - Paris, France. Patrono, L. & Leister, W. (eds.). Paris, France: IARIA, p. 43-46 4 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Models and patterns of trust

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

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Radicalising the designer: combating age-related loneliness through radical-digital interventions

Sharma, D., Clune, S. & Blair, L., 4/06/2015, Proceedings of Cumulus Milan 2015: The Virtuous Circle.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Developing radical-digital interventions to tackle loneliness amongst the elderly

Sharma, D., Blair, L. & Clune, S., 5/08/2015, Human aspects of IT for the aged population: design for everyday life. Zhou, J. & Salvendy, G. (eds.). Cham: Springer, p. 170-180 11 p. (Lecture Notes in Computer Science; vol. 9194).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Light-touch Interventions to Improve Software Development Security

Weir, C. A. F., Blair, L., Becker, I., Sasse, A. & Noble, J., 25/09/2018, Proceedings of the IEEE Cybersecurity Development Conference 2018. Yeo, D. & Chong, S. (eds.). IEEE, 9 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The technological mediation of sustainability: Design as a mode of inquiry

Thomas, L., Walker, S. & Blair, L., 5/04/2019, Designing sustainability for all: Proceedings of the 3rd LeNS World Distributed Conference, Milano, Mexico City, Beijing, Bangalore, Curitiba, Cape Town, 3-5 April 2019. Ambrosio, M. & Vezzoli, C. (eds.). Milan: Edizione POLL design, Vol. 4. p. 1326-1331 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Interventions for Software Security: Creating a Lightweight Program of Assurance Techniques for Developers

Weir, C., Blair, L., Becker, I., Noble, J., Sasse, A. & Rashid, A., 25/05/2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Practice Track. Sharpe, H. & Whalen, M. (eds.). IEEE, p. 41-50 10 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Using children’s literature to introduce computing principles and concepts in primary schools: work in progress

Twigg, S., Blair, L. & Winter, E., 23/10/2019, WiPSCE'19 Proceedings of the 14th Workshop in Primary and Secondary Computing Education. New York: ACM, 4 p. 23

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Increasing academic diversity and inter-disciplinarity of Computer Science in Higher Education

Dempster, P., Onah, D. & Blair, L., 31/01/2020, CEP 2020 Proceedings of the 4th Conference on Computing Education Practice. New York: ACM, p. 1-4 4 p. 10

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Passion for Security: Intervening to Help Software Developers

Weir, C., Becker, I. & Blair, L., 25/05/2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP). IEEE, p. 21-30 10 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

'It's a Bit Weird, but it's OK'? How Female Computer Science Students Navigate being a Minority

Winter, E., Thomas, L. & Blair, L., 26/06/2021, Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education. New York: Association for Computing Machinery, Inc, p. 436-442 7 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Women’s Sense of Belonging in Computer Science Education: The Need for a Collective Response

Widdicks, K., Ashcroft, A., Winter, E. & Blair, L., 2/09/2021, UKICER 2021 - Proceedings of the 2021 Conference on United Kingdom and Ireland Computing Education Research. New York: ACM, p. 4:1-4:7 7 p. 4

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review