Publications for ' no address book entry ' ordered by Year. (22)2009Languagelevel Symmetry Reduction for Probabilistic Model CheckingDonaldson,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]. 2008Property Preservation in Quotient StructuresMiller,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]. 2007Symmetry reduction Techniques for Explicitstate model checkingDonaldson,A.F. Miller,A. Proceedings of the first International Symmetry Conference. pp 4145 [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]. Symmetry Reduction Methods for Model Checking Miller,A. Donaldson,A. Proceedings of the 14th workshop on Automated Reasoning [More Details]. GRIP: Generic Representatives in PRISM Donaldson,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]. 2006Exact and Approximate Strategies for Symmetry Reduction in Model CheckingDonaldson,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]. A Computational Group Theoretic Symmetry Reduction Package for the SPIN Model Checker Donaldson,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]. 2005SymNet Workshop on AlmostSymmetry in SearchDonaldson,A.F. Gregory,P. pp 61 [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]. Automatic Symmetry Detection Techniques for Model Checking Donaldson,A.F. Proceedings of Postgraduate Research Conference in Electronics, Photonics, Communications & Networks, and Computing Science (PREP'05), Lancaster pp 138139 [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]. 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]. Etch: Enhanced Typechecking for Promela Donaldson,A.F. Gay,S.J. Proceedings of the SPIN Workshop; LNCS 3639 DOI: 10.1007/11537328_21 pp 266271 Springer [More Details]. 2004Comparing the use of symmetry in constraint processing and model checkingDonaldson,A. Miller,A. Calder,M. Proceedings of the the 4th International Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'04) pp 1825 [More Details]. SPINtoGRAPE: a tool for analysing symmetry in Promela models Donaldson,A. Miller,A. Calder,M. Electronic notes in Theoretical computer science 139/1 pp 323 Elsevier Science [More Details]. 
