Home > Research > Researchers > Dr Francois Taiani > Publications

Research

Dr Francois Taiani

Formerly at Lancaster University

21 - 30 out of 47Page size: 10
RSS feed of this list
Sort by: Title
  1. Unpublished

    Modular Aspect Verification for Safer Aspect-Based Evolution

    Weston, N., Taiani, F. & Rashid, A., 07/2005, (Unpublished)

    Research output: Other contribution

  2. Published

    MAASC '11: Proceedings of the 1st Workshop on Middleware and Architectures for Autonomic and Sustainable Computing

    Diaconescu, A. (ed.), Taiani, F. (ed.) & Lalanda, P. (ed.), 2011, Proceedings of the 1st Workshop on Middleware and Architectures for Autonomic and Sustainable Computing. ACM

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

  3. Published

    Interaction analysis for fault-tolerance in aspect-oriented programming

    Weston, N., Taiani, F. & Rashid, A., 11/09/2007, Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMoT), July 3, 2007, Oxford, UK, held in conjunction with iFM 2007: integrated Formal Methods. p. 95-102 8 p.

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

  4. Published

    Implementing Simple Replication Protocols using CORBA Portable Interceptors and Java Serialization

    Bennani, T., Blain, L., Courtes, L., Fabre, J-C., Killijian, M-O., Marsden, E. & Taiani, F., 2004, Dependable Systems and Networks, 2004 International Conference on. Washington, DC, USA: IEEE Computer Society, p. 549-554 6 p.

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

  5. Published

    Holons: Towards a systematic approach to composing systems of systems

    Blair, G. S., Bromberg, Y-D., Coulson, G., El Khatib, Y., Réveillère, L., B. Ribeiro, H., Rivière, E. & Taïani, F. G. D., 7/12/2015, ARM 2015 Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware. New York: ACM, p. 5:1 5 p. 5

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

  6. Published

    GossipKit: A Framework of Gossip Protocol Family

    Lin, S., Taiani, F., Blair, G. S. & European Science Foundation (Funder), 11/09/2007, p. 26-30. 5 p.

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

  7. Published

    GOSSIPKIT: a unified component framework for Gossip

    Taïani, F., Lin, S. & Blair, G., 02/2014, In: IEEE Transactions on Software Engineering. 40, 2, p. 123-136 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  8. Published

    Geology: Modular Georecommendation In Gossip-Based Social Networks

    Carretero, J., Isaila, F., Kermarrec, A-M., Taïani, F. & Tirado, J. M., 06/2012, Proceedings of the IEEE 32nd International Conference on Distributed Computing Systems (ICDCS 2012). IEEE, p. 637-646 10 p.

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

  9. Published

    Generalised repair for overlay networks

    Porter, B., Taiani, F. & Coulson, G., 2006, SRDS 2006: 25th IEEE Symposium on Reliable Distributed Systems, Proceedings. Kawada, S. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 132-142 11 p.

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

  10. Published

    Facilitating Gossip Programming with the GossipKit Framework

    Lin, S., Taiani, F. & Blair, G. S., 2008, DAIS'08: Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems. Springer-Verlag, p. 238-252 15 p.

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

Previous 1 2 3 4 5 Next

Back to top