Alastair F. Donaldson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

16EELee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly: Deriving Efficient Data Movement from Decoupled Access/Execute Specifications. HiPEAC 2009: 168-182
15EEAlastair F. Donaldson, Paul Keir, Anton Lokhmotov: Compile-Time and Run-Time Issues in an Auto-Parallelisation System for the Cell BE Processor. Euro-Par Workshops 2008: 163-173
14EEAlastair F. Donaldson, Alice Miller: Automatic Symmetry Detection for Promela. J. Autom. Reasoning 41(3-4): 251-293 (2008)
13EEDragan Bosnacki, Alastair F. Donaldson, Michael Leuschel, Thierry Massart: Efficient Approximate Verification of Promela Models Via Symmetry Markers. ATVA 2007: 300-315
12EEAlastair F. Donaldson, Colin Riley, Anton Lokhmotov, Andrew Cook: Auto-parallelisation of Sieve C++ Programs. Euro-Par Workshops 2007: 18-27
11EEAlastair F. Donaldson, Alice Miller, David Parker: GRIP: Generic Representatives in PRISM. QEST 2007: 115-116
10EEAlice 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)
9EEAlastair F. Donaldson, Alice Miller: Extending Symmetry Reduction Techniques to a Realistic Model of Computation. Electr. Notes Theor. Comput. Sci. 185: 63-76 (2007)
8EEAlastair F. Donaldson, Alice Miller: A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. AMAST 2006: 374-380
7EEAlastair F. Donaldson, Alice Miller: Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives. ATVA 2006: 9-23
6EEAlastair F. Donaldson, Alice Miller: Exact and Approximate Strategies for Symmetry Reduction in Model Checking. FM 2006: 541-556
5EEAlice Miller, Alastair F. Donaldson, Muffy Calder: Symmetry in temporal logic model checking. ACM Comput. Surv. 38(3): (2006)
4EEAlastair F. Donaldson, Alice Miller: Automatic Symmetry Detection for Model Checking Using Computational Group Theory. FM 2005: 481-496
3EEAlastair F. Donaldson, Simon J. Gay: Etch: An Enhanced Type Checking Tool for Promela. SPIN 2005: 266-271
2EEAlastair 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)
1EEAlastair 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)

Coauthor Index

1Dragan Bosnacki [13]
2Muffy Calder (Muffy Thomas) [1] [2] [5] [10]
3Andrew Cook [12]
4Simon J. Gay [3]
5Lee W. Howes [16]
6Paul Keir [15]
7Paul H. J. Kelly [16]
8Michael Leuschel [13]
9Anton Lokhmotov [12] [15] [16]
10Thierry Massart [13]
11Alice Miller [1] [2] [4] [5] [6] [7] [8] [9] [10] [11] [14]
12David Parker [11]
13Colin Riley [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)