Patrick Hill

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 3

Top Topics

Dynamic Analysis

Indoor Environments

Symbolic Execution

Top Venues

ICSE (Companion Volume)

IEEE Trans. Software Eng.

Publications

Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
Debugging Static Analysis. IEEE Trans. Software Eng. 46 (7) (2020)
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
Debugging Static Analysis. CoRR (2018)
Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden
VISUFLOW: a debugging environment for static analyses. ICSE (Companion Volume) (2018)
Patrick Hill, Simon Holland, Robin C. Laney
An Introduction to Aspect-Oriented Music Representation. Comput. Music. J. 31 (4) (2007)
Patrick Hill, Simon Holland, Robin C. Laney
Symmetric composition of musical concerns. AOSD (2006)