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