Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Alastair F. Donaldson

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Daniel Kroening

> Home > Persons > Alastair F. Donaldson

Publications

2012
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DonaldsonKKTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DonaldsonKKTW12
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl:
Counterexample-guided abstraction refinement for symmetric concurrent programs. Formal Methods Syst. Des. 41(1): 25-44 (2012)
[c33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BaslerDKKTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BaslerDKKTW12
Gérard Basler, Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, Thomas Wahl:
satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). TACAS 2012: 552-555
2011
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DonaldsonKR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DonaldsonKR11
Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer:
Automatic analysis of DMA races using model checking and k-induction. Formal Methods Syst. Des. 39(1): 83-113 (2011)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AlglaveDKT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AlglaveDKT11
Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig:
Making Software Verification Tools Really Work. ATVA 2011: 28-42
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DonaldsonKKW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DonaldsonKKW11
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl:
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs. CAV 2011: 356-371
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/DonaldsonKR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/DonaldsonKR11
Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer:
SCRATCH: a tool for automatic analysis of dma races. PPoPP 2011: 311-312
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/DonaldsonHKR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/DonaldsonHKR11
Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer:
Software Verification Using k-Induction. SAS 2011: 351-368
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/DonaldsonHK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/DonaldsonHK11
Alastair F. Donaldson, Leopold Haller, Daniel Kroening:
Strengthening Induction-Based Race Checking with Lightweight Static Analysis. VMCAI 2011: 169-183
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1102-2330
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-2330
Alastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl:
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report). CoRR abs/1102.2330 (2011)
2010
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/DonaldsonHKR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/DonaldsonHKR10
Alastair F. Donaldson, Nannan He, Daniel Kroening, Philipp Rümmer:
Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction. FMCO 2010: 297-315
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/DonaldsonKR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/DonaldsonKR10
Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer:
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. TACAS 2010: 280-295

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.