Items where Author is "Chopra, Amit K."

Chopra, Amit K. and Baldoni, Matteo and Christie V, Samuel H. and Singh, Munindar P. (2024) Azorus : Commitments over Protocols for BDI Agents. In: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) :. IFAAMAS, Detroit. (In Press)

Baldoni, Matteo and Christie V, Samuel H. and Singh, Munindar P. and Chopra, Amit K. (2024) Orpheus : Engineering Multiagent Systems via Communicating Agents. In: Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence :. AAAI, Philadelphia, pp. 1-9. (In Press)

Lichtenstein, Tom and Chopra, Amit K. and Singh, Munindar P. and Weske, Mathias (2024) From Visual Choreographies to Flexible Information Protocols. In: Service-Oriented Computing : 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I. Lecture Notes in Computer Science . Springer, Cham, pp. 354-369. ISBN 9789819608041

Singh, Munindar P. and V, Samuel H. Christie and Chopra, Amit K. (2024) Langshaw : Declarative Interaction Protocols Based on Sayso and Conflict. In: Proceedings of the 33rd International Joint Conference on Artificial Intelligence :. IJCAI, Jeju, Korea, pp. 202-210. ISBN 9781956792041

V, Samuel H. Christie and Singh, Munindar P. and Chopra, Amit K. (2023) Kiko: Programming Agents to Enact Interaction Protocols. In: Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems :. IFAAMAS, London, pp. 1-9. (In Press)

Chopra, Amit K. (2022) Interaction-Oriented Software Engineering : Programming abstractions for autonomy and decentralization. AI Communications, 35 (4). pp. 381-391. ISSN 0921-7126

H. Christie V, Samuel H. and Chopra, Amit K. and Singh, Munindar P. (2022) Pippi: Practical Protocol Instantiation. In: AAMAS '22: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems :. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), NZL. ISBN 9781450392136

Christie, Samuel H. and Chopra, Amit K. and Singh, Munindar P. (2022) Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications. Autonomous Agents and Multi-Agent Systems, 36 (1): 16.

Christie V, Samuel H. and Chopra, Amit K. and Singh, Munindar P. (2021) Deserv : Decentralized Serverless Computing. In: 2021 IEEE International Conference on Web Services (ICWS) :. 2021 IEEE International Conference on Web Services (ICWS) . IEEE, pp. 51-60. ISBN 9781665416825

Chopra, Amit K. and Singh, Munindar P. (2021) Accountability as a Foundation for Requirements in Sociotechnical Systems. IEEE Internet Computing, 25 (6). pp. 33-41. ISSN 1089-7801

Chopra, Amit K. and V, Samuel H. Christie and Singh, Munindar P. (2020) An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems. Journal of Artificial Intelligence Research, 69. pp. 351-1393. ISSN 1076-9757

V, Samuel H. Christie and Smirnova, Daria and Chopra, Amit K. and Singh, Munindar P. (2020) Protocols over Things : A Decentralized Programming Model for the Internet of Things. IEEE Computer, 53 (12). 60 - 68. ISSN 0018-9162

Singh, Munindar P. and Chopra, Amit K. (2020) Clouseau : Generating Communication Protocols from Commitments. In: Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence :. Proceedings of the AAAI Conference on Artificial Intelligence . AAAI, New York, pp. 7244-7252. ISBN 9781577358350

Singh, Munindar P. and Chopra, Amit K. (2020) Computational Governance and Violable Contracts for Blockchain Applications. IEEE Computer, 53 (1). pp. 53-62. ISSN 0018-9162

Singh, Munindar P. and Chopra, Amit K. (2019) Requirements Engineering as Science in the Small. In: Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering : New Ideas and Emerging Results, ICSE-NIER 2019. IEEE, pp. 45-48. ISBN 9781728117584

Günay, Akin and Chopra, Amit K. and Singh, Munindar P. (2019) Supple : Multiagent Communication Protocols with Causal Types. In: AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems :. IFAAMAS, Richland, SC, pp. 781-789. ISBN 9781450363099

