The SCEAS System
| |||||||

## Search the dblp DataBase
Alastair F. Donaldson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] **Auto-parallelisation of Sieve C++ Programs.**[Citation Graph (, )][DBLP]**Compile-Time and Run-Time Issues in an Auto-Parallelisation System for the Cell BE Processor.**[Citation Graph (, )][DBLP]**Towards Metaprogramming for Parallel Systems on a Chip.**[Citation Graph (, )][DBLP]**Offload - Automating Code Migration to Heterogeneous Multicore Systems.**[Citation Graph (, )][DBLP]**Deriving Efficient Data Movement from Decoupled Access/Execute Specifications.**[Citation Graph (, )][DBLP]**Tackling online game development problems with a novel network scripting language.**[Citation Graph (, )][DBLP]**GRIP: Generic Representatives in PRISM.**[Citation Graph (, )][DBLP]**Language-Level Symmetry Reduction for Probabilistic Model Checking.**[Citation Graph (, )][DBLP]**Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors.**[Citation Graph (, )][DBLP]**Automatic Offloading of C++ for the Cell BE Processor: A Case Study Using Offload.**[Citation Graph (, )][DBLP]**On the constructive orbit problem.**[Citation Graph (, )][DBLP]**Vector Symmetry Reduction.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |