Browse by Person

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

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

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

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

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