Home > Research > Browse

Research

Results for Message passing

Publications & Outputs

  1. Everyday dwelling with WhatsApp

    O'Hara, K., Massimi, M., Harper, R., Rubens, S. & Morris, J., 2014, CSCW '14 Proceedings of the 17th ACM conference on Computer supported cooperative work & social computing. New York: ACM, p. 1131-1143 13 p.

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

  2. Efficient verification of distributed protocols using stateful model checking

    Saissi, H., Bokor, P., Muftuoglu, C. A., Suri, N. & Serafini, M., 30/09/2013, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems. IEEE, p. 133-142 10 p.

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

  3. Brief announcement: MP-state: State-aware software model checking of message-passing systems

    Muftuoglu, C. A., Bokor, P. & Suri, N., 2012, Stabilization, Safety, and Security of Distributed Systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings. Vol. 7596 LNCS. p. 183-186 4 p.

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

  4. Supporting domain-specific state space reductions through local partial-order reduction

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 6/11/2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). IEEE, p. 113-122 10 p.

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

  5. The complexity of robust atomic storage

    Dobre, D., Guerraoui, R., Majuntke, M., Suri, N. & Vukolić, M., 6/06/2011, PODC '11 Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing. ACM, p. 59-68 10 p.

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

  6. Eventually linearizable shared objects

    Serafini, M., Dobre, D., Majuntke, M., Bokor, P. & Suri, N., 25/07/2010, PODC '10 Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing. ACM, p. 95-104 10 p.

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

  7. Designing a technological playground: A field study of the emergence of play in household messaging

    Lindley, S. E., Harper, R. & Sellen, A., 2010, CHI '10 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: ACM, p. 2351-2360 10 p.

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

  8. On efficient models for model checking message-passing distributed protocols

    Bokor, P., Serafini, M. & Suri, N., 2010, Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer, Vol. 6117 LNCS. p. 216-223 8 p.

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

  9. Abortable fork-linearizable storage

    Majuntke, M., Dobre, D., Serafini, M. & Suri, N., 2009, Principles of Distributed Systems: 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings. Springer, Vol. 5923 LNCS. p. 255-269 15 p.

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

  10. HomeNote: Supporting situated messaging in the home

    Sellen, A., Harper, R., Eardley, R., Izadi, S., Regan, T., Taylor, A. S. & Wood, K. R., 2006, CSCW '06 Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work. New York: ACM, p. 383-392 10 p.

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

  11. TxtBoard: From text-to-person to text-to-home

    O'Hara, K., Harper, R., Unger, A., Wilkes, J., Sharpe, B. & Jansen, M., 2005, CHI EA '05 CHI '05 Extended Abstracts on Human Factors in Computing Systems. New York: ACM, p. 1705-1708 4 p.

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

More results »