Chittaranjan A. Mandal

◀ ▶ joint publications with Soumyadip Bandyopadhyay

> Home > Persons > Chittaranjan A. Mandal

Publications

2022
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BandyopadhyaySM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BandyopadhyaySM22
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)
2019
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BandyopadhyaySM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BandyopadhyaySM19
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)
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/BandyopadhyaySM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/BandyopadhyaySM19
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal:
SamaTulyataOne: A Path Based Equivalence Checker. ISEC 2019: 21:1-21:5
2017
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BandyopadhyaySS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BandyopadhyaySS17
Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan A. Mandal:
SamaTulyata: An Efficient Path Based Equivalence Checking Tool. ATVA 2017: 109-116
2016
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/ppl/BandyopadhyaySM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ppl/BandyopadhyaySM16
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)
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/BandyopadhyaySM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/BandyopadhyaySM16
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal:
An efficient path based equivalence checking for Petri net based models of programs. ISEC 2016: 70-79
2015
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BandyopadhyaySM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BandyopadhyaySM15
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
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/BandyopadhyaySB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/BandyopadhyaySB15
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
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/isvlsi/BandyopadhyaySM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isvlsi/BandyopadhyaySM15
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal:
Validating SPARK: High Level Synthesis Compiler. ISVLSI 2015: 195-198
2012
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/vdat/BandyopadhyayBSM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vdat/BandyopadhyayBSM12
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

a service of

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.