Home > Research > Researchers > Dr Amit Chopra > Publications

Dr Amit Chopra

Senior Lecturer

  1. Published

    Adaptation in open systems: giving interaction its rightful place

    Dalpiaz, F., Chopra, A. K., Giorgini, P. & Mylopoulos, J., 2010, Conceptual Modeling – ER 2010: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings. Parsons, J., Saeki, M., Shoval, P., Woo, C. & Wand, Y. (eds.). Berlin: Springer, p. 31-45 15 p. (Lecture Notes in Computer Science; vol. 6412).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  2. Published

    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., 6.

    Research output: Contribution to journalJournal article

  3. Published

    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, Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers. Weyns, D. & Gleizes, M-P. (eds.). Berlin: Springer, p. 17-36 20 p. (Lecture Notes in Computer Science; vol. 6788).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  4. Published

    Business process adaptations via protocols

    Desai, N., Chopra, A. K. & Singh, M. P., 2006, Services Computing, 2006. SCC '06. IEEE International Conference on. IEEE, p. 103-110 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  5. Published

    Canary: Extracting Requirements-Related Information from Online Discussions

    Kanchev, G. M., Murukannaiah, P. K., Chopra, A. K. & Sawyer, P., 26/09/2017, Proceedings of the 25th IEEE International Requirements Engineering Conference. Lisbon: IEEE, p. 31-40 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  6. Published

    Canary: An Interactive and Query-Based Approach to Extract Requirements from Online Forums

    Kanchev, G. M., Murukannaiah, P. K., Chopra, A. K. & Sawyer, P., 26/09/2017, Proceedings of the 25th IEEE International Requirements Engineering Conference. Lisbon: IEEE, p. 470-471 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  7. Published

    Choice, interoperability, and conformance in interaction protocols and service choreographies

    Baldoni, M., Baroglio, C., Chopra, A. K., Desai, N., Patti, V. & Singh, M., 2009, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems. Richland, S.C.: International Foundation for Autonomous Agents and Multiagent Systems, Vol. 2. p. 843-850 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  8. Forthcoming

    Clouseau: Generating Communication Protocols from Commitments

    Singh, M. P. & Chopra, A. K., 11/11/2019, (Accepted/In press) Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence. New York: AAAI Press

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  9. Published

    Colaba: collaborative design of cross-organizational business processes

    Chopra, A. K. & Singh, M. P., 2011, Requirements Engineering for Systems, Services and Systems-of-Systems (RESS), 2011 Workshop on. IEEE, p. 36-43 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  10. Published

    Commitment-based service-oriented architecture

    Singh, M., Chopra, A. & Desai, N., 11/2009, In : Computer. 42, 11, p. 72-79 8 p.

    Research output: Contribution to journalJournal article

  11. Published

    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, Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '11). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, Vol. 2. p. 467-474 8 p. (AAMAS '11).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  12. Published

    Composing and verifying commitment-based multiagent protocols

    Baldoni, M., Baroglio, C., Chopra, A. K. & Singh, M. P., 1/07/2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). p. 10-17 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  13. Published

    Compositional Correctness for Multiagent Interactions

    V, S. H. C., Chopra, A. K. & Singh, M. P., 10/07/2018, Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. Dastani, M., Sukthankar, G., Andre, E. & Koenig, S. (eds.). Richmond SC: IFAAMAS, p. 1159-1167 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  14. Forthcoming

    Computational Governance and Violable Contracts for Blockchain Applications

    Singh, M. P. & Chopra, A. K., 4/10/2019, (Accepted/In press) In : IEEE Computer.

    Research output: Contribution to journalJournal article

  15. Published

    Constitutive interoperability

    Chopra, A. K. & Singh, M. P., 2008, 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.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  16. Published

    Contextualizing commitment protocols

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

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  17. Published

    Correctness properties for multiagent systems

    Singh, M. P. & Chopra, A. K., 2009, Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Baldoni, M., Bentahar, J., Riemsdijk, M. B. V. & Lloyd, J. (eds.). Berlin: Springer, p. 192-207 16 p. (Lecture Notes in Computer Science; vol. 5948).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  18. Published

    Crowd-Informed Goal Models

    Kanchev, G. M., Murukannaiah, P. K. & Chopra, A. K., 21/08/2018, 2018 5th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). IEEE, p. 47-53 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  19. Published

    Cupid: commitments in relational algebra

    Chopra, A. K. & Singh, M. P., 2015, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI, p. 2052-2059 8 p. (AAAI Conference on Artificial Intelligence).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  20. Published

    Custard: Computing norm states over information stores

    Chopra, A. K. & Singh, M. P., 9/05/2016, AAMAS '16 Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems. Richland, SC: IFAAMAS, p. 1096-1105 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  21. Published

    Elements of a business-level architecture for multiagent systems

    Chopra, A. K. & Singh, M. P., 2010, Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers. Braubach, L., Briot, J-P. & Thangarajah, J. (eds.). Berlin: Springer, p. 15-30 16 p. (Lecture Notes in Computer Science; vol. 5919).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  22. Published

    Engineering foreign exchange processes via commitment protocols

    Desai, N., Chopra, A. K., Arrott, M., Specht, B. & Singh, M. P., 2007, Services Computing, 2007. SCC 2007. IEEE International Conference on. Los Alamitos: IEEE Computer Society Press, p. 514-521 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  23. Published

    From social machines to social protocols: Software engineering foundations for sociotechnical systems

    Chopra, A. K. & Singh, M., 04/2016, 25th International World Wide Web Conference 11-15 April 2016. p. 903-914 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  24. Published

    Generalized commitment alignment

    Chopra, A. K. & Singh, M. P., 05/2015, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). Bordini, R. H., Elkind, E., Weiss, G. & Yolum, P. (eds.). IFAAMAS, p. 453-461 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  25. Published

    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.

    Research output: Contribution to journalJournal article

  26. Published

    Interoperation in protocol enactment

    Chopra, A. K. & Singh, M. P., 2008, Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers. Baldoni, M., Son, T. C. & Riemsdijk, M. B. V. (eds.). Berlin: Springer, p. 36-49 14 p. (Lecture Notes in Computer Science; vol. 4897).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  27. Published

    Modeling and reasoning about service-oriented applications via goals and commitments

    Chopra, A. K., Dalpiaz, F., Giorgini, P. & Mylopoulos, J., 2010, Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings. Pernici, B. (ed.). Berlin: Springer, p. 113-128 16 p. (Lecture Notes in Computer Science; vol. 6051).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  28. Published

    Multiagent commitment alignment

    Chopra, A. K. & Singh, M. P., 2009, 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, Vol. 2. p. 937-944 8 p. (AAMAS '09).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  29. Published

    Nonmonotonic commitment machines

    Chopra, A. & Singh, M. P., 2004, Advances in Agent Communication: International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited Papers. Dignum, F. (ed.). Berlin: Springer, p. 183-200 18 p. (Lecture Notes in Computer Science; vol. 2922).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  30. Published

    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.

    Research output: Contribution to journalJournal article

  31. Published

    OWL-P: a methodology for business process development

    Desai, N., Mallya, A. U., Chopra, A. K. & Singh, M. P., 2006, 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. Kolp, M., Bresciani, P., Henderson-Sellers, B. & Winikoff, M. (eds.). Berlin: Springer, p. 79-94 16 p. (Lecture Notes in Computer Science; vol. 3529).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  32. Published

    PRIMA 2016: Principles and Practice of Multi-Agent Systems - 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

    Baldoni, M. (ed.), Chopra, A. K. (ed.), Son, T. C. (ed.), Hirayama, K. (ed.) & Torroni, P. (ed.), 10/08/2016, Springer. 418 p. (Lecture Notes in Computer Science; vol. 9862)

    Research output: Book/Report/ProceedingsProceedings

  33. Published

    Programming multiagent systems without programming agents

    Singh, M. P. & Chopra, A. K., 2009.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paper

  34. Published

    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.

    Research output: Contribution to journalJournal article

  35. Published

    Protos: foundations for engineering innovative sociotechnical systems

    Chopra, A. K., Dalpiaz, F., Aydemir, F. B., Giorgini, P., Mylopoulos, J. & Singh, M. P., 08/2014, Requirements Engineering Conference (RE), 2014 IEEE 22nd International. IEEE, p. 53-62 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  36. Published

    Reasoning about agents and protocols via goals and commitments

    Chopra, A. K., Dalpiaz, F., Giorgini, P. & Mylopoulos, J., 2010, 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.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  37. Published

    Representing and reasoning about commitments in business processes

    Desai, N., Chopra, A. K. & Singh, M. P., 2007, Proceedings of the 22nd Conference on Artificial Intelligence. AAAI, p. 1328-1333 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  38. Published

    Requirements engineering for social applications

    Chopra, A. K. & Giorgini, P., 2011, Proceedings of the 5th International i* Workshop. Castro, J., Franch, X., Myopoulos, J. & Yu, E. (eds.). CEUR-WS.org, Vol. 766. p. 138-143 6 p. (CEUR Workshop Proceedings).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  39. Published

    Requirements-driven adaptation: compliance, context, uncertainty, and systems

    Chopra, A. K., 2011, Requirements@Run.Time (RE@RunTime), 2011 2nd International Workshop on. IEEE, p. 32-36 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  40. Published

    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., 20.

    Research output: Contribution to journalJournal article

  41. Published

    Social computing: principles, platforms, and applications

    Chopra, A. K., 2011, Requirements Engineering for Social Computing (RESC), 2011 First International Workshop on. IEEE, p. 26-29 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  42. Published

    Social contexts and social pragmatics

    Baldoni, M., Baroglio, C., Chopra, A. K. & Singh, M. P., 2015, 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.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  43. Published

    Social media through the requirements lens: a case study of Google Maps

    Kanchev, G. M. & Chopra, A. K., 2015, Proceedings of 1st International Workshop on Crowd-Based Requirements Engineering. IEEE, p. 7-12 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  44. Published

    Sociotechnical Systems and Ethics in the Large

    Chopra, A. K. & Singh, M. P., 3/02/2018, Proceedings of the AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society. New Orleans, 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  45. Published

    Sociotechnical trust: an architectural approach

    Chopra, A. K., Paja, E., Giorgini, P. & Chopra, A., 2011, Conceptual Modeling – ER 2011: 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings. Jeusfeld, M., Delcambre, L. & Ling, T-W. (eds.). Berlin: Springer, p. 104-117 14 p. (Lecture Notes in Computer Science; vol. 6998).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  46. Published

    Specifying and applying commitment-based business patterns

    Chopra, A. K. & Singh, M. P., 2011, 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. (AAMAS '11).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  47. Published

    Splee: A declarative information-based language for multiagent interaction protocols

    Chopra, A. K., V, S. H. C. & Singh, M. P., 8/05/2017, AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. São Paolo: IFAAMAS, p. 1054-1063 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  48. Published

    Stellar: A Programming Model for Developing Protocol-Compliant Agents

    Günay, A. & Chopra, A. K., 14/07/2019, Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Revised Selected Papers: 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers. Mascardi, V., Weyns, D. & Ricci, A. (eds.). Springer, p. 117-136 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11375).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  49. Published

    Supple: Multiagent Communication Protocols with Causal Types

    Günay, A., Chopra, A. K. & Singh, M. P., 13/05/2019, AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. Richland, SC: IFAAMAS, p. 781-789 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  50. Published

    The evolution of interoperability

    Chopra, A. K. & Singh, M. P., 2012, Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Revised Selected and Invited Papers. Sakama, C., Sardina, S., Vasconcelos, W. & Winikoff, M. (eds.). Berlin: Springer, p. 90-94 5 p. (Lecture Notes in Computer Science; vol. 7169).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  51. Published

    The evolution of Tropos: contexts, commitments and adaptivity

    Ali, R., Chopra, A. K., Dalpiaz, F., Giorgini, P., Mylopoulos, J. & Souza, V. E. S., 2010, Proceedings of the 4th International iStar Workshop. Castro, J., Franch, X., Mylopoulos, J. & Yu, E. (eds.). CEUR-WS.org, p. 15-19 5 p. (CEUR-WS Proceedings; vol. 586).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  52. Published

    The Internet of Things and Multiagent Systems: Decentralized Intelligence in Distributed Computing

    Singh, M. P. & Chopra, A. K., 17/07/2017, Proceedings of the 37th IEEE International Conference on Distributed Computing Systems (ICDCS). Atlanta: IEEE, p. 1738-1747 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  53. Published

    The thing itself speaks: accountability as a foundation for requirements in sociotechnical systems

    Chopra, A. K. & Singh, M. P., 08/2014, p. 22-22. 1 p.

    Research output: Contribution to conference - Without ISBN/ISSN Abstract

  54. Published

    Tosca: Operationalizing Commitments over Information Protocols

    King, T. C., Günay, A., Chopra, A. K. & Singh, M. P., 23/08/2017, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI). Melbourne: IJCAI, p. 256-264 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  55. Published

    Trust-based specification of sociotechnical systems

    Paja, E., Chopra, A. K. & Giorgini, P., 2013, In : Data and Knowledge Engineering.

    Research output: Contribution to journalJournal article

Back to top