Alastair F. Donaldson

发表

John Wickerson, Ethel Bardsley, Alastair F. Donaldson, 2014, IWOCL '14.
Alastair F. Donaldson, Jeroen Ketema, 2014 .
Sidney Amani, Leonid Ryzhyk, Alexander Legg, 2012 .
George A. Constantinides, Alastair F. Donaldson, Victor Magron, 2015, ACM Trans. Math. Softw..
Daniel Kroening, Philipp Rümmer, Alastair F. Donaldson, 2011, Formal Methods Syst. Des..
Alastair F. Donaldson, Tyler Sorensen, Hugues Evrard, 2017, ESEC/SIGSOFT FSE.
Elnar Hajiyev, Albert Cohen, Chandan Reddy, 2015, 2015 International Conference on Parallel Architecture and Compilation (PACT).
Alastair F. Donaldson, Cristian Cadar, Karine Even-Mendoza, 2020, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Adam Betts, Alastair F. Donaldson, Shaz Qadeer, 2012, OOPSLA '12.
Daniel Kroening, Thomas Wahl, Alastair F. Donaldson, 2012, Formal Methods in System Design.
Muffy Calder, Alastair F. Donaldson, Alice Miller, 2006, CSUR.
Adam Betts, Alastair F. Donaldson, Paul Thomson, 2014, PPoPP '14.
John Wickerson, Alastair F. Donaldson, Tyler Sorensen, 2017, CONCUR 2017.
John Wickerson, Adam Betts, Alastair F. Donaldson, 2015, TOPL.
Alastair F. Donaldson, Tyler Sorensen, 2016, PLDI.
Alastair F. Donaldson, Andrew Cook, Anton Lokhmotov, 2007, Euro-Par Workshops.
Alastair F. Donaldson, Alice Miller, 2007, Electron. Notes Theor. Comput. Sci..
Alastair F. Donaldson, Hugues Evrard, Paul Thomson, 2020, ECOOP.
Zvonimir Rakamaric, Alastair F. Donaldson, Eva Darulova, 2017, Dagstuhl Reports.
Alastair F. Donaldson, Tyler Sorensen, Sreepathi Pai, 2019, IWOCL.
Simon J. Gay, Alastair F. Donaldson, S. Gay, 2010, Sci. Comput. Program..
Alastair F. Donaldson, 2014, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Thomas Wahl, Alastair F. Donaldson, A. Donaldson, 2010, Symmetry.
Alastair F. Donaldson, Andrei Lascu, A. Donaldson, 2016, 2016 IEEE/ACM 1st International Workshop on Metamorphic Testing (MET).
Albert Cohen, Alastair F. Donaldson, Tobias Grosser, 2015 .
Paul H. J. Kelly, Alastair F. Donaldson, Anton Lokhmotov, 2008, HiPEAC.
Alastair F. Donaldson, Pantazis Deligiannis, A. Donaldson, 2014, ICCSW.
Alastair F. Donaldson, A. Donaldson, 2014, Computing Handbook, 3rd ed..
Ethel Bardsley, Alastair F. Donaldson, E. Bardsley, 2014, NASA Formal Methods.
Daniel Kroening, Thomas Wahl, Alastair F. Donaldson, 2011, CAV.
Alastair F. Donaldson, Hugues Evrard, Paul Thomson, 2017, Proc. ACM Program. Lang..
John Wickerson, Alastair F. Donaldson, Tyler Sorensen, 2017, CONCUR.
Alastair F. Donaldson, Alice Miller, Alice Miller, 2006, ATVA.
Klaus Wehrle, Daniel Schemmel, Alastair F. Donaldson, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Ganesh Gopalakrishnan, Jade Alglave, John Wickerson, 2015, ASPLOS.
Daniel Kroening, Gérard Basler, Thomas Wahl, 2012, TACAS.
Daniel Kroening, Philipp Rümmer, Alastair F. Donaldson, 2011, SAS.
David Parker, Alastair F. Donaldson, A. Donaldson, 2012, Lecture Notes in Computer Science.
Alastair F. Donaldson, Cristian Cadar, Cristian Cadar, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).
David Parker, Alastair F. Donaldson, Alice Miller, 2007 .
Sidney Amani, Leonid Ryzhyk, Alexander Legg, 2012, SSV.
Albert Cohen, Alastair F. Donaldson, Tobias Grosser, 2015 .
Daniel Kroening, Philipp Rümmer, Alastair F. Donaldson, 2010, TACAS.
Alastair F. Donaldson, Jeroen Ketema, 2017, Sci. Comput. Program..
Alastair F. Donaldson, Andrei Lascu, A. Donaldson, 2015, ArXiv.
Andreas Zeller, Hongyu Zhang, Alastair F. Donaldson, 2017, Dagstuhl Reports.
Joost-Pieter Katoen, Marieke Huisman, Albert Cohen, 2013 .
Alastair F. Donaldson, Adrian Williamson, A. Donaldson, 2005 .
Alastair F. Donaldson, Cristian Cadar, Michaël Marcozzi, 2019, ArXiv.
Alastair F. Donaldson, Christopher Lidbury, A. Donaldson, 2019, PLDI.
Alastair F. Donaldson, Moritz Pflanzer, Andrei Lascu, 2016, IWOCL.
Alastair F. Donaldson, David Parker, Alice Miller, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Andrew Richards, Uwe Dolinsky, Paul Keir, 2010, Euro-Par Workshops.
Albert Cohen, Jun Inoue, Alastair F. Donaldson, 2013, HiPC 2013.
Alastair F. Donaldson, Cristian Cadar, Daniel Liew, 2019, ESEC/SIGSOFT FSE.
Elnar Hajiyev, Albert Cohen, Chandan Reddy, 2015, HiPEAC 2015.
Matthew J. Parkinson, Alastair F. Donaldson, Mike Dodds, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Daniel Kroening, Philipp Rümmer, Alastair F. Donaldson, 2011, PPoPP '11.
Andrew Richards, Uwe Dolinsky, Alastair F. Donaldson, 2010, 2010 International Conference on Complex, Intelligent and Software Intensive Systems.
Alastair F. Donaldson, George Russell, Paul Sheppard, 2008, NETGAMES.
Alastair F. Donaldson, David Parker, Alice Miller, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Cheng Huang, Wolfram Schulte, Alastair F. Donaldson, 2016, FAST.
David Parker, Alastair F. Donaldson, A. Donaldson, 2012 .
Alastair F. Donaldson, Andrei Lascu, A. Donaldson, 2016, 2016 IEEE/ACM 1st International Workshop on Metamorphic Testing (MET).
Alastair F. Donaldson, Tyler Sorensen, Sreepathi Pai, 2019, 2019 IEEE International Symposium on Workload Characterization (IISWC).
Daniel Kroening, Jade Alglave, Alastair F. Donaldson, 2011, ATVA.
Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, 2013, ESOP.
John Wickerson, Alastair F. Donaldson, Mark Batty, 2016, POPL.
Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alastair F. Donaldson, 2016, OOPSLA.
Adam Betts, Alastair F. Donaldson, A. Donaldson, 2013, 2013 25th Euromicro Conference on Real-Time Systems.
Paul H. J. Kelly, Alastair F. Donaldson, Jeroen Ketema, 2013, OOPSLA.
Muffy Calder, Alastair F. Donaldson, Alice Miller, 2005, Electron. Notes Theor. Comput. Sci..
Daniel Kroening, Alastair F. Donaldson, Leopold Haller, 2011, VMCAI.
Zvonimir Rakamaric, Alastair F. Donaldson, Pantazis Deligiannis, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Alastair F. Donaldson, Cristian Cadar, Daniel Liew, 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Alastair F. Donaldson, Tyler Sorensen, Hugues Evrard, 2018, CONCUR.
Muffy Calder, Alastair F. Donaldson, Alice Miller, 2005, Electron. Notes Theor. Comput. Sci..
Vasco Thudichum Vasconcelos, Alastair F. Donaldson, V. Vasconcelos, 2015, J. Log. Algebraic Methods Program..
Alastair F. Donaldson, A. Donaldson, 2019, 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET).
Alastair F. Donaldson, Nathan Chong, Andrei Lascu, 2015, PLDI.
Alastair F. Donaldson, 2009, Electron. Notes Theor. Comput. Sci..
Alastair F. Donaldson, Robert Chatley, Alan Mycroft, 2019, Computing and Software Science.
Sidney Amani, Leonid Ryzhyk, Alexander Legg, 2014, OPSR.
Matthew J. Parkinson, Alastair F. Donaldson, Mike Dodds, 2011, PPoPP '11.
Sidney Amani, Leonid Ryzhyk, Alexander Legg, 2011, APSys.
David Abramson, Tomàs Margalef, William Jalby, 2013, Euro-Par.
John Wickerson, Alastair F. Donaldson, Bradford M. Beckmann, 2015, OOPSLA.
Paul H. J. Kelly, Alastair F. Donaldson, Anton Lokhmotov, 2009, Euro-Par Workshops.
John Wickerson, Alastair F. Donaldson, Dan Iorga, 2020, 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
Adam Betts, Alastair F. Donaldson, Jeroen Ketema, 2018, IEEE Transactions on Software Engineering.
Alastair F. Donaldson, Jeroen Ketema, Nathan Chong, 2014, POPL.
Alastair F. Donaldson, Alice Miller, Alice Miller, 2009, Annals of Mathematics and Artificial Intelligence.
Andrew Richards, Uwe Dolinsky, Alastair F. Donaldson, 2010, HiPEAC.
Alastair F. Donaldson, Tyler Sorensen, Hugues Evrard, 2017, ArXiv.
Adam Betts, Alastair F. Donaldson, Paul Thomson, 2016, ACM Trans. Parallel Comput..
Dragan Bosnacki, Thierry Massart, Michael Leuschel, 2007, ATVA.
Albert Cohen, Adam Betts, Alastair F. Donaldson, 2014, SPLASH 2014.
Alastair F. Donaldson, Tyler Sorensen, 2016, IWOCL.
Paul Keir, Alastair F. Donaldson, Anton Lokhmotov, 2008, Euro-Par Workshops.
Joost-Pieter Katoen, Albert Cohen, Marieke Huisman, 2013, Dagstuhl Reports.
Alastair F. Donaldson, Akash Lal, Jeroen Ketema, 2015, PLDI.
Alastair F. Donaldson, Alice Miller, 2005 .
Alastair F. Donaldson, Hugues Evrard, Paul Thomson, 2020, Dagstuhl Artifacts Ser..
Alastair F. Donaldson, David Parker, A. Donaldson, 2012 .
Adam Betts, Ethel Bardsley, Alastair F. Donaldson, 2014, CAV.
Alastair F. Donaldson, Alice Miller, Alice Miller, 2005, FM.
Simon J. Gay, Alastair F. Donaldson, 2005, SPIN.
Alastair F. Donaldson, 2020, ArXiv.
Alastair F. Donaldson, Christopher Lidbury, A. Donaldson, 2017, POPL.
Paul H. J. Kelly, Alastair F. Donaldson, Lee Howes, 2011 .
Alastair F. Donaldson, Alice Miller, Alice Miller, 2008, Journal of Automated Reasoning.
John Wickerson, Alastair F. Donaldson, Tyler Sorensen, 2021, Proc. ACM Program. Lang..
John Wickerson, Alastair F. Donaldson, Tobias Grosser, 2021, 2021 IEEE/ACM 6th International Workshop on Metamorphic Testing (MET).
John Wickerson, Alastair F. Donaldson, Matt Windsor, 2021, ISSTA.
Margaret Martonosi, John Wickerson, Alastair F. Donaldson, 2021, Proc. ACM Program. Lang..
Alastair F. Donaldson, Pantazis Deligiannis, A. Donaldson, 2015 .
Daniel Kroening, Philipp Rümmer, Alastair F. Donaldson, 2011 .
Alastair F. Donaldson, Alice Miller, Alice Miller, 2007 .
Alastair F. Donaldson, S. Qadeer, John Wickerson, 2015, TOPL.