V, Samuel H. Christie and Chopra, Amit K. and Singh, Munindar P. (2018) Compositional Correctness for Multiagent Interactions. In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems :. IFAAMAS, SWE, pp. 1159-1167. ISBN 9781450356497

Chopra, Amit K. and Singh, Munindar P. (2018) Sociotechnical Systems and Ethics in the Large. In: Proceedings of the AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society :. UNSPECIFIED, USA.

Kanchev, Georgi M. and Murukannaiah, Pradeep K. and Chopra, Amit K. and Sawyer, Pete (2017) Canary : An Interactive and Query-Based Approach to Extract Requirements from Online Forums. In: Proceedings of the 25th IEEE International Requirements Engineering Conference :. IEEE, Lisbon, pp. 470-471. ISBN 9781538631928

Kanchev, Georgi M. and Murukannaiah, Pradeep K. and Chopra, Amit K. and Sawyer, Pete (2017) Canary : Extracting Requirements-Related Information from Online Discussions. In: Proceedings of the 25th IEEE International Requirements Engineering Conference :. IEEE, Lisbon, pp. 31-40. ISBN 9781538631928

King, Thomas Christopher and Günay, Akin and Chopra, Amit K. and Singh, Munindar P. (2017) Tosca: Operationalizing Commitments over Information Protocols. In: Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI) :. IJCAI, Melbourne, pp. 256-264. ISBN 9780999241103

Singh, Munindar P. and Chopra, Amit K. (2017) The Internet of Things and Multiagent Systems : Decentralized Intelligence in Distributed Computing. In: Proceedings of the 37th IEEE International Conference on Distributed Computing Systems (ICDCS) :. IEEE, Atlanta, pp. 1738-1747. ISBN 9781538617939

Chopra, Amit K. and V, Samuel H. Christie and Singh, Munindar P. (2017) Splee : A declarative information-based language for multiagent interaction protocols. In: AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems :. IFAAMAS, São Paolo, pp. 1054-1063.

Chopra, Amit K. and Singh, Munindar P. (2016) Custard : Computing norm states over information stores. In: AAMAS '16 Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems :. IFAAMAS, Richland, SC, pp. 1096-1105. ISBN 9781450342391

Chopra, Amit K. and Torre, Leon van der and Verhagen, Harko and Villata, Serena (2015) Normative Multi-Agent Systems (Dagstuhl Seminar 15131). Dagstuhl Reports, 5 (3). pp. 162-176.

Baldoni, Matteo and Baroglio, Cristina and Chopra, Amit K. and Singh, Munindar P. (2015) Composing and verifying commitment-based multiagent protocols. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI) :. UNSPECIFIED, pp. 10-17. ISBN 9781577357384

Chopra, Amit K. and Singh, Munindar P. (2015) Generalized commitment alignment. In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) :. IFAAMAS, pp. 453-461.

Chopra, Amit K. and Singh, Munindar P. (2015) Cupid : commitments in relational algebra. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence :. AAAI Conference on Artificial Intelligence . AAAI, pp. 2052-2059. ISBN 74810895

Baldoni, Matteo and Baroglio, Cristina and Chopra, Amit K. and Singh, Munindar P. (2015) Social contexts and social pragmatics. In: AAMAS '15 Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems :. International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, pp. 1739-1740. ISBN 9781450334136

Kanchev, Georgi M. and Chopra, Amit K. (2015) Social media through the requirements lens : a case study of Google Maps. In: Proceedings of 1st International Workshop on Crowd-Based Requirements Engineering :. IEEE, pp. 7-12.

Chopra, Amit K. and Dalpiaz, Fabiano and Aydemir, F. Basak and Giorgini, Paolo and Mylopoulos, John and Singh, Munindar P. (2014) Protos : foundations for engineering innovative sociotechnical systems. In: Requirements Engineering Conference (RE), 2014 IEEE 22nd International :. IEEE, GBR, pp. 53-62. ISBN 9781479930319

