Timothy Miller

Inventory routing for defense: Moving supplies in adversarial and partially observable environments

Michelle Blom, Slava Shekh, Don Gossink, Tim Miller, Adrian R Pearce

Journal article  |  2020  |  The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology

XAI-Explainable artificial intelligence

David Gunning, Mark Stefik, Jaesik Choi, Timothy Miller, Simone Stumpf, Guang-Zhong Yang

Journal article  |  2019  |  Science Robotics

Explainability is essential for users to effectively understand, trust, and manage powerful artificial intelligence applications.

Motivational modelling in software for homelessness: Lessons from an industrial study

R Burrows, A Lopez-Lorca, L Sterling, T Miller, A Mendoza, S Pedell

Conference Proceedings  |  2019  |  2019 IEEE 27th International Requirements Engineering Conference (RE)

Explanation in artificial intelligence: Insights from the social sciences

Tim Miller

Journal article  |  2019  |  Artificial Intelligence

There has been a recent resurgence in the area of explainable artificial intelligence as researchers and practitioners seek to pro..

A Grounded Interaction Protocol for Explainable Artificial Intelligence

Prashan Madumal, Tim Miller, Liz Sonenberg, Frank Vetere

Conference Proceedings  |  2019  |  Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Explainable Artificial Intelligence (XAI) systems need to include an explanation model to communicate the internal decisions, beha..

Explaining Explanation, Part 4: A Deep Dive on Deep Nets

Robert Hoffman, Tim Miller, Shane T Mueller, Gary Klein, William J Clancey

Journal article  |  2018  |  IEEE Intelligent Systems

An overview and evaluation of the cat market design competition

T Miller, J Niu, M Chapman, P Mcburney

Book Chapter  |  2018

© Oxford University Press 2018. All rights reserved. The rise of online commerce has led to an emerging discipline at the intersec..

Psychologically-Driven Requirements Engineering: A Case Study in Depression Care

Eman Alatawi, Antonette Mendoza, Tim Miller

Conference Proceedings  |  2018  |  2018 25th Australasian Software Engineering Conference (ASWEC)

Combining Planning with Gaze for Online Human Intention Recognition

Ronal Singh, Tim Miller, Joshua Newn, Liz Sonenberg, Eduardo Velloso, Frank Vetere

Conference Proceedings  |  2018  |  Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Intention recognition is the process of using behavioural cues to infer an agent's goals or future behaviour. People use many beha..

Social Planning for Trusted Autonomy

Tim Miller, Adrian R Pearce, Liz Sonenberg

Book Chapter  |  2018  |  Studies in Systems, Decision and Control

Integrated Hybrid Planning and Programmed Control for Real–Time UAV Maneuvering

Miquel Ramirez, Michael Papasimeon, Nir Lipovetzky, Lyndon Benke, Tim Miller, Adrian R Pearce, Enrico Scala, Mohammad Zamani

Conference Proceedings  |  2018  |  Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Symbolic Execution with Invariant Inlay: Evaluating the Potential

Eman Alatawi, Tim Miller, Harald Sondergaard

Conference Proceedings  |  2018  |  2018 25th Australasian Software Engineering Conference (ASWEC)

A framework for automatically ensuring the conformance of agent designs

Yoosef Abushark, John Thangarajah, James Harland, Tim Miller

Journal article  |  2017  |  Journal of Systems and Software

Real-Time UAV Maneuvering via Automated Planning in Simulations

M Ramirez Javega, M Papasimeon, L Benke, N Lipovetzky, T Miller, A Pearce

Conference Proceedings  |  2017  |  IJCAI International Joint Conference on Artificial Intelligence

The automatic generation of realistic behaviour such as tactical intercepts for Unmanned Aerial Vehicles (UAV) in air combat is a ..

Sustainability is possible despite greed - Exploring the nexus between profitability and sustainability in common pool resource systems

Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller

Journal article  |  2017  |  Scientific Reports

Requirements specification via activity diagrams for agent-based systems

Yoosef Abushark, Tim Miller, John Thangarajah, Michael Winikoff, James Harland

Journal article  |  2017  |  Autonomous Agents and Multi-Agent Systems

Methods for Supporting Older Users in Communicating Their Emotions at Different Phases of a Living Lab Project

