2013

Codish, M., Miller, A., Prosser, P., and Stuckey, A. (2013) Breaking symmetries in graph representation. In: International Joint Conference on Artificial Intelligence, 3-9 Aug 2013, Beijing, China. (In Press)

Kirwan, R., and Miller, A. (2013) Formal proof of abstraction for agent-based learning systems. In: 20th Workshop on Automated Reasoning ARW 2013, 11-12 Apr 2013, Dundee, UK.

Kirwan, R., Miller, A., Porr, B., and Di Prodi, P. (2013) Formal modelling of robot behaviour with learning. Neural Computation . ISSN 0899-7667 (In Press)

Miller, A., Kirwan, R., Porr, B., and Di Prodi, P. (2013) Model checking for improved adaptive behaviour. In: Proceedings of the Institution of Engineering and Technology Conference on Control and Automation, 4-5 Jun 2013, Birmingham, UK. (In Press)

2012

Lu, Y., and Miller, A. (2012) Timed analysis of RFID distance bounding protocols. In: Schmidt, R.A. and Papacchini, F. (eds.) Proceedings of the 19th Workshop on Automated Reasoning ARW 2012, Manchester, UK, 2-4 Apr 2012. School of Computer Science, The University of Manchester, Manchester, UK, pp. 37-38.

Andrei, O., Calder, M., and Miller, A. (2012) Role-based interface automata. In: 4th International Workshop on Foundations of Interface Technologies, 25 Mar 2012, Tallinn, Estonia.

Calder, M., Gray, P., Miller, A., and Unsworth, C. (2012) An introduction to pervasive interface automata. Lecture Notes in Computer Science, 6921 . pp. 71-87. ISSN 0302-9743 (doi:10.1007/978-3-642-27269-1_5)

Kirwan, R., and Miller, A. (2012) Progress on model checking robot behaviour. In: Schmidt, R.A. and Papacchini, F. (eds.) Proceedings of the 19th Workshop on Automated Reasoning ARW 2012, Manchester, UK, 2-4 Apr 2012. School of Computer Science, The University of Manchester, Manchester, UK, pp. 39-40.

Miller, A., and Prosser, P. (2012) Diamond-free degree sequences. Acta Universitatis Sapientiae, Informatica, 4 (2). pp. 189-200. ISSN 1844-6086

2011

Kirwan, R., and Miller, A. (2011) Abstraction for model checking robot behaviour. In: Kirwan, R. and Miller, A. (eds.) Proceedings of the 18th Workshop on Automated Reasoning ARW 2011, Glasgow, UK, 11-12 Apr 2011. Department of Computing Science, University of Glasgow, Glasgow, UK, pp. 1-2.

2010

Kirwan, R., and Miller, A. (2010) Modelling multi-agent systems. In: Automated Reasoning Workshop 2010 Bridging the Gap between Theory and Practice ARW 2010, 30-31 Mar 2010, Harrow, UK.

Power, C., and Miller, A. (2010) An approach to probabilistic symmetry reduction. In: Automated Reasoning Workshop 2010 Bridging the Gap between Theory and Practice ARW 2010, 30-31 Mar 2010, Harrow, UK.

Ripon, S., and Miller, A. (2010) Verification of a symmetry detection technique using PVS. In: 10th International Workshop on Automated Verification of Critical Systems (AVoCS'2010), September 21-23, 2010, Düsseldorf, Germany.

2009

Arapinis, M. et al. (2009) Towards the verification of pervasive systems. Electronic Communications of the EASST, 22 . ISSN 1863-2122

Donaldson, A., and Miller, A. (2009) On the constructive orbit problem. Annals of Mathematics and Artificial Intelligence, 57 (1). pp. 1-35. ISSN 1012-2443 (doi:10.1007/s10472-009-9171-4)

Donaldson, A.F., Miller, A., and Parker, D. (2009) Language-level symmetry reduction for probabilistic model checking. In: 6th International Conference on the Quantitative Evaluation of Systems, 13-16 Sept 2009 , Budapest.

Graham, D., Calder, M., and Miller, A. (2009) An inductive technique for parameterised model checking of degenerative distributed randomised protocols. Electronic Notes in Theoretical Computer Science, 250 (1). pp. 87-103. ISSN 1571-0661 (doi: 10.1016/j.entcs.2009.08.007)

Miller, A, and Calder, M (2009) Preface to Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems. Electronic Notes in Theoretical Computer Science, 250 (2). pp. 1-2. ISSN 1571-0661 (doi:10.1016/j.entcs.2009.08.013)

Power, C., and Miller, A. (2009) Symmetry reduction of partially symmetric systems. In: Hustadt, U. (ed.) Proceedings of the Automated Reasoning Workshop 2009: Bridging the Gap between Theory and Practice ARW 2009, Liverpool, UK, 21-22 Sep 2009. University of Liverpool, Liverpool, UK, pp. 25-26.

Ripon, S., Miller, A., and Donaldson, S. (2009) A semantic embedding of Prolema-Lite in PVS. In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS 09), 23-25 Sep 2009, Swansea, Wales.

