![](https://dblp.org/img/logo.320x120.png)
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Dipankar Sarkar 0001
Person information
- affiliation: IIT Kharagpur, India
Other persons with the same name
- Dipankar Sarkar 0002
— Hike Ltd, India
- Dipankar Sarkar 0003 — Tata Consultancy Service, India
- Dipankar Sarkar 0004 — National Institute of Technology Agartala, Department of Civil Engineering, India
- Dipankar Sarkar 0005 — Cryptuon Research
SPARQL queries ![](https://dblp.org/img/new.blue.24x12.png)
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j25]Soumyadip Bandyopadhyay
, Dipankar Sarkar, Chittaranjan A. Mandal, Holger Giese:
Translation validation of coloured Petri net models of programs on integers. Acta Informatica 59(6): 725-759 (2022)
2010 – 2019
- 2019
- [j24]Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal:
Equivalence checking of Petri net models of programs using static and dynamic cut-points. Acta Informatica 56(4): 321-383 (2019) - [j23]Chandan Karfa
, Dipankar Sarkar, Chittaranjan Mandal:
Verification of parallelising transformations of KPN models. IET Cyper-Phys. Syst.: Theory & Appl. 4(3): 276-289 (2019) - [c31]Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal:
SamaTulyataOne: A Path Based Equivalence Checker. ISEC 2019: 21:1-21:5 - 2017
- [j22]Kunal Banerjee, Dipankar Sarkar, Chittaranjan A. Mandal:
Deriving bisimulation relations from path based equivalence checkers. Formal Aspects Comput. 29(2): 365-379 (2017) - [j21]Sudakshina Dutta
, Dipankar Sarkar, Arvind Rawat:
Synchronization Validation for Cross-Thread Dependences in Parallel Programs. Int. J. Parallel Program. 45(6): 1326-1365 (2017) - [j20]Kunal Banerjee
, Dipankar Sarkar, Chittaranjan Mandal:
Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers. IEEE Trans. Software Eng. 43(10): 946-953 (2017) - [c30]Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar:
An Equivalence Checking Framework for Array-Intensive Programs. ATVA 2017: 84-90 - [c29]Soumyadip Bandyopadhyay
, Santonu Sarkar, Dipankar Sarkar, Chittaranjan A. Mandal:
SamaTulyata: An Efficient Path Based Equivalence Checking Tool. ATVA 2017: 109-116 - 2016
- [j19]Soumyadip Bandyopadhyay
, Dipankar Sarkar, Chittaranjan A. Mandal, Kunal Banerjee, Krishnam Raju Duddu:
A Path Construction Algorithm for Translation Validation Using PRES+ Models. Parallel Process. Lett. 26(2): 1650010:1-1650010:18 (2016) - [c28]Sudakshina Dutta, Dipankar Sarkar, Arvind Rawat, Kulwant Singh:
Validation of Loop Parallelization and Loop Vectorization Transformations. ENASE 2016: 195-202 - [c27]Sudakshina Dutta, Dipankar Sarkar:
An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences. ENASE 2016: 254-259 - [c26]Soumyadip Bandyopadhyay
, Dipankar Sarkar, Chittaranjan A. Mandal:
An efficient path based equivalence checking for Petri net based models of programs. ISEC 2016: 70-79 - [c25]Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar:
Translation validation of loop and arithmetic transformations in the presence of recurrences. LCTES 2016: 31-40 - 2015
- [c24]Soumyadip Bandyopadhyay
, Dipankar Sarkar, Chittaranjan A. Mandal:
Poster: An Efficient Equivalence Checking Method for Petri Net Based Models of Programs. ICSE (2) 2015: 827-828 - [c23]Soumyadip Bandyopadhyay, Dipankar Sarkar, Kunal Banerjee, Chittaranjan A. Mandal:
A Path-based Equivalence Checking Method for Petri Net based Models of Programs. ICSOFT-EA 2015: 319-329 - [c22]Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar:
Translation Validation of Transformations of Embedded System Specifications Using Equivalence Checking. ISVLSI 2015: 183-186 - [c21]Soumyadip Bandyopadhyay
, Dipankar Sarkar, Chittaranjan A. Mandal:
Validating SPARK: High Level Synthesis Compiler. ISVLSI 2015: 195-198 - [c20]Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar:
A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs. SCAM 2015: 247-252 - 2014
- [j18]Kunal Banerjee, Chandan Karfa
, Dipankar Sarkar, Chittaranjan A. Mandal:
Verification of Code Motion Techniques Using Value Propagation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33(8): 1180-1193 (2014) - [j17]Kunal Banerjee, Dipankar Sarkar, Chittaranjan A. Mandal:
Extending the FSMD Framework for Validating Code Motions of Array-Handling Programs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33(12): 2015-2019 (2014) - [c19]Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar:
Extending the scope of translation validation by augmenting path based equivalence checkers with SMT solvers. VDAT 2014: 1-6 - 2013
- [j16]Soumyajit Dey, Dipankar Sarkar, Anupam Basu:
A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems. IEEE Trans. Computers 62(10): 1917-1931 (2013) - [j15]Chandan Karfa
, Kunal Banerjee, Dipankar Sarkar, Chittaranjan A. Mandal:
Verification of Loop and Arithmetic Transformations of Array-Intensive Behaviors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(11): 1787-1800 (2013) - [c18]Chandan Karfa
, Dipankar Sarkar, Chittaranjan A. Mandal:
Verification of KPN Level Transformations. VLSI Design 2013: 338-343 - 2012
- [j14]Chandan Karfa
, Chittaranjan A. Mandal, Dipankar Sarkar:
Formal verification of code motion techniques using data-flow-driven equivalence checking. ACM Trans. Design Autom. Electr. Syst. 17(3): 30:1-30:37 (2012) - [c17]Kunal Banerjee, Chandan Karfa
, Dipankar Sarkar, Chittaranjan Mandal:
A Value Propagation Based Equivalence Checking Method for Verification of Code Motion Techniques. ISED 2012: 67-71 - [c16]Soumyadip Bandyopadhyay
, Kunal Banerjee, Dipankar Sarkar, Chittaranjan A. Mandal:
Translation Validation for PRES+ Models of Parallel Behaviours via an FSMD Equivalence Checker. VDAT 2012: 69-78 - 2011
- [j13]Soumyajit Dey, Dipankar Sarkar, Anupam Basu:
A Kleene Algebra of Tagged System Actors. IEEE Embed. Syst. Lett. 3(1): 28-31 (2011) - [c15]Chandan Karfa
, Kunal Banerjee, Dipankar Sarkar, Chitta Mandal:
Equivalence Checking of Array-Intensive Programs. ISVLSI 2011: 156-161 - [c14]Chandan Karfa
, Chitta Mandal, Dipankar Sarkar:
Verification of Register Transfer Level Low Power Transformations. ISVLSI 2011: 313-314 - 2010
- [j12]Santosh Biswas, Dipankar Sarkar, Siddhartha Mukhopadhyay, Amit Patra:
Fairness of Transitions in Diagnosability of Discrete Event Systems. Discret. Event Dyn. Syst. 20(3): 349-376 (2010) - [j11]Santosh Biswas, Dipankar Sarkar, Siddhartha Mukhopadhyay:
Diagnosability of delay-deadline failures in fair real time discrete event models. Int. J. Syst. Sci. 41(7): 763-782 (2010) - [j10]Chandan Karfa
, Dipankar Sarkar, Chitta Mandal:
Verification of Datapath and Controller Generation Phase in High-Level Synthesis of Digital Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29(3): 479-492 (2010) - [j9]Soumyajit Dey, Dipankar Sarkar, Anupam Basu:
A Tag Machine Based Performance Evaluation Method for Job-Shop Schedules. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29(7): 1028-1041 (2010) - [c13]Chandan Karfa
, Dipankar Sarkar, Chittaranjan A. Mandal:
Data-Flow Driven Equivalence Checking for Verification of Code Motion Techniques. ISVLSI 2010: 428-433
2000 – 2009
- 2008
- [j8]Santosh Biswas, Siddhartha Mukhopadhyay, Amit Patra, Dipankar Sarkar:
Unified Technique for on-Line Testing of Digital Circuits: Delay and Stuck-at Fault Models. J. Circuits Syst. Comput. 17(6): 1069-1089 (2008) - [j7]Chandan Karfa
, Dipankar Sarkar, Chitta Mandal, P. Kumar:
An Equivalence-Checking Method for Scheduling Verification in High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(3): 556-569 (2008) - 2007
- [j6]Prodip Bhowal, Dipankar Sarkar, Siddhartha Mukhopadhyay, Anupam Basu:
Fault diagnosis in discrete time hybrid systems - A case study. Inf. Sci. 177(5): 1290-1308 (2007) - [c12]Chandan Karfa
, Dipankar Sarkar, Chittaranjan A. Mandal, Chris Reade:
Hand-in-hand verification of high-level synthesis. ACM Great Lakes Symposium on VLSI 2007: 429-434 - [c11]Chandan Karfa
, Chittaranjan A. Mandal, Dipankar Sarkar, Chris Reade:
Register Sharing Verification During Data-Path Synthesis. ICCTA 2007: 135-140 - 2006
- [c10]Santosh Biswas, Chandan Karfa
, Himani Kanwar, Dipankar Sarkar, Siddhartha Mukhopadhyay, Amit Patra:
Fairness of transitions in diagnosability analysis of hybrid systems. ACC 2006: 1-6 - [c9]Santosh Biswas, Siddhartha Mukhopadhyay, P. Patra, Dipankar Sarkar:
Concurrent Testing of Digital Circuits for Advanced Fault Models. DDECS 2006: 204-209 - [c8]Chandan Karfa
, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade:
A Formal Verification Method of Scheduling in High-level Synthesis. ISQED 2006: 71-78 - [c7]Chandan Karfa
, Chittaranjan A. Mandal, Dipankar Sarkar, S. R. Pentakota, Chris Reade:
Verification of Scheduling in High-level Synthesis. ISVLSI 2006: 141-146 - 2005
- [c6]Santosh Biswas, P. Srikanth, R. Jha, Siddhartha Mukhopadhyay, Amit Patra, Dipankar Sarkar:
On-Line Testing of Digital Circuits for n-Detect and Bridging Fault Models. Asian Test Symposium 2005: 88-93 - 2004
- [c5]Batsayan Das, Dipankar Sarkar, Santanu Chattopadhyay:
Model checking on state transition diagram. ASP-DAC 2004: 412-417 - 2002
- [c4]Dipankar Sarkar:
Register Transfer Operation Analysis during Data Path Verification. ASP-DAC/VLSI Design 2002: 172- - 2000
- [c3]Dipankar Sarkar:
Status Condition Analysis during Data Path Verification of Sequential Circuits. VLSI Design 2000: 70-75
1990 – 1999
- 1997
- [j5]M. Hira, Dipankar Sarkar:
Verification of Tempura specification of sequential circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(4): 362-375 (1997) - [c2]I. Chakrabarti, Dipankar Sarkar, Arun K. Majumdar:
Inductive Verification of Sequential Circuits with a Datapath. VLSI Design 1997: 226-231 - 1995
- [j4]I. Chakrabarti, Dipankar Sarkar, Arun K. Majumdar:
Identification of Inductive Properties during Verification of Synchronous Sequential Circuits. J. Autom. Reason. 14(3): 427-462 (1995) - 1994
- [c1]I. Chakrabarti, Dipankar Sarkar:
Mechanical Identification of Inductive Properties During Verification of Finite State Machines. VLSI Design 1994: 389-394
1980 – 1989
- 1989
- [j3]Dipankar Sarkar, S. C. De Sarkar:
Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers. IEEE Trans. Software Eng. 15(1): 1-9 (1989) - [j2]Dipankar Sarkar, S. C. De Sarkar:
A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers. IEEE Trans. Software Eng. 15(11): 1368-1381 (1989) - [j1]Dipankar Sarkar, S. C. De Sarkar:
A Theorem Prover for Verifying Iterative Programs Over Integers. IEEE Trans. Software Eng. 15(12): 1550-1566 (1989)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint