Search the dblp DataBase

Publications of Author

1. Alastair F. Donaldson, Alice Miller
   A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:374-380 [Conf]
   
2. Alastair F. Donaldson, Alice Miller
   Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. [Citation Graph (0, 0)][DBLP]
   ATVA, 2006, pp:9-23 [Conf]
   
3. Muffy Calder, Alice Miller
   Detecting Feature Interactions: How Many Components Do We Need? [Citation Graph (0, 0)][DBLP]
   Objects, Agents, and Features, 2003, pp:45-66 [Conf]
   
4. Muffy Calder, Alice Miller
   Generalising Feature Interactions in Email. [Citation Graph (0, 0)][DBLP]
   FIW, 2003, pp:187-204 [Conf]
   
5. Alice Miller, Muffy Calder
   A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. [Citation Graph (0, 0)][DBLP]
   FIW, 2005, pp:217-235 [Conf]
   
6. Alastair F. Donaldson, Alice Miller
   Automatic Symmetry Detection for Model Checking Using Computational Group Theory. [Citation Graph (0, 0)][DBLP]
   FM, 2005, pp:481-496 [Conf]
   
7. Alastair F. Donaldson, Alice Miller
   Exact and Approximate Strategies for Symmetry Reduction in Model Checking. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:541-556 [Conf]
   
8. Muffy Calder, Alice Miller
   Automatic Verification of any Number of Concurrent, Communicating Processes. [Citation Graph (0, 0)][DBLP]
   ASE, 2002, pp:227-230 [Conf]
   
9. Muffy Calder, Alice Miller
   Using SPIN for Feature Interaction Analysis - A Case Study. [Citation Graph (0, 0)][DBLP]
   SPIN, 2001, pp:143-162 [Conf]
   
10. Alice Miller, Muffy Calder, Alastair F. Donaldson
    A template-based approach for the generation of abstractable and reducible models of featured networks. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2007, v:51, n:2, pp:439-455 [Journal]
    
11. Alice Miller, Alastair F. Donaldson, Muffy Calder
    Symmetry in temporal logic model checking. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 2006, v:38, n:3, pp:- [Journal]
    
12. Alastair F. Donaldson, Alice Miller, Muffy Calder
    Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:161-177 [Journal]
    
13. Alastair F. Donaldson, Alice Miller, Muffy Calder
    Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:139, n:1, pp:3-23 [Journal]
    
14. Muffy Calder, Alice Miller
    Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:14, n:3, pp:247-266 [Journal]
    
15. Muffy Calder, Alice Miller
    Feature interaction detection by pairwise analysis of LTL properties - A case study. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:28, n:3, pp:213-261 [Journal]
    
16. Alastair F. Donaldson, Alice Miller
    Extending Symmetry Reduction Techniques to a Realistic Model of Computation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:185, n:, pp:63-76 [Journal]
    
17. 
    Verifying parametrized, featured networks by abstraction. [Citation Graph (, )][DBLP]
    
    
18. 
    Model Checking Medium Access Control for Sensor Networks. [Citation Graph (, )][DBLP]
    
    
19. 
    GRIP: Generic Representatives in PRISM. [Citation Graph (, )][DBLP]
    
    
20. 
    Prism2Promela. [Citation Graph (, )][DBLP]
    
    
21. 
    Language-Level Symmetry Reduction for Probabilistic Model Checking. [Citation Graph (, )][DBLP]
    
    
22. 
    Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin. [Citation Graph (, )][DBLP]
    
    
23. 
    On the constructive orbit problem. [Citation Graph (, )][DBLP]
    
    
24. 
    An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. [Citation Graph (, )][DBLP]
    
    
25. 
    Preface. [Citation Graph (, )][DBLP]