S Pedell, A Keirnan, G Priday, T Miller, A MENDOZA, A Lopez-Lorca, L Sterling

Journal article  |  2017  |  TECHNOLOGY INNOVATION MANAGEMENT REVIEW

Learning for Low Carbon Living: The potential of mobile learning applications for built environment trades and professionals in Australia

T Winfree, P Goldacre, M Sherkat, P Graham, A MENDOZA, T Miller

Conference Proceedings  |  2017  |  Procedia Engineering

The minds of many: Opponent modelling in a stochastic game

FB Von Der Osten, M Kirley, T Miller

Conference Proceedings  |  2017  |  IJCAI International Joint Conference on Artificial Intelligence

The Theory of Mind provides a framework for an agent to predict the actions of adversaries by building an abstract model of their ..

Leveraging abstract interpretation for efficient dynamic symbolic execution

E Alatawi, H Sondergaard, T Miller

Conference Proceedings  |  2017  |  2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)

Dynamic Symbolic Execution (DSE) is a technique to automatically generate test inputs by executing a program with concrete and sym..

Logics of Common Ground

Tim Miller, Jens Pfau, Liz Sonenberg, Yoshihisa Kashima

Journal article  |  2017  |  Journal of Artificial Intelligence Research

Does It Fit Me Better? User Segmentation in Requirements Engineering

M Sherkat, T Miller, A MENDOZA

Conference Proceedings  |  2016  |  Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Rev at SemEval-2016 task 2: Aligning chunks by lexical, part of speech and semantic equivalence

TP Ping, K Verspoor, T Miller

Conference Proceedings  |  2016  |  SemEval 2016 - 10th International Workshop on Semantic Evaluation, Proceedings

Communication in human-agent teams for tasks with joint action

S Li, W Sun, T Miller

Conference Proceedings  |  2016  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© Springer International Publishing Switzerland 2016. In many scenarios, humans must team with agents to achieve joint aims. When ..

'Knowing Whether' in Proper Epistemic Knowledge Bases

T Miller, P Felli, C Muise, AR Pearce, L Sonenberg

Conference Proceedings  |  2016  |  30th AAAI Conference on Artificial Intelligence, AAAI 2016

Planning for a Single Agent in a Multi-Agent Environment Using FOND

C Muise, P Felli, T Miller, AR Pearce, L Sonenberg

Conference Proceedings  |  2016  |  IJCAI International Joint Conference on Artificial Intelligence

Belief Update for Proper Epistemic Knowledge Bases

T Miller, C Muise

Conference Proceedings  |  2016  |  IJCAI International Joint Conference on Artificial Intelligence

Social planning for social HRI

E Sonenberg, T Miller, AR Pearce, P Felli, CJ Muise, F Dignum

Conference Proceedings  |  2016  |  CoRR

Compositional Symbolic Execution: Incremental Solving Revisited

Y Lin, T Miller, H SONDERGAARD

Conference Proceedings  |  2016  |  2016 23rd Asia-Pacific Software Engineering Conference (APSEC)

Generating source inputs for metamorphic testing using dynamic symbolic execution

E Alatawi, T Miller, H SONDERGAARD

Conference Proceedings  |  2016  |  Proceedings of the 1st International Workshop on Metamorphic Testing - MET '16

Communication and shared mental models for teams performing interdependent tasks

R Singh, L Sonenberg, T Mille

Conference Proceedings  |  2016  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© Springer International Publishing AG 2016.Research shows that performance of human teams improves when members have a shared und..

Using "must" and "may" summaries to detect data races in Java bytecode that does not rely on the synchronized construct

DAW Clarke, T Miller, A Mendoza

Conference Proceedings  |  2015  |  Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference

Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems

Tim Miller, Sonja Pedell, Antonio A Lopez-Lorca, Antonette Mendoza, Leon Sterling, Alen Keirnan

Journal article  |  2015  |  Journal of Systems and Software

Looking Closer at Compositional Symbolic Execution

Y Lin, T MILLER

Presentation  |  2015

Using metamorphic testing to improve dynamic symbolic execution

E Alatawi, T Miller, H SONDERGAARD

