E-LIB Suche - Ergebnisse für: Ghosh, Saurav Kumar

1

Formal Synthesis of Monitoring and Detection Systems for Se..:

, In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE),

Koley, Ipsita ; Ghosh, Saurav Kumar ; Dey, Soumyajit... - p. 314-317 , 2020

2

Reliable and Secure Design-Space-Exploration for Cyber-Phys..:

Ghosh, Saurav Kumar ; R C, Jaffer Sheriff ; Jain, Vibhor.
ACM Transactions on Embedded Computing Systems (TECS). 19 (2020) 3 - p. 1-29 , 2020

Link: https://dl.acm.org/doi/1..

3

Skip to Secure : Securing Cyber-Physical Control Loops w..:

, In: Proceedings of the 2020 Joint Workshop on CPS&IoT Security and Privacy,

Adhikary, Sunandan ; Koley, Ipsita ; Ghosh, Saurav Kumar... - p. 81-86 , 2020

Link: https://dl.acm.org/doi/1..

4

Reliable and Secure Design-Space-Exploration for Cyber-Phys..:

Ghosh, Saurav Kumar ; R C, Jaffer Sheriff ; Jain, Vibhor.
ACM Transactions on Embedded Computing Systems. 19 (2020) 3 - p. 1-29 , 2020

Link: https://doi.org/10.1145/..

5

Formal synthesis of monitoring and detection systems for se..:

, In: Proceedings of the 23rd Conference on Design, Automation and Test in Europe,

Koley, Ipsita ; Ghosh, Saurav Kumar ; Dey, Soumyajit... - p. 314-317 , 2020

Link: https://dl.acm.org/doi/1..

6

Antibiotic-resistant Escherichia coli in deer and nearby wa..:

Sarker, Md Samun ; Ahad, Abdul ; Ghosh, Saurav Kumar...
October-2019; Veterinary World. 12 (2019) 10 - p. 1578-1583 , 2019

Link: https://doi.org/10.14202..

7

Role of Professional Vigilance in Design and Construction—A..:

, In: Developments in Geotechnical Engineering; Frontiers in Geotechnical Engineering,

Ranganath, N. ; Sarkar, Debasis ; Kachuwaha, Surendra Singh.. - p. 441-453 , 2019

Link: https://doi.org/10.1007/..

8

Surgical Technique can Prevent Arm Lymphoedema After Level ..:

Burman, D.R. ; Ghosh, Saurav Kumar
Nepal Medical College Journal. 21 (2019) 3 - p. 210-213 , 2019

Link: https://doi.org/10.3126/..

9

Verifying stability guarantees of control software implemen..:

, In: Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion,

Ghosh, Saurav Kumar ; Lohar, Debasmita ; Das, Dibyendu. - p. 1-2 , 2017

Link: https://dl.acm.org/doi/1..

10

RELSPEC: a framework for reliability aware design of compon..:

Ghosh, Saurav Kumar ; Vishnuvardhan, P. ; Vadlamudi, Satya Gautam...
Design Automation for Embedded Systems. 21 (2017) 1 - p. 37-87 , 2017

Link: https://doi.org/10.1007/..

11

Aerodynamic modelling of flapping flight using lifting line..:

Bhowmik, Joydeep ; Das, Debopam ; Ghosh, Saurav Kumar
International Journal of Intelligent Unmanned Systems. 1 (2013) 1 - p. 36-61 , 2013

Link: https://doi.org/10.1108/..

12

Formal Synthesis of Monitoring and Detection Systems for Se..:

Koley, Ipsita ; Ghosh, Saurav Kumar ; Dey, Soumyajit...
http://arxiv.org/abs/2002.12412. , 2020

Link: http://arxiv.org/abs/200..

13

Skip to Secure: Securing Cyber-physical Control Loops with ..:

Adhikary, Sunandan ; Koley, Ipsita ; Ghosh, Sumana...
http://arxiv.org/abs/2007.08121. , 2020

Link: http://arxiv.org/abs/200..

14

List of contributors:

, In: Nanotechnology and In Silico Tools,

Abhyankar, Krutika ; Agrawal, Swati ; Ahuja, Palash... - p. xiii-xvi , 2024

Link: https://doi.org/10.1016/..

15

The Role of IoT in Optimizing Operations in the Oil and Gas..:

Sharma, Saurav Kumar ; Rani, Aisha ; Bakhariya, Hardik...
Transactions of the Indian National Academy of Engineering. 9 (2024) 2 - p. 293-312 , 2024

Link: https://doi.org/10.1007/..