| 2007 |
|---|
| 17 | EE | Alastair F. Donaldson,
Alice Miller,
David Parker:
GRIP: Generic Representatives in PRISM.
QEST 2007: 115-116 |
| 16 | EE | Alice Miller,
Muffy Calder,
Alastair F. Donaldson:
A template-based approach for the generation of abstractable and reducible models of featured networks.
Computer Networks 51(2): 439-455 (2007) |
| 15 | EE | Alastair F. Donaldson,
Alice Miller:
Extending Symmetry Reduction Techniques to a Realistic Model of Computation.
Electr. Notes Theor. Comput. Sci. 185: 63-76 (2007) |
| 2006 |
|---|
| 14 | EE | Alastair F. Donaldson,
Alice Miller:
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker.
AMAST 2006: 374-380 |
| 13 | EE | Alastair F. Donaldson,
Alice Miller:
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.
ATVA 2006: 9-23 |
| 12 | EE | Alastair F. Donaldson,
Alice Miller:
Exact and Approximate Strategies for Symmetry Reduction in Model Checking.
FM 2006: 541-556 |
| 11 | EE | Alice Miller,
Alastair F. Donaldson,
Muffy Calder:
Symmetry in temporal logic model checking.
ACM Comput. Surv. 38(3): (2006) |
| 10 | EE | Muffy Calder,
Alice Miller:
Feature interaction detection by pairwise analysis of LTL properties - A case study.
Formal Methods in System Design 28(3): 213-261 (2006) |
| 2005 |
|---|
| 9 | | Alice Miller,
Muffy Calder:
A Generic Approach for the Automatic Verification of Featured, Parameterised Systems.
FIW 2005: 217-235 |
| 8 | EE | Alastair F. Donaldson,
Alice Miller:
Automatic Symmetry Detection for Model Checking Using Computational Group Theory.
FM 2005: 481-496 |
| 7 | EE | Alastair F. Donaldson,
Alice Miller,
Muffy Calder:
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis.
Electr. Notes Theor. Comput. Sci. 128(6): 161-177 (2005) |
| 6 | EE | Alastair F. Donaldson,
Alice Miller,
Muffy Calder:
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models.
Electr. Notes Theor. Comput. Sci. 139(1): 3-23 (2005) |
| 2003 |
|---|
| 5 | | Muffy Calder,
Alice Miller:
Generalising Feature Interactions in Email.
FIW 2003: 187-204 |
| 4 | EE | Muffy Calder,
Alice Miller:
Detecting Feature Interactions: How Many Components Do We Need?
Objects, Agents, and Features 2003: 45-66 |
| 3 | EE | Muffy Calder,
Alice Miller:
Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol.
Formal Asp. Comput. 14(3): 247-266 (2003) |
| 2002 |
|---|
| 2 | EE | Muffy Calder,
Alice Miller:
Automatic Verification of any Number of Concurrent, Communicating Processes.
ASE 2002: 227-230 |
| 2001 |
|---|
| 1 | EE | Muffy Calder,
Alice Miller:
Using SPIN for Feature Interaction Analysis - A Case Study.
SPIN 2001: 143-162 |