Conference Proceedings  |  2015  |  2015 24th Australasian Software Engineering Conference

Computing Social Behaviours Using Agent Models

Paolo Felli, Tim Miller, Christian Muise, Adrian R Pearce, Liz Sonenberg

Conference Proceedings  |  2015  |  IJCAI International Joint Conference on Artificial Intelligence

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach

Christian Muise, Vaishak Belle, Paolo Felli, Sheila A McIlraith, Tim Miller, Adrian R Pearce, Liz Sonenberg

Conference Proceedings  |  2015  |  Proceedings of the National Conference on Artificial Intelligence

Compositional symbolic execution using fine-grained summaries

Y Lin, T Miller, H SONDERGAARD

Conference Proceedings  |  2015  |  2015 24th Australasian Software Engineering Conference

Proper Epistemic Knowledge Bases Efficient Reasoning with Consistent

Christian Muise, Tim Miller, Paolo Felli, Adrian R Pearce, Liz Sonenberg

Conference Proceedings  |  2015  |  PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15)

Towards Team Formation via Automated Planning

Christian Muise, Frank Dignum, Paolo Felli, Tim Miller, Adrian R Pearce, Liz Sonenberg

Conference Proceedings  |  2015  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Structural Alignment as the Basis to Improve Significant Change Detection in Versioned Sentences

T Ping, C VERSPOOR, T Miller

Conference Proceedings  |  2015

Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models

Y Abushark, J Thangarajah, T Miller, J Harland, M Winikoff

Conference Proceedings  |  2015  |  Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Efficient reasoning with consistent proper epistemic knowledge bases

Christian Muise, Tim Miller, Paolo Felli, Adrian R Pearce, Liz Sonenberg

Conference Proceedings  |  2015  |  Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

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

Tim Miller, Bin Lu, Leon Sterling, Ghassan Beydoun, Kuldar Taveter

Journal article  |  2014  |  IEEE Transactions on Software Engineering

Tools for Participation: Intergenerational Technology Design for the Home

Sonja Pedell, Frank Vetere, Tim Miller, Steve Howard, Leon Sterling

Journal article  |  2014  |  International Journal of Design

Don't Leave Me Untouched: Considering Emotions in Personal Alarm Use and Development

S Pedell, A Lopez-Lorca, T MILLER, L Sterling

Book Chapter  |  2014

"This book introduces the latest research concerning the innovative implementation of information technology and data analysis in ..

Don't leave me untouched: Considering emotions in personal alarm use and development

S Pedell, AA Lopez-Lorca, T Miller, L Sterling

Book Chapter  |  2014

Older adults want to live independently in their home for as long as possible, and technologies can support them with this goal. H..

A Preliminary Analysis of Interdependence in Multiagent Systems

Ronal Singh, Tim Miller, Liz Sonenberg

Conference Proceedings  |  2014  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Anticipatory stigmergic collision avoidance under noise

FB VON DER OSTEN, MG Kirley, T Miller

Conference Proceedings  |  2014  |  Proceedings of the 2014 Genetic and Evolutionary Computation Conference (GECCO)

Researchers As Proxies for Informal Carers: Photo Sharing with Older Adults to Mediate Wellbeing

Hilary Davis, Sonja Pedell, Antonio Lopez Lorca, Tim Miller, Leon Sterling

Conference Proceedings  |  2014  |  Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures the Future of Design - OzCHI '14

Checking The Correctness of Agent Designs Against Model-Based Requirements

Yoosef Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah

Conference Proceedings  |  2014  |  Frontiers in Artificial Intelligence and Applications

Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing

T MILLER, A Pearce, L Sonenberg, F Dignum, P Felli, C Muise

Conference Proceedings  |  2014  |  AAAI Fall Symposium - Technical Report

Modelling and Using Common Ground in Human-agent Collaboration during Spacecraft Operations

J Pfau, T Miller, EA Sonenberg

Conference Proceedings  |  2014  |  Proceedings of SpaceOps 2014 Conference

Socially-oriented requirements engineering: Software engineering meets ethnography

S Pedell, T Miller, F Vetere, L Sterling, S Howard

Book Chapter  |  2014

One size doesn't fit all: diversifying "the user" using personas and emotional scenarios

