A Finite State Modeling of AFDX Frame Management Using Spin. - Indranil Saha 001; Suman Roy 001 (FMICS/PDMC, 2006)

Location Verification Based Defense Against Sybil Attack in Sensor Networks. - Debapriyay Mukhopadhyay; Indranil Saha 001 (ICDCN, 2006)

Designing Reliable Architecture for Stateful Fault Tolerance. - Indranil Saha 001; Debapriyay Mukhopadhyay; Satyajit Banerjee (PDCAT, 2006)

Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. - Indranil Saha 001; Janardan Misra; Suman Roy 001 (ATVA, 2007)

Distributed Fault-Tolerant Topology Control in Static and Mobile Wireless Sensor Networks. - Indranil Saha 001; Lokesh Kumar Sambasivan; Ranjeet Kumar Patro; Subhas Kumar Ghosh (COMSWARE, 2007)

A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin. - Indranil Saha 001; Suman Roy 001 (ICCTA, 2007)

Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar. - Indranil Saha 001; Suman Roy 001; Kuntal Chakraborty (SEFM, 2007)

A Distributed Algorithm of Fault Recovery for Stateful Failover. - Indranil Saha 001; Debapriyay Mukhopadhyay (TAMC, 2007)

Planar Straight-Line Embedding of Double-Tree Scan Architecture on a Rectangular Grid. - Indranil Saha 001; Bhargab B. Bhattacharya; Sheng Zhang 008; Sharad C. Seth (Fundam. Informaticae, 2008)

Security against Sybil Attack in Wireless Sensor Network through Location Verification. - Indranil Saha 001; Debapriyay Mukhopadhyay (ICDCN, 2009)

Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking. - Indranil Saha 001; Debapriyay Mukhopadhyay (ICISS, 2009)

An approach to reverse engineering of C programs to simulink models with conformance testing. - Indranil Saha 001; Kuntal Chakraborty; Suman Roy 001; B. VishnuVardhan Reddy; Venkatappaiah Kurapati; Vishesh Sharma (ISEC, 2009)

A reinforcement model for collaborative security and Its formal analysis. - Janardan Misra; Indranil Saha 001 (NSPW, 2009)

Symbolic Robustness Analysis. - Rupak Majumdar; Indranil Saha 001 (RTSS, 2009)

Automatic verification of control system implementations. - Adolfo Anta Martinez; Rupak Majumdar; Indranil Saha 001; Paulo Tabuada (EMSOFT, 2010)

Systematic testing for control applications. - Rupak Majumdar; Indranil Saha 001; Zilong Wang 004 (MEMOCODE, 2010)

Artificial neural networks in hardware: A survey of two decades of progress. - Janardan Misra; Indranil Saha 001 (Neurocomputing, 2010)

Distributed fault-tolerant topology control in wireless multi-hop networks. - Indranil Saha 001; Lokesh Kumar Sambasivan; Subhas Kumar Ghosh; Ranjeet Kumar Patro (Wirel. Networks, 2010)

Performance-aware scheduler synthesis for control systems. - Rupak Majumdar; Indranil Saha 001; Majid Zamani 001 (EMSOFT, 2011)

Synthesis of minimal-error control software. - Rupak Majumdar; Indranil Saha 001; Majid Zamani 001 (EMSOFT, 2012)

Trigger memoization in self-triggered control. - Indranil Saha 001; Rupak Majumdar (EMSOFT, 2012)

Automatic Dimensional Analysis of Cyber-Physical Systems. - Sam Owre; Indranil Saha 001; Natarajan Shankar (FM, 2012)

ModelRob: A Simulink Library for Model-Based Development of robot manipulators. - Indranil Saha 001; Natarajan Shankar (ICRA, 2012)

CLSE: Closed-Loop Symbolic Execution. - Rupak Majumdar; Indranil Saha 001; K. C. Shashidhar; Zilong Wang 004 (NASA Formal Methods, 2012)

Compositional equivalence checking for models and code of control systems. - Rupak Majumdar; Indranil Saha 001; Koichi Ueda; Hakan Yazarel (CDC, 2013)

Synthesis of fixed-point programs. - Eva Darulova; Viktor Kuncak; Rupak Majumdar; Indranil Saha 001 (EMSOFT, 2013)

Closing the Gap in Control System Implementations. - Indranil Saha 001 (2013)

Automated composition of motion primitives for multi-robot systems from safe LTL specifications. - Indranil Saha 001; Rattanachai Ramaithitima; Vijay Kumar 001; George J. Pappas; Sanjit A. Seshia (IROS, 2014)

Dynamic scheduling for networked control systems. - Indranil Saha 001; Sanjoy K. Baruah; Rupak Majumdar (HSCC, 2015)

Scalable lazy SMT-based motion planning. - Yasser Shoukry; Pierluigi Nuzzo 002; Indranil Saha 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (CDC, 2016)

Implan: Scalable Incremental Motion Planning for Multi-Robot Systems. - Indranil Saha 001; Rattanachai Ramaithitima; Vijay Kumar 001; George J. Pappas; Sanjit A. Seshia (ICCPS, 2016)

Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey. - Indranil Saha 001; Suman Roy 001; S. Ramesh 002 (Proc. IEEE, 2016)

A simplification of a real-time verification problem. - Suman Roy 001; Janardan Misra; Indranil Saha 001 (Softw. Test. Verification Reliab., 2016)

Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. - Yasser Shoukry; Pierluigi Nuzzo 002; Ayca Balkan; Indranil Saha 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (CDC, 2017)

DRONA: a framework for safe distributed mobile robotics. - Ankush Desai; Indranil Saha 001; Jianqiao Yang; Shaz Qadeer; Sanjit A. Seshia (ICCPS, 2017)

