☰

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"
Tree Publications Similar researchers PubMed Report error

Parents

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

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
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.

Gavran I, Majumdar R, Saha I. (2017) Antlab: A Multi-Robot Task Server Acm Transactions in Embedded Computing Systems. 16: 190
Roy S, Misra J, Saha I. (2016) A simplification of a real-time verification problem Software Testing, Verification & Reliability. 26: 548-571
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
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
Anta A, Majumdar R, Saha I, et al. (2010) Automatic verification of control system implementations Embedded Systems Week 2010 - Proceedings of the 10th Acm International Conference On Compilers, Architecture and Synthesis For Embedded Systems, Emsoft'10. 9-18
See more...