Applying Model Checking to Workflow Verification. - J.-Hendrik Pfeiffer; Wilhelm R. Rossak; Andreas Speck (ECBS, 2004)

Complex code querying and navigation for AspectJ. - J.-Hendrik Pfeiffer; Andonis Sardos; John R. Gurd (eTX, 2005)

Visualisation-based tool support for the development of aspect-oriented programs. - J.-Hendrik Pfeiffer; John R. Gurd (AOSD, 2006)