David Halliwell

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Information Redundancy

Simulation Study

Top Venues

Publications

Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports. IFM (2012)
Padma Apparao, Ravi R. Iyer, Ricardo Morin, Naren Nayak, Mahesh Bhat, David Halliwell, William Steinberg
Architectural Characterization of an XML-Centric Commercial Server Workload. ICPP (2004)