Alastair F. Donaldson

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

Coauthor Index

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

Colors in the list of coauthors