Sharma, O., Lewis, J., Miller, A., Dearle, A., Balasubramaniam, D., Morrison, R., and Sventek, J. (2009) Towards verifying correctness of wireless sensor network applications using insense and spin. Lecture Notes in Computer Science, 5578 . pp. 223-240. ISSN 0302-9743 (doi:10.1007/978-3-642-02652-2_19)

2008

Donaldson, A.F., and Miller, A. (2008) Automatic symmetry detection for Promela. Journal of Automated Reasoning, 41 (3-4). pp. 251-293. ISSN 0168-7433 (doi:10.1007/s10817-008-9107-4)

Calder, M., and Miller, A. (2008) An automatic abstraction technique for verifying featured, parameterised systems. Theoretical Computer Science, 404 (3). pp. 235-255. ISSN 0304-3975 (doi:10.1016/j.tcs.2008.03.034)

Power, C., and Miller, A. (2008) Prism2Promela. In: Fifth International Conference on Quantitative Evaluation of Systems, 2008. QEST '08 , 14-17 Sep 2008, St. Malo, France.

2007

Miller, A., Calder, M., and Donaldson, A.F. (2007) A template-based approach for the generation of abstractable and reducible models of featured networks. Computer Networks, 51 (2). pp. 439-455. ISSN 1389-1286 (doi:10.1016/j.comnet.2006.08.009)

Donaldson, A., and Miller, A. (2007) Symmetry reduction techniques for explicit-state model checking. In: First International Symmetry Conference, 14-17 Jan 07, Edinburgh, UK.

Donaldson, A.F., and Miller, A. (2007) Extending symmetry reduction techniques to a realistic model of computation. In: 6th International Workshop on Automated Verification of Critical Systems AVoCS, 18-19 Sep 2006, Nancy, France.

Donaldson, A.F., Miller, A., and Parker, D. (2007) GRIP: generic representatives in PRISM. In: Proceedings of the Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), Edinburgh, UK, 17-19 Sep 2007. IEEE Computer Society, Los Alamitos, CA, USA, pp. 115-116. ISBN 9780769528830

Miller, A., and Donaldson, A.F. (2007) Symmetry reduction methods for model checking. In: Automated Reasoning Workshop 2007, 19-20 Apr 2007, London, UK.

2006

Ballarini, P., and Miller, A. (2006) Model checking medium access control for sensor networks. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2006, 15-19 November 2006, Paphos, Cyprus.

Donaldson, A.F., and Miller, A. (2006) A computational group theoretic symmetry reduction package for the SPIN model checker. Lecture Notes in Computer Science, 4019 . pp. 374-380. ISSN 0302-9743 (doi:10.1007/11784180)

Miller, A., Donaldson, A., and Calder, M. (2006) Symmetry in temporal logic model checking. ACM Computing Surveys, 38 (3). ISSN 0360-0300 (doi:10.1145/1132960.1132962)

Donaldson, A.F, and Miller, A. (2006) Exact and approximate strategies for symmetry reduction in model checking. Lecture Notes in Computer Science, 4085 . pp. 541-556. ISSN 0302-9743 (doi:10.1007/11813040)

Calder, M., and Miller, A. (2006) Feature interaction detection by pairwise analysis of LTL properties—A case study. Formal Methods in System Design, 28 (3). pp. 213-261. ISSN 0925-9856 (Paper), 1572-8102 (Online) (doi:10.1007/s10703-006-0002-5)

Donaldson, A.F., and Miller, A. (2006) Evaluating a formal methods technique via student assessed exercises. In: Boute, R.T. and Oliveira, J.N. (eds.) Formal Methods in the Teaching Lab: Examples, Cases, Assignments and Projects Enhancing Formal Methods Education. A Workshop at the Formal Methods 2006 Symposium, Hamilton, Ontario, Canada, 26 Aug 2006. McMaster University, Hamilton, ON, Canada, pp. 93-98.

Donaldson, AF, and Miller, A (2006) Symmetry reduction for probabilistic model checking using generic representatives. Automated Technology For Verification and Analysis, Proceedings, 4218 . pp. 9-23.

Miller, A., and Cutts, Q. (2006) The use of an electronic voting system in a formal methods course. In: Boute, R.T. and Oliveira, J.N. (eds.) Formal Methods in the Teaching Lab: Examples, Cases, Assignments and Projects Enhancing Formal Methods Education. A Workshop at the Formal Methods 2006 Symposium, Hamilton, Ontario, Canada, 26 Aug 2006. McMaster University, Hamilton, ON, Canada, pp. 3-8.

2005

Donaldson, A., Miller, A, and Calder, M. (2005) SPIN-to-GRAPE: a tool for analysing symmetry in Promela models. Electronic Notes in Theoretical Computer Science , 139 (1). pp. 3-23. (doi:10.1016/j.entcs.2005.09.007 )

Donaldson, A.F., Miller, A., and Calder, M. (2005) Finding symmetry in models of concurrent systems by static channel diagram analysis. Theoretical Computer Science, 128 (6). pp. 161-177. ISSN 0304-3975 (doi:10.1016/j.entcs.2005.04.010)

