Using run-time checking to provide safety and progress for distributed cyber-physical systems.

Stanley Bak, Fardin Abdi Taghi Abad, Zhenqi Huang, Marco Caccamo

Browse the full RTCSA paper archive.