Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time.

Eric Bodden, Patrick Lam, Laurie J. Hendren

Browse the full RV paper archive.