Copilot: A Hard Real-Time Runtime Monitor.

Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller

Browse the full RV paper archive.