Flexible Monitor Deployment for Runtime Verification of Large Scale Software.

Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky

Browse the full ISoLA paper archive.