AA Lopez-Lorca, T Miller, S Pedell, A MENDOZA, A Keirnan, L Sterling

Conference Proceedings  |  2014  |  Proceedings of the 6th International Workshop on Social Software Engineering - SSE 2014

It is common practice in software engineering to develop a product for the "user". The concepts of users and actors typically over..

Robust Anticipatory Stigmergic Collision Avoidance in Multi-Agent Systems

Friedrich Burkhard von der Osten, Michael Kirley, Tim Miller

Conference Proceedings  |  2014  |  13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014

Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location

Y Abushark, J Thangarajah, T Miller, J Harland

Conference Proceedings  |  2014  |  Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems

Artificial social reasoning: computational mechanisms for reasoning about others

P Felli, T miller, Christian Muise, A PEARCE, L sonenberg

Conference Proceedings  |  2014  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

With a view to supporting expressive, but tractable, collaborative interactions between humans and agents, we propose an approach ..

Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems

Lin Padgham, Zhiyong Zhang, John Thangarajah, Tim Miller

Journal article  |  2013  |  IEEE Transactions on Software Engineering

Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies

Tim Miller, Peter McBurney

Journal article  |  2013  |  Multiagent and Grid Systems

Using Dependency Structures for Prioritization of Functional Test Suites

Shifa-e-Zehra Haidry, Tim Miller

Journal article  |  2013  |  IEEE Transactions on Software Engineering

The role of users' emotions and associated quality goals on appropriation of systems: two case studies

A Mendoza, T Miller, S Pedell, L Sterling

Conference Proceedings  |  2013  |  Information Systems: Transforming the Future

The role of users' emotions and associated quality goals on appropriation of systems: two case studies

A Mendoza, T Miller, S Pedell, L Sterling

Conference Proceedings  |  2013  |  Information Systems: Transforming the Future

Understanding socially oriented roles and goals through motivational modelling

Tim Miller, Sonja Pedell, Leon Sterling, Frank Vetere, Steve Howard

Journal article  |  2012  |  Journal of Systems and Software

Using instruction to improve mathematical modeling in capstone design

J Cole, RA Linsenmeier, T Miller, MR Glucksberg

Conference Proceedings  |  2012  |  ASEE Annual Conference and Exposition, Conference Proceedings

Using instruction to improve mathematical modeling in capstone design

J Cole, RA Linsenmeier, T Miller, MR Glucksberg

Conference Proceedings  |  2012  |  ASEE Annual Conference and Exposition, Conference Proceedings

Substantiating Agent-Based Quality Goals for Understanding Socio-Technical Systems

Sonja Pedell, Tim Miller, Leon Sterling, Frank Vetere, Steve Howard

Conference Proceedings  |  2012  |  Advanced Agent Technology, Lecture Notes in Computer Science

An assessment of strategies for choosing between competitive marketplaces

T Miller, J Niu

Journal article  |  2012  |  Electronic Commerce Research and Applications

A case study in model-based testing of specifications and implementations

Tim Miller, Paul Strooper

Journal article  |  2012  |  Software Testing, Verification and Reliability

Ontology-mediated validation of software models

AA Lopez-Lorca, G Beydoun, L Sterling, T Miller

Conference Proceedings  |  2011  |  Information Systems Development - Business Systems and Services: Modeling and Development

PROPOSITIONAL DYNAMIC LOGIC FOR REASONING ABOUT FIRST-CLASS AGENT INTERACTION PROTOCOLS

Tim Miller, Peter McBurney

Journal article  |  2011  |  Computational Intelligence

TATM: A Trust Mechanism for Social Traders in Double Auctions

Jacob Dumesny, Tim Miller, Michael Kirley, Liz Sonenberg

Conference Proceedings  |  2011  |  Lecture Notes in Artificial Intelligence: AI 2011 Advances in Artificial Intelligence, Proceedings

Engaging Stakeholders with Agent-Oriented Requirements Modelling

Tim Miller, Sonja Pedell, Leon Sterling, Bin Lu

Conference Proceedings  |  2011  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Test Coverage Criteria for Agent Interaction Testing

Tim Miller, Lin Padgham, John Thangarajah

Conference Proceedings  |  2011  |  Lecture Notes in Compuer Science 6788 - Agent-Oriented Software Engineering XI

