Amit K. Chopra

Jürgen Dix

Rym Zalila-Wenkstern

Ann. Math. Artif. Intell., August, 2024

Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

From Visual Choreographies to Flexible Information Protocols.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 22nd International Conference, 2024

2023

Protocol-Based Engineering of Microservices.

[BibT_eX]

[DOI]

Aditya Kailas Khadse

Proceedings of the Engineering Multi-Agent Systems - 11th International Workshop, 2023

Kiko: Programming Agents to Enact Interaction Models.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Interaction-Oriented Programming: Intelligent, Meaning-Based Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Communication Meaning: Foundations and Directions for Systems Research.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Interaction-Oriented Software Engineering: Programming abstractions for autonomy and decentralization.

[BibT_eX]

[DOI]

AI Commun., 2022

Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2022

Pippi: Practical Protocol Instantiation.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2021

Accountability as a Foundation for Requirements in Sociotechnical Systems.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2021

Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols.

[BibT_eX]

[DOI]

Computer, 2021

Interaction-Oriented Programming: An Application Semantics Approach for Engineering Decentralized Applications.

[BibT_eX]

[DOI]

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

Deserv: Decentralized Serverless Computing.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Web Services, 2021

Multiagent Foundations for Distributed Systems: A Vision.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

2020

An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2020

Protocols Over Things: A Decentralized Programming Model for the Internet of Things.

[BibT_eX]

[DOI]

Daria Smirnova

Computer, 2020

Computational Governance and Violable Contracts for Blockchain Applications.

[BibT_eX]

[DOI]

Computer, 2020

Fault Tolerance in Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 8th International Workshop, 2020

Refinement for Multiagent Protocols.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Clouseau: Generating Communication Protocols from Commitments.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

A Critical Examination of Languages for Specifying Interaction Protocols for Decentralized Social Machines.

[BibT_eX]

[DOI]

CoRR, 2019

Requirements engineering as science in the small.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Supple: Multiagent Communication Protocols with Causal Types.

[BibT_eX]

[DOI]

Akin Günay

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Violable Contracts and Governance for Blockchain Applications.

[BibT_eX]

[DOI]

CoRR, 2018

Crowd-Informed Goal Models.

[BibT_eX]

[DOI]

Pradeep K. Murukannaiah

Proceedings of the 5th International Workshop on Artificial Intelligence for Requirements Engineering, 2018

Stellar: A Programming Model for Developing Protocol-Compliant Agents.

[BibT_eX]

[DOI]

Akin Günay

Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

Compositional Correctness in Multiagent Interactions.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Sociotechnical Systems and Ethics in the Large.

[BibT_eX]

[DOI]

Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

2017

Introduction to the Special Issue on Advances in Social Computing.

[BibT_eX]

[DOI]

Erez Shmueli

Vivek K. Singh

ACM Trans. Internet Techn., 2017

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

[BibT_eX]

[DOI]

Pradeep K. Murukannaiah

Pete Sawyer

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Canary: Extracting Requirements-Related Information from Online Discussions.

[BibT_eX]

[DOI]

Pradeep K. Murukannaiah

Pete Sawyer

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Tosca: Operationalizing Commitments Over Information Protocols.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

Splee: A Declarative Information-Based Language for Multiagent Interaction Protocols.

[BibT_eX]

[DOI]

Samuel Christie

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

From Social Machines to Social Protocols: Software Engineering Foundations for Sociotechnical Systems.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on World Wide Web, 2016

Custard: Computing Norm States over Information Stores.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Normative Multi-Agent Systems (Dagstuhl Seminar 15131).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2015

Social media through the requirements lens: A case study of Google maps.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Workshop on Crowd-Based Requirements Engineering, 2015

Composing and Verifying Commitment-Based Multiagent Protocols.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Generalized Commitment Alignment.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Social Contexts and Social Pragmatics.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Cupid: Commitments in Relational Algebra.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Introduction to the Special Issue on Foundations of Social Computing.

[BibT_eX]

