( en | de | ru )

 

Disambiguation of "Sarkar, Dipankar"

Author of the publication

copydeleteadd this publication to your clipboard
A Path-based Equivalence Checking Method for Petri Net based Models of Programs.

, , , and . ICSOFT-EA, page 319-329. SciTePress, (2015)

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.

Dipankar Mandal

Anindita Sarkar

Abhijit Sarkar

Tapabrato Sarkar

Abhishek Sarkar

 

Other publications of authors with the same name

Diagnosability of delay-deadline failures in fair real time discrete event models., , and . Int. J. Syst. Sci., 41 (7): 763-782 (2010)A Tag Machine Based Performance Evaluation Method for Job-Shop Schedules., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 29 (7): 1028-1041 (2010)Register Sharing Verification During Data-Path Synthesis., , , and . ICCTA, page 135-140. IEEE Computer Society, (2007)An Intrusion Detection System Using Modified-Firefly Algorithm in Cloud Environment., , , and . Int. J. Digit. Crime Forensics, 13 (2): 77-93 (2021)FairFlow Protocol: Equitable Maximal Extractable Value (MEV) mitigation in Ethereum.. CoRR, (2023)Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers., and . IEEE Trans. Software Eng., 15 (1): 1-9 (1989)Poster: An Efficient Equivalence Checking Method for Petri Net Based Models of Programs., , and . ICSE (2), page 827-828. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).A Value Propagation Based Equivalence Checking Method for Verification of Code Motion Techniques., , , and . ISED, page 67-71. IEEE, (2012)Model checking on state transition diagram., , and . ASP-DAC, page 412-417. IEEE Computer Society, (2004)SamaTulyataOne: A Path Based Equivalence Checker., , and . ISEC, page 21:1-21:5. ACM, (2019)