Substantiating quality goals with field data for socially-oriented requirements engineering

S Pedell, T Miller, L Sterling, F Vetere, S Howard, J Paay

Conference Proceedings  |  2011  |  Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011)

Shared artefacts as participatory Babel fish

S Pedell, F Vetere, S Howard, T Miller, L Sterling

Conference Proceedings  |  2010  |  Proceedings of the 11th Biennial Participatory Design Conference 2010

Ontology-based validation of agent oriented modelling

A Lopez-Lorca, G Beydoun, L Sterling, T Miller

Conference Proceedings  |  2010  |  CEUR Workshop Proceedings

Characterising and matching iterative and recursive agent interaction protocols

T Miller, P McBurney

Conference Proceedings  |  2010  |  The Ninth International Conference on Autonomous Agents and Multiagent Systems

GestureBar: Improving the approachability of gesture-based interfaces

A Bragdon, R Zeleznik, B Williamson, T Miller, JJ LaViola

Conference Proceedings  |  2009  |  Proceedings of the 27th international conference on Human factors in computing systems - CHI 09

Having fun at home: Interleaving fieldwork and goal models

S Pedell, T Miller, F Vetere, L Sterling, S Howard, J Paay

Conference Proceedings  |  2009  |  OZCHI 2009: Design Open 24_7, Proceedings of the 21th Australasian conference on Computer-Human Interaction

A usability evaluation of algosketch: A pen-based application for mathematics

T O'Connell, C Li, TS Miller, RC Zeleznik, JJ LaViola

Conference Proceedings  |  2009  |  Sketch-Based Interfaces and Modeling 2009 - ACM SIGGRAPH/Eurographics Symposium Proceedings

Annotation and Matching of First-Class Agent Interaction Protocols

Tim Miller, Peter McBurney

Conference Proceedings  |  2009  |  Lecture Notes In Artificial Intelligence: Argumentation in Multi-Agent Systems: Fifth International Workshop, ArgMAS 2008,

Evaluation of techniques for visualizing mathematical expression recognition results

JJ LaViola, A Leal, TS Miller, RC Zeleznik

Conference Proceedings  |  2008  |  Proceedings - Graphics Interface

On illegal composition of first-class agent interaction protocols

T Miller, P McBurney

Conference Proceedings  |  2008  |  Proceedings of the 31st Australasian Computer Science Conference

Online recognition of handwritten mathematical expressions with support for matrices

C Li, R Zeleznik, T Miller, JJ LaViola

Conference Proceedings  |  2008  |  Proceedings - International Conference on Pattern Recognition

Amongst first-class protocols

T Miller, J McGinnis

Conference Proceedings  |  2008  |  Engineering Societies in the Agents World VIII (Lecture Notes in Computer Science)

MathPaper: Mathematical sketching with fluid support for interactive computation

R Zeleznik, T Miller, C Li, JJ Laviola

Conference Proceedings  |  2008  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Annotation and matching of first-class agent interaction protocols

T Miller, P McBurney

Conference Proceedings  |  2008  |  Proceedings of the 7th International Conference on Autonomous Agents and Multi-Agent Systems

Dolphin express: A transparent approach to enhancing PCI express

V Krishnan, T Miller, H Paraison

Conference Proceedings  |  2007  |  2007 IEEE International Conference on Cluster Computing

Using constraints and process algebra for specification of first-class agent interaction protocols

T Miller, P McBurney

Conference Proceedings  |  2007  |  Engineering Societies in the Agents World VII (Lecture Notes in Computer Science)

Designing UI techniques for handwritten mathematics

R Zeleznik, T Miller, C Li

Conference Proceedings  |  2007  |  Proceedings of the 4th Eurographics workshop on Sketch-based interfaces and modeling - SBIM '07

First-class protocols for agent-based coordination of scientific instruments

T Miller, P McBurney, J McGinnis, K Stathis

Conference Proceedings  |  2007  |  Proceedings of the 5th International Workshop on Agent-based Computing for Enterprise Collaboration

A formal semantics for Gaia liveness rules and expressions

T Miller, P McBurney

Journal article  |  2007  |  International Journal of Agent-Oriented Software Engineering

