Home > Research > Researchers > Dr Lynne Blair > Publications

Research

Dr Lynne Blair

Senior Lecturer

51 - 60 out of 80Page size: 10
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

Previous 12 3 4 5 6 7 8 Next

Back to top