Accessibility Skip to Global Navigation Skip to Local Navigation Skip to Content Skip to Search Skip to Site Map Menu

Michael Winikoff

Publications

Note: The list below is automatically generated from the publication database of the University of Otago.
A more complete list can be found on a separate page.

Winikoff, M. (2017). BDI agent testability revisited. Autonomous Agent & Multi-Agent Systems. Advance online publication. doi: 10.1007/s10458-016-9356-2

Abushark, Y., Miller, T., Thangarajah, J., Winikoff, M., & Harland, J. (2017). Requirements specification via activity diagrams for agent-based systems. Autonomous Agent & Multi-Agent Systems, 31(3), 423-468. doi: 10.1007/s10458-016-9327-7

Dam, H. K., Egyed, A., Winikoff, M., Reder, A., & Lopez-Herrejon, R. E. (2016). Consistent merging of model versions. Journal of Systems & Software, 112, 137-155. doi: 10.1016/j.jss.2015.06.044

Günay, A., Winikoff, M., & Yolum, P. (2015). Dynamically generated commitment protocols in open systems. Autonomous Agent & Multi-Agent Systems, 29(2), 192-229. doi: 10.1007/s10458-014-9251-7

Abushark, Y., Thangarajah, J., Miller, T., Harland, J., & Winikoff, M. (2015). Early detection of design faults in relative to requirement specifications in agent-based models. In R. H. Bordini, E. Elkind, G. Weiss & P. Yolum (Eds.), Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). (pp. 1071-1079). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems. [Full Paper]

Edited Book - Research

Cossentino, M., El Fallah Seghrouchni, A., & Winikoff, M. (Eds.). (2013). Engineering multi-agent systems: Lecture notes in computer science (Vol. 8245). Heidelberg, Germany: Springer, 391p. doi: 10.1007/978-3-642-45343-4

Sakama, C., Sardina, S., Vasconcelos, W., & Winikoff, M. (Eds.). (2012). Declarative agent languages and technologies IX: Lecture notes in artificial intelligence (Vol. 7169). Berlin, Germany: Springer, 153p. doi: 10.1007/978-3-642-29113-5

Desai, N., Liu, A., & Winikoff, M. (Eds.). (2012). Principles and practice of multi-agent systems: Lecture notes in computer science (Vol. 7057). Berlin, Germany: Springer, 665p. doi: 10.1007/978-3-642-25920-3

Baldoni, M., Son, T. C., van Riemsdijk, M. B., & Winikoff, M. (Eds.). (2009). Declarative agent languages and technologies VI: Lecture notes in artificial intelligence (Vol. 5397). Berlin, Germany: Springer, 250p.

Dastani, M., El Fallah Seghrouchni, A., Ricci, A., & Winikoff, M. (Eds.). (2008). Programming multi-agent systems: Lecture notes in artificial intelligence (Vol. 4908). Berlin, Germany: Springer, 267p.

Baldoni, M., Son, T. C., van Riemsdijk, M. B., & Winikoff, M. (Eds.). (2008). Declarative agent languages and technologies V: Lecture notes in artificial intelligence (Vol. 4897). Berlin, Germany: Springer, 245p.

Kolp, M., Bresciani, P., Henderson-Sellers, B., & Winikoff, M. (Eds.). (2006). Agent-oriented information systems III: Lecture notes in artificial intelligence (Vol. 3529). Berlin, Germany: Springer, 290p. doi: 10.1007/11916291

^ Top of page

Chapter in Book - Research

Winikoff, M. (2016). How testable are BDI agents? An analysis of branch coverage. In N. Osman & C. Sierra (Eds.), Autonomous agents and multiagent systems: Lecture notes in artificial intelligence (Vol. 10002). (pp. 90-106). Cham, Switzerland: Springer. doi: 10.1007/978-3-319-46882-2_6

Winikoff, M. (2016). How testable are BDI agents? An analysis of branch coverage. In M. Baldoni, J. P. Müller, I. Nunes & R. Zalila-Wenkstern (Eds.), Engineering multi-agent systems: Lecture notes in artificial intelligence (Vol. 10093). (pp. 210-223). Cham, Switzerland: Springer. doi: 10.1007/978-3-319-50983-9_12

Padgham, L., Thangarajah, J., & Winikoff, M. (2014). Prometheus research directions. In O. Shehory & A. Sturm (Eds.), Agent-oriented software engineering: Reflections on architectures, methodologies, languages and frameworks. (pp. 155-171). Berlin, Germany: Springer. doi: 10.1007/978-3-642-54432-3_8

Winikoff, M., & Padgham, L. (2013). Agent oriented software engineering. In G. Weiss (Ed.), Multiagent Systems. (2nd ed.) (pp. 695-757). Cambridge, MA: MIT Press.