Commercial applications of agents: Lessons, experiences and challenges

RA Belecheanu, S Munroe, M Luck, T Payne, T Miller, P McBurney, M Pěchouček

Conference Proceedings  |  2006  |  Proceedings of the 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems

Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents

Steve Munroe, Tim Miller, Roxana A Belechean, Michal Pechoucek, Peter McBurney, Michael Luck

Journal article  |  2006  |  Knowledge Engineering Review

Fluid inking: Augmenting the medium of free-form inking with gestures

R Zeleznik, T Miller

Conference Proceedings  |  2006  |  Proceedings - Graphics Interface

PIPS: An Integrated Environment for Health Care Delivery and Healthy Lifestyle Support

D Dominguez, F Grasso, T Miller, R Serafin

Conference Proceedings  |  2006  |  Proceedings of the 4th Workshop on Agents Applied in Health Care

Multi-agent system specification using TCOZ

T Miller, P McBurney

Conference Proceedings  |  2005  |  Multiagent System Technologies

CZT support for Z extensions

T Miller, L Freitas, P Malik, M Utting

Conference Proceedings  |  2005  |  Integrated Formal Methods (Lecture Notes in Computer Science)

Comparing 2D vector field visualization methods: a user study.

David H Laidlaw, Robert M Kirby, Cullen D Jackson, J Scott Davidson, Timothy S Miller, Marco da Silva, William H Warren, Michael J Tarr

Journal article  |  2005  |  IEEE Transactions on Visualization and Computer Graphics

We present results from a user study that compared six visualization methods for two-dimensional vector data. Users performed thre..

A case study in specification and implementation testing

T Miller, P Strooper

Conference Proceedings  |  2004  |  Proceedings of the 11th Asia-Pacific Software Engineering Conference

Integrating formal specification and software verification and validation

R Duke, T Miller, P Strooper

Conference Proceedings  |  2004  |  Teaching Formal Methods (Lecture Notes in Computer Science)

A framework and tool support for the systematic testing of model-based specifications

T Miller, P Strooper

Journal article  |  2003  |  ACM Transactions on Software Engineering and Methodology

Supporting the software testing process through specification animation

T Miller, P Strooper

Conference Proceedings  |  2003  |  Proceedings of the 1st International Conference on Software Engineering and Formal Methods

Model-based specification animation using testgraphs

T Miller, P Strooper

Conference Proceedings  |  2002  |  Formal Methods and Software Engineering (Lecture Notes in Computer Science)

Interaction in an IVR museum of color: Constructivism meets virtual reality

AM Spalter, PA Stone, BJ Meier, TS Miller, RM Simpson

Journal article  |  2002  |  Leonardo

Pop through mouse button interactions

R Zeleznik, T Miller, A Forsberg

Conference Proceedings  |  2001  |  UIST (User Interface Software and Technology): Proceedings of the ACM Symposium

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

T Miller, P Strooper

Conference Proceedings  |  2001  |  Proceedings 2001 Australian Software Engineering Conference

Quantitative comparative evaluation of 2D vector field visualization methods

DH Laidlaw, RM Kirby, J Scott Davidson, TS Miller, M Da Silva, WH Warren, M Tarr

Conference Proceedings  |  2001  |  Proceedings of the IEEE Visualization Conference

Combining the animation and testing of abstract data types

T Miller, P Strooper

Conference Proceedings  |  2001  |  Proceedings Second Asia-Pacific Conference on Quality Software

Scene-Graph-As-Bus: collaboration between heterogeneous stand-alone 3-D graphical applications

B Zeleznik, L Holden, M Capps, H Abrams, T Miller

Journal article  |  2000  |  Computer Graphics Forum

Efficient defeasible reasoning systems

MJ Maher, A Rock, G Antoniou, D Billington, T Miller

Conference Proceedings  |  2000  |  Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000

Design of 3D haptic widgets

T Miller, R Zeleznik

Journal article  |  1999  |  Proceedings of the Symposium on Interactive 3D Graphics

Insidious haptic invasion: Adding force feedback to the X desktop

T Miller, R Zeleznik

Conference Proceedings  |  1998  |  UIST (User Interface Software and Technology): Proceedings of the ACM Symposium