Follow
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
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
142016
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
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
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
112019
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
92017
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
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems
B Tekinerdogan, D Blouin, H Vangheluwe, M Goulão, P Carreira, ...
Academic Press, 2020
52020
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
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
32020
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
32019
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
Path Based Equivalence Checking of Petri NET Representation of Programs for Translation Validation
S Bandyopadhyay
IIT, Kharagpur, 2016
32016
A Comparative Study between ECG-based and PPG-based Heart Rate Monitors for Stress Detection
A Pinge, S Bandyopadhyay, S Ghosh, S Sen
2022 14th International Conference on COMmunication Systems & NETworkS …, 2022
22022
AES: Automated Evaluation Systems for Computer Programing Course
N Goswami, V Baths, S Bandyopadhyay
Proceedings of the 14th International Conference on Software Technologies …, 2019
22019
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
The system can't perform the operation now. Try again later.
Articles 1–20