20002019

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 2 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Fall of empires: Breaking byzantine-tolerant SGD by inner product manipulation

Xie, C., Koyejo, O. & Gupta, I., Jan 1 2019.

Research output: Contribution to conferencePaper

  • Home, safehome: Ensuring a safe and reliable home using the edge

    Ahsan, S. B., Yang, R., Noghabi, S. A. & Gupta, I., Jan 1 2019.

    Research output: Contribution to conferencePaper

  • Kaizen: Building a performant blockchain system verified for consensus and integrity

    Kalim, F., Palmskog, K., Mehar, J., Murali, A., Gupta, I. & Madhusudan, P., Oct 2019, Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 96-104 9 p. 8894248. (Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Medley: A novel distributed failure detector for IoT networks

    Yang, R., Zhu, S., Li, Y. & Gupta, I., Dec 9 2019, Middleware 2019 - Proceedings of the 2019 20th International Middleware Conference. Association for Computing Machinery, Inc, p. 319-331 13 p. (Middleware 2019 - Proceedings of the 2019 20th International Middleware Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Read atomic transactions with prevention of lost updates: ROLA and its formal analysis

    Liu, S., Ölveczky, P. C., Wang, Q., Gupta, I. & Meseguer, J., Nov 1 2019, In : Formal Aspects of Computing. 31, 5, p. 503-540 38 p.

    Research output: Contribution to journalArticle