Home > Research > Researchers > Dr Lynne Blair > Publications

Research

Dr Lynne Blair

Senior Lecturer

51 - 75 out of 80Page size: 25
RSS feed of this list
  1. 2001
  2. 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/Magazine › Journal article › peer-review

  3. 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/ISSN › Conference contribution/Paper › peer-review

  4. 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/Magazine › Journal article › peer-review

  5. 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

  6. 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/ISSN › Chapter

  7. 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/Magazine › Journal article › peer-review

  8. 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/ISSN › Conference contribution/Paper › peer-review

  9. 2000
  10. 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/ISSN › Conference contribution/Paper › peer-review

  11. 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/ISSN › Conference contribution/Paper › peer-review

  12. 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

  13. Unpublished

    Feature Interactions Life Beyond Traditional Telephony

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

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

  14. 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/Magazine › Journal article

  15. 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/ISSN › Conference contribution/Paper › peer-review

  16. 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

  17. 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/ISSN › Conference contribution/Paper › peer-review

  18. 1999
  19. Unpublished

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

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

    Research output: Other contribution

  20. Unpublished

    A Tool Suite to Support Aspect-Oriented Specification

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

    Research output: Other contribution

  21. Unpublished

    Composition in Multi-Paradigm Specification Techniques

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

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

  22. 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/ISSN › Conference contribution/Paper › peer-review

  23. 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/ISSN › Conference contribution/Paper › peer-review

  24. 1998
  25. 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

  26. Published

    Formal specification of distributed multimedia systems.

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

    Research output: Book/Report/Proceedings › Book

  27. 1995
  28. 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/Magazine › Journal article

  29. 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/Magazine › Journal article

  30. 1994
  31. 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/ISSN › Conference contribution/Paper › peer-review

Previous 1 2 3 4 Next

Back to top