Computing and Information Systems

Dr Timothy Miller

Personal webpage:

http://www.csse.unimelb.edu.au/~tmill

Biography

Dr Tim Miller is a Lecturer 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. Using Dependency Structures for Prioritization of Functional Test Suites. IEEE Transactions on Software Engineering, 2013
2. Understanding socially oriented roles and goals through motivational modelling. Journal of Systems and Software, 2012
3. An assessment of strategies for choosing between competitive marketplaces. Electronic Commerce Research and Applications, 2012
4. A case study in model-based testing of specifications and implementations. Software Testing, Verification and Reliability, 2012
5. Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols. Computational Intelligence, 2011
6. Engaging stakeholders with agent-oriented requirements modelling. SpringerLink.
7. Ontology-mediated validation of software models. Springer.
8. Substantiating Agent-Based Quality Goals for Understanding Socio-Technical Systems. Springer Verlag.
9. Substantiating quality goals with field data for socially-oriented requirements engineering. IFAAMAS : International Conference on Autonomous Agents and Multiagent Systems.
10. TATM: A Trust Mechanism for Social Traders in Double Auctions. Springer-Verlag Heidelberg.
11. Test coverage criteria for agent interaction testing. Springer-Verlag Heidelberg.
12. Characterising and Matching Iterative and Recursive Agent Interaction Protocols. IFAAMAS International Foundation for Autonomous Agents and Multiagent Systems.
13. Shared artefacts as participatory Babel fish.. ACM Press.
14. Having fun at home: interleaving fieldwork and goal models. ACM Press.
15. Annotation and Matching of First-Class Agent Interaction Protocols. Springer Verlag.

---

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