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.
A. Lopez-Lorca, G. Beydoun, L. Sterling and T. Miller:
Ontology-mediated Validation of Software Models.
International Conference on
Information Systems Development, pages 455-467, Springer New York, 2011.
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.
S. Pedell, T. Miller, F. Vetere, L. Sterling, S. Howard, and J. Paay,
Having fun at home: interleaving fieldwork and goal
models, Proceedings of
OZCHI, pages 309-312, 2009.
T. Miller and P. McBurney:
Annotation and matching of first-class agent interaction protocols. Full paper in:
L. Padgham, D. Parkes, J. P. Mueller and S. Parsons (Editors):
Proceedings of the Seventh
International Conference on Autonomous Agents and Multi-Agent Systems
(AAMAS 2008), Estoril, Portugal, pages 805-812, May 2008.
T. Miller and P. McBurney: On
illegal composition of first-class agent interaction
protocols. In: Gill Dobbie and Bernard Mans (Editors):
Proceedings of the Thirty-First
Australasian Computer Science Conference (ACSC 2008),
Wollongong, Australia, volume 74 of CRPIT, pages 127-136, Australian
Computer Society, January 2008.
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.
2007
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,
and
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.
2001-2005
Tim Miller, Leo Freitas, Petra Malik, and Mark Utting: CZT Support for
Z Extensions,
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.
(pdf)
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,
pdf)
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,
pdf)
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.