Surinder Sood

According to our database, Surinder Sood authored at least 4 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A novel approach to Real-time contract based reasoning for Hybrid Systems.

Surinder Sood, Avinash Malik, Partha S. Roop

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems.

Surinder Sood, Avinash Malik, Partha S. Roop

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

2020

Robust Design and Validation of Cyber-physical Systems.

Surinder Sood, Avinash Malik, Partha S. Roop

ACM Trans. Embed. Comput. Syst., 2020

2013

CPU and/or GPU: Revisiting the GPU Vs. CPU Myth

Kishore Kothapalli, Dip Sankar Banerjee, P. J. Narayanan, Surinder Sood, Aman Kumar Bahl, Shashank Sharma, Shrenik Lad, Krishna Kumar Singh, Kiran Kumar Matam, Sivaramakrishna Bharadwaj, Rohit Nigam, Parikshit Sakurikar, Aditya Deshpande, Ishan Misra, Siddharth Choudhary, Shubham Gupta

CoRR, 2013