Amit K. Chopra

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 40

Top Topics

Communication Protocol

Multiagent Systems

Agent Communication

Social Computing

Top Venues

Publications

Amit K. Chopra, Jürgen Dix, Rym Zalila-Wenkstern
Introduction to the special issue: selected papers from EMAS 2022. Ann. Math. Artif. Intell. 92 (4) (2024)
Amit K. Chopra, Samuel H. Christie V.
Communication Meaning: Foundations and Directions for Systems Research. AAMAS (2023)
Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
Interaction-Oriented Programming: Intelligent, Meaning-Based Multiagent Systems. AAMAS (2023)
Aditya Kailas Khadse, Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra
Protocol-Based Engineering of Microservices. EMAS (2023)
Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra
Mandrake: Multiagent Systems as a Basis for Programming Fault-Tolerant Decentralized Applications. AAMAS (2023)
Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra
Kiko: Programming Agents to Enact Interaction Models. AAMAS (2023)
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications. Auton. Agents Multi Agent Syst. 36 (1) (2022)
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
Pippi: Practical Protocol Instantiation. AAMAS (2022)
Amit K. Chopra
Interaction-Oriented Software Engineering: Programming abstractions for autonomy and decentralization. AI Commun. 35 (4) (2022)
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
Pippi: Practical Protocol Instantiation. CoRR (2022)
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
Deserv: Decentralized Serverless Computing. ICWS (2021)
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
Hercule: Representing and Reasoning about Norms as a Foundation for Declarative Contracts over Blockchain. CoRR (2021)
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain. IEEE Internet Comput. 25 (4) (2021)
Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
Multiagent Foundations for Distributed Systems: A Vision. EMAS@AAMAS (2021)
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols. Computer 54 (5) (2021)
Amit K. Chopra, Munindar P. Singh
Accountability as a Foundation for Requirements in Sociotechnical Systems. IEEE Internet Comput. 25 (6) (2021)
Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
Interaction-Oriented Programming: An Application Semantics Approach for Engineering Decentralized Applications. PODC (2021)
Munindar P. Singh, Amit K. Chopra
Clouseau: Generating Communication Protocols from Commitments. AAAI (2020)
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
Refinement for Multiagent Protocols. AAMAS (2020)
Samuel H. Christie V., Daria Smirnova, Amit K. Chopra, Munindar P. Singh
Protocols Over Things: A Decentralized Programming Model for the Internet of Things. Computer 53 (12) (2020)
Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems. J. Artif. Intell. Res. 69 (2020)
Munindar P. Singh, Amit K. Chopra
Computational Governance and Violable Contracts for Blockchain Applications. Computer 53 (1) (2020)
Samuel H. Christie V., Amit K. Chopra
Fault Tolerance in Multiagent Systems. EMAS@AAMAS (2020)
Munindar P. Singh, Amit K. Chopra
Requirements engineering as science in the small. ICSE (NIER) (2019)
Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
A Critical Examination of Languages for Specifying Interaction Protocols for Decentralized Social Machines. CoRR (2019)
Akin Günay, Amit K. Chopra, Munindar P. Singh
Supple: Multiagent Communication Protocols with Causal Types. AAMAS (2019)
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
Compositional Correctness in Multiagent Interactions. AAMAS (2018)
Georgi M. Kanchev, Pradeep K. Murukannaiah, Amit K. Chopra
Crowd-Informed Goal Models. AIRE@RE (2018)
Akin Günay, Amit K. Chopra
Stellar: A Programming Model for Developing Protocol-Compliant Agents. EMAS@AAMAS (2018)
Munindar P. Singh, Amit K. Chopra
Violable Contracts and Governance for Blockchain Applications. CoRR (2018)
Amit K. Chopra, Munindar P. Singh
Sociotechnical Systems and Ethics in the Large. AIES (2018)
Amit K. Chopra, Samuel Christie, Munindar P. Singh
Splee: A Declarative Information-Based Language for Multiagent Interaction Protocols. AAMAS (2017)
Thomas C. King, Akin Günay, Amit K. Chopra, Munindar P. Singh
Tosca: Operationalizing Commitments Over Information Protocols. CoRR (2017)
Amit K. Chopra, Erez Shmueli, Vivek K. Singh
Introduction to the Special Issue on Advances in Social Computing. ACM Trans. Internet Techn. 17 (2) (2017)
Thomas C. King, Akin Günay, Amit K. Chopra, Munindar P. Singh
Tosca: Operationalizing Commitments Over Information Protocols. IJCAI (2017)
Munindar P. Singh, Amit K. Chopra
The Internet of Things and Multiagent Systems: Decentralized Intelligence in Distributed Computing. ICDCS (2017)
Georgi M. Kanchev, Pradeep K. Murukannaiah, Amit K. Chopra, Pete Sawyer
Canary: Extracting Requirements-Related Information from Online Discussions. RE (2017)
Georgi M. Kanchev, Pradeep K. Murukannaiah, Amit K. Chopra, Pete Sawyer
Canary: An Interactive and Query-Based Approach to Extract Requirements from Online Forums. RE (2017)
Amit K. Chopra, Munindar P. Singh
Custard: Computing Norm States over Information Stores. AAMAS (2016)
Amit K. Chopra, Munindar P. Singh
From Social Machines to Social Protocols: Software Engineering Foundations for Sociotechnical Systems. WWW (2016)
Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh
Composing and Verifying Commitment-Based Multiagent Protocols. IJCAI (2015)
Amit K. Chopra, Munindar P. Singh
Generalized Commitment Alignment. AAMAS (2015)
Amit K. Chopra, Leon van der Torre, Harko Verhagen, Serena Villata
Normative Multi-Agent Systems (Dagstuhl Seminar 15131). Dagstuhl Reports 5 (3) (2015)
Georgi M. Kanchev, Amit K. Chopra
Social media through the requirements lens: A case study of Google maps. CrowdRE@RE (2015)
Amit K. Chopra, Munindar P. Singh
Cupid: Commitments in Relational Algebra. AAAI (2015)
Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh
Social Contexts and Social Pragmatics. AAMAS (2015)
Amit K. Chopra, Raian Ali, Maja Vukovic
Introduction to the Special Issue on Foundations of Social Computing. ACM Trans. Internet Techn. 14 (4) (2014)
Amit K. Chopra, Fabiano Dalpiaz, Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos, Munindar P. Singh
Protos: Foundations for engineering innovative sociotechnical systems. RE (2014)
Amit K. Chopra, Munindar P. Singh
The thing itself speaks: Accountability as a foundation for requirements in sociotechnical systems. RELAW (2014)
Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Frank Dignum
Introduction to the special section on agent communication. ACM Trans. Intell. Syst. Technol. 4 (2) (2013)
Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Marco Colombetti, Frank Dignum, Nicoletta Fornara, Andrew J. I. Jones, Munindar P. Singh, Pinar Yolum
Research directions in agent communication. ACM Trans. Intell. Syst. Technol. 4 (2) (2013)
Elda Paja, Amit K. Chopra, Paolo Giorgini
Trust-based specification of sociotechnical systems. Data Knowl. Eng. 87 (2013)
Amit K. Chopra, Munindar P. Singh
Interaction-Oriented Software Engineering: Concepts and Principles CoRR (2012)
Amit K. Chopra
The Meaning of Requirements and Adaptation CoRR (2012)
Amit K. Chopra
True Peer Review CoRR (2012)
Fabiano Dalpiaz, Amit K. Chopra, Soo Ling Lim
The first International Workshop on Requirements Engineering for Social Computing. RESC (2011)
Amit K. Chopra, Munindar P. Singh
Colaba: Collaborative design of cross-organizational processes. RESS (2011)
Amit K. Chopra, Munindar P. Singh
The Evolution of Interoperability. DALT (2011)
Amit K. Chopra, Paolo Giorgini
Requirements Engineering for Social Applications. iStar (2011)
Elisa Marengo, Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Viviana Patti, Munindar P. Singh
Commitments with regulations: reasoning about safety and control in REGULA. AAMAS (2011)
Amit K. Chopra
Requirements-driven adaptation: Compliance, context, uncertainty, and systems. RE@RunTime (2011)
Amit K. Chopra, Elda Paja, Paolo Giorgini
Sociotechnical Trust: An Architectural Approach. ER (2011)
Amit K. Chopra
Social computing: Principles, platforms, and applications. RESC (2011)
Amit K. Chopra, Munindar P. Singh
Specifying and applying commitment-based business patterns. AAMAS (2011)
Amit K. Chopra, Nir Oren, Sanjay Modgil, Nirmit Desai, Simon Miles, Michael Luck, Munindar P. Singh
Analyzing Contract Robustness through a Model of Commitments. AOSE (2010)
Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos
Reasoning about agents and protocols via goals and commitments. AAMAS (2010)
Fabiano Dalpiaz, Amit K. Chopra, Paolo Giorgini, John Mylopoulos
Adaptation in Open Systems: Giving Interaction Its Rightful Place. ER (2010)
Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos
Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments. CAiSE (2010)
Raian Ali, Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos, Vítor Estêvão Silva Souza
The Evolution of Tropos: Contexts, Commitments and Adaptivity. iStar (2010)
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
Amoeba: A methodology for modeling and evolving cross-organizational business processes. ACM Trans. Softw. Eng. Methodol. 19 (2) (2009)
Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Nirmit Desai, Viviana Patti, Munindar P. Singh
Choice, interoperability, and conformance in interaction protocols and service choreographies. AAMAS (2) (2009)
Amit K. Chopra, Munindar P. Singh
Multiagent commitment alignment. AAMAS (2) (2009)
Munindar P. Singh, Amit K. Chopra, Nirmit Desai
Commitment-Based Service-Oriented Architecture. Computer 42 (11) (2009)
Munindar P. Singh, Amit K. Chopra
Programming Multiagent Systems without Programming Agents. PROMAS (2009)
Munindar P. Singh, Amit K. Chopra
Correctness Properties for Multiagent Systems. DALT (2009)
Amit K. Chopra, Munindar P. Singh
Elements of a Business-Level Architecture for Multiagent Systems. PROMAS (2009)
Amit K. Chopra
Business process interoperability: extended abstract. AAMAS (PhD) (2008)
Amit K. Chopra, Munindar P. Singh
Constitutive interoperability. AAMAS (2) (2008)
Nirmit Desai, Zhengang Cheng, Amit K. Chopra, Munindar P. Singh
Toward verification of commitment protocols and their compositions. AAMAS (2007)
Nirmit Desai, Amit K. Chopra, Matthew Arrott, Bill Specht, Munindar P. Singh
Engineering Foreign Exchange Processes via Commitment Protocols. IEEE SCC (2007)
Amit K. Chopra, Munindar P. Singh
Interoperation in Protocol Enactment. DALT (2007)
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
Representing and Reasoning about Commitments in Business Processes. AAAI (2007)
Amit K. Chopra, Munindar P. Singh
Choice and interoperation in protocol enactment. AAMAS (2007)
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
An overview of business process adaptations via protocols. AAMAS (2006)
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
Business Process Adaptations via Protocols. IEEE SCC (2006)
Amit K. Chopra, Munindar P. Singh
Contextualizing commitment protocol. AAMAS (2006)
Amit K. Chopra, Munindar P. Singh
Producing Compliant Interactions: Conformance, Coverage, and Interoperability. DALT (2006)
Ashok U. Mallya, Nirmit Desai, Amit K. Chopra, Munindar P. Singh
OWL-P: OWL for protocol and processes. AAMAS (2005)
Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh
OWL-P: A Methodology for Business Process Development. AOIS (2005)
Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh
Interaction Protocols as Design Abstractions for Business Processes. IEEE Trans. Software Eng. 31 (12) (2005)
Amit K. Chopra, Munindar P. Singh
Commitments for Flexible Business Processes. AAMAS (2004)
Munindar P. Singh, Amit K. Chopra, Nirmit Desai, Ashok U. Mallya
Protocols for processes: programming in the large for open systems. ACM SIGPLAN Notices 39 (12) (2004)
Munindar P. Singh, Amit K. Chopra, Nirmit Desai, Ashok U. Mallya
Protocols for processes: programming in the large for open systems (extended abstract). OOPSLA Companion (2004)
Amit K. Chopra, Munindar P. Singh
Nonmonotonic Commitment Machines. Workshop on Agent Communication Languages (2003)