( en | de | ru )

 

Disambiguation of "Sarkar, Dipankar"

Author of the publication

copydeleteadd this publication to your clipboard
Translation validation of coloured Petri net models of programs on integers.

, , , and . Acta Informatica, 59 (6): 725-759 (2022)

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)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 ???).SamaTulyataOne: A Path Based Equivalence Checker., , and . ISEC, page 21:1-21:5. ACM, (2019)Model checking on state transition diagram., , and . ASP-DAC, page 412-417. IEEE Computer Society, (2004)On-Line Testing of Digital Circuits for n-Detect and Bridging Fault Models., , , , , and . Asian Test Symposium, page 88-93. IEEE Computer Society, (2005)A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs., , and . SCAM, page 247-252. IEEE Computer Society, (2015)Register Sharing Verification During Data-Path Synthesis., , , and . ICCTA, page 135-140. IEEE Computer Society, (2007)Validating SPARK: High Level Synthesis Compiler., , and . ISVLSI, page 195-198. IEEE Computer Society, (2015)Verification of Scheduling in High-level Synthesis., , , , and . ISVLSI, page 141-146. IEEE Computer Society, (2006)A Value Propagation Based Equivalence Checking Method for Verification of Code Motion Techniques., , , and . ISED, page 67-71. IEEE, (2012)