Donaldson, A.F., and Miller, A. (2005) Automatic symmetry detection for model checking using computational group theory. Lecture Notes in Computer Science, 3582 . pp. 481-496. ISSN 1611-3349 (doi:10.1007/11526841_32)

Donaldson, A.F., and Miller, A. (2005) Symmetry reduction for probabilistic systems. In: The 12th Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice, 29-30 Jul 2005, Edinburgh, UK.

Miller, A. (2005) Improved lower bounds for solving the minimal open stacks problem. In: Constraint Modelling Challenge 2005, in Conjunction with The Fifth Workshop on Modelling and Solving Problems with Constraints Held at IJCAI 2005, Edinburgh, Scotland, 31 Jul 2005. School of Computer Science, University of St. Andrews, St. Andrews, UK, pp. 36-43.

Miller, A., and Calder, M. (2005) A generic approach for the automatic verification of featured, parameterised systems. In: International Workshop on Feature Interactions in Telecommunications and Software Systems, 28-30 June 2005, Leicester, UK.

Miller, A., Prosser, P., and Unsworth, C. (2005) A constraint model and a reduction operator for the minimising open stacks problem. In: Constraint Modelling Challenge 2005, in Conjunction with The Fifth Workshop on Modelling and Solving Problems with Constraints Held at IJCAI 2005, Edinburgh, Scotland, 31 Jul 2005. School of Computer Science, University of St. Andrews, St. Andrews, UK, pp. 44-50.

2004

Calder, M., and Miller, A. (2004) Detecting feature interactions: how many components do we need? Lecture Notes in Computer Science, 2975 . pp. 45-66. ISSN 0302-9743 (doi:10.1007/b97772)

Calder, M., and Miller, A. (2004) An automatic abstraction technique for verifying featured, parameterised systems. In: ISOLA: International Symposium on Leveraging Applications of Formal Methods, 30 Oct - 2 Nov 2004, Cyprus, Greece.

Donaldson, A., Miller, A., and Calder, M. (2004) Comparing the use of symmetry in constraint processing and model checking. In: 4th International Workshop on Symmetry and Constraint Satisfaction Problems, 27 Sep 2004, Toronto, Ontario, Canada.

Gregory, P., Miller, A., and Prosser, P. (2004) Solving the rehearsal problem with planning and with model checking. In: Workshop on Modelling and Solving Problems with Constraints, 22 Aug 2004, Valencia, Spain.

2003

Calder, M., and Miller, A. (2003) Generalising feature interactions in email. In: International Workshop on Feature Interactions in Telecommunications and Software Systems VII, 11-13 June 2003, Ottawa, Canada.

Calder, M., and Miller, A. (2003) Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus(FireWire)Protocol. Formal Aspects of Computing, 14 (3). pp. 247-266. ISSN 1433-299X (doi:10.1007/s001650300004)

Miller, A., and Calder, M. (2003) An application of abstraction and induction techniques to degenerating systems of processes. In: International Workshop on Model-Checking for Dependable Software-Intensive Systems, 22-25 Jun 2003, San Francisco, CA, USA.

2002

Calder, M., and Miller, A. (2002) Automatic verification of any number of concurrent, communicating processes. In: 17th IEEE International Conference on Automated Software Engineering, 23-27 September, Edinburgh.

Calder, M., and Miller, A. (2002) Five ways to use induction and symmetry in the verification of networks of processes by model-checking. In: Second Workshop on Automated Verification of Critical Systems (AVoCS 2002), April 2002.

2001

Calder, M., and Miller, A. (2001) Using SPIN for feature interaction analysis - a case study. Lecture Notes in Computer Science, 2057 . pp. 143-162. ISSN 03029743

Miller, A (2001) Using SPIN for Feature Interaction Analysis -- a Case Study. Proceedings of the 8th International Spin Workshop (spin 2001) . pp. 143-162.

1998

Calder, M., and Miller, A. (1998) Analysing a basic call protocol using Promela/XSpin. In: 4th Workshop on Automata Theoretic Verification with the SPIN Model Checker (SPIN '98), 2 Nov 1998, Paris, France.

1996

Camina, A.R., and Miller, A.A. (1996) Line-closed subsets of Steiner triple systems and classical linear spaces. Journal of Statistical Planning and Inference, 56 (1). pp. 65-77. ISSN 0378-3758 (doi:10.1016/S0378-3758(96)00010-9)

1994

Miller, A.A., and Praeger, C.E. (1994) Non-Cayley vertex-transitive graphs of order twice the product of two odd primes. Journal of Algebraic Combinatorics, 3 (1). pp. 77-111. ISSN 0925-9899 (doi:10.1023/A:1022402204659)

1991

Miller, A.A. (1991) A subspace theorem for ordinary linear differential equations. Journal of the Australian Mathematical Society, 50 (2). pp. 320-332. ISSN 1446-7887 (doi:10.1017/S144678870003278X)