Publications
See here for an up to date list.
Journal/Conference papers
- W. Kavanagh, A. Miller, G. Norman and
O. Andrei Balancing turn-based games with
chained strategy generation Accepted to appear in IEEE
Transactions on Games. Early Access edition
- B. Porr, A. Miller and A. Trew An investigation into serotonergic and environmental interventions against depression in a simulated delayed reward paradigm To appear in Adaptive Behaviour, 2019. Accepted version - preprint.
- Michael Codish, Alice Miller, Patrick Prosser and Peter J. Stuckey Constraints for symmetry breaking in graph representation. Constraints, Springer, 2018. Online first edition available here .
- Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller and Gethin Norman Controller Synthesis for Autonomous Agents using PRISM. Proceedings of the NASA Formal Methods Symposium (NFM 2018), Newport News, VA, USA, Springer, LNCS volume 10811, April 2018, pp. 220--236.
- Yu Lu, Alice Miller, Ruth Hoffmann and Chris Johnson Towards the Automated Verification of Satellite subsystems failures with Weibull Distributions. Proceedings of FMICS/AVOCS 2016, Pisa, Italy, Springer, LNCS volume 9933, September 2016, pp. 81--96.
- Ryan Kirwan, Alice Miller and Bernd Porr Model checking learning agent systems using Promela with embedded C code and abstraction. Formal Aspects of Computing 26(6), Springer, 2016, pp. 1027--1056
- Zhaoguang Peng, Yu Lu and Alice Miller Uncertainty analysis of phased mission systems with probabilistic timed automata. Proceedings of the 7th IEEE International Conference on Prognostics and Health Management (PHM 2016), Ottowa, Canada, June 2016.
- Ruth Hoffman, Murray Ireland, Alice Miller, Gethin Norman and Sandor Veres Autonomous agent behaviour modelled in PRISM - a case study. Proceedings of the 23rd International SPIN Symposium, Eindhoven NL, Springer, LNCS volume 9641, April 2016, pp. 104--110.
- Michael Codish, Michael Frank, Avraham Itzhakov and Alice Miller Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking. (or online first edition). Constraints, vol 21(3), Springer, May 2016.
- Zhaoguang Peng, Yu Lu, Alice Miller, Tingdi Zhao and Chris Johnson Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Quality and Reliability Engineering International 32(2): pp. 345--361, March 2016. DOI: 10.1002/qre.1754.
- Zhaoguang Peng, Yu Lu, Alice Miller, Chris Johnson and Tingdi Zhao Risk Assessment of Railway Transportation Systems using Timed Fault trees. Quality and Reliability Engineering International (Wiley), 32(1), pp. 181--194, February 2016. DOI: 10.1002/qre.1738. In press, corrected proof.
- Yu Lu, Zhaoguang Peng, Alice Miller, Tingdi Zhao and Christopher Johnson How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. Reliability Engineering and System Safety vol. 144. (Elsevier). December 2015, pp. 95--116.
- Craig MacDonald, Ciaran McReesh, Alice Miller, Patrick Prosser Constructing Sailing Match Race Schedules: Round Robin Pairing Lists. CP 2015, LNCS 9255, Springer (August-September 2015), pp. 671--686.
- Yu Lu, Alice Miller, Chris Johnson, Zhaoguang Peng and Tingdi Zhao Availability Analysis of Satellite Positioning Systems for Aviation using the PRISM model checker. 17th IEEE International Conference on Computational Science and Engineering (CSE 2014). December 2014, pp. 704 - 713.
- Yu Lu, Zhaoguang Peng, Alice Miller, Chris Johnson and Tingdi Zhao Timed Fault Tree Models of the China Yongwen Railway Accident. 8th Asia Modelling Symposium (AMS 2014), Taiwan, September 2014 (IEEE), pp. 128 - 133.
- Emma
Gibson, John Winfield, David Adam, Alice Miller, Robert Carr,
Archie Eaglesham and David Lennon A Kinetic Model for the Solvation and Dissociation of 4-Benzylaniline Hydrochloride in Chlorobenzene. Industrial and Engineering Chemistry Research 53, 2014, pp. 4156--4164.
- Zhaoguang Peng, Yu Lu, Alice Miller, Christopher Johnson and Tingdi Zhao A Probabilistic Model Checking Approach to analysing reliability, availability, and maintainability of a single satellite system. Proceedings of the 7th UKSim/AMSS European Symposium on Computer Modelling and Simulation (EMS2013). Manchester, England, November 2013, pp. 611--616.
- Ryan Kirwan, Alice Miller, Bernd Porr and Paolo di Prodi Formal Modelling of Robot Behaviour with Learning. Neural Computation 25(11), MIT press, November 2013, pp. 2976--3019.
- Michael Codish, Alice Miller, Patrick Prosser and Peter Stuckey Breaking Symmetries in Graph Representation. International Joint Conference on Artificial Intelligence (IJCAI 2013). Beijing, China, August 2013, pp. 510--516.
- Alice Miller, Ryan Kirwan, Bernd Porr and Paolo di Prodi Model checking for Improved Adaptive Behaviour. Proceedings of the IET conference on Control and Automation. Birmingham, UK, June 2013.
- Alice Miller and Patrick Prosser Diamond-free Degree Sequences. Acta Universitatis Sapientiae Informatica, Scienta Publishing House, Vol.4 No. 2, 2012, pp. 189--200. 2012.
- O. Andrei, M. Calder and A. Miller Role-based Interface Automata. Proceedings of the 4th International Workshop on Foundations of Interface Technologies (FIT'12), Tallin, Estonia, March 2012.
- Muffy Calder, Phil Gray, Alice Miller and Chris Unsworth An introduction to Pervasive Interface Automata. Lecture Notes in Computer Science 6921, pp. 71--87. 2012. (Earlier appeared in FACS 2010)
- Shamim H. Ripon and Alice Miller Verification of a Symmetry Detection Technique using PVS. Proceedings of 10th AVOCS'10, Dusseldorf, Germany, September 2010.
- Alastair Donaldson and Alice Miller On the Constructive Orbit Problem. Annals of Mathematics and Artificial Intelligence (AMAI), Springer. December 2009.
- M. Arapinis and M. Calder and L. Dennis and M. Fisher and P. Gray and S. Konur and A. Miller and E. Ritter and M. Ryan and S. Schewe and C. Unsworth and R. Yasmin. Towards the Verification of Pervasive Systems Proceedings of FMIS'09, Eindhoven, Netherlands, November 2009.
- Douglas Graham, Muffy Calder and Alice Miller An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. Electronic Notes in Theoretical Computer Science, vol 250, pp. 87--103, 2009. Elsevier.
- Alastair F. Donaldson, Alice Miller and David Parker Language-level Symmetry Reduction for Probabilistic Model Checking. Proceedings of QEST'09, Budapest Hungary, September 2009, pp. 289-298(IEEE).
- S. Ripon, A. Miller and A. Donaldson A Semantic Embedding of Promela-lite in PVS. Proceedings of AVOCS'09, Swansea, UK, September 2009.
- O. Sharma, J. Lewis, A. Miller, A. Dearle, D. Balasubramaniam, R. Morrison and J. Sventek Towards Verifying Correctness of Wireless Sensor Network Applications using Insense and Spin. Proceedings of Spin'09, Grenoble France, pp. 223--240, June 2009. LNCS 5578, pp. 223--240 (Springer).
- Alastair Donaldson and Alice Miller Automatic Symmetry Detection for Promela. Journal of Automated Reasoning, vol 41, Issue 3-4, pp. 251--293, 2008. Springer
- Christopher Power and Alice Miller Prism2Promela. Proceedings of the 5th International Conference on Qualitative Evaluation of Systems (QEST'08), St. Malo, France, pp. 79--80, September 2008. IEEE Computer Society.
- M. Calder and A. Miller An automatic abstraction technique for verifying featured, parameterised systems. Theoretical Computer Science, vol 404/3, pp. 235--255,-- --September 2008. Elsevier.
- Paolo Ballarini and Alice Miller Model Checking Medium Access Control for Sensor Networks. IEEE Proceedings of ISOLA'06, Paphos, Cyprus, pp. 255--262,-- --November 2006. Appeared 2008.
- Alastair Donaldson, Alice Miller and David Parker GRIP: Generic Representatives in PRISM. Proceedings of the 4th International Conference on Qualitative Evaluation of Systems (QEST'07), Edinburgh, UK, pp.115--116, September 2007. IEEE Computer Society.
- A. F. Donaldson and A. Miller Extending Symmetry Reduction Techniques to a realistic model of Computation. Electronic Notes in Theoretical Computing Science, vol 185, pp. 63--76, 2007. (Preliminary version appeared in (AVOCS'06)).
- Alice Miller, Muffy Calder and Alastair Donaldson A template-based approach for the generation of abstractable and reducible models of featured networks. Computer Networks, vol 51/2. February 2007. Elsevier.
- A. F. Donaldson and A. Miller Symmetry Reduction Techniques for Explicit state model checking. Proceedings of the first International Symmetry Conference (ISC'07), Edinburgh, UK, January 2007, pp. 41--45.
- A. F. Donaldson and A. Miller Symmetry Reduction for Probablilistic Model checking using Generic Representatives. Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), Beijing, China, pp. 9--23, October 2006. LNCS 4218. Springer
- Alice Miller, Alastair Donaldson and Muffy Calder Symmetry in temporal logic model checking. Computing Surveys, vol 36/3, Article no. 8. September 2006. ACM
- A.F. Donaldson and A. Miller Exact and Approximate Strategies for Symmetry Reduction in Model Checking. Proceedings of the 14th International Symposium on Formal Methods (FM'06), Hamilton, Canada, pp. 541--546, August 2006. LNCS 4085. Springer
- A.F. Donaldson and A. Miller A Computational Group Theoretic Symmetry Reduction Package for the SPIN Model Checker. Proceedings of the 11th International Conference on Algebraic Methodology and Software Technology (AMAST'06), Kuressaare, Estonia, pp. 374--380, July 2006. LNCS 4019. Springer
- Muffy Calder and Alice Miller Feature Interaction detection by pairwise analysis of LTL properties -- a case study. Formal Methods in System Design, vol. 28/3, pp. 213--261. May-- --2006. Springer.
- Alice Miller and Quintin Cutts The use of an Electronic Voting System in a Formal Methods Course. Workshop on Formal Methods in the Teaching Lab (FM-Ed 2006), in conjuction with the 14th International Symposium on Formal Methods (FM 2006), Hamilton, Ontario, Canada, August 2006, pp. 3--8.
- A.F. Donaldson and A. Miller Evaluating a Formal Methods Technique via Student Assessed Exercises. Workshop on Formal Methods in the Teaching Lab (FM-Ed 2006), in conjuction with the 14th International Symposium on Formal Methods (FM 2006), Hamilton, Ontario, Canada, August 2006, pp. 93--100.
- A. Donaldson, A. Miller and M. Calder SPIN-to-GRAPE: A tool for analysing symmetry in Promela models. Electronic Notes in Theoretical Computer Science, vol. 139/1, pp. 3--23, November 2005. Elsevier. (Preliminary version appeared in Proceedings of ARTS'04, London, September 2004.)
- A.F. Donaldson and A. Miller Automatic symmetry detection for model checking using computational group theory. Proceedings of the 13th International Symposium on Formal Methods (FM 2005), Newcastle upon Tyne, UK, pp. 481--496, July 2005. LNCS 3582. Springer.
- A. Miller Improved lower bounds for solving the minimal open stacks problem. Proceedings of the constraint modelling challenge, in conjuction with the fifth workshop on modelling and solving problems with constraints held at IJCAI'05, Edinburgh, UK, July 2005, pp. 36--43.
- A. Miller and Patrick Prosser and Chris Unsworth A constraint model and a reduction operator for the minimising open stacks problem. Proceedings of the constraint modelling challenge, in conjuction with the fifth workshop on modelling and solving problems with constraints held at IJCAI'05, Edinburgh, UK, July 2005, pp. 44--50.
- Alice Miller and Muffy Calder A generic approach for the automatic verification of featured, parameterised systems. Proceedings of Eighth International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI '05), Leicester, UK, pp. 217--235, June 2005. IOS Press.
- Alastair Donaldson, Alice Miller and Muffy Calder Finding symmetry in models of concurrent systems by static channel diagram analysis. Electronic Notes in Theoretical Computer Science, vol. 128/6, pp. 161-177, 2005. Elsevier.
- M. Calder and A. Miller Detecting Feature Interactions: how many components do we need? Objects, Agents and Features. LNCS 2975, Springer, pp.45--66, 2004.
- Muffy Calder and Alice Miller Verifying parameterised, featured networks by abstraction. Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cyprus,November 2004, pp. 227--234
- Alastair Donaldson, Alice Miller and Muffy Calder Comparing the use of symmetry in constraint processing and model checking. The 4th International Workshop on symmetry and constraint satisfaction problems (SymCon'04), Toronto, pp. 18--25. September 2004.
- Peter Gregory, Alice Miller and Patrick Prosser Solving the Rehearsal Problem with Planning and with Model Checking. Proceedings of the Workshop on modelling and solving problems with constraints. Held in conjunction with the 16th European Conference on Artificial Intelligence (ECAI 2004), pp. 157--171, August 2004.
- A. Miller and M. Calder An application of abstraction and induction techniques to degenerating systems of processes. Proceedings of the International Workshop on Model-Checking for Dependable Software-Intensive Systems (MCDSIS), in supplement to proceedings of DSN`03, IEEE Computer Society, pp. W-75--W-79, 2003.
- M. Calder and A. Miller Generalising Feature Interactions in Email. Feature Interactions in Telecommunications VII, IOS Press, pp. 187--205, 2003.
- M. Calder and A. Miller Using SPIN to Analyse the Tree Identification phase of the IEEE 1394 High Performance Serial Bus (FireWire) Protocol. Formal Aspects of Computing Science 14(3), Elsevier, pp.247--266, 2003.
- M. Calder and A. Miller Automatic Verification of Any Number of Concurrent, Communicating Processes. Proceedings of the 17th IEEE Automated Software Engineering, September 23-27, Edinburgh, IEEE Computer Society, pp. 227--230, 2002.
- M. Calder and A. Miller Using SPIN for Feature Interaction Analysis -- a Case Study Proceedings of The 8th International SPIN Workshop on Model Checking of Software (SPIN'2001), May 19-20, Toronto, Canada, LNCS 2057, pp. 143--162, 2001.
- Muffy Calder and Alice Miller Analysing a Basic Call Protocol using Promela/XSpin Proceedings of the 4th Workshop on Automata Theoretic Verification with the SPIN Model Checker, 1998, pp. 169-181.
- Alan R. Camina and Alice Ann Miller Line-closed Subsets of Steiner Triple Systems and Classical Linear Spaces Journal of Statistical Planning and Inference,56,1996, pp. 65-77.
- Alice Ann Miller and Cheryl E. Praeger Non-Cayley, Vertex-Transitive Graphs of Order Twice the Product of Two Odd Primes. Journal of Algebraic Combinatorics,3,1994, pp. 77-111.
- Alice Ann Miller A Subspace Theorem for Ordinary Linear-Differential Equations. The Journal of the Australian Mathematical Society, Series A,50,1991, pp. 320-332.
Conference/Workshop (pre)proceedings (later appeared elsewhere)
- Michael Codish, Michael Frank, Avraham Itzhakov and Alice Miller Breaking Symmetries in Graph coloring problems with Degree Matrices: the Ramsey number R(4,3,3)=30. 13th International Conference on the Integration of AI and OR Techniques in Constraint Programming, Banff, Canada, LNCS 9976, pp. 9--10 (Extended Abstract). May 2016.
- Muffy Calder, Phil Gray, Alice Miller and Chris Unsworth. An Introduction to Pervasive Automata Proceedings of FACS 2010, October 2010. (Later appeared as LNCS article)
- Douglas Graham, Muffy Calder and Alice Miller An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. Proceedings of AVOCS'07, Oxford, UK, September 2007. (Later appeared ENTCS 2009.)
- Paolo Ballarini and Alice Miller Towards Model Checking Medium Access Control for Sensor Networks. Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'06), Paphos, Cyprus, November 2006, pp. 256--262. (Later appeared as IEEE-- --proceedings, 2008)
- A. F. Donaldson and A. Miller Extending Symmetry Reduction Techniques to a realistic model of Computation. Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVOCS'06), Nancy, France, September 2006, pp. 63--74. (Later appeared in ENTCS).
- Alastair Donaldson, Alice Miller and Muffy Calder SPIN-to-GRAPE: A tool for analysing symmetry in Promela models. Proceedings of the 6th AMAST workshop on real time systems (ARTS'04), pp. 67--84, July 2004. (Later appeared in ENTCS 2005)
- Alastair Donaldson, Alice Miller and Muffy Calder Finding Symmetry in models of concurrent systems by static channel diagram analysis Proceedings of the 4th International workshop on automated verification of critical systems (AVOCS'04), July 2004. (Later appeared in ENTCS 2005)
- M. Calder and A. Miller Five ways to use symmetry and induction in the verification of networks of processes using model-checking Proceedings of 2nd Workshop on Automated Verification of Critical Systems (AVoCS 2002), 15-16 April, Birmingham, pp. 29--42, 2002.
Technical Reports/Abstracts etc.
- Ivaylo
Valkov and Alice
Miller Using
model checking in the design of a sensor network
protocol. Proceedings of the 26th Automated Reasoning Workshop (ARW 2019), Middlesex, UK, Septemner 2019.
- William
Kavanagh and Alice
Miller Chained
strategy generation: A technique for balancing multiplayer games
using model checking. Proceedings of the 26th Automated Reasoning Workshop (ARW 2019), Middlesex, UK, Septemner 2019.
- Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller and Gethin Norman Probabilistic Model checking for Autonomous Agent Strategy Synthesis. Proceedings of the International Workshop on the Verification and Validation of Autonomous Systems (VaVAS 2018), Oxford, UK, July 2018.
- Alice Miller, Dragos Miron and Sharan Maiya GraphDraw -A Tool for the Representation of Graphs using inherent symmetry. Proceedings of the first international conference on symmetry, Barcelona, Spain, October 2017.
- Alice Miller and Michael Codish Graphs with girth at least 5 with orders netween 20 and 32 (technical report). CoRR:abs/1708.06576, 2017.
- Ruth Hoffman, Murray Ireland, Alice Miller, Gethin Norman and Sandor Veres Continuous-time model of an autonomous vehicle to inform and validate formal verification methods (technical report). CoRR:abs/1609.00177, 2016.
- Ryan Kirwan and Alice Miller Formal proof of abstraction for agent-based learning systems. Proceedings of ARW'13, University of Dundee, Dundee, UK, April 2013.
- Alice Miller A Collection of Linear Spaces of Order 16 with Block Size 4, with diamond-free complement graphs. University of Glasgow, Department of Computing Science Technical Report No. TR-2012-331.
- Yu Lu and Alice Miller Timed Analysis of RFID Distance Bounding Protocols. Proceedings of ARW'12, University of Manchester, Manchester, UK, April 2012.
- Ryan Kirwan and Alice Miller Progress on Model Checking Robot Behaviour. Proceedings of ARW'12, University of Manchester, Manchester, UK, April 2012.
- Ryan Kirwan and Alice Miller Abstraction for Model Checking Robot Behaviour Proceedings of ARW'11, University of Glasgow, Glasgow, UK, pp. 1--2, April 2011.
- A. Miller and P.Prosser Diamond-free Degree Sequences. University of Glasgow, Department of Computing Science Technical Report No. TR-2010-318.
- Christopher Power and Alice Miller An approach to probabilistic symmetry reduction. Proceedings of ARW'10, University of Westminster, London, UK, pp. 32--33, March 2010.
- Ryan Kirwan and Alice Miller Model checking multi-agent systems. Proceedings of ARW'10, University of Westminster, London, UK, pp. 18--19, March 2010.
- S. Ripon and A. Miller Semantic Embedding of Promela-Lite in PVS. Proceedings of ARW'09, Liverpool, UK, April 2009.
- C. Power and A. Miller Symmetry reduction of partially symmetric systems. Proceedings of ARW'09, Liverpool, UK, April 2009.
- A. Miller and A.F. Donaldson Property Preservation in Quotient Structures. University of Glasgow, Department of Computing Science Technical Report No. TR-2008-270.
- Alice Miller and Alastair Donaldson Symmetry reduction methods for Model Checking. Proceedings of the 14th workshop on Automated Reasoning, London, UK, April 2007, pp. 17--18.
- Alice Miller Triangle-free Linear Spaces on 13 points with line sizes 2,3, and 4 University of Glasgow, Department of Computing Science Technical Report No. TR-2007-235.
- A.F. Donaldson and A. Miller Symmetry reduction for probabilistic systems. Proceedings of the 12th workshop on Automated Reasoning, Edinburgh, UK, July 2005, pp. 17--18.
- A. Miller and M. Calder Two approaches to verifying the Tree identify phase of the IEEE 1394 (FireWire) protocol for any size of network University of Glasgow, Department of Computing Science Technical Report No. TR-2003-144.
- M. Calder and A. Miller Feature Validation Detection by Pairwise Analysis of LTL Properties University of Glasgow, Department of Computing Science Technical Report No. TR-2002-116.
- M. Calder and A. Miller Feature Validation for any number of processes University of Glasgow, Department of Computing Science Technical Report No. TR-2002-110.
- M. Calder and A. Miller Feature Interaction Analysis using the model-checker SPIN University of Glasgow, Department of Computing Science Technical Report No. TR-2001-91.
- M. Calder and A. Miller Using SPIN to Analyse the FireWire Protocol -- a Case Study (Extended abstract) Proceedings of the IEEE 1394 (FireWire) Workshop, Berlin, March 13, 2001, pp. 9-13. (Later extended and appeared in Formal Aspects of Computing)
- Muffy Calder and Alice Miller Model Checking Networks of Telecommunications Services using SPIN University of Glasgow, Department of Computing Science Technical Report No. TR-2000-53.
Editorship
Submitted Papers
- Craig
Reilly and Alice Miller Dynamically weakened constraints in
bounded constraint search. Submitted December 2019.
- Yu
Lu, Xianghua Fu and Alice A. Miller A novel approach for
signal reconstruction in robotic vision systems based on
backtracking regularized adaptive matching pursuit. Submitted October 2019.
- D. Fraser,
R. Giaquinta, R. Hoffmann, M. Ireland, A. Miller and
G. Norman Collaborative models for autonomous systems
controller synthesis Submitted April 2019.
Back to Alice Miller's homepage. email: alice.miller@glasgow.ac.uk