2012

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)

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)

Ripon, S., and Miller, A. (2009) Semantic embedding of Promela-lite in PVS. In: Automated Reasoning Workshop 2009 Bridging the Gap between Theory and Practice ARW 2009, 21-22 Apr 2009, Liverpool, UK.

Ripon, S., and Miller, A. (2009) Symmetry reduction of partially symmetric systems. In: Automated Reasoning Workshop 2009 Bridging the Gap between Theory and Practice ARW 2009, 21-22 Apr 2009, Liverpool, UK.

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, Muffy, and Miller, Alice (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.

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, 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.

2005

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)

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.

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: Proceedings of the first International Symposium on Leveraging Applications of Formal Methods (ISOLA '04), 30 October - 2nd November 2004, Paphos, Cyprus.

Miller, A (2004) SPIN-to-GRAPE: a tool for analysing symmetry in Promela models. Electronic Notes in Theoretical Computer Science, 139 (1). pp. 3-23.

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)

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 0934-5043 (doi:10.1007/s001650300004)

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.

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.