Gautam Mohan

According to our database, Gautam Mohan authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency.

Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

2019

Detecting security leaks in hybrid systems with information flow analysis.

Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019