Indranil Saha
Titolo
Citata da
Citata da
Anno
Artificial neural networks in hardware: A survey of two decades of progress
J Misra, I Saha
Neurocomputing 74 (1-3), 239-255, 2010
6052010
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
1222014
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
722010
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
682017
Symbolic robustness analysis
R Majumdar, I Saha
2009 30th IEEE Real-Time Systems Symposium, 355-363, 2009
662009
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
432016
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
392017
Synthesis of fixed-point programs
E Darulova, V Kuncak, R Majumdar, I Saha
2013 Proceedings of the International Conference on Embedded Software …, 2013
382013
Performance-aware scheduler synthesis for control systems
R Majumdar, I Saha, M Zamani
2011 Proceedings of the Ninth ACM International Conference on Embedded …, 2011
362011
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
332010
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
32*2016
Synthesis of minimal-error control software
R Majumdar, I Saha, M Zamani
Proceedings of the tenth ACM international conference on Embedded software …, 2012
302012
Location verification based defense against sybil attack in sensor networks
D Mukhopadhyay, I Saha
International Conference on Distributed Computing and Networking, 509-521, 2006
252006
CLSE: Closed-loop symbolic execution
R Majumdar, I Saha, KC Shashidhar, Z Wang
NASA Formal Methods Symposium, 356-370, 2012
242012
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
242007
Dynamic scheduling for networked control systems
I Saha, S Baruah, R Majumdar
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
212015
ANTLAB: a multi-robot task server
I Gavran, R Majumdar, I Saha
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017
202017
Systematic testing for control applications
R Majumdar, I Saha, Z Wang
Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010
202010
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
152013
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
142016
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20