default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTim Miller 0001
Timothy Miller 0001
Person information
- affiliation: University of Queensland, School of Electrical Engineering and Computer Science, Brisbane, Australia
- affiliation (2008 - 2023): University of Melbourne, School of Computing and Information Systems, Centre for AI and Digital Ethics, Melbourne, Australia
- affiliation (2004 - 2007): University of Liverpool, Department of Computer Science, Liverpool, UK
Other persons with the same name
- Tim Miller — disambiguation page
- Timothy A. Miller
![[0000-0003-4513-403X]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-4513-403X")
(aka: Timothy Miller 0002, Tim Miller 0002) — Harvard Medical School, Department of Pediatrics, Boston, MA, USA (and 2 more) - Timothy Miller 0003 (aka: Tim Miller 0003, Timothy L. Miller) — NASA, Marshall Space Flight Center, Huntsville, AL, USA (and 1 more)
- Timothy S. Miller (aka: Timothy Miller 0004, Tim Miller 0004) — Brown University, Computer Science Department, Providence, RI, USA
- Timothy Miller — disambiguation page
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j39]Abeer Alshehri, Amal Abdulrahman, Hajar Alamri, Tim Miller, Mor Vered:
Towards Explainable Goal Recognition Using Weight of Evidence (WoE): A Human-Centered Approach. J. Artif. Intell. Res. 82: 2535-2594 (2025)- [i42]Yiyu Qian, Tim Miller, Zheng Qian, Liyuan Zhao:
Exploring Explainable Multi-player MCTS-minimax Hybrids in Board Game Using Process Mining. CoRR abs/2503.23326 (2025) - 2024
- [c84]Thao Le, Tim Miller, Liz Sonenberg, Ronal Singh:
Towards the New XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence. ECAI 2024: 850-857 - [e2]Jose M. Alonso-Moral, Zach Anthis, Rafael Berlanga, Alejandro Catalá, Philipp Cimiano, Peter Flach, Eyke Hüllermeier, Tim Miller, Oana Mitrut, Dimitry Mindlin, Gabriela Moise, Alin Moldoveanu, Florica Moldoveanu, Kacper Sokol, Aitor Soroa:
Proceedings of the First Multimodal, Affective and Interactive eXplainable AI Workshop (MAI-XAI24 2024) co-located with 27th European Conference On Artificial Intelligence 19-24 October 2024 (ECAI 2024), Santiago de Compostela, Spain, October 19, 2024. CEUR Workshop Proceedings 3803, CEUR-WS.org 2024 [contents] - [i41]Thao Le, Tim Miller, Ronal Singh, Liz Sonenberg:
Towards the new XAI: A Hypothesis-Driven Approach to Decision Support Using Evidence. CoRR abs/2402.01292 (2024) - [i40]Michelle L. Blom, Ronal Singh, Tim Miller, Liz Sonenberg, Kerry Trentelman, Adam Saulwick:
Explainable agency: human preferences for simple or complex explanations. CoRR abs/2403.12321 (2024) - [i39]Thao Le, Tim Miller, Ruihan Zhang, Liz Sonenberg, Ronal Singh:
Visual Evaluative AI: A Hypothesis-Driven Tool with Concept-Based Explanations and Weight of Evidence. CoRR abs/2407.04710 (2024) - [i38]Ronal Singh, Tim Miller, Liz Sonenberg, Eduardo Velloso, Frank Vetere, Piers Howe, Paul Dourish:
An Actionability Assessment Tool for Explainable AI. CoRR abs/2407.09516 (2024) - [i37]Abeer Alshehri, Amal Abdulrahman, Hajar Alamri, Tim Miller, Mor Vered:
Towards Explainable Goal Recognition Using Weight of Evidence (WoE): A Human-Centered Approach. CoRR abs/2409.11675 (2024) - [i36]Francesco Bombassei De Bona, Gabriele Dominici, Tim Miller, Marc Langheinrich, Martin Gjoreski:
Evaluating Explanations Through LLMs: Beyond Traditional User Studies. CoRR abs/2410.17781 (2024) - [i35]Guang Hu, Tim Miller, Nir Lipovetzky:
Where Common Knowledge Cannot Be Formed, Common Belief Can - Planning with Multi-Agent Belief Using Group Justified Perspectives. CoRR abs/2412.07981 (2024) - 2023
- [j38]Mor Vered, Tali Livni, Piers Douglas Lionel Howe, Tim Miller, Liz Sonenberg:
The effects of explanations on automation bias. Artif. Intell. 322: 103952 (2023) - [j37]Vilde B. Gjærum, Inga Strümke, Jakob Løver, Timothy Miller, Anastasios M. Lekkas:
Model tree methods for explaining deep reinforcement learning agents in real-time robotic applications. Neurocomputing 515: 133-144 (2023) - [j36]Robert R. Hoffman, Tim Miller, Gary Klein, Shane T. Mueller, William J. Clancey:
Increasing the Value of XAI for Users: A Psychological Perspective. Künstliche Intell. 37(2): 237-247 (2023) - [j35]Ronal Singh, Tim Miller, Henrietta Lyons, Liz Sonenberg, Eduardo Velloso, Frank Vetere, Piers Howe, Paul Dourish:
Directive Explanations for Actionable Explainability in Machine Learning Applications. ACM Trans. Interact. Intell. Syst. 13(4): 23:1-23:26 (2023) - [c83]Thao Le, Tim Miller, Ronal Singh, Liz Sonenberg:
Explaining Model Confidence Using Counterfactuals. AAAI 2023: 11856-11864 - [c82]Abeer Alshehri, Tim Miller, Mor Vered:
Explainable Goal Recognition: A Framework Based on Weight of Evidence. ICAPS 2023: 7-16 - [c81]Guang Hu, Tim Miller, Nir Lipovetzky:
Planning with Multi-Agent Belief Using Justified Perspectives. ICAPS 2023: 180-188 - [c80]Alan Lewis, Tim Miller:
Deceptive Reinforcement Learning in Model-Free Domains. ICAPS 2023: 587-595 - [c79]Steven Spratley, Krista A. Ehinger, Tim Miller:
Unicode Analogies: An Anti-Objectivist Visual Reasoning Challenge. CVPR 2023: 19082-19091 - [c78]Lyndon Benke, Tim Miller, Michael Papasimeon, Nir Lipovetzky:
Diverse, Top-k, and Top-Quality Planning Over Simulators. ECAI 2023: 231-238 - [c77]Tim Miller:
Explainable AI is Dead, Long Live Explainable AI!: Hypothesis-driven Decision Support using Evaluative AI. FAccT 2023: 333-342 - [c76]Henrietta Lyons, Tim Miller, Eduardo Velloso:
Algorithmic Decisions, Desire for Control, and the Preference for Human Review over Algorithmic Review. FAccT 2023: 764-774 - [i34]Tim Miller:
Explainable AI is Dead, Long Live Explainable AI! Hypothesis-driven decision support. CoRR abs/2302.12389 (2023) - [i33]Abeer Alshehri, Tim Miller, Mor Vered:
Explainable Goal Recognition: A Framework Based on Weight of Evidence. CoRR abs/2303.05622 (2023) - [i32]Thao Le, Tim Miller, Ronal Singh, Liz Sonenberg:
Explaining Model Confidence Using Counterfactuals. CoRR abs/2303.05729 (2023) - [i31]Alan Lewis, Tim Miller:
Deceptive Reinforcement Learning in Model-Free Domains. CoRR abs/2303.10838 (2023) - [i30]Lyndon Benke, Tim Miller, Michael Papasimeon, Nir Lipovetzky:
Diverse, Top-k, and Top-Quality Planning Over Simulators. CoRR abs/2308.13147 (2023) - 2022
- [j34]Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Efficient multi-agent epistemic planning: Teaching planners about nested belief. Artif. Intell. 302: 103605 (2022) - [j33]Tim Miller, Robert R. Hoffman, Ofra Amir, Andreas Holzinger:
Special issue on Explainable Artificial Intelligence (XAI). Artif. Intell. 307: 103705 (2022) - [j32]Rachel Burrows, Antonette Mendoza, Sonja Pedell, Leon Sterling, Tim Miller, Antonio A. Lopez-Lorca:
Technology for societal change: Evaluating a mobile app addressing the emotional needs of people experiencing homelessness. Health Informatics J. 28(4): 146045822211467 (2022) - [j31]Guang Hu, Tim Miller, Nir Lipovetzky:
Planning with Perspectives - Decomposing Epistemic Planning using Functional STRIPS. J. Artif. Intell. Res. 75: 489-539 (2022) - [c75]Henrietta Lyons, Senuri Wijenayake, Tim Miller, Eduardo Velloso:
What's the Appeal? Perceptions of Review Processes for Algorithmic Decisions. CHI 2022: 580:1-580:15 - [i29]Thao Le, Tim Miller, Ronal Singh, Liz Sonenberg:
Improving Model Understanding and Trust with Counterfactual Explanations of Model Confidence. CoRR abs/2206.02790 (2022) - [i28]Tim Miller:
Are we measuring trust correctly in explainability, interpretability, and transparency research? CoRR abs/2209.00651 (2022) - [i27]Gayda Mutahar, Tim Miller:
Concept-based Explanations using Non-negative Concept Activation Vectors and Decision Tree for CNN Models. CoRR abs/2211.10807 (2022) - [i26]Vilde B. Gjærum, Inga Strümke, Anastasios M. Lekkas, Tim Miller:
Real-Time Counterfactual Explanations For Robotic Systems With Multiple Continuous Outputs. CoRR abs/2212.04212 (2022) - 2021
- [j30]Mohammadhossein Sherkat, Tim Miller, Antonette Mendoza, Rachel Burrows:
Emotionalism Within People-Oriented Software Design. Frontiers Comput. Sci. 3: 717787 (2021) - [j29]Abeer Alshehri, Tim Miller, Liz Sonenberg:
Modeling communication of collaborative multiagent system under epistemic planning. Int. J. Intell. Syst. 36(10): 5959-5980 (2021) - [j28]Thao Le, Ronal Singh, Tim Miller:
Goal Recognition for Deceptive Human Agents through Planning and Gaze. J. Artif. Intell. Res. 71: 697-732 (2021) - [j27]Tim Miller:
Contrastive explanation: a structural-model approach. Knowl. Eng. Rev. 36: e14 (2021) - [j26]Henrietta Lyons, Eduardo Velloso, Tim Miller:
Conceptualising Contestability: Perspectives on Contesting Algorithmic Decisions. Proc. ACM Hum. Comput. Interact. 5(CSCW1): 106:1-106:25 (2021) - [c74]Ruihan Zhang, Prashan Madumal, Tim Miller, Krista A. Ehinger, Benjamin I. P. Rubinstein:
Invertible Concept-based Explanations for CNN Models with Non-negative Concept Activation Vectors. AAAI 2021: 11682-11690 - [c73]Zhengshang Liu, Yue Yang, Tim Miller, Peta Masters:
Deceptive Reinforcement Learning for Privacy-Preserving Planning. AAMAS 2021: 818-826 - [c72]Melissa J. Rogerson, Joshua Newn, Ronal Singh, Emma Baillie, Michael Papasimeon, Lyndon Benke, Tim Miller:
Observing Multiplayer Boardgame Play at a Distance. CHI PLAY 2021: 262-267 - [c71]Ronal Singh, Tim Miller, Darryn Reid:
Collaborative Human-Agent Planning for Resilience. COINE 2021: 28-43 - [c70]Alon Jacovi, Ana Marasovic, Tim Miller, Yoav Goldberg:
Formalizing Trust in Artificial Intelligence: Prerequisites, Causes and Goals of Human Trust in AI. FAccT 2021: 624-635 - [i25]Ronal Rajneshwar Singh, Paul Dourish, Piers Howe, Tim Miller, Liz Sonenberg, Eduardo Velloso, Frank Vetere:
Directive Explanations for Actionable Explainability in Machine Learning Applications. CoRR abs/2102.02671 (2021) - [i24]Zhengshang Liu, Yue Yang, Tim Miller, Peta Masters:
Deceptive Reinforcement Learning for Privacy-Preserving Planning. CoRR abs/2102.03022 (2021) - [i23]Henrietta Lyons, Eduardo Velloso, Tim Miller:
Designing for Contestation: Insights from Administrative Law. CoRR abs/2102.04559 (2021) - [i22]Henrietta Lyons, Eduardo Velloso, Tim Miller:
Fair and Responsible AI: A Focus on the Ability to Contest. CoRR abs/2102.10787 (2021) - [i21]Henrietta Lyons, Eduardo Velloso, Tim Miller:
Conceptualising Contestability: Perspectives on Contesting Algorithmic Decisions. CoRR abs/2103.01774 (2021) - [i20]Ronal Singh, Upol Ehsan, Marc Cheong, Mark O. Riedl, Tim Miller:
LEx: A Framework for Operationalising Layers of Machine Learning Explanations. CoRR abs/2104.09612 (2021) - [i19]Ronal Singh, Tim Miller, Darryn Reid:
Collaborative Human-Agent Planning for Resilience. CoRR abs/2104.14089 (2021) - [i18]Lyndon Benke, Michael Papasimeon, Tim Miller:
Modelling Strategic Deceptive Planning in Adversarial Multi-Agent Systems. CoRR abs/2109.03092 (2021) - [i17]Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief. CoRR abs/2110.02480 (2021) - 2020
- [j25]Ronal Rajneshwar Singh, Tim Miller, Joshua Newn, Eduardo Velloso, Frank Vetere, Liz Sonenberg:
Combining gaze and AI planning for online human intention recognition. Artif. Intell. 284: 103275 (2020) - [j24]Tim Miller, Rosina Weber, Daniele Magazzeni:
Report on the 2019 IJCAI Explainable Artificial Intelligence Workshop. AI Mag. 41(1): 103-105 (2020) - [j23]Seyedeh Neelufar Payrovnaziri, Zhaoyi Chen, Pablo Rengifo-Moreno, Tim Miller, Jiang Bian, Jonathan H. Chen, Xiuwen Liu, Zhe He:
Explainable artificial intelligence models using real-world electronic health record data: a systematic scoping review. J. Am. Medical Informatics Assoc. 27(7): 1173-1185 (2020) - [j22]Mor Vered, Piers Howe, Tim Miller, Liz Sonenberg, Eduardo Velloso:
Demand-Driven Transparency for Monitoring Intelligent Agents. IEEE Trans. Hum. Mach. Syst. 50(3): 264-275 (2020) - [c69]Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere:
Explainable Reinforcement Learning through a Causal Lens. AAAI 2020: 2493-2500 - [c68]Thorsten Engesser, Tim Miller:
Implicit Coordination Using FOND Planning. AAAI 2020: 7151-7159 - [c67]Steven Spratley, Krista A. Ehinger, Tim Miller:
A Closer Look at Generalisation in RAVEN. ECCV (27) 2020: 601-616 - [i16]Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere:
Distal Explanations for Explainable Reinforcement Learning Agents. CoRR abs/2001.10284 (2020) - [i15]Ruihan Zhang, Prashan Madumal, Tim Miller, Krista A. Ehinger, Benjamin I. P. Rubinstein:
Improving Interpretability of CNN Models Using Non-Negative Concept Activation Vectors. CoRR abs/2006.15417 (2020) - [i14]Alon Jacovi, Ana Marasovic, Tim Miller, Yoav Goldberg:
Formalizing Trust in Artificial Intelligence: Prerequisites, Causes and Goals of Human Trust in AI. CoRR abs/2010.07487 (2020) - [i13]Simon Coghlan, Tim Miller, Jeannie Paterson:
Good proctor or "Big Brother"? AI Ethics and Online Exam Supervision Technologies. CoRR abs/2011.07647 (2020)
2010 – 2019
- 2019
- [j21]Tim Miller:
Explanation in artificial intelligence: Insights from the social sciences. Artif. Intell. 267: 1-38 (2019) - [j20]Tim Miller:
"But why?" Understanding explainable artificial intelligence. XRDS 25(3): 20-25 (2019) - [j19]David Gunning, Mark Stefik, Jaesik Choi, Timothy Miller, Simone Stumpf, Guang-Zhong Yang:
XAI - Explainable artificial intelligence. Sci. Robotics 4(37) (2019) - [c66]Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere:
A Grounded Interaction Protocol for Explainable Artificial Intelligence. AAMAS 2019: 1033-1041 - [c65]Rachel Burrows, Antonette Mendoza, Leon Sterling, Tim Miller, Sonja Pedell:
Evaluating Ask Izzy: A Mobile Web App for People Experiencing Homelessness. ECSCW Exploratory Papers, Demos and Posters 2019 - [c64]Rachel Burrows, Antonio A. Lopez-Lorca, Leon Sterling, Tim Miller, Antonette Mendoza, Sonja Pedell:
Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study. RE 2019: 297-307 - [i12]Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere:
A Grounded Interaction Protocol for Explainable Artificial Intelligence. CoRR abs/1903.02409 (2019) - [i11]Guang Hu, Tim Miller, Nir Lipovetzky:
What you get is what you see: Decomposing Epistemic Planning using Functional STRIPS. CoRR abs/1903.11777 (2019) - [i10]Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere:
Explainable Reinforcement Learning Through a Causal Lens. CoRR abs/1905.10958 (2019) - [i9]Mor Vered, Frank Dignum, Tim Miller:
Let's Make It Personal, A Challenge in Personalizing Medical Inter-Human Communication. CoRR abs/1907.12687 (2019) - [i8]Abeer Alshehri, Tim Miller, Liz Sonenberg:
Improving Performance of Multiagent Cooperation Using Epistemic Planning. CoRR abs/1910.02607 (2019) - 2018
- [j18]Robert R. Hoffman, Tim Miller, Shane T. Mueller, Gary Klein, William J. Clancey:
Explaining Explanation, Part 4: A Deep Dive on Deep Nets. IEEE Intell. Syst. 33(3): 87-95 (2018) - [c63]Eman Alatawi, Tim Miller, Harald Søndergaard:
Symbolic Execution with Invariant Inlay: Evaluating the Potential. ASWEC 2018: 26-30 - [c62]Eman Alatawi, Antonette Mendoza, Tim Miller:
Psychologically-Driven Requirements Engineering: A Case Study in Depression Care. ASWEC 2018: 41-50 - [c61]Ronal Rajneshwar Singh, Tim Miller, Joshua Newn, Liz Sonenberg, Eduardo Velloso, Frank Vetere:
Combining Planning with Gaze for Online Human Intention Recognition. AAMAS 2018: 488-496 - [c60]Miquel Ramírez, Michael Papasimeon, Nir Lipovetzky, Lyndon Benke, Tim Miller, Adrian R. Pearce, Enrico Scala, Mohammad Zamani:
Integrated Hybrid Planning and Programmed Control for Real Time UAV Maneuvering. AAMAS 2018: 1318-1326 - [e1]Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son:
PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29 - November 2, 2018, Proceedings. Lecture Notes in Computer Science 11224, Springer 2018, ISBN 978-3-030-03097-1 [contents] - [i7]Mohammadhossein Sherkat, Antonette Mendoza, Tim Miller, Rachel Burrows:
Emotional Attachment Framework for People-Oriented Software. CoRR abs/1803.08171 (2018) - [i6]Prashan Madumal, Tim Miller, Frank Vetere, Liz Sonenberg:
Towards a Grounded Dialog Model for Explainable Artificial Intelligence. CoRR abs/1806.08055 (2018) - [i5]Mohammadhossein Sherkat, Tim Miller, Antonette Mendoza, Rachel Burrows:
Emotionalism within People-Oriented Software Design. CoRR abs/1810.12547 (2018) - [i4]Tim Miller:
Contrastive Explanation: A Structural-Model Approach. CoRR abs/1811.03163 (2018) - 2017
- [j17]Yoosef B. Abushark, Tim Miller, John Thangarajah, Michael Winikoff, James Harland:
Requirements specification via activity diagrams for agent-based systems. Auton. Agents Multi Agent Syst. 31(3): 423-468 (2017) - [j16]Tim Miller, Jens Pfau, Liz Sonenberg, Yoshihisa Kashima:
Logics of Common Ground. J. Artif. Intell. Res. 58: 859-904 (2017) - [j15]Yoosef B. Abushark, John Thangarajah, James Harland, Tim Miller:
A framework for automatically ensuring the conformance of agent designs. J. Syst. Softw. 131: 266-310 (2017) - [c59]Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller:
The Minds of Many: Opponent Modeling in a Stochastic Game. IJCAI 2017: 3845-3851 - [c58]Miquel Ramírez, Michael Papasimeon, Lyndon Benke, Nir Lipovetzky, Tim Miller, Adrian R. Pearce:
Real-Time UAV Maneuvering via Automated Planning in Simulations. IJCAI 2017: 5243-5245 - [c57]Eman Alatawi, Harald Søndergaard, Tim Miller:
Leveraging abstract interpretation for efficient dynamic symbolic execution. ASE 2017: 619-624 - [i3]Tim Miller:
Explanation in Artificial Intelligence: Insights from the Social Sciences. CoRR abs/1706.07269 (2017) - [i2]Tim Miller, Piers Howe, Liz Sonenberg:
Explainable AI: Beware of Inmates Running the Asylum Or: How I Learnt to Stop Worrying and Love the Social and Behavioural Sciences. CoRR abs/1712.00547 (2017) - 2016
- [c56]Tim Miller, Paolo Felli, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg:
'Knowing Whether' in Proper Epistemic Knowledge Bases. AAAI 2016: 1044-1050 - [c55]Mohammadhossein Sherkat, Tim Miller, Antonette Mendoza:
Does it Fit Me Better? User Segmentation in Requirements Engineering. APSEC 2016: 65-72 - [c54]Yude Lin, Tim Miller, Harald Søndergaard:
Compositional Symbolic Execution: Incremental Solving Revisited. APSEC 2016: 273-280 - [c53]Ronal Rajneshwar Singh, Liz Sonenberg, Tim Miller:
Communication and Shared Mental Models for Teams Performing Interdependent Tasks. COIN@AAMAS/ECAI 2016: 81-97 - [c52]Yoosef B. Abushark, John Thangarajah, Tim Miller, Michael Winikoff, James Harland:
Requirements Specification in The Prometheus Methodology via Activity Diagrams. AAMAS 2016: 1247-1248 - [c51]Eman Alatawi, Tim Miller, Harald Søndergaard:
Generating source inputs for metamorphic testing using dynamic symbolic execution. MET@ICSE 2016: 19-25 - [c50]Tim Miller, Christian J. Muise:
Belief Update for Proper Epistemic Knowledge Bases. IJCAI 2016: 1209-1215 - [c49]Christian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Planning for a Single Agent in a Multi-Agent Environment Using FOND. IJCAI 2016: 3206-3212 - [c48]Ping Tan, Karin Verspoor, Tim Miller:
Rev at SemEval-2016 Task 2: Aligning Chunks by Lexical, Part of Speech and Semantic Equivalence. SemEval@NAACL-HLT 2016: 777-782 - [i1]Liz Sonenberg, Tim Miller, Adrian R. Pearce, Paolo Felli, Christian J. Muise, Frank Dignum:
Social planning for social HRI. CoRR abs/1602.06483 (2016) - 2015
- [j14]Maheswaree Kissoon Curumsing, Antonio A. Lopez-Lorca, Tim Miller, Leon Sterling, Rajesh Vasa:
Viewpoint Modelling with Emotions: A Case Study. Int. J. People Oriented Program. 4(2): 25-53 (2015) - [j13]Tim Miller, Sonja Pedell, Antonio A. Lopez-Lorca, Antonette Mendoza, Leon Sterling, Alen Keirnan:
Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems. J. Syst. Softw. 105: 54-71 (2015) - [c47]Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. AAAI 2015: 3327-3334 - [c46]Ping Ping Tan, Karin Verspoor, Timothy Miller:
Structural Alignment as the Basis to Improve Significant Change Detection in Versioned Sentences. ALTA 2015: 101-109 - [c45]Eman Alatawi, Tim Miller, Harald Søndergaard:
Using Metamorphic Testing to Improve Dynamic Symbolic Execution. ASWEC 2015: 38-47 - [c44]David A. W. Clarke, Tim Miller, Antonette Mendoza:
Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct. ASWEC (2) 2015: 64-68 - [c43]Yude Lin, Tim Miller:
Looking Closer at Compositional Symbolic Execution. ASWEC (2) 2015: 138-140 - [c42]Yude Lin, Tim Miller, Harald Søndergaard:
Compositional Symbolic Execution Using Fine-Grained Summaries. ASWEC 2015: 213-222 - [c41]Sirui Li, Weixing Sun, Tim Miller:
Communication in Human-Agent Teams for Tasks with Joint Action. COIN@AAMAS/IJCAI 2015: 224-241 - [c40]Christian J. Muise, Frank Dignum, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Towards Team Formation via Automated Planning. COIN@AAMAS/IJCAI 2015: 282-299 - [c39]Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland, Michael Winikoff:
Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. AAMAS 2015: 1071-1079 - [c38]Christian J. Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg:
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases. AAMAS 2015: 1461-1469 - [c37]Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg:
Computing Social Behaviours Using Agent Models. IJCAI 2015: 2978-2984 - 2014
- [j12]Tim Miller, Bin Lu, Leon Sterling, Ghassan Beydoun, Kuldar Taveter:
Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator. IEEE Trans. Software Eng. 40(10): 1007-1024 (2014) - [c36]Tim Miller, Adrian R. Pearce, Liz Sonenberg, Frank Dignum, Paolo Felli, Christian J. Muise:
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing. AAAI Fall Symposia 2014 - [c35]Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland:
Checking consistency of agent designs against interaction protocols for early-phase defect location. AAMAS 2014: 933-940 - [c34]Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller:
Robust anticipatory stigmergic collision avoidance in multi-agent systems. AAMAS 2014: 1403-1404 - [c33]Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah:
Checking The Correctness of Agent Designs Against Model-Based Requirements. ECAI 2014: 953-954 - [c32]Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller:
Anticipatory stigmergic collision avoidance under noise. GECCO 2014: 65-72 - [c31]Hilary Davis, Sonja Pedell, Antonio A. Lopez-Lorca, Tim Miller, Leon Sterling:
Researchers as proxies for informal carers: photo sharing with older adults to mediate wellbeing. OZCHI 2014: 270-279 - [c30]Ronal Rajneshwar Singh, Tim Miller, Liz Sonenberg:
A Preliminary Analysis of Interdependence in Multiagent Systems. PRIMA 2014: 381-389 - [c29]Antonio A. Lopez-Lorca, Tim Miller, Sonja Pedell, Antonette Mendoza, Alen Keirnan, Leon Sterling:
One size doesn't fit all: diversifying "the user" using personas and emotional scenarios. SSE@SIGSOFT FSE 2014: 25-32 - [c28]Paolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg:
Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. ICSR 2014: 146-155 - [p1]Sonja Pedell, Tim Miller, Frank Vetere, Leon Sterling, Steve Howard:
Socially-Oriented Requirements Engineering: Software Engineering Meets Ethnography. Perspectives on Culture and Agent-based Simulations 2014: 191-210 - 2013
- [j11]Tim Miller, Peter McBurney:
Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies. Multiagent Grid Syst. 9(2): 101-134 (2013) - [j10]Shifa-e-Zehra Haidry, Tim Miller:
Using Dependency Structures for Prioritization of Functional Test Suites. IEEE Trans. Software Eng. 39(2): 258-275 (2013) - [j9]Lin Padgham, Zhiyong Zhang, John Thangarajah, Tim Miller:
Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems. IEEE Trans. Software Eng. 39(9): 1230-1244 (2013) - [c27]Antonette Mendoza, Tim Miller, Sonja Pedell, Leon Sterling:
The role of users' emotions and associated quality goals on appropriation of systems: two case studies. ACIS 2013: 57 - 2012
- [j8]Tim Miller, Sonja Pedell, Leon Sterling, Frank Vetere, Steve Howard:
Understanding socially oriented roles and goals through motivational modelling. J. Syst. Softw. 85(9): 2160-2170 (2012) - [j7]Tim Miller, Paul A. Strooper:
A case study in model-based testing of specifications and implementations. Softw. Test. Verification Reliab. 22(1): 33-63 (2012) - 2011
- [j6]Tim Miller, Peter McBurney:
Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols. Comput. Intell. 27(3): 422-457 (2011) - [c26]Sonja Pedell, Tim Miller, Leon Sterling, Frank Vetere, Steve Howard:
Substantiating Agent-Based Quality Goals for Understanding Socio-Technical Systems. AAMAS Workshops 2011: 80-95 - [c25]Sonja Pedell, Tim Miller, Leon Sterling, Frank Vetere, Steve Howard, Jeni Paay:
Substantiating quality goals with field data for socially-oriented requirements engineering. AAMAS 2011: 1185-1186 - [c24]Jacob Dumesny, Tim Miller, Michael Kirley, Liz Sonenberg:
TATM: A Trust Mechanism for Social Traders in Double Auctions. Australasian Conference on Artificial Intelligence 2011: 402-411 - 2010
- [c23]Tim Miller, Sonja Pedell, Leon Sterling, Bin Lu:
Engaging Stakeholders with Agent-Oriented Requirements Modelling. AOSE 2010: 62-78 - [c22]Tim Miller, Lin Padgham, John Thangarajah:
Test Coverage Criteria for Agent Interaction Testing. AOSE 2010: 91-105 - [c21]Tim Miller, Peter McBurney:
Characterising and matching iterative and recursive agent interaction protocols. AAMAS 2010: 1207-1214 - [c20]Alex Lopez-Lorca, Ghassan Beydoun, Leon Sterling, Tim Miller:
Ontology-based Validation of Agent Oriented Modelling. EKAW (Posters and Demos) 2010 - [c19]Antonio A. Lopez-Lorca, Ghassan Beydoun, Leon Sterling, Tim Miller:
Ontology-mediated Validation of Software Models. ISD 2010: 455-467 - [c18]Sonja Pedell, Frank Vetere, Steve Howard, Tim Miller, Leon Sterling:
Shared artefacts as participatory Babel fish. PDC 2010: 167-170
2000 – 2009
- 2009
- [c17]Sonja Pedell, Tim Miller, Frank Vetere, Leon Sterling, Steve Howard, Jeni Paay:
Having fun at home: interleaving fieldwork and goal models. OZCHI 2009: 309-312 - 2008
- [c16]Tim Miller, Peter McBurney:
On illegal composition of first-class agent interaction protocols. ACSC 2008: 127-136 - [c15]Tim Miller, Peter McBurney:
Annotation and Matching of First-Class Agent Interaction Protocols. ArgMAS 2008: 141-158 - [c14]Tim Miller, Peter McBurney:
Annotation and matching of first-class agent interaction protocols. AAMAS (2) 2008: 805-812 - 2007
- [j5]Tim Miller, Peter McBurney:
A formal semantics for Gaia liveness rules and expressions. Int. J. Agent Oriented Softw. Eng. 1(3/4): 435-476 (2007) - [c13]Tim Miller, Jarred McGinnis:
Amongst First-Class Protocols. ESAW 2007: 208-223 - [c12]Tim Miller, Peter McBurney, Jarred McGinnis, Kostas Stathis:
First-Class Protocols for Agent-Based Coordination of Scientific Instruments. WETICE 2007: 41-46 - 2006
- [j4]Robert J. Kauffman, Tim Miller, Bin Wang:
Reflections on: When Internet companies morph. First Monday 11(SI-6) (2006) - [j3]Steve Munroe, Tim Miller, Roxana Belecheanu, Michal Pechoucek, Peter McBurney, Michael Luck:
Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents. Knowl. Eng. Rev. 21(4): 345-392 (2006) - [c11]Roxana Belecheanu, Steve Munroe, Michael Luck, Terry R. Payne, Tim Miller, Peter McBurney, Michal Pechoucek:
Commercial applications of agents: lessons, experiences and challenges. AAMAS 2006: 1549-1555 - [c10]Tim Miller, Peter McBurney:
Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols. ESAW 2006: 245-264 - 2005
- [c9]Tim Miller, Leo Freitas, Petra Malik, Mark Utting:
CZT Support for Z Extensions. IFM 2005: 227-245 - [c8]Tim Miller, Peter McBurney:
Multi-agent System Specification Using TCOZ. MATES 2005: 216-221 - 2004
- [c7]Tim Miller, Paul A. Strooper:
A Case Study in Specification and Implementation Testing. APSEC 2004: 130-139 - [c6]Roger Duke, Tim Miller, Paul A. Strooper:
Integrating Formal Specification and Software Verification and Validation. TFM 2004: 124-139 - 2003
- [j2]Tim Miller, Paul A. Strooper:
A framework and tool support for the systematic testing of model-based specifications. ACM Trans. Softw. Eng. Methodol. 12(4): 409-439 (2003) - [c5]Tim Miller, Paul A. Strooper:
Supporting the Software Testing Process through Specification Animation. SEFM 2003: 14-23 - 2002
- [j1]Robert J. Kauffman, Tim Miller, Bin Wang:
When Internet Companies Morph: Understanding Organizational Strategy Changes in the 'New' New Economy. First Monday 7(7) (2002) - [c4]Robert J. Kauffman, Bin Wang, Tim Miller:
Strategic 'Morphing' and the Survivability of E-commerce Firms. HICSS 2002: 217 - [c3]Tim Miller, Paul A. Strooper:
Model-Based Specification Animation Using Testgraphs. ICFEM 2002: 192-203 - 2001
- [c2]Tim Miller, Paul A. Strooper:
Combining the Animation and Testing of Abstract Data Types. APAQS 2001: 249-258 - [c1]Tim Miller, Paul A. Strooper:
Animation Can Show Only the Presence of Errors, Never Their Absence. Australian Software Engineering Conference 2001: 76-88
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-17 00:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
