×

Donaldson, Alastair F.

Author ID: donaldson.alastair-f Recent zbMATH articles by "Donaldson, Alastair F."
Published as: Donaldson, Alastair F.; Donaldson, Alastair; Donaldson, A. F.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 56 times in 50 Documents Cited by Year
Certified roundoff error bounds using semidefinite programming. Zbl 1380.65084
Magron, Victor; Constantinides, George; Donaldson, Alastair
15
2017
Automatic symmetry detection for model checking using computational group theory. Zbl 1120.68414
Donaldson, A. F.; Miller, A.
9
2005
Symmetry reduction for probabilistic model checking using generic representatives. Zbl 1161.68564
Donaldson, Alastair F.; Miller, Alice
9
2006
Automatic analysis of DMA races using model checking and \(k\)-induction. Zbl 1233.68124
Donaldson, Alastair F.; Kroening, Daniel; Rümmer, Philipp
4
2011
Efficient approximate verification of Promela models via symmetry markers. Zbl 1141.68453
Bošnački, Dragan; Donaldson, Alastair F.; Leuschel, Michael; Massart, Thierry
4
2007
Interleaving and lock-step semantics for analysis and verification of GPU kernels. Zbl 1381.68139
Collingbourne, Peter; Donaldson, Alastair F.; Ketema, Jeroen; Qadeer, Shaz
3
2013
On the constructive orbit problem. Zbl 1205.68220
Donaldson, Alastair F.; Miller, Alice
2
2009
Strengthening induction-based race checking with lightweight static analysis. Zbl 1317.68113
Donaldson, Alastair F.; Haller, Leopold; Kroening, Daniel
2
2011
Overhauling SC atomics in C11 and OpenCL. Zbl 1347.68034
Batty, Mark; Donaldson, Alastair F.; Wickerson, John
2
2016
Counterexample-guided abstraction refinement for symmetric concurrent programs. Zbl 1284.68179
Donaldson, Alastair F.; Kaiser, Alexander; Kroening, Daniel; Tautschnig, Michael; Wahl, Thomas
2
2012
Extending symmetry reduction techniques to a realistic model of computation. Zbl 1335.68135
Donaldson, Alastair F.; Miller, Alice
1
2007
Finding symmetry in models of concurrent systems by static channel diagram analysis. Zbl 1272.68299
Donaldson, Alastair F.; Miller, Alice; Calder, Muffy
1
2005
Automatic symmetry detection for Promela. Zbl 1191.68411
Donaldson, Alastair F.; Miller, Alice
1
2008
A sound and complete abstraction for reasoning about parallel prefix sums. Zbl 1284.68387
Chong, Nathan; Donaldson, Alastair F.; Ketema, Jeroen
1
2014
Certified roundoff error bounds using semidefinite programming. Zbl 1380.65084
Magron, Victor; Constantinides, George; Donaldson, Alastair
15
2017
Overhauling SC atomics in C11 and OpenCL. Zbl 1347.68034
Batty, Mark; Donaldson, Alastair F.; Wickerson, John
2
2016
A sound and complete abstraction for reasoning about parallel prefix sums. Zbl 1284.68387
Chong, Nathan; Donaldson, Alastair F.; Ketema, Jeroen
1
2014
Interleaving and lock-step semantics for analysis and verification of GPU kernels. Zbl 1381.68139
Collingbourne, Peter; Donaldson, Alastair F.; Ketema, Jeroen; Qadeer, Shaz
3
2013
Counterexample-guided abstraction refinement for symmetric concurrent programs. Zbl 1284.68179
Donaldson, Alastair F.; Kaiser, Alexander; Kroening, Daniel; Tautschnig, Michael; Wahl, Thomas
2
2012
Automatic analysis of DMA races using model checking and \(k\)-induction. Zbl 1233.68124
Donaldson, Alastair F.; Kroening, Daniel; Rümmer, Philipp
4
2011
Strengthening induction-based race checking with lightweight static analysis. Zbl 1317.68113
Donaldson, Alastair F.; Haller, Leopold; Kroening, Daniel
2
2011
On the constructive orbit problem. Zbl 1205.68220
Donaldson, Alastair F.; Miller, Alice
2
2009
Automatic symmetry detection for Promela. Zbl 1191.68411
Donaldson, Alastair F.; Miller, Alice
1
2008
Efficient approximate verification of Promela models via symmetry markers. Zbl 1141.68453
Bošnački, Dragan; Donaldson, Alastair F.; Leuschel, Michael; Massart, Thierry
4
2007
Extending symmetry reduction techniques to a realistic model of computation. Zbl 1335.68135
Donaldson, Alastair F.; Miller, Alice
1
2007
Symmetry reduction for probabilistic model checking using generic representatives. Zbl 1161.68564
Donaldson, Alastair F.; Miller, Alice
9
2006
Automatic symmetry detection for model checking using computational group theory. Zbl 1120.68414
Donaldson, A. F.; Miller, A.
9
2005
Finding symmetry in models of concurrent systems by static channel diagram analysis. Zbl 1272.68299
Donaldson, Alastair F.; Miller, Alice; Calder, Muffy
1
2005
all top 5

Cited by 119 Authors

8 Magron, Victor
6 Donaldson, Alastair F.
6 Kröning, Daniel
5 Wang, Jie
4 Miller, Alice Ann
4 Wahl, Thomas
3 Darulova, Eva
3 Lasserre, Jean-Bernard
2 Calder, Muffy
2 Igarashi, Atsushi
2 Kaiser, Alexander D.
2 Kojima, Kensuke
2 Kwiatkowska, Marta Z.
1 Abbasi, Rosa
1 Ahrendt, Wolfgang
1 Anand, Mahathi
1 Attie, Paul C.
1 Baier, Christel
1 Basler, Gérard
1 Batty, Mark
1 Batz, Kevin
1 Becker, Heiko
1 Biere, Armin
1 Bozóki, Sándor
1 Chalupa, Marek
1 Chang, Mun See
1 Chen, Mingshuai
1 Chen, Tong
1 Christakis, Maria
1 Cocke, William L.
1 Cogumbreiro, Tiago
1 Constantinides, George A.
1 Cooksey, Simon
1 Dahlqvist, Fredrik
1 de Alfaro, Luca
1 Dehnert, Christian
1 Derrick, John
1 Dixon, Clare
1 Doherty, Simon
1 Domokos, Gábor
1 Dongol, Brijesh
1 D’silva, Vijay
1 Fisher, Michael
1 Forejt, Vojtěch
1 Frenkel, S. L.
1 Gainer, Paul
1 Gebler, Daniel E.
1 Graham, Douglas
1 Haller, Leopold
1 Heath, John R.
1 Huisman, Marieke
1 Hustadt, Ullrich
1 Jacquemin, Maxime
1 Jaghoori, Mohammad Mahdi
1 Jansen, David N.
1 Jeangoudoux, Clothilde
1 Jefferson, Christopher
1 Kaminski, Benjamin Lucien
1 Kane, Jeffrey
1 Katoen, Joost-Pieter
1 Katthän, Lukas
1 Khamespanah, Ehsan
1 Klep, Igor
1 Konnov, Igor V.
1 Koprowski, Przemysław
1 Kosmatov, Nikolai
1 Lange, Julien
1 Leuschel, Michael
1 Lin, Anthony Widjaja
1 Linker, Sven
1 Lohar, Debasmita
1 Massart, Thierry Jacques
1 Matheja, Christoph
1 Mazzucchi, Michele
1 Miné, Antoine
1 Mironov, Andrew M.
1 Monat, Raphaël
1 Mousavi, Mohammadreza
1 Movaghar, Ali
1 Murali, Vishnu
1 Naumann, Helen
1 Naumov, Pavel G.
1 Norman, Gethin
1 Owens, Scott
1 Panchekha, Pavel
1 Papp, Dávid
1 Paradis, Anouk
1 Patel, Dhiren
1 Patel, Kevin
1 Patel, Reema
1 Pauwels, Edouard Jean Robert
1 Paviotti, Marco
1 Povh, Janez
1 Rakamarić, Zvonimir
1 Regős, Krisztina
1 Rong, Dennis Liew Zhen
1 Rümmer, Philipp
1 Safari, Mohsen
1 Salvia, Rocco
1 Schiffl, Jonas
...and 19 more Authors

Citations by Year