[DOI]

Raian Ali

Maja Vukovic

ACM Trans. Internet Techn., 2014

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

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th International Workshop on Requirements Engineering and Law, 2014

Protos: Foundations for engineering innovative sociotechnical systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

2013

Introduction to the special section on agent communication.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2013

Research directions in agent communication.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2013

Trust-based specification of sociotechnical systems.

[BibT_eX]

[DOI]

Elda Paja

Paolo Giorgini

Data Knowl. Eng., 2013

The Uses of Norms.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-Agent Systems, 2013

Regulated MAS: Social Perspective.

[BibT_eX]

[DOI]

Pablo Noriega

Nicoletta Fornara

Henrique Lopes Cardoso

Proceedings of the Normative Multi-Agent Systems, 2013

2012

Interaction-Oriented Software Engineering: Concepts and Principles

[BibT_eX]

[DOI]

CoRR, 2012

True Peer Review

[BibT_eX]

[DOI]

CoRR, 2012

The Meaning of Requirements and Adaptation

[BibT_eX]

[DOI]

CoRR, 2012

2011

The first International Workshop on Requirements Engineering for Social Computing.

[BibT_eX]

[DOI]

Fabiano Dalpiaz

Soo Ling Lim

Proceedings of the First International Workshop on Requirements Engineering for Social Computing, 2011

Colaba: Collaborative design of cross-organizational processes.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering for Systems, 2011

Requirements-driven adaptation: Compliance, context, uncertainty, and systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), 2011

Social computing: Principles, platforms, and applications.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Requirements Engineering for Social Computing, 2011

Requirements Engineering for Social Applications.

[BibT_eX]

[DOI]

Paolo Giorgini

Proceedings of the 5th International i* Workshop 2011, 2011

Sociotechnical Trust: An Architectural Approach.

[BibT_eX]

[DOI]

Elda Paja

Paolo Giorgini

Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

The Evolution of Interoperability.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Commitments with regulations: reasoning about safety and control in REGULA.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Specifying and applying commitment-based business patterns.

[BibT_eX]

[DOI]

Vítor Estêvão Silva Souza

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

The Evolution of Tropos: Contexts, Commitments and Adaptivity.

[BibT_eX]

[DOI]

Proceedings of the 4th International i* Workshop, 2010

Adaptation in Open Systems: Giving Interaction Its Rightful Place.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Reasoning about agents and protocols via goals and commitments.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Analyzing Contract Robustness through a Model of Commitments.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

Requirements as Goals and Commitments Too.

[BibT_eX]

[DOI]

Proceedings of the Intentional Perspectives on Information Systems Engineering., 2010

2009

Amoeba: A methodology for modeling and evolving cross-organizational business processes.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2009

Commitment-Based Service-Oriented Architecture.

[BibT_eX]

[DOI]

Computer, 2009

Programming Multiagent Systems without Programming Agents.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

Elements of a Business-Level Architecture for Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

Correctness Properties for Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Multiagent commitment alignment.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

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

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Constitutive interoperability.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Business process interoperability: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

Interoperation in Protocol Enactment.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies V, 2007

Toward verification of commitment protocols and their compositions.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Choice and interoperation in protocol enactment.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Representing and Reasoning about Commitments in Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Engineering Foreign Exchange Processes via Commitment Protocols.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006

Producing Compliant Interactions: Conformance, Coverage, and Interoperability.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies IV, 2006

An overview of business process adaptations via protocols.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Contextualizing commitment protocol.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Business Process Adaptations via Protocols.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

2005

Interaction Protocols as Design Abstractions for Business Processes.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

OWL-P: OWL for protocol and processes.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

OWL-P: A Methodology for Business Process Development.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Information Systems III, 2005

2004

Protocols for processes: programming in the large for open systems.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2004

Protocols for processes: programming in the large for open systems (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Commitments for Flexible Business Processes.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Nonmonotonic Commitment Machines.

[BibT_eX]

[DOI]