@preamble{{\DeclareRobustCommand{\nUmErAL}[1]{#1}}}
@preamble{{\DeclareRobustCommand{\nAmE}[3]{#3}}}
@article{christie:argus:2025,
author = {Samuel H. {Christie V} and Amit K. Chopra and Munindar P. Singh},
title = {Argus: Programming with Communication Protocols in a Belief-Desire-Intention Architecture},
journal = {Artificial Intelligence Journal},
year = {2025},
note = {in press},
url = {pdfs/argus.pdf}
}
@inproceedings{EMAS-25:Fluid,
author = {Amit K. Chopra and Munindar P. Singh},
title = {Fluid: Social Norms-Based Multiagent Systems on the Web},
booktitle = {Proceedings of the 13th Engineering Multiagent Systems Workshop},
xpages = {1--18},
xdoi = {},
year = 2025,
note = {to appear},
url = {pdfs/fluid.pdf}
}
@incollection{Toolkits-25:IOP,
author = {Amit K. Chopra and Christie V, Samuel H. and Munindar P. Singh},
title = {Tools for Implementing Multiagent Systems Based on Protocols},
booktitle = {Agent Toolkits},
editors = {Rem Collier and Viviana Mascardi and Alessandro Ricci},
publisher = {Springer},
xpages = {1--21},
xdoi = {},
year = 2025,
note = {in press},
url = {pdfs/IOP-Toolkit.pdf}
}
@inproceedings{IJCAI-25:Mambo,
author = {Amit K. Chopra and Christie V, Samuel H. and Munindar P. Singh},
title = {Requirement Patterns for Engineering Multiagent Interaction Protocols},
booktitle = {Proceedings of the 34th International Joint Conference on Artificial Intelligence},
month = jul,
address = {Montreal},
xpages = {1--9},
xdoi = {},
year = 2025,
url = {pdfs/mambo.pdf}
}
@inproceedings{AAMAS-25:Azorus,
author = {Amit K. Chopra and Matteo Baldoni and Christie V, Samuel H. and Munindar P. Singh},
title = {Azorus: Commitments over Protocols for {BDI} Agents},
booktitle = {Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
month = may,
address = {Detroit},
pages = {490--499},
publisher = {IFAAMAS},
xdoi = {},
year = 2025,
url = {pdfs/azorus.pdf}
}
@inproceedings{AAAI-25:Orpheus,
author = {Matteo Baldoni and Christie V, Samuel H. and Munindar P. Singh and Amit K. Chopra},
title = {Orpheus: Engineering Multiagent Systems via Communicating Agents},
booktitle = {Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence},
month = feb,
address = {Philadelphia},
pages = {23135--23143},
publisher = {AAAI},
xdoi = {10.1609/aaai.v34i05.6215},
year = 2025,
url = {pdfs/orpheus.pdf}
}
@inproceedings{lichtenstein:choreographies:2024,
author = {Tom Lichtenstein and Amit K. Chopra and Munindar P. Singh and Mathias Weske},
title = {From Visual Choreographies to Flexible Information Protocols},
booktitle = {Proceedings of the 22nd International Conference on Service-Oriented Computing (ICSOC)},
month = dec,
number = 15404,
series = {Lecture Notes in Computer Science},
pages = {354--369},
publisher = {Springer},
address = {Tunis, Tunisia},
doi = {10.1007/978-981-96-0805-8_25},
year = 2024,
url = {pdfs/choreographies-to-protocols.pdf}
}
@inproceedings{singh:langshaw:2024,
author = {Munindar P. Singh and Samuel H. {Christie V} and Amit K. Chopra},
title = {Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict},
booktitle = {Proceedings of the 33rd International Joint Conference on Artificial Intelligence},
year = {2024},
pages = {202--210},
address = {Jeju, Korea},
month = aug,
url = {pdfs/langshaw.pdf}
}
@inproceedings{khadse:microservices:2023,
author = {Aditya K. Khadse and Christie V, Samuel H. Amit K. Chopra and Munindar P. Singh},
title = {Protocol-Based Engineering of Microservices},
booktitle = {Proceedings of the 11th International Workshop on Engineering Multiagent Systems (EMAS)},
year = {2023},
pages = {61--77},
month = may,
address = {London},
series = {LNCS},
volume = {14378},
publisher = {Springer},
url = {pdfs/microservices.pdf}
}
@inproceedings{chopra:blue-skies:2023,
author = {Amit K. Chopra and Christie V, Samuel H.},
title = {Communication Meaning: Foundations and Directions for Systems Research},
booktitle = {Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
year = {2023},
pages = {1--6},
month = may,
address = {London},
publisher = {IFAAMAS},
url = {pdfs/MOS_Blue_Sky.pdf}
}
@inproceedings{christie:kiko:2023,
author = {Christie V, Samuel H. and Amit K. Chopra and Munindar P. Singh},
title = {Kiko: Programming Agents to Enact Interaction Protocols},
booktitle = {Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
month = may,
publisher = {IFAAMAS},
address = {London},
pages = {1--10},
year = 2023,
url = {pdfs/Kiko.pdf}
}
@article{chopra:chopra-vision:2022,
author = {Amit K. Chopra},
title = {Interaction-Oriented Software Engineering: Programming Abstractions for Autonomy and Decentralization},
journal = {AI Communications},
year = {2022},
volume = {35},
number = {4},
pages = {381--391},
publisher = {IOS Press},
url = {pdfs/chopra-vision.pdf}
}
@article{christie:Mandrake:2022,
author = {Christie V, Samuel H. and Amit K. Chopra and Munindar P. Singh},
title = {Mandrake: Multiagent Systems as a Basis for Programming Fault-Tolerant Decentralized Applications},
journal = {Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS)},
volume = 36,
number = 1,
month = apr,
pages = {1--30},
doi = {10.1007/s10458-021-09540-8},
year = 2022,
url = {pdfs/mandrake.pdf}
}
@inproceedings{EMAS-21:vision,
author = {Amit K. Chopra and Christie V, Samuel H. and Munindar P. Singh},
title = {Multiagent Foundations for Distributed Systems: A Vision},
booktitle = {Proceedings of the 9th International Workshop on Engineering Multi-Agent Systems (EMAS 2021)},
month = may,
address = {London},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
volume = 13190,
pages = {62--71},
doi = {10.1007/978-3-030-97457-2_4},
year = 2022,
url = {pdfs/mas-vision.pdf}
}
@article{IC-21:accountability,
author = {Amit K. Chopra and Munindar P. Singh},
title = {Accountability as a Foundation for Requirements in Sociotechnical Systems},
journal = {IEEE Internet Computing},
volume = 25,
number = 6,
pages = {33--41},
month = sep,
doi = {10.1109/MIC.2021.3106835},
year = 2021,
url = {pdfs/ic-accountability.pdf}
}
@article{christie:Hercule:2021,
author = {Christie V, Samuel H. and Amit K. Chopra and Munindar P. Singh},
title = {Hercule: Representing and Reasoning about Norms as a Foundation for Declarative Contracts over Blockchain},
journal = {IEEE Internet Computing},
volume = 25,
number = 4,
pages = {67--75},
month = jul,
doi = {10.1109/MIC.2021.3080982},
year = 2021,
url = {pdfs/hercule.pdf}
}
@inproceedings{PODC-21:IOP-tutorial,
author = {Amit K. Chopra and Christie V, Samuel H. and Munindar P. Singh},
title = {Interaction-Oriented Programming: An Application Semantics Approach for Engineering Decentralized Applications},
booktitle = {Proceedings of the ACM Symposium on Principles of DistributedComputing (PODC)},
pages = {575--576},
address = {Online},
month = jul,
publisher = {ACM},
doi = {10.1145/3465084.3467486},
year = 2021,
url = {pdfs/podc-iop.pdf}
}
@inproceedings{christie:Mandrake-Emas:2021,
author = {Christie V, Samuel H. and Amit K. Chopra and Munindar P. Singh},
title = {Mandrake: Multiagent Systems as a Basis for Programming Fault-Tolerant Decentralized Applications},
booktitle = {Pre-proceedings of the 9th International Workshop on Engineering Multi-Agent Systems (EMAS)},
month = may,
address = {London},
pages = {1--18},
url = {https://emas2021.in.tu-clausthal.de/index.php/accepted-papers},
year = 2021
}
@inproceedings{christie:Deserv:2021,
author = {Christie V, Samuel H. and Amit K. Chopra and Munindar P. Singh},
title = {Deserv: Decentralized Serverless Computing},
booktitle = {Proceedings of the 19th IEEE International Conference on Web Services (ICWS)},
month = sep,
pages = {51--60},
address = {Virtual},
publisher = {IEEE Computer Society},
doi = {10.1109/ICWS53863.2021.00020},
year = 2021,
url = {pdfs/deserv.pdf}
}
@inproceedings{christie:Pippi:2022,
author = {Christie V, Samuel H. and Amit K. Chopra and Munindar P. Singh},
title = {Pippi: Practical Protocol Instantiation},
booktitle = {Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
publisher = {IFAAMAS},
address = {Auckland},
pages = {281--289},
year = 2022,
url = {pdfs/pippi.pdf}
}
@article{chopra:langeval:2020,
author = {Amit K. Chopra and Samuel H. {Christie V} and Munindar P. Singh},
title = {An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems},
journal = {Journal of Artificial Intelligence Research},
year = {2020},
volume = {69},
pages = {1351--1393},
url = {pdfs/langeval.pdf}
}
@article{christie:bungie:2021,
author = {Samuel H. {Christie V} and Amit K. Chopra and Munindar P. Singh},
title = {Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols},
journal = {IEEE Computer},
year = {2021},
note = {in press},
url = {pdfs/bungie.pdf}
}
@inproceedings{christie:refinement:2020,
author = {Samuel H. {Christie V} and Amit K. Chopra and Munindar P. Singh},
title = {Multiagent protocol refinement},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
year = {2020},
note = {258--266},
publisher = {IFAAMAS},
url = {pdfs/refinement.pdf}
}
@article{christie:PoT:2020,
author = {Samuel H. {Christie V} and Daria Smirnova and Amit K. Chopra and Munindar P. Singh},
title = {Protocols over {Things}: A Decentralized Programming Model for the {Internet of Things}},
journal = {IEEE Computer},
year = {2020},
volume = {53},
number = {12},
pages = {60--68},
url = {pdfs/pot.pdf}
}
@inproceedings{singh:clouseau:2020,
author = {Munindar P. Singh and Amit K. Chopra},
title = {Clouseau: Generating Communication Protocols from Commitments},
booktitle = {Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence},
year = {2020},
address = {New York},
pages = {7244--7252},
publisher = {{AAAI} Press},
url = {pdfs/clouseau.pdf}
}
@article{singh:violable:2020,
author = {Munindar P. Singh and Amit K. Chopra},
title = {Computational Governance and Violable Contracts for Blockchain Applications},
journal = {{IEEE} Computer},
year = {2020},
pages = {53--62},
month = jan,
volum = 53,
issue = 1,
url = {pdfs/violable.pdf},
note = {Supplementary material: \url{pdfs/violable-supplementary.pdf}}
}
@inproceedings{singh:re-as-science:2019,
author = {Munindar P. Singh and Amit K. Chopra},
title = {Requirements Engineering as Science in the Small},
booktitle = {Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results},
year = {2019},
address = {Montr{\'e}al},
publisher = {ACM},
pages = {45--48},
url = {pdfs/rescience.pdf}
}
@inproceedings{supple:gunay:2019,
author = {Ak{\i}n G{\"u}nay and Amit K. Chopra and Munindar P. Singh},
title = {Supple: Multiagent Communication Protocols with Causal Types},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
year = {2019},
address = {Montreal},
publisher = {IFAAMAS},
pages = {781--789},
url = {pdfs/supple.pdf}
}
@inproceedings{chopra:ethics:2018,
author = {Amit K. Chopra and Munindar P. Singh},
title = {Sociotechnical Systems and Ethics in the Large},
booktitle = {Proceedings of the AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society},
year = {2018},
address = {New Orleans},
pages = {48--53},
url = {pdfs/ethics.pdf}
}
@inproceedings{christie:atomicity:2018,
author = {Samuel H. Christie V and Amit K. Chopra and Munindar P. Singh},
title = {Compositional Correctness for Multiagent Interactions},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
month = jul,
publisher = {IFAAMAS},
address = {S\~ao Paolo},
year = {2018},
pages = {1159--1167},
url = {pdfs/atomicity.pdf}
}
@inproceedings{gunay:stellar:2018,
author = {Ak{\i}n G{\"u}nay and Amit K. Chopra},
title = {Stellar: A Programming Model for Developing Protocol-Compliant Agents},
booktitle = {Preproceedings of the 6th International Workshop on Engineering Multi-Agent Systems},
year = {2018},
pages = {117--136},
address = {Stockholm},
series = {LNCS},
volume = {11375},
publisher = {Springer},
url = {pdfs/stellar.pdf}
}
@inproceedings{kanchev:goal-models:2018,
author = {Georgi M. Kanchev and
Pradeep K. Murukannaiah and
Amit K. Chopra},
title = {Crowd-Informed Goal Models},
booktitle = {Proceedings of the 5th International Workshop on Artificial Intelligence for Requirements Engineering},
pages = {47--53},
year = {2018},
publisher = {{IEEE}},
url = {pdfs/crowd-goals.pdf}
}
@inproceedings{kanchev:canary:2017,
author = {Georgi M. Kanchev and Pradeep K. Murukannaiah and Amit K. Chopra and Pete Sawyer},
title = {Canary: Extracting Requirements-Related Information from Online Discussions},
booktitle = {Proceedings of the 25th International Conference on Requirements Engineering},
year = {2017},
pages = {31--40},
publisher = {{IEEE}},
address = {Lisbon},
url = {pdfs/canary-2017.pdf}
}
@inproceedings{king:alignment:2017,
author = {Thomas C. King and Ak{\i}n G\"{u}nay and Amit K. Chopra and Munindar P. Singh},
title = {Tosca: Operationalizing Commitment Over Information Protocols},
booktitle = {Proceedings of the 26th International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {1--9},
month = aug,
address = {Melbourne},
url = {pdfs/tosca-2017.pdf}
}
@inproceedings{chopra:Splee:2017,
author = {Amit K. Chopra and Samuel H. Christie V and Munindar P. Singh},
title = {Splee: A Declarative Information-Based Language for
Multiagent Interaction Protocols},
booktitle = {Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
month = may,
publisher = {IFAAMAS},
address = {S\~ao Paolo},
year = {2017},
pages = {1054--1063},
url = {pdfs/splee-2017.pdf}
}
@inproceedings{singh:IoT-decentralized-AI:2017,
author = {Munindar P. Singh and Amit K. Chopra},
title = {The Internet of Things and Multiagent Systems: Decentralized Intelligence in Distributed Computing},
booktitle = {Proceedings of the 37th IEEE International Conference on Distributed Computing Systems (ICCS)},
note = {Blue Sky Track},
year = {2017},
pages = {1738--1747},
month = jun,
address = {Atlanta},
url = {pdfs/IoT-AI-2017.pdf}
}
@inproceedings{chopra:custard:2016,
author = {Amit K. Chopra and Munindar P. Singh},
title = {Custard: Computing Norm States Over Information Stores},
booktitle = {Proceedings of the Fifteenth International Conference on Autonomous Agents and Multiagent Systems},
month = may,
year = {2016},
pages = {1096--1105},
publisher = {IFAAMAS},
url = {pdfs/custard-2016.pdf}
}
@inproceedings{chopra:iose:2016,
author = {Amit K. Chopra and Munindar P. Singh},
title = {From Social Machines to Social Protocols: Software Engineering Foundations for Sociotechnical Systems},
booktitle = {Proceedings of the 25th International World Wide Web Conference (WWW 2016)},
year = {2016},
address = {Montreal},
pages = {903--914},
url = {pdfs/iose-2016.pdf}
}
@inproceedings{kanchev:requirements-lens:2015,
author = {Georgi M. Kanchev and Amit K. Chopra},
title = {Social Media through the Requirements Lens: A Case Study of Google Maps},
booktitle = {Proceedings of 1st International Workshop on Crowd-Based Requirements Engineering},
publisher = {IEEE},
pages = {7--12},
year = {2015},
address = {Ottawa},
url = {pdfs/rlens-2015.pdf}
}
@inproceedings{chopra:cupid:2015,
title = {Cupid: Commitments in Relational Algebra},
year = {2015},
month = jan,
author = {Amit K. Chopra and Munindar P. Singh},
booktitle = {Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence},
pages = {2052--2059},
location = {Austin, Texas},
url = {pdfs/cupid-2015.pdf}
}
@inproceedings{chopra:alignment:2015,
author = {Amit K. Chopra and Munindar P. Singh},
title = {Generalized Commitment Alignment},
booktitle = {Proceedings of the Fourteenth International Conference on Autonomous Agents and Multiagent Systems},
month = may,
year = {2015},
pages = {453--461},
publisher = {IFAAMAS},
url = {pdfs/alignment-2015.pdf}
}
@inproceedings{baldoni:contexts:2015,
author = {Matteo Baldoni and Cristina Baroglio and Amit K. Chopra and Munindar P. Singh},
title = {Composing and Verifying Commitment-Based Multiagent Protocols},
booktitle = {Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)},
year = {2015},
month = jul,
pages = {10--17},
address = {Buenos Aires},
url = {pdfs/contexts-ijcai-2015.pdf}
}
@inproceedings{baldoni:short:contexts:2015,
title = {Social contexts and social pragmatics},
author = {Matteo Baldoni and Cristina Baroglio and Amit K. Chopra and Munindar P. Singh},
year = {2015},
month = may,
booktitle = {Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
note = {In press},
address = {Istanbul},
url = {pdfs/context-2015.pdf}
}
@inproceedings{chopra:protos:2014,
author = {Amit K. Chopra and Fabiano Dalpiaz and Fatma
Ba{\c{s}}ak Aydemir and Paolo Giorgini and John
Mylopoulos and Munindar P. Singh},
title = {Protos: Foundations for Engineering Innovative Sociotechnical Systems},
booktitle = {Proceedings of the 18th IEEE International Requirements Engineering Conference},
year = {2014},
url = {pdfs/protos-2014.pdf},
pages = {53--62}
}
@inproceedings{chopra:accountability:2014,
author = {Amit K. Chopra and Munindar P. Singh},
title = {The Thing Itself Speaks: Accountability as a
Foundation for Requirements in Sociotechnical
Systems},
booktitle = {Proceedings of the 7th International Workshop on Requirements Engineering and Law},
year = {2014},
pages = {22},
publisher = {IEEE},
url = {pdfs/accountability-2014.pdf},
note = {Full paper accepted but we published only an extended abstract. Full paper available \href{pdfs/accountability-full-2014.pdf}{here}}
}
@article{chopra:ac-directions:2013,
author = {Amit K. Chopra and Alexander Artikis and Jamal
Bentahar and Marco Colombetti and Frank Dignum and Nicoletta Fornara
and Andrew J. I. Jones and Munindar P. Singh and P{\i}nar Yolum},
title = {Research directions in agent commmunication},
journal = {ACM Transactions on Intelligent Systems and
Technologies},
volume = {4},
number = {2},
year = {2013},
pages = {20:1--20:23},
url = {pdfs/ac-directions-2013.pdf}
}
@article{paja:trust:2013,
author = {Elda Paja and Amit K. Chopra and Paolo Giorgini},
title = {Trust-based specification of sociotechnical systems},
journal = {Data and Knowledge Engineering},
volume = {87},
month = sep,
year = 2013,
pages = {339--353},
publisher = {Elsevier},
url = {pdfs/trust-2013.pdf}
}
@incollection{noreiga:regulatedMAS:2013,
author = {Pablo Noriega and
Amit K. Chopra and
Nicoletta Fornara and
Henrique Lopes Cardoso and
Munindar P. Singh},
title = {Regulated {MAS}: Social Perspective},
booktitle = {Normative Multi-Agent Systems},
pages = {93--133},
year = {2013},
series = {Dagstuhl Follow-Ups},
volume = {4},
publisher = {Schloss Dagstuhl},
url = {pdfs/regulatedMAS-2013.pdf}
}
@incollection{singh:norm-uses:2013,
author = {Munindar P. Singh and
Matthew Arrott and
Tina Balke and
Amit K. Chopra and
Rob Christiaanse and
Stephen Cranefield and
Frank Dignum and
Davide Eynard and
Emilia Farcas and
Nicoletta Fornara and
Fabien Gandon and
Guido Governatori and
Hoa Khanh Dam and
Joris Hulstijn and
Ingolf Kr{\"{u}}ger and
Ho{-}Pun Lam and
Michael Meisinger and
Pablo Noriega and
Bastin Tony Roy Savarimuthu and
Kartik Tadanki and
Harko Verhagen and
Serena Villata},
title = {The Uses of Norms},
booktitle = {Normative Multi-Agent Systems},
pages = {191--229},
year = {2013},
series = {Dagstuhl Follow-Ups},
volume = {4},
publisher = {Schloss Dagstuhl},
url = {pdfs/uses-of-norms-2013.pdf}
}
@unpublished{chopra:iose:2012,
author = {Amit K. Chopra and Munindar P. Singh},
title = {Interaction-Oriented Software Engineering: Concepts and Principles},
note = {arXiv:1211.4123 [cs.SE]},
month = nov,
year = {2012},
url = {http://arxiv.org/abs/1211.4123}
}
@unpublished{chopra:re-adaptation:2012,
author = {Amit K. Chopra},
title = {The Meaning of Requirements and Adaptation},
note = {arXiv:1209.1551v1 [cs.SE]},
year = {2012},
url = {http://arxiv.org/abs/1209.1551}
}
@unpublished{chopra:peer-review:2012,
author = {Amit K. Chopra},
title = {True Peer Review},
note = {arXiv:1209.2807v1 [cs.DL]},
year = {2012},
url = {http://arxiv.org/abs/1209.2807}
}
@inproceedings{marengo:regula:2011,
author = {Elisa Marengo and Matteo Baldoni and Cristina
Baroglio and Amit K. Chopra and Viviana Patti and
Munindar P. Singh},
title = {Commitment with regulations: Reasoning about Safety
and Control in {REGULA}},
booktitle = {Proceedings of the 10th International Conference on
Autonomous Agents and Multiagent Systems (AAMAS)},
pages = {467--474},
year = {2011},
url = {pdfs/regula-2011.pdf}
}
@inproceedings{chopra:patterns:2011,
author = {Amit K. Chopra and Munindar P. Singh},
title = {Specifying and Applying Commitment-Based Business Patterns},
booktitle = {Proceedings of the 10th International Conference on Autonomous Agents and MultiAgent Systems},
year = {2011},
pages = {475--482},
url = {pdfs/patterns-2011.pdf}
}
@incollection{chopra:evolution-interoperability:2011,
author = {Amit K. Chopra and Munindar P. Singh},
title = {The Evolution of Interoperability},
booktitle = {Proceedings of 9th International Workshop on
Declarative Agent Languages and Technologies},
pages = {90--94},
publisher = {Springer},
year = {2011},
volume = {7169},
series = {LNCS},
url = {pdfs/interoperability-2011.pdf}
}
@inproceedings{chopra:trust:2011,
author = {Amit K. Chopra and Elda Paja and Paolo Giorgini},
title = {Socio-{T}echnical Trust: An Architectural Approach},
booktitle = {Proceedings of the 30th International Conference on Conceptual Modeling (ER)},
year = {2011},
publisher = {Springer},
series = {LNCS},
volume = {6998},
pages = {104--117},
url = {pdfs/trust-2011.pdf}
}
@inproceedings{chopra:adaptation:2011,
author = {Amit K. Chopra},
title = {Requirements-driven adaptation: Compliance, context,
uncertainty, and systems},
booktitle = {Proceedings of the 2nd International Workshop on Requirements at Runtime},
year = {2011},
pages = {32--36},
publisher = {IEEE},
url = {pdfs/adaptation-2011.pdf}
}
@inproceedings{chopra:colaba:2011,
author = {Amit K. Chopra and Munindar P. Singh},
title = {Colaba: Collaborative Design of Cross-Organizational Business Processes},
year = {2011},
booktitle = {Proceedings of the Workshop on Requirements Engineering
for Systems, Services, and Systems of Systems},
pages = {36--43},
publisher = {IEEE},
url = {pdfs/colaba-2011.pdf}
}
@inproceedings{chopra:social-computing:2011,
author = {Amit K. Chopra},
title = {Social Computing: Principles, platforms, and applications},
booktitle = {Proceedings of the 1st Workshop on Requirements Engineering for Social Computing},
year = {2011},
pages = {26--29},
publisher = {IEEE},
url = {pdfs/social-computing-2011.pdf}
}
@inproceedings{chopra:social-applications:2011,
author = {Amit K. Chopra and Paolo Giorgini},
title = {Requirements engineering for social applications},
booktitle = {Proceedings of the 5th International i* Workshop},
year = {2011},
note = {138--143},
publisher = {CEUR-WS.org},
series = {{CEUR} Workshop Proceedings},
volume = {766},
url = {pdfs/istar-2011.pdf}
}
@incollection{chopra:contracts:2009,
author = {Amit K. Chopra and Nir Oren and Sanjay Modgil and
Nirmit Desai and Simon Miles and Michael Luck and
Munindar P. Singh},
booktitle = {Proceedings of the 11th International Workshop on Agent-Oriented Software Engineering},
title = {Analyzing Contract Robustness through a Model of Commitments},
series = {LNCS},
volume = {6788},
year = {2010},
publisher = {Springer},
note = {Invited paper},
pages = {17--36},
url = {pdfs/contracts-2010.pdf}
}
@inproceedings{chopra:goals-com-aamas:2010,
author = {Amit K. Chopra and Fabiano Dalpiaz and Paolo Giorgini and John Mylopoulos},
title = {Reasoning about agents and protocols via goals and commitments},
booktitle = {Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
year = {2010},
pages = {457--464},
url = {pdfs/goals-com-2010.pdf}
}
@inproceedings{chopra:goals-com-caise:2010,
author = {Amit K. Chopra and Fabiano Dalpiaz and Paolo Giorgini and John Mylopoulos},
title = {Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments},
booktitle = {Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE)},
year = {2010},
series = {LNCS},
pages = {113--128},
publisher = {Springer},
volume = {6051},
url = {pdfs/goals-com-caise-2010.pdf}
}
@inproceedings{dalpiaz:adaptation:2010,
author = {Fabiano Dalpiaz and Amit K. Chopra and Paolo Giorgini and John Mylopoulos},
title = {Adaptation in open systems: Giving interaction its rightful place},
booktitle = {Proceedings of the 29th International Conference on Conceptual Modeling},
year = {2010},
publisher = {Springer},
series = {LNCS},
volume = {6412},
pages = {31--45},
url = {pdfs/adaptation-2010.pdf}
}
@inproceedings{ali:tropos:evolution:2010,
author = {Raian Ali and Amit K. Chopra and Fabiano Dalpiaz and Paolo Giorgini and John Mylopoulos and Vitor E. Silva Souza},
title = {The Evolution of {Tropos}: {Contexts}, Commitments and Adaptivity},
booktitle = {In Proceedings of the 4th International iStar Workshop},
volume = {586},
series = {CEUR-WS},
pages = {15--19},
year = {2010},
url = {pdfs/istar10.pdf}
}
@article{desai:amoeba:2009,
author = {Nirmit Desai and Amit K.~Chopra and Munindar P.~Singh},
title = {Amoeba: A Methodology for Modeling and Evolution of Cross-Organizational Business Processes},
journal = {ACM Transactions on Software Engineering and
Methodology},
number = {2},
volume = {19},
year = {2009},
pages = {6:1--6:45},
url = {pdfs/amoeba-2009.pdf}
}
@article{singh:csoa:2009,
author = {Munindar P. Singh and
Amit K. Chopra and
Nirmit Desai},
title = {Commitment-Based Service-Oriented Architecture},
journal = {{IEEE} Computer},
volume = {42},
number = {11},
pages = {72--79},
year = {2009},
url = {pdfs/csoa-2009.pdf}
}
@inproceedings{baldoni:choice-conformance:2009,
author = {Matteo Baldoni and Cristina Baroglio and Amit
K. Chopra and Nirmit Desai and Viviana Patti and
Munindar P. Singh},
title = {Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies},
booktitle = {Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems},
pages = {843--850},
year = {2009},
publisher = {IFAAMAS},
address = {Budapest},
url = {pdfs/interoperability-2009.pdf}
}
@inproceedings{chopra:alignment:2009,
author = {Amit K. Chopra and Munindar P. Singh},
title = {Multiagent commitment alignment},
booktitle = {Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems},
year = {2009},
pages = {937--944},
publisher = {IFAAMAS},
url = {pdfs/alignment-2009.pdf}
}
@inproceedings{chopra:business-architecture:2010,
booktitle = {Proceedings of the 7th International Workshop on Programming Multi-Agent Systems},
author = {Amit K. Chopra and Munindar P. Singh},
title = {Elements of a Business-Level Architecture for Multiagent Systems},
series = {LNCS},
volume = {5919},
year = {2009},
publisher = {Springer},
pages = {15--30},
location = {Budapest},
url = {pdfs/middleware-2009.pdf}
}
@inproceedings{singh:correctness:2009,
author = {Munindar P. Singh and Amit K. Chopra},
title = {Correctness Properties for Multiagent Systems},
booktitle = {Proceedings of the Sixth Workshop on Declarative Agent Languages and Technologies},
year = {2009},
series = {LNCS},
publisher = {Springer},
pages = {192--207},
volume = {5948},
url = {pdfs/correctness-2009.pdf}
}
@inproceedings{singh:invited-promas:2009,
title = {Programming multiagent systems without programming agents},
author = {Munindar P. Singh and Amit K. Chopra},
booktitle = {Proceedings of the 7th International Workshop on Programming Multiagent Systems, (ProMAS 2009)},
year = {2009},
note = {invited paper},
pages = {1--14},
url = {pdfs/programming-MAS-2009.pdf}
}
@inproceedings{chopra:constitutive:2008,
author = {Amit K. Chopra and Munindar P. Singh},
title = {Constitutive Interoperability},
booktitle = {Proceedings of the Seventh International Conference on
Autonomous Agents and Multiagent Systems},
year = {2008},
pages = {797--804},
url = {pdfs/constitutive-2008.pdf}
}
@phdthesis{chopra:2008,
author = {Amit K. Chopra},
title = {Commitment alignment: Semantics, Patterns, and Decision Procedures for Distributed Computing},
school = {North Carolina State University},
year = {2008},
address = {Raleigh, NC},
url = {pdfs/etd.pdf}
}
@inproceedings{desai:forex:2007,
author = {Nirmit Desai and Amit K. Chopra and Matthew Arrott and
Bill Specht and Munindar P. Singh},
title = {Engineering Foreign Exchange Processes via Commitment
Protocols},
booktitle = {Proceedings of the 4th IEEE International Conference on
Services Computing},
publisher = {IEEE Computer Society Press},
address = {Los Alamitos},
pages = {514--521},
year = {2007},
url = {pdfs/forex-2007.pdf}
}
@inproceedings{desai:reasoning-commitments:2007,
author = {Nirmit Desai and Amit K. Chopra and Munindar P. Singh},
title = {Representing and Reasoning About Commitments in Business Processes},
booktitle = {Proceedings of the 22nd Conference on Artificial
Intelligence},
year = {2007},
pages = {1328--1333},
url = {pdfs/commitments-2007.pdf}
}
@inproceedings{chopra:interoperability:2007,
author = {Amit K. Chopra and Munindar P. Singh},
title = {Interoperation in Protocol Enactment},
booktitle = {5th International Workshop on Declarative Agent Languages and Technologies},
publisher = {Springer},
series = {LNCS},
pages = {36--49},
year = {2007},
volume = {4897},
url = {pdfs/interoperability-2007.pdf}
}
@inproceedings{chopra:poster:choice-interoperation:2007,
author = {Amit K. Chopra and
Munindar P. Singh},
title = {Choice and interoperation in protocol enactment},
booktitle = {Proceedings of the 6th International Conference on Autonomous Agents and Multiagent Systems},
year = {2007},
pages = {29}
}
@inproceedings{desai:adaptations:2006,
author = {Nirmit Desai and
Amit K. Chopra and
Munindar P. Singh},
title = {Business Process Adaptations via Protocols},
booktitle = {Proceedings of the IEEE International Conference on
Services Computing},
year = {2006},
pages = {103-110},
url = {pdfs/business-processes-2006.pdf}
}
@inproceedings{chopra:interoperability:2006,
author = {Amit K. Chopra and Munindar P. Singh},
title = {Producing Compliant Interactions: Conformance, Coverage, and
Interoperability},
booktitle = {4th International Workshop on Declarative Agent Languages and Technologies},
publisher = {Springer},
series = {LNCS},
volume = 4327,
pages = {1--15},
year = {2006},
url = {pdfs/compliance-2006.pdf}
}
@inproceedings{chopra:contextualization:2006,
author = {Amit K. Chopra and Munindar P. Singh},
title = {Contextualizing Commitment Protocols},
booktitle = {Proceedings of the 5th International Joint
Conference on Autonomous Agents and Multiagent Systems},
pages = {1345--1352},
year = {2006},
url = {pdfs/contextualization-2006.pdf}
}
@inproceedings{desai:owl-p-methodology:2006,
author = {Nirmit Desai and
Ashok U. Mallya and
Amit K. Chopra and
Munindar P. Singh},
title = {{OWL-P}: A Methodology for Business Process Development},
booktitle = {7th International Workshop on Agent-Oriented
Information Systems},
year = {2005},
pages = {79--94},
publisher = {Springer},
series = {LNCS},
volume = {3529},
url = {pdfs/owlp-2005.pdf}
}
@article{desai:protocols:2005,
author = {Nirmit Desai and Ashok U. Mallya and Amit K. Chopra and Munindar P. Singh},
title = {Interaction Protocols as Design Abstractions for Business Processes},
journal = {IEEE Transactions on Software Engineering},
year = {2005},
volume = {31},
number = {12},
month = dec,
pages = {1015--1027},
url = {pdfs/protocols-2005.pdf}
}
@article{singh:protocols:2004,
title = {Protocols for Processes: Programming in the Large for Open Systems},
author = {Munindar P. Singh and Amit K. Chopra and Nirmit Desai and Ashok U. Mallya},
journal = {ACM SIGPLAN Notices},
volume = {39},
number = {12},
pages = {73--83},
month = {December},
year = {2004},
url = {pdfs/protocols-processes-2004.pdf}
}
@inproceedings{chopra:ncm:2003,
author = {Amit Chopra and Munindar P. Singh},
title = {Nonmonotonic Commitment Machines},
booktitle = {Proceedings of the 2003 AAMAS Workshop on Agent
Communication Languages},
series = {LNAI},
volume = 2922,
editor = {Frank Dignum},
publisher = {Springer},
pages = {183--200},
year = {2003},
url = {pdfs/ncm-2003.pdf}
}
This file was generated by bibtex2html 1.98.