Indranil Saha
Cited by
Cited by
Artificial neural networks in hardware: A survey of two decades of progress
J Misra, I Saha
Neurocomputing 74 (1-3), 239-255, 2010
Automated composition of motion primitives for multi-robot systems from safe LTL specifications
I Saha, R Ramaithitima, V Kumar, GJ Pappas, SA Seshia
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2014
Automatic verification of control system implementations
A Anta, R Majumdar, I Saha, P Tabuada
Proceedings of the tenth ACM international conference on Embedded software, 9-18, 2010
Drona: A framework for safe distributed mobile robotics
A Desai, I Saha, J Yang, S Qadeer, SA Seshia
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS …, 2017
Symbolic robustness analysis
R Majumdar, I Saha
2009 30th IEEE Real-Time Systems Symposium, 355-363, 2009
Implan: scalable incremental motion planning for multi-robot systems
I Saha, R Ramaithitima, V Kumar, GJ Pappas, SA Seshia
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS …, 2016
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming
Y Shoukry, P Nuzzo, A Balkan, I Saha, AL Sangiovanni-Vincentelli, ...
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 1132-1137, 2017
Synthesis of fixed-point programs
E Darulova, V Kuncak, R Majumdar, I Saha
2013 Proceedings of the International Conference on Embedded Software …, 2013
Performance-aware scheduler synthesis for control systems
R Majumdar, I Saha, M Zamani
2011 Proceedings of the Ninth ACM International Conference on Embedded …, 2011
Scalable lazy SMT-based motion planning
Y Shoukry, P Nuzzo, I Saha, AL Sangiovanni-Vincentelli, SA Seshia, ...
2016 IEEE 55th Conference on Decision and Control (CDC), 6683-6688, 2016
Distributed fault-tolerant topology control in wireless multi-hop networks
I Saha, LK Sambasivan, SK Ghosh, RK Patro
Wireless Networks 16 (6), 1511-1524, 2010
Synthesis of minimal-error control software
R Majumdar, I Saha, M Zamani
Proceedings of the tenth ACM international conference on Embedded software …, 2012
Location verification based defense against sybil attack in sensor networks
D Mukhopadhyay, I Saha
International Conference on Distributed Computing and Networking, 509-521, 2006
CLSE: Closed-loop symbolic execution
R Majumdar, I Saha, KC Shashidhar, Z Wang
NASA Formal Methods Symposium, 356-370, 2012
A finite state analysis of time-triggered CAN (TTCAN) protocol using spin
I Saha, S Roy
2007 International Conference on Computing: Theory and Applications (ICCTA …, 2007
ANTLAB: a multi-robot task server
I Gavran, R Majumdar, I Saha
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017
Dynamic scheduling for networked control systems
I Saha, S Baruah, R Majumdar
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
Systematic testing for control applications
R Majumdar, I Saha, Z Wang
Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010
Compositional equivalence checking for models and code of control systems
R Majumdar, I Saha, K Ueda, H Yazarel
52nd IEEE Conference on Decision and Control, 1564-1571, 2013
Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey
I Saha, S Roy, S Ramesh
Proceedings of the IEEE 104 (5), 904-922, 2016
The system can't perform the operation now. Try again later.
Articles 1–20