TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 5.

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.
Cetus Users and Compiler Infastructure Workshop (CETUS 2011), [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.
In: LNCS, 6418, pp. 74-88, Springer, 1st International Conference on Runtime Verification (RV), [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]

This list was generated on Tue Mar 2 00:31:32 2021 CET.