Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications.

S. Das, S. Sanyal, A. Hazra, and P. Dasgupta. ACM Trans. Design Autom. Electr. Syst., 28 (1): 9:1-9:32 (January 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sourav Dutta

Sourav Chakraborty

Romy Das

Bio-economic modeling of soil resource conservation in Mid Hill Region of NepalR. Das. Uni Gießen, (2009)

Anita Das

Arabindo Das

Other publications of authors with the same name

Quo Vadis, Skeleton Action Recognition?P. Gupta, A. Thatipelli, A. Aggarwal, S. Maheshwari, N. Trivedi, S. Das, and R. Sarvadevabhatla. Int. J. Comput. Vis., 129 (7): 2097-2112 (2021)On the Security of KZG Commitment for VSS.A. Momose, S. Das, and L. Ren. CCS, page 2561-2575. ACM, (2023)Distributed-Prover Interactive Proofs.S. Das, R. Fernando, I. Komargodski, E. Shi, and P. Soni. TCC (1), volume 14369 of Lecture Notes in Computer Science, page 91-120. Springer, (2023)(Invited Paper) on the Security of Blockchain Consensus Protocols.S. Das, A. Kolluri, P. Saxena, and H. Yu. ICISS, volume 11281 of Lecture Notes in Computer Science, page 465-480. Springer, (2018)Testing of Prebond Through Silicon Vias.S. Das, F. Su, and S. Chakravarty. IEEE Des. Test, 37 (4): 27-34 (2020)Assessment of attention and working memory among young adults using computer games.S. Basu, S. Saha, S. Das, R. Guha, J. Mukherjee, and M. Mahadevappa. J. Ambient Intell. Humaniz. Comput., 14 (3): 2413-2428 (March 2023)Design of 4-Bit Array Multiplier Using Multi-wall Carbon Nanotube Interconnects.D. Das, S. Das, and H. Rahaman. ISED, page 208-212. IEEE, (2012)Analyzing power-thermal-performance trade-offs in a high-performance 3D NoC architecture.D. Lee, S. Das, and P. Pande. Integr., (2019)Energy and Area Efficient Near Field Inductive Coupling: A Case Study on 3D NoC.S. Gopal, S. Das, D. Heo, and P. Pande. NOCS, page 5:1-5:8. ACM, (2017)Coordinated Charging Scheduling for Electric Vehicles and Optimal Tuning of the Controller for Frequency Regulation under Uncertain Environment.S. Das, P. Acharjee, and A. Bhattacharya. IAS, page 1-6. IEEE, (2021)

BibSonomy

Disambiguation of "Das, Sourav"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications.

Please choose a person to relate this publication to

Sourav Dutta

Sourav Chakraborty

Romy Das

Anita Das

Arabindo Das

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Das, Sourav"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications.

Please choose a person to relate this publication to

Sourav Dutta

Sourav Chakraborty

Romy Das

Anita Das

Arabindo Das

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications.