Home > Research > Researchers > Dr Francois Taiani > Publications

Research

Dr Francois Taiani

Formerly at Lancaster University

1 - 10 out of 47Page size: 10
RSS feed of this list
  1. Published

    PAMPA in the wild: a real-life evaluation of a lightweight ad-hoc broadcasting family

    Winstanley, C., Ramdhany, R., Taiani, F., Porter, B. & Miranda, H., 12/2012, MidSens '12 Proceedings of the 7th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks. New York: ACM, p. 1-6 6 p.

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

  2. Published

    PAMPA in the wild: a real-life evaluation of a lightweight ad-hoc broadcasting family

    Winstanley, C., Ramdhany, R., Taïani, F., Porter, B. & Miranda, H., 23/04/2014, In: Journal of Internet Services and Applications. 5, 1, 16 p., 5.

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

  3. Unpublished

    Modular Aspect Verification for Safer Aspect-Based Evolution

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

    Research output: Other contribution

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

  5. Published

    Component-based System Software: A Generic Approach

    Ueyama, J., Taiani, F., Madeira, E., Coulson, G. & Grace, P., 10/2007.

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

  6. Published

    Exploiting a Generic Approach to Construct Component-Based Systems Software in Linux Environments

    Ueyama, J., Madeira, E. R. M., Taiani, F., Camargo, R. Y. D., Grace, P. & Coulson, G., 2010, In: International Journal of Software Engineering and Knowledge Engineering. 20, 6, p. 843-873 31 p.

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

  7. Published

    Principles of multi-level reflection for fault tolerant architectures

    Taïani, F., Fabre, J-C. & Killijian, M-O., 2002, Dependable Computing, 2002. Proceedings. 2002 Pacific Rim International Symposium on. Washington, DC, USA: IEEE Computer Society, p. 59-66 8 p.

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

  8. Published

    Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L

    Taïani, F., Paludetto, M. & Delatour, J., 2001, Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on. Washington, DC, USA: IEEE Computer Society, p. 298-305 8 p.

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

  9. Published

    Cliff-edge consensus: agreeing on the precipice

    Taïani, F., Porter, B., Coulson, G. & Raynal, M., 2013, Parallel computing technologies: 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings. Malyshkin, V. (ed.). Berlin: Springer-Verlag, p. 51-64 14 p. (Lecture Notes in Computer Science; vol. 7979).

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

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

Previous 1 2 3 4 5 Next

Back to top