Publications

The documents referenced below are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright.

Journal Publications

J3. Artificial Neural Networks in Hardware: A Survey of Two Decades of Progress   pdf
   Janardan Misra and Indranil Saha
   Neurocomputing 2010

J2. Distributed Fault Tolerant Topology Control in Wireless Multi-hop Networks   pdf
   Indranil Saha, Lokesh K. Sambasivan, Ranjeet K. Patro, Subhas K. Ghosh
   Wireless Networks 16(6), 2010

J1. Planar Straight-Line Embedding of Double-Tree Scan Architecture on a Rectangular Grid   pdf
   Indranil Saha, Bhargab B. Bhattacharya, Sheng Zhang, and Sharad C. Seth
   Fundamenta Informaticae 89(2-3), 2008


Conference and Workshop Publications

C24. Compositional Equivalence Checking for Models and Code of Control Systems   pdf   new
   Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel
   CDC 2013

C23. Synthesis of Fixed-Point Programs   pdf   new
   Eva Darulova, Viktor Kuncak, Rupak Majumdar and Indranil Saha
   EMSOFT 2013

C22. Trigger Memoization in Self-Triggered Control   pdf
    Indranil Saha and Rupak Majumdar
   EMSOFT 2012

C21. Synthesis of Minimal Error Control Software   pdf
   Rupak Majumdar, Indranil Saha and Majid Zamani
   EMSOFT 2012

C20. Automatic Dimensional Analysis of Cyber-Physical Systems   [pdf
   Sam Owre, Indranil Saha and Natarajan Shankar
   FM 2012

C19. CLSE: Closed-Loop Symbolic Execution   pdf
   Rupak Majumdar, Indranil Saha, K. C. Shashidhar and Zilong Wang
   NFM 2012

C18. ModelRob: A Simulink Library for Model-Based Development of Robot Manipulators   pdf
   Indranil Saha and Natarajan Shankar
   ICRA 2012

C17. Performance-Aware Scheduler Synthesis for Control Systems   pdf
   Rupak Majumdar, Indranil Saha and Majid Zamani
   EMSOFT 2011

C16. Automatic Verification of Control System Implementations   pdf
   Adolfo Anta, Rupak Majumdar, Indranil Saha and Paulo Tabuada
   EMSOFT 2010

C15. Systematic Testing for Control Applications   pdf
   Rupak Majumdar, Indranil Saha and Zilong Wang
   MemoCODE 2010

C14. Symbolic Robustness Analysis   pdf
   Rupak Majumdar and Indranil Saha
   RTSS 2009

C13. Quantitative Analysis of a Probabilistic Non-Repudiation Protocol through Model Checking   pdf
    Indranil Saha and Debapriyay Mukhopadhyay
   ICISS 2009

C12. A Reinforcement Model for Collaborative Security and its Formal Analysis   pdf
    Janardan Misra and Indranil Saha
   NSPW 2009

C11. An Approach to Reverse Engineering of C program to Simulink Models with Conformance Testing   pdf
    Indranil Saha, Kuntal Chakraborty, Suman Roy, I. VishnuVardhan and Venkatappaia Kurapati
   ISEC 2009

C10. Security against Sybil Attack in Wireless Sensor Network through Location Verification   pdf
    Indranil Saha and Debapriyay Muhkopadhyay
   ICDCN 2009

C9. Timeout and Calendar based Finite State Modeling and Verification of Real-Time Systems   pdf
    Indranil Saha, Janardan Misra and Suman Roy
   ATVA 2007

C8. Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar   pdf
   Indranil Saha, Suman Roy and Kuntal Chakraborty
   SEFM 2007

C7. A Distributed Algorithm of Fault Recovery for Stateful Failover   pdf
   Indranil Saha and Debapriyay Mukhopadhyay
   TAMC 2007

C6. A Finite State Analysis of Time-triggered CAN (TTCAN) Protocol using Spin   pdf
   Indranil Saha and Suman Roy
   ICCTA 2007

C5. Distributed Fault Tolerant Topology Control in Static and Mobile Wireless Ad-hoc Networks   pdf
   Indranil Saha, Lokesh K. Sambasivan, Ranjeet K. Patro and Subhas K. Ghosh
   COMSWARE 2007

C4. Location Verification Based Defense against Sybil Attack in Sensor Networks   pdf
   Debapriyay Mukhopadhyay and Indranil Saha
   ICDCN 2006

C3. Designing Reliable Architecture for Stateful Fault Tolerance   pdf
   Indranil Saha, Debapriyay Mukhopadhyay and Satyajit Banerjee
   PDCAT 2006

C2. A Finite State Modeling of AFDX Frame Management using Spin   pdf
   Indranil Saha and Suman Roy
   FMICS 2006

C1. Distributed Fault Tolerant Topology Control in Wireless Ad-hoc Sensor Networks   pdf
   Indranil Saha, Lokesh K. Sambasivan, Ranjeet K. Patro and Subhas K. Ghosh
   WOCN 2006