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
Jump to: 2012 | 2011 | 2010 | 2008
Number of items: 5.

2012

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

2011

Lam, Patrick ; Bodden, Eric ; Lhotak, Ondrej ; 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 ; Hendren, Laurie (2011):
The Clara framework for hybrid typestate analysis.
In: International Journal on Software Tools for Technology Transfer (Springer), [Article]

2010

Bodden, Eric ; Lam, Patrick ; 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]

2008

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

This list was generated on Sat Jun 25 01:10:33 2022 CEST.