Issues using the Nexus Interface for Measurement-Based WCET Analysis. - Adam Betts; Guillem Bernat (WCET, 2005)

Tree-Based WCET Analysis on Instrumentation Point Graphs. - Adam Betts; Guillem Bernat (ISORC, 2006)

Hybrid measurement-based WCET analysis using instrumentation point graphs. - Adam Betts (2008)

Cache-Aware Development of High-Integrity Systems. - Enrico Mezzetti; Adam Betts; José F. Ruiz; Tullio Vardanega (Ada-Europe, 2010)

Hybrid measurement-based WCET analysis at the source level using object-level traces. - Adam Betts; Nicholas Merriam; Guillem Bernat (WCET, 2010)

The Mälardalen WCET Benchmarks: Past, Present And Future. - Jan Gustafsson; Adam Betts; Andreas Ermedahl; Björn Lisper (WCET, 2010)

Design and Performance of the OP2 Library for Unstructured Mesh Applications. - Carlo Bertolli; Adam Betts; Gihan R. Mudalige; Mike B. Giles; Paul H. J. Kelly (Euro-Par Workshops (1), 2011)

WCET Analysis of Component-Based Systems Using Timing Traces. - Adam Betts; Amine Marref (ICECCS, 2011)

Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times. - Amine Marref; Adam Betts (ICECCS, 2011)

Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary Code. - Amine Marref; Adam Betts (ISORC, 2011)

Identifying irreducible loops in the Instrumentation Point Graph. - Adam Betts; Guillem Bernat (J. Syst. Archit., 2011)

Mesh independent loop fusion for unstructured mesh applications. - Carlo Bertolli; Adam Betts; Paul H. J. Kelly; Gihan R. Mudalige; Mike B. Giles (Conf. Computing Frontiers, 2012)

Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs. - Carlo Bertolli; Adam Betts; Nicolas Loriant; Gihan R. Mudalige; David Radford; David A. Ham; Mike B. Giles; Paul H. J. Kelly (LCPC, 2012)

GPUVerify: a verifier for GPU kernels. - Adam Betts; Nathan Chong; Alastair F. Donaldson; Shaz Qadeer; Paul Thomson (OOPSLA, 2012)

Reducing the Size of the Constraint Model in Implicit Path Enumeration Using Super Blocks. - Adam Betts (RTSS, 2012)

Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis. - Adam Betts; Alastair F. Donaldson (ECRTS, 2013)

Engineering a Static Verification Tool for GPU Kernels. - Ethel Bardsley; Adam Betts; Nathan Chong; Peter Collingbourne; Pantazis Deligiannis; Alastair F. Donaldson; Jeroen Ketema; Daniel Liew; Shaz Qadeer (CAV, 2014)

Concurrency testing using schedule bounding: an empirical study. - Paul Thomson; Alastair F. Donaldson; Adam Betts (PPoPP, 2014)

PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming. - Riyadh Baghdadi; Ulysse Beaugnon; Albert Cohen 001; Tobias Grosser; Michael Kruse; Chandan Reddy 001; Sven Verdoolaege; Adam Betts; Alastair F. Donaldson; Jeroen Ketema; Javed Absar; Sven van Haastregt; et al. (PACT, 2015)

The Design and Implementation of a Verification Technique for GPU Kernels. - Adam Betts; Nathan Chong; Alastair F. Donaldson; Jeroen Ketema; Shaz Qadeer; Paul Thomson; John Wickerson (ACM Trans. Program. Lang. Syst., 2015)

Concurrency Testing Using Controlled Schedulers: An Empirical Study. - Paul Thomson; Alastair F. Donaldson; Adam Betts (ACM Trans. Parallel Comput., 2016)

Acceleration of a Full-Scale Industrial CFD Application with OP2. - István Z. Reguly; Gihan R. Mudalige; Carlo Bertolli; Michael B. Giles; Adam Betts; Paul H. J. Kelly; David Radford (IEEE Trans. Parallel Distributed Syst., 2016)

Implementing and Evaluating Candidate-Based Invariant Generation. - Adam Betts; Nathan Chong; Pantazis Deligiannis; Alastair F. Donaldson; Jeroen Ketema (IEEE Trans. Software Eng., 2018)