102 followers
At 2pm we resume a session on Runtime Monitoring & Enforcement with: Opportunistic Monitoring of Multithreaded Programs. Chukri Soueidi, Yliès Falcone and Antoine El-Hokayem OA link to the paper: https://t.co/K5c33161ku Same nice room 109/44-54. #f