Dr Timothy Miller

Research Interests

  • Artificial intelligence (Intelligent agents and multi-agent systems)
  • Software Engineering
  • Modelling and simulation of complex systems (Simulation of economic markets)

Personal webpage



Dr Tim Miller is a senior lecturer (equivalent to assistant professor) in the Department of Computing and Information Systems at The University of Melbourne. 

Dr Miller received his PhD in 2005 from the University of Queensland. He spent four years at the University of Liverpool, UK, as a software engineer and postdoctoral researcher associate in the Agent ART group. In 2008, he moved to Melbourne to take up his current post. Tim's primary interest lies in the area of software engineering for intelligent systems, especially multi-agent systems, and modelling and simulation using intelligent agents. For recognition of his hard work in successfully implementing problem-based learning in much of his teaching, In 2011, Tim received an Excellence in Teaching award from the Melbourne School of Engineering, which complemented his Excellence in Teaching awards from the Department of Computer Science and Software Engineering in 2009 and 2011.

Recent Publications

  1. Abushark Y, Thangarajah J, Miller T, Harland J. Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location. Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems. ACM Press. 2014.
  2. Von Der Osten F B, Kirley MG, Miller T. Anticipatory stigmergic collision avoidance under noise. Proceedings of the 2014 Genetic and Evolutionary Computation Conference (GECCO). ACM Press. 2014. Editors: Igel C.
  3. Pfau J, Miller T, Sonenberg EA. Modelling and Using Common Ground in Human-agent Collaboration during Spacecraft Operations. Proceedings of SpaceOps 2014 Conference. American Institute of Aeronautics and Astronautics . 2014.
  4. Mendoza A, Miller T, Pedell S, Sterling L. The role of users’ emotions and associated quality goals on appropriation of systems: two case studies. Information Systems: Transforming the Future. AISel. 2013.
  5. Miller T, McBurney P. Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies. Multiagent and Grid Systems. IOS Press. 2013, Vol. 9, Issue 2, pp. 101 - 134.
  6. Padgham L, Zhang Z, Thangarajah J, Miller T. Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems. IEEE Transactions on Software Engineering. IEEE - Institute of Electrical and Electronic Engineers. 2013, Vol. 39, Issue 9, pp. 1230 - 1244.
  7. Haidry S, Miller T. Using Dependency Structures for Prioritization of Functional Test Suites. IEEE Transactions on Software Engineering. IEEE - Institute of Electrical and Electronic Engineers. 2013, Vol. 39, Issue 2, pp. 258 - 275.
  8. Miller T, Strooper P. A case study in model-based testing of specifications and implementations. Software Testing, Verification and Reliability. John Wiley & Sons. 2012, Vol. 22, Issue 1, pp. 33 - 63.
  9. Miller T, Nui J. An assessment of strategies for choosing between competitive marketplaces. Electronic Commerce Research and Applications. Elsevier BV. 2012, Vol. 11, Issue 1, pp. 14 - 23.
  10. Miller T, Pedell S, Sterling L, Vetere F, Howard S. Understanding socially oriented roles and goals through motivational modelling. Journal of Systems and Software. Elsevier. 2012, Vol. 85, Issue 9, pp. 2160 - 2170.
  11. Miller T, Pedell S, Sterling LS, Lu B. Engaging stakeholders with agent-oriented requirements modelling. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SpringerLink. 2011.
  12. Lopez-Lorca A, Beydoun G, Sterling LS, Miller T. Ontology-mediated validation of software models. Information Systems Development - Business Systems and Services: Modeling and Development. Springer. 2011, pp. 455 - 468.
  13. Miller T, McBurney P. Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols. Computational Intelligence. Elsevier. 2011, Vol. 27, Issue 3, pp. 422 - 457.
  14. Pedell S, Miller T, Sterling L, Vetere F, Howard S. Substantiating Agent-Based Quality Goals for Understanding Socio-Technical Systems. Advanced Agent Technology, Lecture Notes in Computer Science. Springer Verlag. 2011, Vol. 7068, pp. 80 - 95.
  15. Pedell S, Miller T, Sterling S, Vetere F, Howard S, Paay. Substantiating quality goals with field data for socially-oriented requirements engineering. Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011). IFAAMAS : International Conference on Autonomous Agents and Multiagent Systems. 2011, pp. 1185 - 1186.

Timothy Miller

Level: 06 Room: 6.09
Doug Mcdonell Building, Parkville
University of Melbourne
3010 Australia

T: +61 3 83441318
E: tmiller@unimelb.edu.au

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile