A. Donaldson

发表

A. Donaldson, Hugues Evrard, Paul Thomson, 2020 .
E. Torlak, A. Donaldson, 2020 .
Anton Lokhmotov, P. Keir, A. Donaldson, 2008 .
Alastair F. Donaldson, Hugues Evrard, Paul Thomson, 2020, Dagstuhl Artifacts Ser..
Alastair F. Donaldson, A. Donaldson, 2022 .
Martin Cooper, Alastair Donaldson, M. Cooper, 2017 .
Pritam M. Gharat, Cristian Cadar, A. Donaldson, 2022, ISSTA.
John Wickerson, Alastair F. Donaldson, Tyler Sorensen, 2021, Proc. ACM Program. Lang..
Albert Cohen, Adam Betts, Alastair F. Donaldson, 2014, SPLASH 2014.
John Wickerson, Alastair F. Donaldson, Matt Windsor, 2021, ISSTA.
Margaret Martonosi, John Wickerson, Alastair F. Donaldson, 2021, Proc. ACM Program. Lang..
Alastair F. Donaldson, David Parker, A. Donaldson, 2012 .
David Parker, Alastair F. Donaldson, A. Donaldson, 2012 .
Alastair F. Donaldson, Alice Miller, Alice Miller, 2007 .
Joost-Pieter Katoen, Marieke Huisman, Albert Cohen, 2013 .
Alastair F. Donaldson, Hugues Evrard, Paul Thomson, 2020, ECOOP.
John Wickerson, Alastair F. Donaldson, Tyler Sorensen, 2017, CONCUR.
Alastair F. Donaldson, Andrei Lascu, A. Donaldson, 2016, 2016 IEEE/ACM 1st International Workshop on Metamorphic Testing (MET).
Vasco Thudichum Vasconcelos, Alastair F. Donaldson, V. Vasconcelos, 2015, J. Log. Algebraic Methods Program..
Daniel Kroening, Philipp Rümmer, Alastair F. Donaldson, 2011, SAS.
Alastair F. Donaldson, Christopher Lidbury, A. Donaldson, 2019, PLDI.
Sidney Amani, Leonid Ryzhyk, Alexander Legg, 2014, OPSR.
Alastair F. Donaldson, Alice Miller, Alice Miller, 2006, ATVA.
Alastair F. Donaldson, Alice Miller, Alice Miller, 2009, Annals of Mathematics and Artificial Intelligence.
George A. Constantinides, Alastair F. Donaldson, Victor Magron, 2015, ACM Trans. Math. Softw..
Elnar Hajiyev, Albert Cohen, Chandan Reddy, 2015, 2015 International Conference on Parallel Architecture and Compilation (PACT).
Andreas Zeller, Hongyu Zhang, Alastair F. Donaldson, 2017, Dagstuhl Reports.
Alastair F. Donaldson, Pantazis Deligiannis, A. Donaldson, 2014, ICCSW.
Alastair F. Donaldson, A. Donaldson, 2014, Computing Handbook, 3rd ed..
John Wickerson, Alastair F. Donaldson, Dan Iorga, 2020, 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
Daniel Kroening, Thomas Wahl, Alastair F. Donaldson, 2011, CAV.
Thomas Wahl, Alastair F. Donaldson, A. Donaldson, 2010, Symmetry.
Alastair F. Donaldson, Alice Miller, Alice Miller, 2008, Journal of Automated Reasoning.
Dragan Bosnacki, Thierry Massart, Michael Leuschel, 2007, ATVA.
Muffy Calder, Alastair F. Donaldson, Alice Miller, 2006, CSUR.
Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alastair F. Donaldson, 2016, OOPSLA.
Alastair F. Donaldson, Jeroen Ketema, Nathan Chong, 2014, POPL.
Daniel Kroening, Philipp Rümmer, Alastair F. Donaldson, 2011, Formal Methods Syst. Des..
Alastair F. Donaldson, Hugues Evrard, Paul Thomson, 2017, Proc. ACM Program. Lang..
Alastair F. Donaldson, Andrei Lascu, A. Donaldson, 2016, 2016 IEEE/ACM 1st International Workshop on Metamorphic Testing (MET).
Adam Betts, Alastair F. Donaldson, Paul Thomson, 2016, ACM Trans. Parallel Comput..
Cristian Cadar, Qiyi Tang, Michaël Marcozzi, 2019, Proc. ACM Program. Lang..
Alastair F. Donaldson, Nathan Chong, Andrei Lascu, 2015, PLDI.
Alastair F. Donaldson, Adrian Williamson, A. Donaldson, 2005 .
Alastair F. Donaldson, A. Donaldson, 2019, 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET).
Alastair F. Donaldson, Andrei Lascu, A. Donaldson, 2015, ArXiv.
Cristian Cadar, A. Donaldson, Karine Even-Mendoza, 2023, ISSTA.
Cristian Cadar, A. Donaldson, Karine Even-Mendoza, 2022, Empirical Software Engineering.
Alastair F. Donaldson, Cristian Cadar, Michaël Marcozzi, 2019, ArXiv.
Alastair F. Donaldson, Cristian Cadar, Cristian Cadar, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).
Alastair F. Donaldson, Cristian Cadar, Karine Even-Mendoza, 2020, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Alastair F. Donaldson, Cristian Cadar, Daniel Liew, 2019, ESEC/SIGSOFT FSE.
Alastair F. Donaldson, Pantazis Deligiannis, A. Donaldson, 2015 .
Alastair F. Donaldson, Robert Chatley, Alan Mycroft, 2019, Computing and Software Science.
Zvonimir Rakamaric, Alastair F. Donaldson, Pantazis Deligiannis, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Sidney Amani, Leonid Ryzhyk, Alexander Legg, 2011, APSys.
Cheng Huang, Wolfram Schulte, Alastair F. Donaldson, 2016, FAST.
T. Hoefler, T. Grosser, A. Donaldson, 2022, 2022 IEEE Conference on Software Testing, Verification and Validation (ICST).
Alastair F. Donaldson, Christopher Lidbury, A. Donaldson, 2017, POPL.
Matthew J. Parkinson, Alastair F. Donaldson, Mike Dodds, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Daniel Kroening, Jade Alglave, Alastair F. Donaldson, 2011, ATVA.
Matthew J. Parkinson, Alastair F. Donaldson, Mike Dodds, 2011, PPoPP '11.
David Parker, Alastair F. Donaldson, A. Donaldson, 2012, Lecture Notes in Computer Science.
Adam Betts, Alastair F. Donaldson, A. Donaldson, 2013, 2013 25th Euromicro Conference on Real-Time Systems.
Alastair F. Donaldson, Cristian Cadar, Daniel Liew, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Klaus Wehrle, Daniel Schemmel, Alastair F. Donaldson, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Paul H. J. Kelly, Alastair F. Donaldson, Anton Lokhmotov, 2008, HiPEAC.
Alastair F. Donaldson, Andrew Cook, Anton Lokhmotov, 2007, Euro-Par Workshops.
Alastair F. Donaldson, George Russell, Paul Sheppard, 2008, NETGAMES.
Enrico Vicario, Luigi Sassoli, E. Vicario, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Cristian Cadar, A. Donaldson, Bachir Bendrissou, 2023, FUZZING.
John Wickerson, A. Donaldson, Matt Windsor, 2022, Softw. Test. Verification Reliab..
Alastair F. Donaldson, Alice Miller, Alice Miller, 2005, FM.