Detecting security leaks in hybrid systems with information flow analysis. - Luan Viet Nguyen; Gautam Mohan; James Weimer; Oleg Sokolsky; Insup Lee 001; Rajeev Alur (MEMOCODE, 2019)

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. - Luan Viet Nguyen; Gautam Mohan; James Weimer; Oleg Sokolsky; Insup Lee 001; Rajeev Alur (MEMOCODE, 2020)