Chittaranjan Mandal

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 4

Top Topics

Interactive Dynamic Influence Diagrams

Equivalence Relation

Top Venues

Acta Informatica

IET Cyper-Phys. Syst.: Theory & Appl.

Publications

Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal
Equivalence checking of Petri net models of programs using static and dynamic cut-points. Acta Informatica 56 (4) (2019)
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal
SamaTulyataOne: A Path Based Equivalence Checker. ISEC (2019)
Chandan Karfa, Dipankar Sarkar, Chittaranjan Mandal
Verification of parallelising transformations of KPN models. IET Cyper-Phys. Syst.: Theory & Appl. 4 (3) (2019)
Kunal Banerjee, Dipankar Sarkar, Chittaranjan Mandal
Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers. IEEE Trans. Software Eng. 43 (10) (2017)
Kunal Banerjee, Chandan Karfa, Dipankar Sarkar, Chittaranjan Mandal
A Value Propagation Based Equivalence Checking Method for Verification of Code Motion Techniques. ISED (2012)