TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 5.

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

Lam, Patrick ; Bodden, Eric ; Lhotak, Ondrej ; 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).
[ Konferenzveröffentlichung] , (2011)

Bodden, Eric ; Lam, Patrick :
Clara: Partially Evaluating Runtime Monitors at Compile Time.
In: 1st International Conference on Runtime Verification (RV). In: LNCS , 6418 . Springer
[ Konferenzveröffentlichung] , (2010)

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

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

Diese Liste wurde am Sat Mar 23 02:41:07 2019 CET generiert.