Publications

2019

  • Michael Winikoff. Towards Deriving Verification Properties. arXiv:1903.04159.
  • Tobias Ahlbrecht and Michael Winikoff, Explaining Aggregate Behaviour in Cognitive Agent Simulations using Explanation, 1st International Workshop on EXplainable TRansparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS2019), held at AAMAS.
  • Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, and Viviana Mascardi. On Enactability of Agent Interaction Protocols: Towards a Unified Approach (arXiv:1902.01131), 7th International workshop on Engineering Multi-Agent Systems (EMAS), held at AAMAS. (longer version of the Extended Abstract below)
  • Viviana Mascardi, Danny Weyns, Alessandro Ricci, et al. (~30 authors in total). Engineering Multi-Agent Systems: State of Affairs and the Road Ahead, ACM SIGSOFT Software Engineering Notes, January 2019, Volume 44, Number 1, pages 18-28. https://dl.acm.org/citation.cfm?id=3322175.
  • Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, and Viviana Mascardi. On Enactability of Agent Interaction Protocols: Towards a Unified Approach (Extended Abstract), Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS).

2018

2017

2016

2015

2014

2013

  • Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 2013,Revised Selected Papers. Edited by Massimo Cossentino, Amal El Fallah Seghrouchni and Michael Winikoff, Springer LNAI 8245, 2013. (doi:10.1007/978-3-642-45343-4)
  • Sharmila Savarimuthu and Michael Winikoff. Mutation Operators for Cognitive Agent Programs (Extended Abstract). In: Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Ito, Jonker, Gini, and Shehory (eds.), May 6–10, 2013, Saint Paul, Minnesota, USA, pages 1137-1138, 2013.
  • Akın Günay, Pınar Yolum, and Michael Winikoff. Generating and Ranking Commitment Protocols (Extended Abstract). In: Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Ito, Jonker, Gini, and Shehory (eds.), May 6–10, 2013, Saint Paul, Minnesota, USA, pages 1323-1324, 2013.
  • Sharmila Savarimuthu and Michael Winikoff. Mutation Operators for Cognitive Agent Programs. First international workshop on Engineering Multi-Agent Systems. (revised extended version appears in the post-proceedings)
  • Christopher Cheong and Michael Winikoff. A Comparison of Two Agent Interaction Design Approaches. Multiagent and Grid Systems (an international journal), volume 9, pages 1-44, 2013.
  • Michael Winikoff and Lin Padgham. Agent Oriented Software Engineering. Chapter 15 (pages 695-757) In G. Weiss (Ed.). Multiagent Systems. 2nd Edition. MIT Press. ISBN 978-0-262-01889-0
  • Minjie Hu, Michael Winikoff, and Stephen Cranefield. A Process for Novice Programming Using Goals and Plans. Fifteenth Australasian Computing Education Conference (ACE2013), part of the Australasian Computer Science Week 2013.
  • Hoa Khanh Dam and Michael Winikoff. Towards a next-generation AOSE methodology. Science of Computer Programming, 78(6):684-694, 2013, Elsevier (Appeared online 2012)
    Note: the “Received 1 December” is incorrect – it was submitted 28th February 2011

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

  • Abdullah Al-Amin, Michael Winikoff, and James Harland. Agent-Oriented Programming in Linear Logic: An Example. Poster in the proceedings of the Sixth Pacific Rim International Conference on Artificial Intelligence (PRICAI2000). Melbourne, Australia, August 28-September 1, 2000. Published as Lecture Notes in AI 1886, Mizoguchi & Slaney (eds.), Springer. (Postscript)
  • James Harland, David Pym, and Michael Winikoff. Forward and Backward Chaining in Linear Logic (or PDF). Proceedings of the CADE-17 Workhop on Proof-Search in Type-Theoretic Systems, Pittsburgh, June, 2000. Published as Electronic Notes in Theoretical Computer Science, volume 37, 2000.
  • James Harland, Tatjana Lutovac, and Michael Winikoff. Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic (or pdf). In proceedings of the First International Conference on Computational Logic (CL2000). London, 24-28 July 2000.
  • James Harland, Tatjana Lutovac, and Michael Winikoff. On Goal-Directed Proofs in Multiple-Conclusioned Intuitionistic Logic (or pdf), In proceedings of the Australasian Workshop on Computational Logic (AWCL), Australian National University, Canberra, 3-4 February 2000.
  • Edmund Kazmierczak, Philip Dart, Leon Sterling and Michael Winikoff. Verifying Requirements Through Mathematical Modelling and Animation. International Journal of Software Engineering and Knowledge Engineering, Vol. 10, No. 2 (2000), p251-273.

1998

  • Ed. Kazmierczak, Michael Winikoff, and Philip Dart. Verifying Model Oriented Specifications through Animation. In Proceedings of the 5th Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, December 1998.
  • Ed Kazmierczak, Michael Winikoff and Philip Dart. Verifying model oriented specifications through animation (or pdf). Technical Report 98/11, Melbourne University, July 1998.
  • James Harland and Michael Winikoff, Making Logic Programs Reactive (or pdf). In Proceedings of the JICSLP’98 Workshop on Transactions and Change in Logic Databases (Dynamics’98), p34-58, Manchester, June 1998.
    Published as Technical Report MIP-9808, Fakultat fur Mathematik und Informatik, Univesitat Passau.
  • Michael Winikoff, Philip Dart, and Ed. Kazmierczak. Rapid Prototyping using Formal Specifications (or postscript or pdf) In Australasian Computer Science Conference, February 1998. (*)
  • Michael Winikoff, Analysing Modes and Subtypes in Z Specifications (or pdf). Technical Report 98/2, Melbourne University, 1998

1997

1996

1995 and earlier

(*) Highest scoring paper submitted to the conference.