| 2008 |
|---|
| 21 | EE | Christopher Power,
Alice Miller:
Prism2Promela.
QEST 2008: 79-80 |
| 20 | EE | Alastair F. Donaldson,
Alice Miller:
Automatic Symmetry Detection for Promela.
J. Autom. Reasoning 41(3-4): 251-293 (2008) |
| 19 | EE | Muffy Calder,
Alice Miller:
An automatic abstraction technique for verifying featured, parameterised systems.
Theor. Comput. Sci. 404(3): 235-255 (2008) |
| 2007 |
|---|
| 18 | EE | Alastair F. Donaldson,
Alice Miller,
David Parker:
GRIP: Generic Representatives in PRISM.
QEST 2007: 115-116 |
| 17 | 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) |
| 16 | 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 |
|---|
| 15 | EE | Alastair F. Donaldson,
Alice Miller:
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker.
AMAST 2006: 374-380 |
| 14 | EE | Alastair F. Donaldson,
Alice Miller:
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives.
ATVA 2006: 9-23 |
| 13 | EE | Alastair F. Donaldson,
Alice Miller:
Exact and Approximate Strategies for Symmetry Reduction in Model Checking.
FM 2006: 541-556 |
| 12 | EE | Alice Miller,
Alastair F. Donaldson,
Muffy Calder:
Symmetry in temporal logic model checking.
ACM Comput. Surv. 38(3): (2006) |
| 11 | 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 |
|---|
| 10 | | Alice Miller,
Muffy Calder:
A Generic Approach for the Automatic Verification of Featured, Parameterised Systems.
FIW 2005: 217-235 |
| 9 | EE | Alastair F. Donaldson,
Alice Miller:
Automatic Symmetry Detection for Model Checking Using Computational Group Theory.
FM 2005: 481-496 |
| 8 | 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) |
| 7 | 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) |
| 2004 |
|---|
| 6 | | Muffy Calder,
Alice Miller:
Verifying parametrized, featured networks by abstraction.
ISoLA (Preliminary proceedings) 2004: 227-234 |
| 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 |
