RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications. - Saurav Kumar Ghosh; Aritra Hazra; Soumyajit Dey (VLSID, 2015)

Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems. - Saurav Kumar Ghosh; Akash Mondal; Souradeep Dutta; Aritra Hazra; Soumyajit Dey (VDAT, 2016)

SERD: A simulation framework for estimation of system level reliability degradation. - Saurav Kumar Ghosh; Soumyajit Dey (DATE, 2017)

Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress. - Saurav Kumar Ghosh; Debasmita Lohar; Dibyendu Das 002; Soumyajit Dey (EMSOFT Companion, 2017)

RELSPEC: a framework for reliability aware design of component based embedded systems. - Saurav Kumar Ghosh; P. Vishnuvardhan; Satya Gautam Vadlamudi; Aritra Hazra; Soumyajit Dey; Partha Pratim Chakrabarti (Des. Autom. Embed. Syst., 2017)

Design and validation of fault-tolerant embedded controllers. - Saurav Kumar Ghosh; Soumyajit Dey; Dip Goswami; Daniel Mueller-Gritschneder; Samarjit Chakraborty (DATE, 2018)

Performance, Security Tradeoffs in Secure Control. - Saurav Kumar Ghosh; Soumyajit Dey; Debdeep Mukhopadhyay (IEEE Embed. Syst. Lett., 2019)

Skip to Secure: Securing Cyber-Physical Control Loops with Intentionally Skipped Executions. - Sunandan Adhikary; Ipsita Koley; Saurav Kumar Ghosh; Sumana Ghosh; Soumyajit Dey; Debdeep Mukhopadhyay (CPSIOTSEC@CCS, 2020)

Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations. - Ipsita Koley; Saurav Kumar Ghosh; Soumyajit Dey; Debdeep Mukhopadhyay; Amogh Kashyap K. N.; Sachin Kumar Singh; Lavanya Lokesh; Jithin Nalu Purakkal; Nishant Sinha 003 (DATE, 2020)

Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems. - Saurav Kumar Ghosh; Jaffer Sheriff R. C; Vibhor Jain; Soumyajit Dey (ACM Trans. Embed. Comput. Syst., 2020)

Revisiting Dynamic Scheduling of Control Tasks: A Performance-Aware Fine-Grained Approach. - Sunandan Adhikary; Ipsita Koley; Saurav Kumar Ghosh; Sumana Ghosh; Soumyajit Dey (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)