Error detection based on execution-time monitoring | IEEE Conference Publication | IEEE Xplore