Antlab: A Multi-Robot Task Server. - Ivan Gavran; Rupak Majumdar; Indranil Saha 001 (ACM Trans. Embed. Comput. Syst., 2017)

Embedded software for robotics: challenges and future directions: special session. - Houssam Abbas; Indranil Saha 001; Yasser Shoukry; Rüdiger Ehlers; Georgios Fainekos; Rajesh Gupta 001; Rupak Majumdar; Dogan Ulus (EMSOFT, 2018)

Rhocop: receding horizon multi-robot coverage. - Sankar Narayan Das; Indranil Saha 001 (ICCPS, 2018)

Charging Station Placement for Indoor Robotic Applications. - Tanmoy Kundu 001; Indranil Saha 001 (ICRA, 2018)

Energy-Aware Temporal Logic Motion Planning for Mobile Robots. - Tanmoy Kundu 001; Indranil Saha 001 (ICRA, 2019)

DeepControl: Energy-Efficient Control of a Quadrotor using a Deep Neural Network. - Pratyush Varshney; Gajendra Nagar; Indranil Saha 001 (IROS, 2019)

Synthesis of Feedback Controller for Nonlinear Control Systems with Optimal Region of Attraction. - Ayan Chakraborty 006; Indranil Saha 001 (CoRR, 2019)

T* : A Heuristic Search Based Path Planning Algorithm for Temporal Logic Specifications. - Danish Khalidi; Dhaval Gujarathi; Indranil Saha 001 (ICRA, 2020)

Specification-Guided Automated Debugging of CPS Models. - Nikhil Kumar Singh 004; Indranil Saha 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

OMCoRP: An Online Mechanism for Competitive Robot Prioritization. - Sankar Narayan Das; Swaprava Nath; Indranil Saha 001 (ICAPS, 2021)

SMT-Based Optimal Deployment of Mobile Rechargers. - Tanmoy Kundu 001; Indranil Saha 001 (ICRA, 2021)

Mobile Recharger Path Planning and Recharge Scheduling in a Multi-Robot Environment. - Tanmoy Kundu 001; Indranil Saha 001 (IROS, 2021)

DT*: Temporal Logic Path Planning in a Dynamic Environment. - Priya Purohit; Indranil Saha 001 (IROS, 2021)

Specification Guided Automated Synthesis of Feedback Controllers. - Nikhil Kumar Singh 004; Indranil Saha 001 (ACM Trans. Embed. Comput. Syst., 2021)

It Costs to Get Costs! A Heuristic-Based Scalable Goal Assignment Algorithm for Multi-Robot Systems. - Aakash; Indranil Saha 001 (ICAPS, 2022)

Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis. - Arvind Adimoolam; Indranil Saha 001 (HSCC, 2022)

Temporal Logic Path Planning under Localization Uncertainty. - Amit Dhyani; Indranil Saha 001 (IROS, 2022)

MT*: Multi-Robot Path Planning for Temporal Logic Specifications. - Dhaval Gujarathi; Indranil Saha 001 (IROS, 2022)

Scalable Online Coverage Path Planning for Multi-Robot Systems. - Ratijit Mitra; Indranil Saha 001 (IROS, 2022)

An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks. - Samvid Mistry; Indranil Saha 001; Swarnendu Biswas (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning. - Nikhil Kumar Singh 004; Indranil Saha 001 (AAAI, 2023)

Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. - Thao Dang 001; Alexandre Donzé; Inzemamul Haque; Nikolaos Kekatos; Indranil Saha 001 (CDC, 2023)

Safe Self-Triggered Control Based on Precomputed Reachability Sequences. - Arvind Adimoolam; Indranil Saha 001; Thao Dang 001 (HSCC, 2023)

Approximation Algorithms for Charging Station Placement for Mobile Robots. - Tanmoy Kundu 001; Indranil Saha 001 (IROS, 2023)

Optimal Makespan in a Minute Timespan! A Scalable Multi-Robot Goal Assignment Algorithm for Minimizing Mission Time. - Aakash; Indranil Saha 001 (AAAI, 2024)

Frugal Actor-Critic: Sample Efficient Off-Policy Deep Reinforcement Learning Using Unique Experiences. - Nikhil Kumar Singh 004; Indranil Saha 001 (AAMAS, 2024)

An Online Planning Framework for Multi-Robot Systems with LTL Specification. - Rohit Singh; Indranil Saha 001 (ICCPS, 2024)

Online On-Demand Multi-Robot Coverage Path Planning. - Ratijit Mitra; Indranil Saha 001 (ICRA, 2024)

A Conflict-Aware Optimal Goal Assignment Algorithm for Multi-Robot Systems. - Aakash; Indranil Saha 001 (CoRR, 2024)

Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery. - Aman Aryan; Manan Modi; Indranil Saha 001; Rupak Majumdar; Swarup Mohalik (CoRR, 2024)

Online Concurrent Multi-Robot Coverage Path Planning. - Ratijit Mitra; Indranil Saha 001 (CoRR, 2024)

Robust Black-box Testing of Deep Neural Networks using Co-Domain Coverage. - Aishwarya Gupta 001; Indranil Saha 001; Piyush Rai (CoRR, 2024)

Integrated Task and Path Planning for Collaborative Multi-Robot Systems. - Aman Aryan; Manan Modi; Indranil Saha 001; Rupak Majumdar; Swarup Mohalik (ICCPS, 2025)

A scalable multi-robot goal assignment algorithm for minimizing mission time followed by total movement cost. - Aakash; Indranil Saha 001 (Artif. Intell., 2025)

Introduction to the Special Issue on Formal Methods and Models for System Design. - Jens Brandt 001; Indranil Saha 001; Lijun Zhang 001 (ACM Trans. Embed. Comput. Syst., 2025)