Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification.

Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister

Browse the full RV paper archive.