Saurav Kumar Ghosh

13 papers A 3Misc 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Revisiting Dynamic Scheduling of Control Tasks: A Performance-Aware Fine-Grained Approach.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Sunandan Adhikary, Ipsita Koley, Saurav Kumar Ghosh, Sumana Ghosh, Soumyajit Dey
2020 A conf
Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations.
DATE
Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay, Amogh Kashyap K. N., Sachin Kumar Singh, Lavanya Lokesh, Jithin Nalu Purakkal, Nishant Sinha
2020 J jnl
Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations.
CoRR
Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay, Amogh Kashyap K. N., Sachin Kumar Singh, Lavanya Lokesh, Jithin Nalu Purakkal, Nishant Sinha
2020 J jnl
Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst.
Saurav Kumar Ghosh, Jaffer Sheriff R. C, Vibhor Jain, Soumyajit Dey
2020 — conf
Skip to Secure: Securing Cyber-Physical Control Loops with Intentionally Skipped Executions.
CPSIOTSEC@CCS
Sunandan Adhikary, Ipsita Koley, Saurav Kumar Ghosh, Sumana Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
2020 J jnl
Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions.
CoRR
Sunandan Adhikary, Ipsita Koley, Sumana Ghosh, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
2019 J jnl
Performance, Security Tradeoffs in Secure Control.
IEEE Embed. Syst. Lett.
Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay
2018 A conf
Design and validation of fault-tolerant embedded controllers.
DATE
Saurav Kumar Ghosh, Soumyajit Dey, Dip Goswami, Daniel Mueller-Gritschneder, Samarjit Chakraborty
2017 J jnl
RELSPEC: a framework for reliability aware design of component based embedded systems.
Des. Autom. Embed. Syst.
Saurav Kumar Ghosh, P. Vishnuvardhan, Satya Gautam Vadlamudi, Aritra Hazra, Soumyajit Dey, Partha Pratim Chakrabarti
2017 A conf
SERD: A simulation framework for estimation of system level reliability degradation.
DATE
Saurav Kumar Ghosh, Soumyajit Dey
2017 — conf
Verifying stability guarantees of control software implementations in the presence of sensor level faults: work-in-progress.
EMSOFT Companion
Saurav Kumar Ghosh, Debasmita Lohar, Dibyendu Das, Soumyajit Dey
2016 — conf
Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems.
VDAT
Saurav Kumar Ghosh, Akash Mondal, Souradeep Dutta, Aritra Hazra, Soumyajit Dey
2015 Misc conf
RELSPEC: A Framework for Early Reliability Refinement of Embedded Applications.
VLSID
Saurav Kumar Ghosh, Aritra Hazra, Soumyajit Dey