Architectural Characterization of an XML-Centric Commercial Server Workload. - Padma Apparao; Ravi R. Iyer 001; Ricardo Morin; Naren Nayak; Mahesh Bhat; David Halliwell; William Steinberg (ICPP, 2004)

Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports. - Tim Blackmore; David Halliwell; Philip Barker; Kerstin Eder; Naresh Ramaram (IFM, 2012)