Home > Research > Researchers > Dr Lynne Blair > Publications

Dr Lynne Blair

Senior Lecturer

  1. 2023
  2. Published

    Incorporating Software Security: Using Developer Workshops to Engage Product Managers

    Weir, C., Becker, I. & Blair, L., 31/03/2023, In: Empirical Software Engineering. 28, 2, 33 p., 21.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  3. 2021
  4. Published

    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/ISSNConference contribution/Paperpeer-review

  5. Published

    '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/ISSNConference contribution/Paperpeer-review

  6. Published

    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/ISSNConference contribution/Paperpeer-review

  7. Published

    Women's Sense of Belonging in Computer Science Education: Project Report for Advance HE

    Blair, L., Widdicks, K., Ashcroft, A., Winter, E., Sturdee, M., New, K. & Thomas, L., 31/01/2021, Lancaster University. 47 p.

    Research output: Book/Report/ProceedingsCommissioned report

  8. 2020
  9. Published

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

    Weir, C., Becker, I., Noble, J., Blair, L., Sasse, M. A. & Rashid, A., 1/03/2020, In: Software: Practice and Experience. 50, 3, p. 275-298 24 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    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/ISSNConference contribution/Paperpeer-review

  11. 2019
  12. Published

    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/ISSNConference contribution/Paperpeer-review

  13. Published

    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/ISSNConference contribution/Paperpeer-review

  14. Published

    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/ISSNConference contribution/Paperpeer-review

  15. 2018
  16. Published

    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/ISSNConference contribution/Paperpeer-review

  17. Published

    Reducing Later Life Loneliness: A Systematic Literature Review of Loneliness Interventions

    Sharma, D., Blair, L. & Clune, S. J., 07/2018.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  18. Published

    Developer Cyber Essentials: Trialling Interventions to Improve Development Security

    Weir, C., Blair, L., Noble, J., Becker, I. & Sasse, A., 25/05/2018, Lancaster: Lancaster University. 8 p.

    Research output: Book/Report/ProceedingsCommissioned report

  19. 2017
  20. Published

    The future of the computing curriculum: how the computing curriculum instills values and subjectivity in young people

    Wohl, B., Beck, S. & Blair, L., 1/02/2017, In: International Journal of Computer Science Education in Schools. 1, 1, p. 21-29 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  21. 2016
  22. Published

    Fostering social innovation for active ageing

    Sharma, D., Clune, S. J. & Blair, L., 28/07/2016.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  23. 2015
  24. Published

    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/ISSNConference contribution/Paperpeer-review

  25. Published

    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/ISSNConference contribution/Paperpeer-review

  26. Published

    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.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  27. Published

    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/ISSNConference contribution/Paperpeer-review

  28. 2014
  29. Published

    In search of the citizen centric city: a value reflection tool for living labs

    Mullagh, L., Blair, L. & Dunn, N., 1/09/2014.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  30. Published

    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/ISSNConference contribution/Paperpeer-review

  31. Published

    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/ISSNConference contribution/Paperpeer-review

  32. Published

    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/ISSNConference contribution/Paperpeer-review

  33. Published

    Toward a sustainability lexicon and pattern language?

    Knowles, B., Blair, L. & Walker, S., 2014, p. 1-3. 3 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  34. Published

    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/ISSNConference contribution/Paperpeer-review

  35. 2013
  36. Published

    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/ISSNChapter

  37. Published

    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/ISSNConference contribution/Paperpeer-review

  38. Published

    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.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  39. 2011
  40. Published

    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/ISSNConference contribution/Paperpeer-review

  41. 2009
  42. Published

    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/ISSNConference contribution/Paperpeer-review

  43. 2008
  44. Published

    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/ISSNConference contribution/Paperpeer-review

  45. 2007
  46. Published

    Policies and Conflicts in Call Control

    Turner, K. J. & Blair, L., 02/2007, In: Computer Networks. 51, 2, p. 496-514 19 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  47. 2006
  48. Published

    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/ISSNConference contribution/Paperpeer-review

  49. Published

    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.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  50. 2005
  51. Published

    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/ISSNConference contribution/Paperpeer-review

  52. Published

    Dynamic Framed Aspects for Policy Driven Auto-Adaptive Systems

    Greenwood, P. & Blair, L., 01/2005.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  53. Published

    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/ISSNChapter

  54. Published

    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/ISSNConference contribution/Paperpeer-review

  55. 2004
  56. Published

    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/ISSNOther chapter contribution

  57. Published

    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/ISSNConference contribution/Paperpeer-review

  58. Published

    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/ISSNConference contribution/Paperpeer-review

  59. 2003
  60. Unpublished

    Investigating Feature Interactions by Exploiting Aspect Oriented Programming

    Monga, M., Beltagui, F. & Blair, L., 01/2003, (Unpublished).

    Research output: Working paper

  61. Published

    Separating Interaction Concerns from Distributed Feature Components

    Pang, J. & Blair, L., 01/2003. 8 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paper

  62. Published

    Aspect-Oriented Programming and Separation of Crosscutting Concerns

    Rashid, A. & Blair, L., 2003, In: The Computer Journal. 46, 5, p. 527-528 2 p.

    Research output: Contribution to Journal/MagazineEditorial

  63. Published

    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/ISSNConference contribution/Paperpeer-review

  64. Published

    Reasoning on AspectJ Programmes

    Blair, L. & Monga, M., 2003.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  65. 2002
  66. Published

    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/ISSNConference contribution/Paperpeer-review

  67. Published

    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/ISSNOther chapter contribution

  68. Published

    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/ISSNConference contribution/Paperpeer-review

  69. Published

    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/ISSNConference contribution/Paperpeer-review

  70. 2001
  71. Published

    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

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  72. Published

    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/ISSNConference contribution/Paperpeer-review

  73. Published

    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.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  74. Published

    Prototyping of Real-Time Component Based Systems by the Use of Timed Automata

    Blair, L. & Jones, T., 05/2001.

    Research output: Contribution to conference - Without ISBN/ISSN Other

  75. Published

    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/ISSNChapter

  76. Published

    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

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  77. Published

    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/ISSNConference contribution/Paperpeer-review

  78. 2000
  79. Published

    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/ISSNConference contribution/Paperpeer-review

  80. Published

    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/ISSNConference contribution/Paperpeer-review

  81. Unpublished

    A Formal View of Aspects in the Development of Component-Based Distributed Systems

    Blair, G. S., Blair, L. & Andersen, A., 09/2000, (Unpublished)

    Research output: Other contribution

  82. Unpublished

    Feature Interactions Life Beyond Traditional Telephony

    Blair, L. & Pang, J., 05/2000, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN Other

  83. Unpublished

    Supporting Dynamic QoS Management Functions in a Reflective Middleware Platform

    Blair, G. S., Blair, L., Coulson, G., Andersen, A. & Sanchez, D., 02/2000, (Unpublished) In: IEE Proceedings - Software. 147, 1, p. 13-21 9 p.

    Research output: Contribution to Journal/MagazineJournal article

  84. Published

    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/ISSNConference contribution/Paperpeer-review

  85. Unpublished

    Testing Petri Nets for Mobile Robots Using Groebner Bases

    Chandler, A., Blair, L., Heyworth, A. & Seward, D., 01/2000, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN Other

  86. Published

    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/ISSNConference contribution/Paperpeer-review

  87. 1999
  88. Unpublished

    The Role of Temporal Logic and Time Automata in Distributed Multimedia Systems

    Blair, L., 11/1999, (Unpublished)

    Research output: Other contribution

  89. Unpublished

    A Tool Suite to Support Aspect-Oriented Specification

    Blair, L. & Blair, G. S., 06/1999, (Unpublished)

    Research output: Other contribution

  90. Unpublished

    Composition in Multi-Paradigm Specification Techniques

    Blair, L. & Blair, G. S., 02/1999, (Unpublished).

    Research output: Contribution to conference - Without ISBN/ISSN Other

  91. Published

    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/ISSNConference contribution/Paperpeer-review

  92. Published

    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/ISSNConference contribution/Paperpeer-review

  93. 1998
  94. Published

    The Impact of Aspect-Oriented Programming on Formal Methods

    Blair, L. & Blair, G. S., 01/1998. 6 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paper

  95. Published

    Formal specification of distributed multimedia systems.

    Blair, G. S., Blair, L., Bowman, H. & Chetwynd, A. G., 1998, UCL Press.

    Research output: Book/Report/ProceedingsBook

  96. 1995
  97. Published

    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.

    Research output: Contribution to Journal/MagazineJournal article

  98. Published

    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.

    Research output: Contribution to Journal/MagazineJournal article

  99. 1994
  100. Published

    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/ISSNConference contribution/Paperpeer-review

  101. Published

    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/ISSNChapter

  102. Published

    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/ISSNChapter

  103. Published

    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/ISSNChapter

  104. Published

    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/ISSNChapter

  105. 1993
  106. Published

    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/ISSNChapter

Back to top