Publications for 'Dr Alice A Miller' ordered by Year. (63)2012A collection of Linear Spaces of order 16 with block size 4, with diamondfree complement graphsMiller,A. DCS Technical Report Series pp 140 Dept of Computing Science, University of Glasgow [More Details]. 2011Proceedings of the 18th Workshop on Automated ReasoningMiller,A. Kirwan,R. DCS Technical Report Series pp 39 Dept of Computing Science, University of Glasgow [More Details]. 2010An Approach to Probabilistic Symmetry ReductionPower,C. Miller,A. Proceedings of the Automated Reasoning Workshop 2010 (ARW'10) pp 3233 [More Details]. Modelling Multiagent systems Kirwan,R. Miller,A. Proceedings of the Automated Reasoning Workshop 2010 (ARW'10) pp 1819 [More Details]. Verification of a Symmetry Detection Technique using PVS Ripon,S. Miller,A. Proceedings of the 10th International Conference on Automated Verification of Critical Systems (AVOCS'10) [More Details]. Diamondfree Degree Sequences Miller,A. Prosser,P. DCS Technical Report Series pp 1 to 9 Dept of Computing Science, University of Glasgow [More Details]. An Introduction to Pervasive Automata Calder,M. Gray,P. Miller,A. Unsworth,C. Proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010), October 2010 Springer [More Details]. 2009Semantic Embedding of Promelalite in PVSRipon,S. Miller,A. Proceedings of the 16th Workshop on Automated reasoning [More Details]. Towards Verifying Correctness of Wireless Sensor Network Applications using Insense and Spin Sharma,O. Lewis,J. Miller,A. Dearle,A. Balasubramaniam,D. Morrison,R. Sventek,J. Proceedings of the 16th Spin workshop (Spin'09), Lecture Notes in Computing Science 5758 pp 223240 Springer [More Details]. Preface to Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems Miller,A. Calder,M. Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS'08). Electronic Notes in Computer Science vol 250(2) pp 12 Elsevier Science [More Details]. An inductive technique for parameterised model checking of degenerative distributed randomised protocols Graham,D. Calder,M. Miller,A. ENTCS, volume 250(1) pp 87103 Electronic Notes in Theoretical Computer Science [More Details]. Languagelevel Symmetry Reduction for Probabilistic Model Checking Donaldson,A.F. Miller,A. Parker,D. Proceedings of the 6th International Conference on Quantitative Evaluation of Systems (QEST'09) pp 289298 IEEE Computer Society Press [More Details]. On the constructive orbit problem Donaldson,A. Miller,A. Annals of Mathematics and Artificial Intelligence pp 1102 Springer [More Details]. Towards the Verification of Pervasive Systems Arapinis,M. Calder,M. Denis,L. Fisher,M. Gray,P. Konur,S. Miller,A. Ritter,E. Ryan,M. Schewe,S. Unsworth,C. Yasmin,R. Proceedings of Third International Workshop on Formal Methods in Interactive Systems (FMIS 2009). Electronic Communications of the EASST. [More Details]. A Semantic Embedding of PromelaLite in PVS Ripon,S. Miller,A. Donaldson,D. Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVoCS'09) [More Details]. Symmetry Reduction of Partially Symmetric Systems Power,C. Miller,A. Proceedings of the 16th Workshop on Automated Reasoning [More Details]. 2008Prism2PromelaPower,C. Miller,A. Proceedings of Quantitative Evaluation of Systems (QEST 2008) pp 7980 IEEE [More Details]. Model Checking Medium Access Control for Sensor Networks Ballarini,P. Miller,A. IEEE Proceedings of ISOLA'06 Leveraging Applications of Formal methods pp 255262 IEEE Computer Society Press [More Details]. Property Preservation in Quotient Structures Miller,A. Donaldson,A. DCS Technical Report Series pp 134 Dept of Computing Science, University of Glasgow [More Details]. Automatic Symmetry Detection for Promela Donaldson,A.F. Miller,A. Journal of Automated Reasoning, Volume 41, Issue 34 pp 251293 Springer [More Details]. An automatic abstraction technique for verifying featured, parameterised systems Calder,M. Miller,A. Theoretical Computer Science, Volume 404 pp 235255 Elsevier Science [More Details]. 2007GRIP: Generic Representatives in PRISMDonaldson,A.F. Miller,A. Parker,D. Proceedings of the fourth International Conference on the Quantitative Evaluation of Systems (QEST'07) pp 115116 IEEE Computer Society Press [More Details]. Symmetry reduction Techniques for Explicitstate model checking Donaldson,A.F. Miller,A. Proceedings of the first International Symmetry Conference. pp 4145 [More Details]. Symmetry Reduction Methods for Model Checking Miller,A. Donaldson,A. Proceedings of the 14th workshop on Automated Reasoning [More Details]. Trianglefree Linear Spaces on 13 points with line sizes 2,3, and 4 Miller,A. DCS Technical Report Series pp 112 Dept of Computing Science, University of Glasgow [More Details]. A templatebased approach for the generation of abstractable and reducible models of featured networks Miller,A. Calder,M. Donaldson,A.F. Computer Networks volume 51(2) pp 439455 Elsevier Science [More Details]. 2006A Computational Group Theoretic Symmetry Reduction Package for the SPIN Model CheckerDonaldson,A.F. Miller,A. Proceedings of the 11th International Conference on Algebraic Methodology and Software Technology, AMAST'06. Lecture Notes in Computer Science vol. 4019. pp 374380 Springer [More Details]. Symmetry reduction for probabilistic model checking Donaldson,A.F. Miller,A. Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06). Lecture Notes in Computing Science volume 4218. pp 923 Springer [More Details]. Extending Symmetry Reduction Techniques to a realistic model of Computation Donaldson,A.F. Miller,A. Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS'06) pp 6376 [More Details]. Evaluating a Formal Methods Technique via Student Assessed Exercises Donaldson,A.F. Miller,A. Proceedings of the Workshop on Formal Methods in the Teaching Lab (FMEd 2006) pp 6374 [More Details]. The use of an Electronic Voting System in a Formal Methods Course Miller,A. Cutts,Q. Proceedings of the Workshop on Formal Methods in the Teaching Lab (FMEd 2006) pp 38 [More Details]. (Towards) Model Checking Medium Access Control for Sensor Networks Ballarini,P. Miller,A. Proceedings of the second international symposium on leveraging applications of formal methods pp 256262 [More Details]. Exact and Approximate Strategies for Symmetry Reduction in Model Checking Donaldson,A.F. Miller,A. Proceedings of the 14th International Symposium on Formal Methods (FM'06), volume 4085 of Lecture Notes in Computer Science. pp 541556 Springer [More Details]. Symmetry in temporal logic model checking Miller,A. Donaldson,A.F. Calder,M. ACM Computing Surveys, volume 38, issue 3 ACM [More Details]. Feature Interaction Detection by Pairwise Analysis of LTL Propertiesa case study Calder,M. Miller,A. Formal Methods in System Design, Volume 28(3), May 2006 pp 213261 Springer [More Details]. Verifying parameterised networks by abstraction and induction: experience from the IEEE 1394 protocol Miller,A. Calder,M. DCS Technical Report Series pp 39 Dept of Computing Science, University of Glasgow [More Details]. 2005A Constraint model and a reduction operator for the minimising open stacks problemMiller,A. Prosser,P. Unsworth,C. Proceedings of the constraint modelling challenge, in conjuction with the fifth workshop on modelling and solving problems with constraints held at IJCAI'05 pp 4450 [More Details]. A generic approach for the automatic verification of featured, parameterised systems Miller,A. Calder,M. In proceedings of Eighth International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI '05) pp 217235 IOS Press [More Details]. Automatic Symmetry Detection for Model Checking Using Computational Group Theory Donaldson,A.F. Miller,A. Proceedings of the 13th International Symposium on Formal Methods Europe (FME 2005). Lecture Notes in Computing Science volume 3582. pp 481496 Springer [More Details]. Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis Donaldson,A.F. Miller,A. Calder,M. Electronic Notes in Theoretical Computer Science, volume 128/6 pp 161177 Elsevier Science [More Details]. Improved lower bounds for solving the minimal open stacks problem Miller,A. 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 3643 [More Details]. Symmetry Reduction for Probabilistic Systems Donaldson,A.F. Miller,A. Proceedings of the 12th Worskhop on Automated Reasoning, Edinburgh, July 2005. pp 1718 [More Details]. 2004SPINtoGRAPE: a tool for analysing symmetry in Promela modelsDonaldson,A. Miller,A. Calder,M. Electronic notes in Theoretical computer science 139/1 pp 323 Elsevier Science [More Details]. Solving the Rehearsal Problem with Planning and with Model Checking Gregory,P. Miller,A. Prosser,P. 16th European Conference on Artificial Intelligence (ECAI 2004), workshop W14: Modelling and Solving Problems with Constraints pp 157171 [More Details]. Comparing the use of symmetry in constraint processing and model checking Donaldson,A. Miller,A. Calder,M. Proceedings of the the 4th International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'04) pp 1825 [More Details]. Verifying parameterised, featured networks by abstraction Calder,M. Miller,A. Proceedings of the first International Symposium on Leveraging Applications of Formal Methods (ISOLA'04) pp 227234 [More Details]. Detecting feature interactions: how many components do we need? Calder,M. Miller,A. Objects, Agents and Features. Lecture Notes in Computing Science. Volume 2975 pp 4566 Springer Verlag [More Details]. 2003Generalising Feature Interactions in EmailCalder,M. Miller,A. Feature Interactions in Telecommunications and Software Systems VII pp 187205 IOS Press [More Details]. An application of abstraction and induction techniques to degenerating systems of processes Miller,A. Calder,M. Proceedings of the International Workshop on ModelChecking for Dependable SoftwareIntensive Systems (MCDSIS`03), supplement to the Proceedings of DSN2003 pp W75  W79 IEEE Computer Society Press [More Details]. Two approaches to verifying the Tree identify phase of the IEEE 1394 (FireWire) protocol for any size of network Miller,A. Calder,M. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. Using SPIN to Analyse the Tree Identification phase of the IEEE 1394 High Performance Serial Bus (FireWire) Protocol Calder,M. Miller,A. Formal Aspects of Computing 14 (2003) 3 pp 247266 Springer Verlag [More Details]. 2002Five ways to use induction and symmetry in the verification of networks of processes by modelcheckingCalder,M. Miller,A. Proceedings of AvoCS 2002 (Automated Verification of Critical Systems), University of Birmingham School of Computer Science Technical Report CSR026 pp 2942 [More Details]. Feature Validation for any Number of Processes Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. Automatic verification of any number of concurrent, communicating processes Calder,M. Miller,A. Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002) pp 227230 IEEE [More Details]. Feature Interaction Detection by Pairwise Analysis of LTL Properties Calder,M. Miller,A. DCS Tech Report [More Details]. 2001Using SPIN for Feature Interaction Analysis  a Case StudyCalder,M. Miller,A. Proceedings of the 8th International SPIN Workshop (SPIN 2001), Toronto, Canada. Lecture Notes in Computer Science, vol 2057 pp 143162 Springer [More Details]. Using the Model Checker SPIN to Detect Feature Interactions in Telecommunications Services Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. Using SPIN to Analyse the FireWire Protocol  a Case Study Calder,M. Miller,A. Proceedings of the International Workshop on Application of Formal Methods to IEEE 1394 Standard pp 913 University of Stirling [More Details]. 2000Model Checking Networks of Telecommunications Services using SPINCalder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details]. 1998Analysing a Basic Call Protocol using PROMELA/XSPINCalder,M. Miller,A. Proceedings SPIN '98: Workshop on Automata Theoretic Verification with the SPIN model Checker, Paris, G. Holzmann (ed.) pp 169181 [More Details]. 1996Lineclosed Subsets of Steiner Triple Systems and Classical Linear SpacesCamina,A.R. Miller,A. Journal of Statistical Planning and Inference Vol:56 pp 6577 [More Details]. 1994NonCayley vertextransitive graphs of order twice the product of two odd primesMiller,A. Praeger,C. Journal of Algebraic combinatorics 3 pp 77111 Kluwer [More Details]. 1991A Subspace theorem for ordinary linear differential equationsMiller,A. Journal of the Australian Mathematical Society (Series A) volume 50 pp 320332 Wiley [More Details]. 