Chopra, Amit K. and Singh, Munindar P. (2014) The thing itself speaks : accountability as a foundation for requirements in sociotechnical systems. In: 2014 IEEE 7th International Workshop on Requirements Engineering and Law (RELAW), 2014-08-26 - 2014-08-26, Karlskrona, Sweden.

Chopra, Amit K. and Artikis, Alexander and Bentahar, Jamal and Colombetti, Marco and Dignum, Frank and Fornara, Nicoletta and Jones, Andrew J. I. and Singh, Munindar P. and Yolum, Pinar (2013) Research directions in agent communication. ACM Transactions on Intelligent Systems and Technology, 4 (2): 20. pp. 1-23. ISSN 2157-6904

Paja, Elda and Chopra, Amit K. and Giorgini, Paolo (2013) Trust-based specification of sociotechnical systems. Data and Knowledge Engineering. ISSN 0169-023X

Chopra, Amit K. and Singh, Munindar P. (2012) The evolution of interoperability. In: Declarative Agent Languages and Technologies IX : 9th International Workshop, DALT 2011, Revised Selected and Invited Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 90-94. ISBN 978-3-642-29112-8

Chopra, Amit K. and Oren, Nir and Modgil, Sanjay and Desai, Nirmit and Miles, Simon and Luck, Michael and Singh, Munindar P. (2011) Analyzing contract robustness through a model of commitments. In: Agent-Oriented Software Engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 17-36. ISBN 978-3-642-22635-9

Chopra, Amit K. and Singh, Munindar P. (2011) Colaba : collaborative design of cross-organizational business processes. In: Requirements Engineering for Systems, Services and Systems-of-Systems (RESS), 2011 Workshop on :. IEEE, pp. 36-43. ISBN 978-1-4577-0939-5

Marengo, Elisa and Baldoni, Matteo and Baroglio, Cristina and Chopra, Amit K. and Patti, Viviana and Singh, Munindar P. (2011) Commitments with regulations: reasoning about safety and control in REGULA. In: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '11) :. AAMAS '11, 2 . International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, pp. 467-474.

Chopra, Amit K. and Giorgini, Paolo (2011) Requirements engineering for social applications. In: Proceedings of the 5th International i* Workshop :. CEUR Workshop Proceedings, 766 . CEUR-WS.org, pp. 138-143.

Chopra, Amit K. (2011) Requirements-driven adaptation : compliance, context, uncertainty, and systems. In: Requirements@Run.Time (RE@RunTime), 2011 2nd International Workshop on :. IEEE, pp. 32-36. ISBN 978-1-4577-0942-5

Chopra, Amit K. (2011) Social computing : principles, platforms, and applications. In: Requirements Engineering for Social Computing (RESC), 2011 First International Workshop on :. IEEE, pp. 26-29. ISBN 978-1-4577-0948-7

Chopra, Amit K. and Paja, Elda and Giorgini, Paolo and Chopra, Amit (2011) Sociotechnical trust : an architectural approach. In: Conceptual Modeling – ER 2011 : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings. Lecture Notes in Computer Science . Springer, Berlin, pp. 104-117. ISBN 978-3-642-24605-0

Chopra, Amit K. and Singh, Munindar P. (2011) Specifying and applying commitment-based business patterns. In: The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2 :. AAMAS '11 . International Foundation for Autonomous Agents and Multiagent Systems, Richland, S.C., pp. 475-482. ISBN 978-0-9826571-6-4

Dalpiaz, Fabiano and Chopra, Amit K. and Giorgini, Paolo and Mylopoulos, John (2010) Adaptation in open systems : giving interaction its rightful place. In: Conceptual Modeling – ER 2010 : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science . Springer, Berlin, pp. 31-45. ISBN 978-3-642-16372-2

Chopra, Amit K. and Singh, Munindar P. (2010) Elements of a business-level architecture for multiagent systems. In: Programming Multi-Agent Systems : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 15-30. ISBN 978-3-642-14842-2

