|
2024 Conference Publication Towards the New XAI: A Hypothesis-Driven Approach to Decision Support Using EvidenceLe, Thao, Miller, Tim, Sonenberg, Liz and Singh, Ronal (2024). Towards the New XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence. 27th European Conference on Artificial Intelligence, Santiago de Compostela, Spain, 19–24 October 2024. Amsterdam, Netherlands: IOS Press. doi: 10.3233/faia240571 |
|
2024 Conference Publication How to validate XAI in longitudinal studies?Gjoreski, Martin, Laporte, Matias, Langheinrich, Marc and Miller, Tim (2024). How to validate XAI in longitudinal studies?. ACM International Joint Conference on Pervasive and Ubiquitous Computing / ACM International Symposium on Wearable Computers (UbiComp/ISWC), Melbourne, VIC, Australia, 5-9 October 2024. New York, United States: Association for Computing Machinery. doi: 10.1145/3675094.3678997 |
|
2023 Conference Publication Explainable AI is dead, long live explainable AI! : hypothesis-driven decision support using evaluative AIMiller, 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 |
|
2023 Conference Publication Algorithmic decisions, desire for control, and the preference for human review over algorithmic reviewLyons, 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 |
|
2022 Conference Publication Characterizing text revisions to better support collaborativePing, 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 |
|
2022 Conference Publication What's the appeal? Perceptions of review processes for algorithmic decisionsLyons, Henrietta, Wijenayake, Senuri, Miller, Tim and Velloso, Eduardo (2022). What's the appeal? Perceptions of review processes for algorithmic decisions. CHI Conference on Human Factors in Computing Systems (CHI), New Orleans, LA, United States, 30 April-5 May 2022. New York, United States: Association for Computing Machinery. doi: 10.1145/3491102.3517606 |
|
2019 Conference Publication Motivational Modelling in Software for Homelessness: Lessons from an Industrial StudyBurrows, 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 |
|
2015 Conference Publication Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based ModelsAbushark, Yoosef, Thangarajah, John, Miller, Tim, Harland, James and Winikoff, Michael (2015). Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Istanbul Turkey, May 04-08, 2015. NEW YORK: ASSOC COMPUTING MACHINERY. |
|
2014 Conference Publication Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect LocationAbushark, Yoosef, Thangarajah, John, Miller, Tim and Harland, James (2014). Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location. International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Paris France, May 05-09, 2014. NEW YORK: ASSOC COMPUTING MACHINERY. |
|
2005 Conference Publication CZT support for Z extensionsMiller, Tim, Freitas, Leo, Malik, Petra and Utting, Mark (2005). CZT support for Z extensions. IFM 2005: Integrated Formal Methods, Eindhoven, The Netherlands, 29 November - 2 December 2005. Berlin, Germany: Springer. doi: 10.1007/11589976_14 |
|
2004 Conference Publication Integrating formal specification and software verification and validationDuke, Roger, Miller, Tim and Strooper, Paul (2004). Integrating formal specification and software verification and validation. CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, 18-19 November 2004. Heidelberg, Germany: Springer. doi: 10.1007/978-3-540-30472-2_8 |
|
2001 Conference Publication Animation can show only the presence of errors, never their absenceMiller, 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 |
