Best Paper Awards
MEMOCODE'19 Best Papers
- Logical Specification and Uniform Synthesis of Robust Controllers
Paritosh Pandya and Amol Wakankar - Detecting Security Leaks in Hybrid Systems with Information Flow Analysis
Luan Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee and Rajeev Alur
MEMOCODE'19 Best Paper Honorable Mention
- Encoding and Monitoring Responsibility Sensitive Safety Rules for Automated Vehicles in Signal Temporal Logic
Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina Karam and Georgios Fainekos - Securing Implantable Medical Devices with Runtime Enforcement Hardware
Hammond Pearce, Matthew Kuo, Partha Roop and Srinivas Pinisetty