Dr Amit Chopra

Senior Lecturer

Research Overview

I am interested in developing software abstractions, tools, and infrastructures to support the governance of sociotechnical systems of autonomous parties. To this end, I am developing abstractions for norms, accountability, and protocols, and applying them toward the design of sociotechnical systems. My philosophical stance is summed up as interaction-oriented software engineering or IOSE and has applications in areas as broad and diverse as ethical AI, Internet of Things, security, and blockchains.

Splee: a declarative information-based language for multiagent interaction protocols
Chopra, A.K., V, S.H.C., Singh, M.P. 8/05/2017 In: AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. São Paolo : IFAAMAS p. 1054-1063. 10 p.
Conference contribution

PRIMA 2016: Principles and Practice of Multi-Agent Systems - 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
Baldoni, M., Chopra, A.K., Son, T.C., Hirayama, K., Torroni, P. 10/08/2016
Proceedings

Custard: computing norm states over information stores
Chopra, A.K., Singh, M.P. 9/05/2016 In: AAMAS '16 Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems. Richland, SC : IFAAMAS p. 1096-1105. 10 p. ISBN: 9781450342391.
Conference contribution

From social machines to social protocols: software engineering foundations for sociotechnical systems
Chopra, A.K., Singh, M. 04/2016 In: 25th International World Wide Web Conference 11-15 April 2016. p. 903-914. 12 p. ISBN: 9781450341431.
Conference contribution

Normative Multi-Agent Systems (Dagstuhl Seminar 15131)
Chopra, A.K., Torre, L.v.d., Verhagen, H., Villata, S. 18/09/2015 In: Dagstuhl Reports. 5, 3, p. 162-176. 15 p.
Journal article

Composing and verifying commitment-based multiagent protocols
Baldoni, M., Baroglio, C., Chopra, A.K., Singh, M.P. 1/07/2015 In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). p. 10-17. 8 p.
Paper

Social media through the requirements lens: a case study of Google Maps
Kanchev, G.M., Chopra, A.K. 30/06/2015 In: Proceedings of 1st International Workshop on Crowd-Based Requirements Engineering. IEEE p. 7-12. 6 p.
Paper

Generalized commitment alignment
Chopra, A.K., Singh, M.P. 05/2015 In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). IFAAMAS p. 453-461. 9 p.
Paper

Cupid: commitments in relational algebra
Chopra, A.K., Singh, M.P. 2015 In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI p. 2052-2059. 8 p.
Paper

Social contexts and social pragmatics
Baldoni, M., Baroglio, C., Chopra, A.K., Singh, M.P. 2015 In: AAMAS '15 Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems . Richland, SC : International Foundation for Autonomous Agents and Multiagent Systems p. 1739-1740. 2 p.
Paper

Protos: foundations for engineering innovative sociotechnical systems
Chopra, A.K., Dalpiaz, F., Aydemir, F.B., Giorgini, P., Mylopoulos, J., Singh, M.P. 08/2014 In: Requirements Engineering Conference (RE), 2014 IEEE 22nd International. IEEE p. 53-62. 10 p.
Paper

The thing itself speaks: accountability as a foundation for requirements in sociotechnical systems
Chopra, A.K., Singh, M.P. 08/2014
Abstract

Research directions in agent communication
Chopra, A.K., Artikis, A., Bentahar, J., Colombetti, M., Dignum, F., Fornara, N., Jones, A.J.I., Singh, M.P., Yolum, P. 03/2013 In: ACM Transactions on Intelligent Systems and Technology. 4, 2, p. 1-23. 23 p.
Journal article

Trust-based specification of sociotechnical systems
Paja, E., Chopra, A.K., Giorgini, P. 2013 In: Data and Knowledge Engineering.
Journal article

The evolution of interoperability
Chopra, A.K., Singh, M.P. 2012 In: Declarative Agent Languages and Technologies IX. Berlin : Springer p. 90-94. 5 p.
Paper

Analyzing contract robustness through a model of commitments
Chopra, A.K., Oren, N., Modgil, S., Desai, N., Miles, S., Luck, M., Singh, M.P. 2011 In: Agent-Oriented Software Engineering XI. Berlin : Springer p. 17-36. 20 p.
Paper

Colaba: collaborative design of cross-organizational business processes
Chopra, A.K., Singh, M.P. 2011 In: Requirements Engineering for Systems, Services and Systems-of-Systems (RESS), 2011 Workshop on. IEEE p. 36-43. 8 p.
Paper

Commitments with regulations: reasoning about safety and control in REGULA
Marengo, E., Baldoni, M., Baroglio, C., Chopra, A.K., Patti, V., Singh, M.P. 2011 In: Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '11). Richland, SC : International Foundation for Autonomous Agents and Multiagent Systems p. 467-474. 8 p.
Conference contribution

Requirements engineering for social applications
Chopra, A.K., Giorgini, P. 2011 In: Proceedings of the 5th International i* Workshop. CEUR-WS.org p. 138-143. 6 p.
Paper

Requirements-driven adaptation: compliance, context, uncertainty, and systems
Chopra, A.K. 2011 In: Requirements@Run.Time (RE@RunTime), 2011 2nd International Workshop on. IEEE p. 32-36. 5 p.
Paper

Social computing: principles, platforms, and applications
Chopra, A.K. 2011 In: Requirements Engineering for Social Computing (RESC), 2011 First International Workshop on. IEEE p. 26-29. 4 p.
Paper

