Statistics
Publications
3
Citations
123
H-Index
3
Active since
2010
Affiliations
Karthik Manamcheri is an author at University of Illinois Urbana-Champaign specializing in computer science, cyber-physical systems, and computing.
Publications per year
2010–2011
3
3
Sandboxing Controllers for Cyber-Physical Systems
Stanley Bak, Karthik Manamcheri, Sayan Mitra et al. · 2011 · 78 citations
A step towards verification and synthesis from simulink/stateflow models
Karthik Manamcheri, Sayan Mitra, Stanley Bak et al. · 2011 · 33 citations
1–3 of 3