Home > Research > Researchers > Dr Amit Chopra > Publications

Dr Amit Chopra

Senior Lecturer

  1. 2019
  2. 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

  3. 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

  4. 2018
  5. 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

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

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

  8. 2017
  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 2016
  15. 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

  16. 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

  17. 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

  18. 2015
  19. 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

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

  21. 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

  22. 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

  23. 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

  24. 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

  25. 2014
  26. 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

  27. 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

  28. 2013
  29. 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

  30. 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

  31. 2012
  32. 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

  33. 2011
  34. 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

  35. 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

  36. 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

  37. 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

  38. 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

  39. 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

  40. 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

  41. 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

  42. 2010
  43. 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

  44. 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

  45. 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

  46. 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

  47. 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

  48. 2009
  49. 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

  50. 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

  51. 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

  52. 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

  53. 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

  54. Published

    Programming multiagent systems without programming agents

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

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

  55. 2008
  56. 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

  57. 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

  58. 2007
  59. 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

  60. 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

  61. 2006
  62. 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

  63. 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

  64. 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

  65. 2005
  66. 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

  67. 2004
  68. 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

  69. 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

Back to top