Login / Signup
Gautam Mohan
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 3
Top Topics
Meta Learning
Computational Intelligence
Hybrid Systems
Text Categorization
Top Venues
MEMOCODE
CoRR
</>
Publications
</>
Luan Viet Nguyen
,
Gautam Mohan
,
James Weimer
,
Oleg Sokolsky
,
Insup Lee
,
Rajeev Alur
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency.
MEMOCODE
(2020)
Luan Viet Nguyen
,
Gautam Mohan
,
James Weimer
,
Oleg Sokolsky
,
Insup Lee
,
Rajeev Alur
Detecting security leaks in hybrid systems with information flow analysis.
MEMOCODE
(2019)
Luan Viet Nguyen
,
Gautam Mohan
,
James Weimer
,
Oleg Sokolsky
,
Insup Lee
,
Rajeev Alur
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency.
CoRR
(2019)