Tim Miller
Tim Miller
School of Computing and Information Systems, University of Melbourne
Verified email at unimelb.edu.au - Homepage
TitleCited byYear
Explanation in artificial intelligence: Insights from the social sciences
T Miller
Artificial Intelligence, 2018
2562018
Population aging and intergenerational transfers: Introducing age into national accounts
A Mason, R Lee, AC Tung, MS Lai, T Miller
Developments in the Economics of Aging, 89-122, 2009
1822009
Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents
S Munroe, T Miller, RA Belecheanu, M Pěchouček, P McBurney, M Luck
The Knowledge Engineering Review 21 (4), 345-392, 2006
752006
Explainable AI: Beware of inmates running the asylum or: How I learnt to stop worrying and love the social and behavioural sciences
T Miller, P Howe, L Sonenberg
arXiv preprint arXiv:1712.00547, 2017
692017
Iarpa janus benchmark-b face dataset
C Whitelam, E Taborsky, A Blanton, B Maze, J Adams, T Miller, N Kalka, ...
Proceedings of the IEEE Conference on Computer Vision and Pattern …, 2017
662017
Model-based test oracle generation for automated unit testing of agent systems
L Padgham, Z Zhang, J Thangarajah, T Miller
IEEE Transactions on Software Engineering 39 (9), 1230-1244, 2013
562013
Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems
T Miller, S Pedell, AA Lopez-Lorca, A Mendoza, L Sterling, A Keirnan
Journal of Systems and Software 105, 54-71, 2015
502015
Planning over multi-agent epistemic states: A classical planning approach
C Muise, V Belle, P Felli, S McIlraith, T Miller, AR Pearce, L Sonenberg
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
492015
Commercial applications of agents: Lessons, experiences and challenges
RA Belecheanu, S Munroe, M Luck, T Payne, T Miller, P McBurney, ...
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
482006
Amongst first-class protocols
T Miller, J McGinnis
International Workshop on Engineering Societies in the Agents World, 208-223, 2007
462007
Using dependency structures for prioritization of functional test suites
S Haidry, T Miller
IEEE Transactions on Software Engineering 39 (2), 258-275, 2013
42*2013
Population aging and intergenerational transfers: introducing age into national income accounts
A Mason, R Lee, AC Tung, MS Lai, T Miller
Developments in the Economics of Aging, 89-122, 2009
412009
Requirements elicitation and specification using the agent paradigm: the case study of an aircraft turnaround simulator
T Miller, B Lu, L Sterling, G Beydoun
Software Engineering, IEEE Transactions on 40 (10), 1007 - 1024, 2014
402014
The rise of the intergenerational state: aging and development
T Miller
Population aging and the generational economy, 161-184, 2011
332011
Using constraints and process algebra for specification of first-class agent interaction protocols
T Miller, P McBurney
International Workshop on Engineering Societies in the Agents World, 245-264, 2006
322006
A framework and tool support for the systematic testing of model-based specifications
T Miller, P Strooper
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (4), 409-439, 2003
322003
CZT support for Z extensions
T Miller, L Freitas, P Malik, M Utting
International Conference on Integrated Formal Methods, 227-245, 2005
262005
Animation can show only the presence of errors, never their absence
T Miller, P Strooper
Proceedings 2001 Australian Software Engineering Conference, 76-85, 2001
262001
Model-based specification animation using testgraphs
T Miller, P Strooper
International Conference on Formal Engineering Methods, 192-203, 2002
242002
Test coverage criteria for agent interaction testing
T Miller, L Padgham, J Thangarajah
International Workshop on Agent-Oriented Software Engineering, 91-105, 2010
232010
The system can't perform the operation now. Try again later.
Articles 1–20