Chopra, Amit K. and Dalpiaz, Fabiano and Giorgini, Paolo and Mylopoulos, John (2010) Modeling and reasoning about service-oriented applications via goals and commitments. In: Advanced Information Systems Engineering : 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings. Lecture Notes in Computer Science . Springer, Berlin, pp. 113-128. ISBN 978-3-642-13093-9

Chopra, Amit K. and Dalpiaz, Fabiano and Giorgini, Paolo and Mylopoulos, John (2010) Reasoning about agents and protocols via goals and commitments. In: AAMAS '10 Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1 :. International Foundation for Autonomous Agents and Multiagent Systems, Richmond, S.C., pp. 457-464. ISBN 978-0-9826571-1-9

Ali, Raian and Chopra, Amit K. and Dalpiaz, Fabiano and Giorgini, Paolo and Mylopoulos, John and Souza, Vitor E. Silva (2010) The evolution of Tropos : contexts, commitments and adaptivity. In: Proceedings of the 4th International iStar Workshop :. CEUR-WS Proceedings . CEUR-WS.org, pp. 15-19.

Singh, Munindar P. and Chopra, Amit K. (2009) Correctness properties for multiagent systems. In: Declarative Agent Languages and Technologies VII : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 192-207. ISBN 978-3-642-11354-3

Chopra, Amit K. and Singh, Munindar P. (2009) Multiagent commitment alignment. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '09) :. AAMAS '09, 2 . International Foundation for Autonomous Agents and Multiagent Systems, Richland, S.C., pp. 937-944. ISBN 978-0-9817381-7-8

Singh, Munindar P. and Chopra, Amit K. (2009) Programming multiagent systems without programming agents. In: 7th International Workshop on Programming Multiagent Systems, (ProMAS 2009), 2009-05-10 - 2009-05-15.

Chopra, Amit K. and Singh, Munindar P. (2008) Constitutive interoperability. In: AAMAS '08 Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2 :. International Foundation for Autonomous Agents and Multiagent Systems, Richmond, S.C., pp. 797-804. ISBN 978-0-9817381-1-6

Chopra, Amit K. and Singh, Munindar P. (2008) Interoperation in protocol enactment. In: Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 36-49. ISBN 978-3-540-77563-8

Desai, Nirmit and Chopra, Amit K. and Arrott, Matthew and Specht, Bill and Singh, Munindar P. (2007) Engineering foreign exchange processes via commitment protocols. In: Services Computing, 2007. SCC 2007. IEEE International Conference on :. IEEE Computer Society Press, Los Alamitos, pp. 514-521. ISBN 0-7695-2925-9

Desai, Nirmit and Chopra, Amit K. and Singh, Munindar P. (2007) Representing and reasoning about commitments in business processes. In: Proceedings of the 22nd Conference on Artificial Intelligence :. AAAI, CAN, pp. 1328-1333.

Desai, Nirmit and Chopra, Amit K. and Singh, Munindar P. (2006) Business process adaptations via protocols. In: Services Computing, 2006. SCC '06. IEEE International Conference on :. IEEE, pp. 103-110. ISBN 0-7695-2670-5

Chopra, Amit K. and Singh, Munindar P. (2006) Contextualizing commitment protocols. In: AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems :. ACM, New York, pp. 1345-1352. ISBN 1-59593-303-4

Desai, Nirmit and Mallya, Ashok U. and Chopra, Amit K. and Singh, Munindar P. (2006) OWL-P : a methodology for business process development. In: Agent-Oriented Information Systems III : 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers. Lecture Notes in Computer Science . Springer, Berlin, pp. 79-94. ISBN 978-3-540-48291-8

Desai, Nirmit and Mallya, Ashok U. and Chopra, Amit K. and Singh, Munindar P. (2005) Interaction protocols as design abstractions for business processes. IEEE Transactions on Software Engineering, 31 (12). pp. 1015-1027. ISSN 0098-5589

Singh, Munindar P. and Chopra, Amit K. and Desai, Nirmit and Mallya, Ashok U. (2004) Protocols for processes : programming in the large for open systems. ACM SIGPLAN Notices, 39 (12). pp. 73-83. ISSN 0362-1340