Savarimuthu, S., & Winikoff, M. (2013). Mutation operators for the GOAL agent language. In M. Cossentino, A. El Fallah Seghrouchni & M. Winikoff (Eds.), Engineering multi-agent systems: Lecture notes in computer science (Vol. 8245). (pp. 255-273). Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-45343-4_14

Cranefield, S., Winikoff, M., & Vasconcelos, W. (2012). Modelling and monitoring interdependent expectations. In S. Cranefield, M. B. van Riemsdijk, J. Vázquez-Salceda & P. Noriega (Eds.), Coordination, organizations, institutions, and norms in agent system VII: Lecture notes in artificial intelligence (Vol. 7254). (pp. 149-166). Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-35545-5_9

Winikoff, M. (2012). An integrated formal framework for reasoning about goal interactions. In C. Sakama, S. Sardina, W. Vasconcelos & M. Winikoff (Eds.), Declarative agent languages and technologies IX: Lecture notes in artificial intelligence (Vol. 7169). (pp. 16-32). Berlin, Germany: Springer. doi: 10.1007/978-3-642-29113-5

Winikoff, M. (2010). Assurance of agent systems: What role should formal verification play? In M. Dastani, K. V. Hindriks & J.-J. C. Meyer (Eds.), Specification and verification of multi-agent systems. (pp. 353-383). New York: Springer Science+Business Media. doi: 10.1007/978-1-4419-6984-2

Poutakidis, D., Winikoff, M., Padgham, L., & Zhang, Z. (2009). Debugging and testing of multi-agent systems using design artefacts. In R. H. Bordini, M. Dastani, J. Dix & A. El Fallah Seghrouchni (Eds.), Multi-agent programming: Language, tools and applications. (pp. 215-258). Dordrecht, The Netherlands: Springer.

Cheong, C., & Winikoff, M. (2009). Hermes: Designing flexible and robust agent interactions. In V. Dignum (Ed.), Handbook of research on multi-agent systems: Semantics and dynamics of organizational models. (pp. 105-140). Hershey, PA: Information Science Reference.

Hoa Dam, K., & Winikoff, M. (2009). Evaluating an agent-oriented approach for change propagation. In M. Luck & J. J. Gomez-Sanz (Eds.), Agent-oriented software engineering IX: Lecture notes in computer science (Vol. 5386). (pp. 159-172). Berlin, Germany: Springer.

Cranefield, S., & Winikoff, M. (2009). Verifying social expectations by model checking truncated paths. In J. F. Hübner, E. Matson, O. Boissier & V. Dignum (Eds.), Coordination, organizations, institutions and norms in agent systems IV: Lecture notes in artificial intelligence (Vol. 5428). (pp. 204-219). Berlin, Germany: Springer.

Padgham, L., Winikoff, M., DeLoach, S., & Cossentino, M. (2009). A unified graphical notation for AOSE. In M. Luck & J. J. Gomez-Sanz (Eds.), Agent-oriented software engineering IX: Lecture notes in computer science (Vol. 5386). (pp. 116-130). Berlin, Germany: Springer.

Winikoff, M., & Cranefield, S. (2009). Eliciting expectations for monitoring social interactions. In M. Purvis & B. T. R. Savarimuthu (Eds.), Computer-mediated social networking: Lecture notes in artificial intelligence (Vol. 5322). (pp. 171-185). Berlin, Germany: Springer. doi: 10.1007/978-3-642-02276-0

Dignum, F., Dignum, V., Thangarajah, J., Padgham, L., & Winikoff, M. (2008). Open agent systems ??? In M. Luck & L. Padgham (Eds.), Agent-oriented software engineering VIII: Lecture notes in computer science (Vol. 4951). (pp. 73-87). Berlin, Germany: Springer. doi: 10.1007/978-3-540-79488-2

Pham, D. Q., Harland, J., & Winikoff, M. (2008). Modeling agents' choices in temporal linear logic. In M. Baldoni, T. C. Son, M. B. van Riemsdijk & M. Winikoff (Eds.), Declarative agent languages and technologies V: Lecture notes in artificial intelligence (Vol. 4897). (pp. 140-157). Berlin, Germany: Springer. doi: 10.1007/978-3-540-77564-5_9

Padgham, L., Thangarajah, J., & Winikoff, M. (2008). The Prometheus design tool: A conference management system case study. In M. Luck & L. Padgham (Eds.), Agent-oriented software engineering VIII: Lecture notes in computer science (Vol. 4951). (pp. 197-211). Berlin, Germany: Springer. doi: 10.1007/978-3-540-79488-2

Sierra, C., Thangarajah, J., Padgham, L., & Winikoff, M. (2007). Designing institutional multi-agent systems. In L. Padgham & F. Zambonelli (Eds.), Agent-oriented software engineering VII: Lecture notes in computer science (Vol. 4405). (pp. 84-103). Berlin, Germany: Springer. doi: 10.1007/978-3-540-70945-9

More publications...