- Prism2Promela Christopher Power, Alice Miller
- Using SPIN for Feature Interaction Analysis { a M. Calder and A. Miller
- Model Checking Multi-Agent Systems Ryan Kirwan
- Replace this le with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- A Computational Group Theoretic Symmetry Reduction Package for the SPIN Model Checker
- (Towards) Model Checking Medium Access Control for Sensor Networks
- Lineclosed Subsets of Steiner Triple Systems and Classical Linear Spaces 1
- GRIP: Generic Representatives in PRISM Alastair F. Donaldson
- An application of abstraction and induction techniques to degenerating systems of processes
- Feature validation for any number of processes M. Calder and A. Miller
- Electronic Communications of the EASST Volume 22 (2009)
- Model Checking Medium Access Control for Sensor Networks
- Symmetry in Temporal Logic Model Checking ALICE MILLER, ALASTAIR DONALDSON, AND MUFFY CALDER
- Journal of Algebraic Combination 3 (1994), 77-111 1994 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands
- Semantic Embedding of Promela-Lite in PVS Shamim H Ripon
- Book Editors IOS Press, 2003
- Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson
- Two approaches to verifying the Tree identify phase of the IEEE 1394 (FireWire) protocol
- Analysing a Basic Call Protocol using PROMELA/XSPIN
- Exact and Approximate Strategies for Symmetry Reduction in Model Checking
- Symmetry Reduction Techniques for ExplicitState Model Checking
- An Approach to Probabilistic Symmetry Reduction Christopher Power
- Symmetry Reduction of Partially Symmetric Systems Christopher Power
- Automatic Symmetry Detection for Model Checking Using Computational Group Theory
- Improved lower bounds for solving the minimal open stacks problem Alice Miller,
- Extending Symmetry Reduction Techniques to a Realistic Model of Computation
- A Constraint Model and a Reduction Operator for the Minimising Open Stacks Alice Miller and Patrick Prosser and Chris Unsworth
- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
- Evaluating a Formal Methods Technique via Student Assessed Exercises
- Generalising Feature Interactions in Email Muffy CALDER and Alice MILLER
- Electronic Communications of the EASST Volume ? (2009)
- Model Checking Networks of Telecommunications Services using SPIN
- Comparing the use of symmetry in constraint processing and model checking Alastair Donaldson, Alice Miller, Muffy Calder
- Symmetry Reduction Methods for Model Checking Alice Miller and Alastair Donaldson
- Symmetry Reduction for Probabilistic Systems Alastair F. Donaldson, Alice Miller
- Feature Interaction Detection by Pairwise Analysis of LTL Properties
- Abstraction for Model Checking Robot Behaviour Ryan Kirwan
- Using the Model Checker SPIN to Detect Feature Interactions in Telecommunications
- Automated Reasoning Proceedings
