AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity.

Nic Volanschi, Bernard P. Serpette

Browse the full RV paper archive.