Bodden, Eric and Lam, Patrick and Hendren, Laurie (2012):
Partially evaluating finite-state runtime monitors ahead of time.
In: ACM Transactions on Programming Languages and Systems (TOPLAS), [Article]

Lam, Patrick and Bodden, Eric and Lhotak, Ondrej and Hendren, Laurie (2011):
The Soot framework for Java program analysis: a retrospective.
In: Cetus Users and Compiler Infastructure Workshop (CETUS 2011), [Online-Edition: http://www.bodden.de/pubs/lblh11soot.pdf],
[Conference or Workshop Item]

Bodden, Eric and Hendren, Laurie (2011):
The Clara framework for hybrid typestate analysis.
In: International Journal on Software Tools for Technology Transfer (Springer), [Article]

Bodden, Eric and Lam, Patrick and Hendren, Laurie (2010):
Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors.
6418In: LNCS, Springer, In: 1st International Conference on Runtime Verification (RV), pp. 74-88, [Conference or Workshop Item]

Bodden, Eric and Hendren, Laurie and Lam, Patrick and Lhoták, Ondrej and Naeem, Nomair (2008):
Collaborative Runtime Verification with Tracematches.
In: Oxford Journal of Logics and Computation, 2008, [Article]