Works (9)

2022 journal article

Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications

AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 36(1).

By: S. Christie, A. Chopra & M. Singh

Sources: Web Of Science, ORCID
Added: February 28, 2022

2022 article

Multiagent Foundations for Distributed Systems: A Vision

ENGINEERING MULTI-AGENT SYSTEMS, Vol. 13190, pp. 62–71.

By: A. Chopra, S. Christie & M. Singh

Sources: Web Of Science, ORCID
Added: March 10, 2022

2021 journal article

Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols

COMPUTER, 54(5), 44–53.

By: S. Christie, A. Chopra & M. Singh

Sources: Web Of Science, ORCID
Added: May 11, 2021

2021 article

Deserv: Decentralized Serverless Computing

2021 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, ICWS 2021, pp. 51–60.

By: S. Christie, A. Chopra & M. Singh

Sources: Web Of Science, ORCID
Added: November 12, 2021

2021 journal article

Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain

IEEE INTERNET COMPUTING, 25(4), 67–75.

By: S. Christie, M. Singh & A. Chopra

Sources: Web Of Science, ORCID
Added: August 30, 2021

2021 article

Interaction-Oriented Programming: An Application Semantics Approach for Engineering Decentralized Applications

PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), pp. 575–576.

By: A. Chopra, S. Christie & M. Singh

Sources: Web Of Science, ORCID
Added: February 7, 2022

2020 chapter

Fault Tolerance in Multiagent Systems

In Engineering Multi-Agent Systems (pp. 78–86).

By: S. V* & A. Chopra*

Source: ORCID
Added: December 16, 2022

2020 journal article

Protocols Over Things: A Decentralized Programming Model for the Internet of Things

Computer, 53(12), 60–68.

By: S. V*, D. Smirnova, A. Chopra* & M. Singh

Source: ORCID
Added: November 26, 2020

2014 conference paper

How developers visualize compiler messages: A foundational approach to notification construction

2014 Second IEEE Working Conference on Software Visualization (VISSOFT), 87–96.

By: T. Barik, K. Lubick n, S. V & E. Murphy-Hill

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

Employment

2020 - 2022

Lancaster University Lancaster, GB