Runtime Verification of Component-Based Systems.

Ylis Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem

Browse the full SEFM paper archive.