The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alastair F. Donaldson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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. 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]
  4. 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]
  5. Alastair F. Donaldson, Simon J. Gay
    Etch: An Enhanced Type Checking Tool for Promela. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:266-271 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Dragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart
    Efficient Approximate Verification of Promela Models Via Symmetry Markers. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:300-315 [Conf]
  11. 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]

  12. Auto-parallelisation of Sieve C++ Programs. [Citation Graph (, )][DBLP]


  13. Compile-Time and Run-Time Issues in an Auto-Parallelisation System for the Cell BE Processor. [Citation Graph (, )][DBLP]


  14. Towards Metaprogramming for Parallel Systems on a Chip. [Citation Graph (, )][DBLP]


  15. Offload - Automating Code Migration to Heterogeneous Multicore Systems. [Citation Graph (, )][DBLP]


  16. Deriving Efficient Data Movement from Decoupled Access/Execute Specifications. [Citation Graph (, )][DBLP]


  17. Tackling online game development problems with a novel network scripting language. [Citation Graph (, )][DBLP]


  18. GRIP: Generic Representatives in PRISM. [Citation Graph (, )][DBLP]


  19. Language-Level Symmetry Reduction for Probabilistic Model Checking. [Citation Graph (, )][DBLP]


  20. Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. [Citation Graph (, )][DBLP]


  21. Automatic Offloading of C++ for the Cell BE Processor: A Case Study Using Offload. [Citation Graph (, )][DBLP]


  22. On the constructive orbit problem. [Citation Graph (, )][DBLP]


  23. Vector Symmetry Reduction. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002