Karthik Manamcheri

According to our database, Karthik Manamcheri authored at least 3 papers between 2010 and 2011.

Collaborative distances:

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

2011

Sandboxing Controllers for Cyber-Physical Systems.

Stanley Bak, Karthik Manamcheri, Sayan Mitra, Marco Caccamo

Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

A step towards verification and synthesis from simulink/stateflow models.

Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010

Safe and Stabilizing Distributed Cellular Flows.

Taylor T. Johnson, Sayan Mitra, Karthik Manamcheri

Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010