Follow
Saurav Kumar Ghosh
Title
Cited by
Cited by
Year
Design and validation of fault-tolerant embedded controllers
SK Ghosh, S Dey, D Goswami, D Mueller-Gritschneder, S Chakraborty
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018
72018
Formal synthesis of monitoring and detection systems for secure CPS implementations
I Koley, SK Ghosh, S Dey, D Mukhopadhyay, AK KN, SK Singh, L Lokesh, ...
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 314-317, 2020
62020
Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems
SK Ghosh, JS RC, V Jain, S Dey
ACM Transactions on Embedded Computing Systems (TECS) 19 (3), 1-29, 2020
52020
Skip to Secure: Securing Cyber-physical Control Loops with Intentionally Skipped Executions
S Adhikary, I Koley, SK Ghosh, S Ghosh, S Dey, D Mukhopadhyay
Proceedings of the 2020 Joint Workshop on CPS&IoT Security and Privacy, 81-86, 2020
42020
Performance, Security Tradeoffs in Secure Control
SK Ghosh, S Dey, D Mukhopadhyay
IEEE Embedded Systems Letters 11 (4), 102-105, 2018
32018
RELSPEC: a framework for reliability aware design of component based embedded systems
SK Ghosh, P Vishnuvardhan, SG Vadlamudi, A Hazra, S Dey, ...
Design Automation for Embedded Systems 21 (1), 37-87, 2017
22017
Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems
SK Ghosh, A Mondal, S Dutta, A Hazra, S Dey
2016 20th International Symposium on VLSI Design and Test (VDAT), 1-6, 2016
22016
Relspec: a framework for early reliability refinement of embedded applications
SK Ghosh, A Hazra, S Dey
2015 28th International Conference on VLSI Design, 41-46, 2015
22015
Reliability Aware Real Time Scheduling Strategies for Heterogeneous Embedded Systems
SK Ghosh, A Nanda, S Dey
2018 Annual Reliability and Maintainability Symposium (RAMS), 1-7, 2018
12018
Work-in-progress: Verifying stability guarantees of control software implementations in the presence of sensor level faults
SK Ghosh, D Lohar, D Das, S Dey
2017 International Conference on Embedded Software (EMSOFT), 1-2, 2017
12017
SERD: A simulation framework for estimation of system level reliability degradation
SK Ghosh, S Dey
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–11