Indranil Saha, Ph.D.

Affiliations: 
2013 Computer Science 0201 University of California, Los Angeles, Los Angeles, CA 
Area:
formal verification and control of systems; software verification and programming languages; game theoretic problems in verification; logic and automata theory
Google:
"Indranil Saha"

Parents

Sign in to add mentor
Rupak Majumdar grad student 2013 UCLA
 (Closing the Gap in Control System Implementations.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Saha I, Roy S, Ramesh S. (2016) Formal verification of fault-tolerant startup algorithms for time-triggered architectures: A survey Proceedings of the Ieee. 104: 904-922
Saha I, Baruah S, Majumdar R. (2015) Dynamic scheduling for networked control systems Proceedings of the 18th International Conference On Hybrid Systems: Computation and Control, Hscc 2015. 98-107
Darulova E, Kuncak V, Majumdar R, et al. (2013) Synthesis of fixed-point programs 2013 Proceedings of the International Conference On Embedded Software, Emsoft 2013
Majumdar R, Saha I, Ueda K, et al. (2013) Compositional equivalence checking for models and code of control systems Proceedings of the Ieee Conference On Decision and Control. 1564-1571
Majumdar R, Saha I, Zamani M. (2012) Synthesis of minimal-error control software Emsoft'12 - Proceedings of the 10th Acm International Conference On Embedded Software 2012, Co-Located With Esweek. 123-132
Saha I, Majumdar R. (2012) Trigger memoization in self-triggered control Emsoft'12 - Proceedings of the 10th Acm International Conference On Embedded Software 2012, Co-Located With Esweek. 103-112
Saha I, Shankar N. (2012) ModelRob: A Simulink library for model-based development of robot manipulators Proceedings - Ieee International Conference On Robotics and Automation. 2654-2659
Owre S, Saha I, Shankar N. (2012) Automatic dimensional analysis of cyber-physical systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7436: 356-371
Majumdar R, Saha I, Shashidhar KC, et al. (2012) CLSE: Closed-loop symbolic execution Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7226: 356-370
Majumdar R, Saha I, Zamani M. (2011) Performance-aware scheduler synthesis for control systems Embedded Systems Week 2011, Esweek 2011 - Proceedings of the 9th Acm International Conference On Embedded Software, Emsoft'11. 299-308
See more...