This page lists peer-reviewed publications that I have (co-)authored,
as well as some under preparation that are complete enough for
download. Most papers are downloadable, however, in many cases, these
are pre-print versions.
S. Pedell, T. Miller, F. Vetere, L. Sterling, and S. Howard:
Tools for participation: Intergenerational technology design for the home.
International Journal of Design, 2014 (In press)
A. Mendoza, T. Miller, S. Pedell, and L. Sterling: The role of users' emotions and associated quality goals on appropriation of systems: two case studies. 24th Australasian Conference on Information Systems (ACIS) 2013. (In press)
S. Pedell, F. Vetere, S. Howard, T. Miller, and L. Sterling: Shared artefacts as participatory Babel
fish. Proceedings of the 11th
Biennial Participatory Design Conference 2010. pages
167-170, ACM Press, 2010.
J. McGinnis and T. Miller: Amongst
first-class protocols. In: A. Artikis, G. O'Hare, K. Stathis, and
G. Vouros (Editors) Engineering
Societies in the Agents World
--- 8th International Workshop, Athens, Greece,
LNAI 4995, pages 208-223, 2008.
Ian Toyn, Rob Arthan, Leo Freitas, Tim Miller and Mark
Saaltink: An Update on the ISO Z Standard and
Tools. In 12th IEEE International
Conference on Engineering of Complex Computer Systems,
Auckland, New Zealand, 2007.
Tim Miller, Peter McBurney, Jarred McGinnis and Kostas Stathis:
First-class protocols for agent-based coordination of scientific
instruments. In Proceedings of the
Fifth International Workshop on Agent-based Computing for Enterprise
Collaboration (ACEC), 16th International IEEE Workshop on Enabling
Technologies and Infrastructures for Collaborative Enterprises (WETICE
2007), Paris, France, pages 41-46, IEEE Computer Society 2007.
David Domínguez, Floriana Grasso, Tim Miller, and Riccardo Serafin:
PIPS: An Integrated Environment for Health Care Delivery and Healthy
Lifestyle Support, In A. Moreno, U. Cortes, R. Annicchiarico and
J. Nealon (eds) Working notes of the
4th Workshop on Agents Applied in Health Care, ECAI 2006, Riva
del Garda, 29th August 2006.
R. Belecheanu, S. Munroe, M. Luck, T. Payne, T. Miller, M. Pechoucek,
P. McBurney: Commercial
applications of agents: Lessons, experiences and
challenges. Industrial Track,
Fifth International Joint Conference on Autonomous Agents and
Multi-Agent Systems (AAMAS 2006), ACM Press, pages 1549-1555,
Hakodate, Japan, May 2006. Awarded the DARPA Prize for Best Applied
and Industrial Paper at AAMAS 2006.
Tim Miller, Leo Freitas, Petra Malik, and Mark Utting: CZT Support for
In Fifth International Conference on
Integrated Formal Methods, pages 227-245, Springer, 2005.
(download from here).
Tim Miller and Peter McBurney: Multi-Agent System Specification using
TCOZ, In German Conference on
Multi-Agent System Technologies (MATES'05), LNCS 3550, pages
216-221, Springer, 2005. Also available as an extended
technical report version (ps, pdf)
Tim Miller and Paul Strooper: A Case Study in Specification and
Implementation Testing, In
Proceedings of the 11th Asia-Pacific Software Engineering
Conference, IEEE Computer Society, pages 130-139, 2004. (ps, pdf)
Roger Duke, Tim Miller, and Paul Strooper: Integrating Formal
Specification and Software Verification and Validation, In R.T. Boute
C.N. Dean, editor, CoLogNet/Formal
Methods Europe 2004 Symposium on Teaching Formal Methods,
volume 3294 of Lecture Notes in
Computer Science, pages 124-139. Springer Verlag, 2004. (ps, pdf)
Tim Miller and Paul Strooper: Supporting the Software Testing Process
through Specification Animation, First
International Conference on Software Engineering and Formal Methods
(SEFM'03), pages 14-23, IEEE Computer Society, 2003. (ps, pdf)
Tim Miller and Paul Strooper: A Framework and Tool Support for the Systematic Testing of
Model-Based Specifications, ACM
Transactions on Software Engineering and Methodology (TOSEM),
12(4):409-439, October 2003.
Tim Miller and Paul Strooper: Model-Based Animation using Testgraphs, In Proceedings of the International
Conference on Formal Engineering Methods (ICFEM'02), Springer
Verlag, pages 192-203, 2002. (technical report version: ps,
Tim Miller and Paul Strooper: Combining the Animation and Testing of
Abstract Data Types, In Proceedings
of the Asia-Pacific Conference on Quality Software (APAQS'01),
IEEE Computer Society, pages 249-258, 2001. (technical report version: ps,
Tim Miller and Paul Strooper: Animation Can Show Only the Presence of
Errors, Never Their Absence, In Proceedings
of the Australian Software Engineering Conference (ASWEC'01),
Canberra, Australia, IEEE Computer Society Press, pages 76-85, 2001.