UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for '- no address book entry -' ordered by Year. (22)

2009 2008 2007 2006 2005 2004

2009

Language-level 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 289-298 IEEE Computer Society Press [More Details].

On the constructive orbit problem
Donaldson,A. Miller,A. Annals of Mathematics and Artificial Intelligence pp 1-102 Springer [More Details].

2008

Property Preservation in Quotient Structures
Miller,A. Donaldson,A. DCS Technical Report Series pp 1-34 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 3-4 pp 251--293 Springer [More Details].

2007

Symmetry reduction Techniques for Explicit-state model checking
Donaldson,A.F.
Miller,A. Proceedings of the first International Symmetry Conference. pp 41-45 [More Details].

A template-based 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 439-455 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 115-116 IEEE Computer Society Press [More Details].

2006

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 541-556 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 374-380 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 9-23 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 63--76 [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 (FM-Ed 2006) pp 63-74 [More Details].

2005

SymNet Workshop on Almost-Symmetry in Search
Donaldson,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 161-177 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 138-139 [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 481--496 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 17--18 [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 266-271 Springer [More Details].

2004

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 18-25 [More Details].

SPIN-to-GRAPE: a tool for analysing symmetry in Promela models
Donaldson,A. Miller,A. Calder,M. Electronic notes in Theoretical computer science 139/1 pp 3-23 Elsevier Science [More Details].