Sociotechnical trust: an architectural approach
Chopra, A.K., Paja, E., Giorgini, P., Chopra, A. 2011 In: Conceptual Modeling – ER 2011. Berlin : Springer p. 104-117. 14 p.
Paper

Specifying and applying commitment-based business patterns
Chopra, A.K., Singh, M.P. 2011 In: The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2. Richland, S.C. : International Foundation for Autonomous Agents and Multiagent Systems p. 475-482. 8 p. ISBN: 978-0-9826571-6-4.
Conference contribution

Adaptation in open systems: giving interaction its rightful place
Dalpiaz, F., Chopra, A.K., Giorgini, P., Mylopoulos, J. 2010 In: Conceptual Modeling – ER 2010. Berlin : Springer p. 31-45. 15 p.
Paper

Elements of a business-level architecture for multiagent systems
Chopra, A.K., Singh, M.P. 2010 In: Programming Multi-Agent Systems. Berlin : Springer p. 15-30. 16 p. ISBN: 978-3-642-14842-2. Electronic ISBN: 978-3-642-14843-9.
Conference contribution

Modeling and reasoning about service-oriented applications via goals and commitments
Chopra, A.K., Dalpiaz, F., Giorgini, P., Mylopoulos, J. 2010 In: Advanced Information Systems Engineering. Berlin : Springer p. 113-128. 16 p.
Paper

Reasoning about agents and protocols via goals and commitments
Chopra, A.K., Dalpiaz, F., Giorgini, P., Mylopoulos, J. 2010 In: AAMAS '10 Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1. Richmond, S.C. : International Foundation for Autonomous Agents and Multiagent Systems p. 457-464. 8 p. ISBN: 978-0-9826571-1-9.
Conference contribution

The evolution of Tropos: contexts, commitments and adaptivity
Ali, R., Chopra, A.K., Dalpiaz, F., Giorgini, P., Mylopoulos, J., Souza, V.E.S. 2010 In: Proceedings of the 4th International iStar Workshop. CEUR-WS.org p. 15-19. 5 p.
Paper

Commitment-based service-oriented architecture
Singh, M., Chopra, A., Desai, N. 11/2009 In: Computer. 42, 11, p. 72-79. 8 p.
Journal article

Amoeba: a methodology for modeling and evolution of cross-organizational business processes
Chopra, A., Desai, N., Singh, M. 10/2009 In: ACM Transactions on Software Engineering and Methodology. 19, 2, p. 1. 45 p.
Journal article

Choice, interoperability, and conformance in interaction protocols and service choreographies
Baldoni, M., Baroglio, C., Chopra, A., Desai, N., Patti, V., Singh, M. 2009 In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems. Richland, S.C. : International Foundation for Autonomous Agents and Multiagent Systems p. 843-850. 8 p.
Paper

Correctness properties for multiagent systems
Singh, M.P., Chopra, A.K. 2009 In: Declarative Agent Languages and Technologies VII. Berlin : Springer p. 192-207. 16 p. ISBN: 978-3-642-11354-3. Electronic ISBN: 978-3-642-11355-0.
Chapter

Multiagent commitment alignment
Chopra, A.K., Singh, M.P. 2009 In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '09). Richland, S.C. : International Foundation for Autonomous Agents and Multiagent Systems p. 937-944. 8 p.
Paper

Programming multiagent systems without programming agents
Singh, M.P., Chopra, A.K. 2009
Conference paper

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

Interoperation in protocol enactment
Chopra, A.K., Singh, M.P. 2008 In: Declarative Agent Languages and Technologies V. Berlin : Springer p. 36-49. 14 p.
Paper

Engineering foreign exchange processes via commitment protocols
Desai, N., Chopra, A.K., Arrott, M., Specht, B., Singh, M.P. 2007 In: Services Computing, 2007. SCC 2007. IEEE International Conference on. Los Alamitos : IEEE Computer Society Press p. 514-521. 8 p. ISBN: 0-7695-2925-9.
Conference contribution

Representing and reasoning about commitments in business processes
Desai, N., Chopra, A.K., Singh, M.P. 2007 In: Proceedings of the 22nd Conference on Artificial Intelligence. AAAI p. 1328-1333. 6 p.
Paper

Business process adaptations via protocols
Desai, N., Chopra, A.K., Singh, M.P. 2006 In: Services Computing, 2006. SCC '06. IEEE International Conference on. IEEE p. 103-110. 8 p.
Paper

Contextualizing commitment protocols
Chopra, A.K., Singh, M.P. 2006 In: AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems. New York : ACM p. 1345-1352. 8 p.
Paper

OWL-P: a methodology for business process development
Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P. 2006 In: Agent-Oriented Information Systems III. Berlin : Springer p. 79-94. 16 p.
Paper

Interaction protocols as design abstractions for business processes
Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P. 1/12/2005 In: IEEE Transactions on Software Engineering. 31, 12, p. 1015-1027. 13 p.
Journal article

Protocols for processes: programming in the large for open systems
Singh, M.P., Chopra, A.K., Desai, N., Mallya, A.U. 1/12/2004 In: ACM SIGPLAN Notices. 39, 12, p. 73-83. 11 p.
Journal article

Nonmonotonic commitment machines
Chopra, A., Singh, M.P. 2004 In: Advances in Agent Communication. Berlin : Springer p. 183-200. 18 p.
Paper