☰

Indranil Saha, Ph.D. - Publications

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

13 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2017 Gavran I, Majumdar R, Saha I. Antlab: A Multi-Robot Task Server Acm Transactions in Embedded Computing Systems. 16: 190. DOI: 10.1145/3126513  0.489
2016 Roy S, Misra J, Saha I. A simplification of a real-time verification problem Software Testing, Verification & Reliability. 26: 548-571. DOI: 10.1002/Stvr.1622  0.316
2015 Saha I, Baruah S, Majumdar R. Dynamic scheduling for networked control systems Proceedings of the 18th International Conference On Hybrid Systems: Computation and Control, Hscc 2015. 98-107. DOI: 10.1145/2728606.2728636  0.494
2013 Darulova E, Kuncak V, Majumdar R, Saha I. Synthesis of fixed-point programs 2013 Proceedings of the International Conference On Embedded Software, Emsoft 2013. DOI: 10.1109/EMSOFT.2013.6658600  0.501
2013 Majumdar R, Saha I, Ueda K, Yazarel H. Compositional equivalence checking for models and code of control systems Proceedings of the Ieee Conference On Decision and Control. 1564-1571. DOI: 10.1109/CDC.2013.6760105  0.485
2012 Majumdar R, Saha I, Zamani M. 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. DOI: 10.1145/2380356.2380380  0.57
2012 Saha I, Majumdar R. 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. DOI: 10.1145/2380356.2380378  0.511
2012 Majumdar R, Saha I, Shashidhar KC, Wang Z. 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. DOI: 10.1007/978-3-642-28891-3_33  0.546
2011 Majumdar R, Saha I, Zamani M. 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. DOI: 10.1145/2038642.2038689  0.561
2010 Anta A, Majumdar R, Saha I, Tabuada P. 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. DOI: 10.1145/1879021.1879024  0.586
2010 Majumdar R, Saha I, Wang Z. Systematic testing for control applications 8th Acm/Ieee International Conference On Formal Methods and Models For Codesign, Memocode 2010. 1-10. DOI: 10.1109/MEMCOD.2010.5558629  0.571
2010 Misra J, Saha I. Artificial neural networks in hardware: A survey of two decades of progress Neurocomputing. 74: 239-255. DOI: 10.1016/J.Neucom.2010.03.021  0.307
2009 Majumdar R, Saha I. Symbolic robustness analysis Proceedings - Real-Time Systems Symposium. 355-363. DOI: 10.1109/RTSS.2009.17  0.469
Show low-probability matches.