The University of Queensland

Transforming food production with AI

Cooper, Mark, Hickey, Lee, Jiang, Xianxian, La Fata, Giorgio, Lomas, Harold, Miller, Tim, O’Brien, Susan, Patel, Parth and Tomarchio, Samuel (2024). Transforming food production with AI. Food AI: A game changer for Australia’s food and beverage sector. (pp. 5-13) edited by Janet R. McColl-Kennedy and Damian Hine. Brisbane, QLD, Australia: The University of Queensland, Australia's Food and Beverage Accelerator (FaBA).

Social Planning for Trusted Autonomy

Miller, Tim, Pearce, Adrian R. and Sonenberg, Liz (2018). Social Planning for Trusted Autonomy. Foundations of Trusted Autonomy. (pp. 67-86) Cham, Switzerland: Springer. doi: 10.1007/978-3-319-64816-3_4

Directive Explanations for Actionable Explainability in Machine Learning Applications

Singh, Ronal, Miller, Tim, Lyons, Henrietta, Sonenberg, Liz, Velloso, Eduardo, Vetere, Frank, Howe, Piers and Dourish, Paul (2023). Directive Explanations for Actionable Explainability in Machine Learning Applications. ACM Transactions on Interactive Intelligent Systems, 13 (4), 1-26. doi: 10.1145/3579363

Modeling communication of collaborative multiagent system under epistemic planning

Alshehri, Abeer, Miller, Tim and Sonenberg, Liz (2021). Modeling communication of collaborative multiagent system under epistemic planning. International Journal of Intelligent Systems, 36 (10), 5959-5980. doi: 10.1002/int.22536

Demand-Driven Transparency for Monitoring Intelligent Agents

Vered, Mor, Howe, Piers, Miller, Tim, Sonenberg, Liz and Velloso, Eduardo (2020). Demand-Driven Transparency for Monitoring Intelligent Agents. IEEE Transactions on Human-Machine Systems, 50 (3), 264-275. doi: 10.1109/thms.2020.2988859

XAI—Explainable artificial intelligence

Gunning, David, Stefik, Mark, Choi, Jaesik, Miller, Timothy, Stumpf, Simone and Yang, Guang-Zhong (2019). XAI—Explainable artificial intelligence. Science Robotics, 4 (37). doi: 10.1126/scirobotics.aay7120

A framework for automatically ensuring the conformance of agent designs

Abushark, Yoosef, Thangarajah, John, Harland, James and Miller, Tim (2017). A framework for automatically ensuring the conformance of agent designs. Journal of Systems and Software, 131, 266-310. doi: 10.1016/j.jss.2017.05.098

Requirements specification via activity diagrams for agent-based systems

Abushark, Yoosef, Miller, Tim, Thangarajah, John, Winikoff, Michael and Harland, James (2016). Requirements specification via activity diagrams for agent-based systems. Autonomous Agents and Multi-Agent Systems, 31 (3), 423-468. doi: 10.1007/s10458-016-9327-7

Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator

Miller, Tim, Bin Lu, , Sterling, Leon, Beydoun, Ghassan and Taveter, Kuldar (2014). Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator. IEEE Transactions on Software Engineering, 40 (10), 1007-1024. doi: 10.1109/tse.2014.2339827

Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies

Miller, Tim and McBurney, Peter (2013). Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies. Multiagent and Grid Systems, 9 (2), 101-134. doi: 10.3233/mgs-130202

Using Dependency Structures for Prioritization of Functional Test Suites

Haidry, Shifa-e-Zehra and Miller, Tim (2013). Using Dependency Structures for Prioritization of Functional Test Suites. IEEE Transactions on Software Engineering, 39 (2), 258-275. doi: 10.1109/tse.2012.26

Understanding socially oriented roles and goals through motivational modelling

Miller, Tim, Pedell, Sonja, Sterling, Leon, Vetere, Frank and Howard, Steve (2012). Understanding socially oriented roles and goals through motivational modelling. Journal of Systems and Software, 85 (9), 2160-2170. doi: 10.1016/j.jss.2012.04.049

Algorithmic decisions, desire for control, and the preference for human review over algorithmic review

Lyons, Henrietta, Miller, Tim and Velloso, Eduardo (2023). Algorithmic decisions, desire for control, and the preference for human review over algorithmic review. 2023 ACM Conference on Fairness, Accountability, and Transparency, Chicago, IL, United States, 12–15 June 2023. New York, NY, United States: ACM. doi: 10.1145/3593013.3594041

Explainable AI is dead, long live explainable AI! : hypothesis-driven decision support using evaluative AI

Miller, Tim (2023). Explainable AI is dead, long live explainable AI! : hypothesis-driven decision support using evaluative AI. 2023 ACM Conference on Fairness, Accountability, and Transparency, Chicago, IL, United States, 12–15 June 2023. New York, NY, United States: ACM. doi: 10.1145/3593013.3594001

Characterizing text revisions to better support collaborative

Ping, Tan Ping, Verspoor, Karin and Miller, Timothy (2022). Characterizing text revisions to better support collaborative. 2022 International Conference on Digital Transformation and Intelligence (ICDI), Kuching, Sarawak, Malaysia, 1-2 December 2022. Piscataway, NJ, United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/ICDI57181.2022.10007395

Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study

Burrows, Rachel, Lopez-Lorca, Antonio, Sterling, Leon, Miller, Tim, Mendoza, Antonette and Pedell, Sonja (2019). Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study. 2019 IEEE 27th International Requirements Engineering Conference (RE), Jeju, Korea, 23-27 September 2019. Piscataway, NJ United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/re.2019.00039

Animation can show only the presence of errors, never their absence

Miller, Tim and Strooper, Paul (2001). Animation can show only the presence of errors, never their absence. Australian Software Engineering Conference, ASWEC 2001, Canberra, ACT, Australia, 27-28 August 2001. Los Alamitos, CA, United States: IEEE Computer Society. doi: 10.1109/ASWEC.2001.948500

Using specification animation to support specification testing and software testing

Miller, Timothy (2005). Using specification animation to support specification testing and software testing. PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. doi: 10.14264/275872