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 :
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)

This list was generated on Tue May 21 02:00:58 2019 CEST.