Soumyadip Bandyopadhyaya
Soumyadip Bandyopadhyaya
Assistant Professor, BITS Pilani K K Birla Goa Campus
Verified email at goa.bits-pilani.ac.in - Homepage
Title
Cited by
Cited by
Year
Translation validation for PRES+ models of parallel behaviours via an FSMD equivalence checker
S Bandyopadhyay, K Banerjee, D Sarkar, CR Mandal
Progress in VLSI Design and Test, 69-78, 2012
142012
A path construction algorithm for translation validation using PRES+ models
S Bandyopadhyay, D Sarkar, C Mandal, K Banerjee, KR Duddu
Parallel Processing Letters 26 (02), 1650010, 2016
132016
Poster: An efficient equivalence checking method for petri net based models of programs
S Bandyopadhyay, D Sarkar, C Mandal
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
122015
A path-based equivalence checking method for petri net based models of programs
S Bandyopadhyay, D Sarkar, K Banerjee, C Mandal
2015 10th International Joint Conference on Software Technologies (ICSOFT) 1 …, 2015
112015
Samatulyata: An efficient path based equivalence checking tool
S Bandyopadhyay, S Sarkar, D Sarkar, C Mandal
International Symposium on Automated Technology for Verification and …, 2017
82017
Equivalence checking of Petri net models of programs using static and dynamic cut-points
S Bandyopadhyay, D Sarkar, C Mandal
Acta Informatica 56 (4), 321-383, 2019
72019
An efficient path based equivalence checking for petri net based models of programs
S Bandyopadhyay, D Sarkar, C Mandal
Proceedings of the 9th India Software Engineering Conference, 70-79, 2016
62016
Data-race detection: the missing piece for an end-to-end semantic equivalence checker for parallelizing transformations of array-intensive programs
K Banerjee, S Banerjee, S Sarkar
Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries …, 2016
42016
Validating SPARK: high level synthesis compiler
S Bandyopadhyay, D Sarkar, C Mandal
2015 IEEE Computer Society Annual Symposium on VLSI, 195-198, 2015
42015
Translation validation using path-based equivalence checking of petri net based models of programs
S Bandyopadhyay, D Sarkar, C Mandal
WEPL (co-located POPL), 2015
42015
Presgen: A fully automatic equivalence checker for validating optimizing and parallelizing transformations
S Bandyopadhyay, K Banerjee
Proceedings of the 2017 Workshop on Software Engineering Methods for …, 2017
32017
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems
B Tekinerdogan, D Blouin, H Vangheluwe, M Goulão, P Carreira, ...
Academic Press, 2020
22020
Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs.
R Mittal, R Banerjee, S Sarkar, S Bandyopadhyay
PNSE@ Petri Nets, 138-146, 2020
22020
Path Based Equivalence Checking of Petri NET Representation of Programs for Translation Validation
S Bandyopadhyay
IIT, Kharagpur, 2016
22016
Implementing an efficient path based equivalence checker for parallel programs
S Bandyopadhyay, K Banerjee
Proceedings of the ACM Workshop on Software Engineering Methods for Parallel …, 2016
22016
Behavioural verification of petri net based models of programs
S Bandyopadhyay
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
22015
Equivalence checking in embedded systems design verification using pres+ model
S Bandyopadhyay
arXiv preprint arXiv:1010.4953, 2010
22010
SamaTulyataOne: A Path Based Equivalence Checker
S Bandyopadhyay, D Sarkar, C Mandal
Proceedings of the 12th Innovations on Software Engineering Conference …, 2019
12019
Framework to Relate/Combine Modeling Languages and Techniques
R Al-Ali, M Amrani, S Bandyopadhyay, A Barisic, F Barros, D Blouin, ...
COST European Cooperation in Science and Technology, 2019
12019
COST IC1404 WG1 Deliverable WG1. 2: Framework to Relate/Combine Modeling Languages and Techniques
R Al-Ali, M Amrani, S Bandyopadhyay, A Barisic, FJ Barros, D Blouin, ...
Telecom Paristech; Hasso-Plattner Institute; Ege University; University of …, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20