| 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 | 15 | 2022 |
| 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: 16th International Symposium, VDAT 2012 …, 2012 | 15 | 2012 |
| 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 | 14 | 2016 |
| 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 | 14 | 2015 |
| Equivalence checking of petri net models of programs using static and dynamic cut-points S Bandyopadhyay, D Sarkar, C Mandal Acta Informatica 56, 321-383, 2019 | 13 | 2019 |
| 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 | 13 | 2015 |
| Samatulyata: An efficient path based equivalence checking tool S Bandyopadhyay, S Sarkar, D Sarkar, C Mandal Automated Technology for Verification and Analysis: 15th International …, 2017 | 12 | 2017 |
| Sundarrajan, and SV Joshi,“Geometrical features and metallurgical G characteristics of Nd: YAG laser drilled holes in thick IN718 and Ti–6Al–4V sheets” S Bandyopadhyay, JKS Sundar Journal of Materials Processing Technology 127, 83-95, 2002 | 7 | 2002 |
| 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 | 6 | 2016 |
| Translation validation of loop involving code optimizing transformations using petri net based models of programs R Mittal, R Banerjee, S Sarkar, S Bandyopadhyay Proceedings of the International Workshop on Petri Nets and Software …, 2020 | 4 | 2020 |
| Validating SPARK: high level synthesis compiler S Bandyopadhyay, D Sarkar, C Mandal 2015 IEEE Computer Society Annual Symposium on VLSI, 195-198, 2015 | 4 | 2015 |
| 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 | 4 | 2015 |
| A feature-based ontology for cyber-physical systems B Tekinerdogan, R Mittal, R Al-Ali, M Iacono, E Navarro-López, ... Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 45-65, 2021 | 3 | 2021 |
| SamaTulyataOne: A Path Based Equivalence Checker S Bandyopadhyay, D Sarkar, C Mandal Proceedings of the 12th Innovations in Software Engineering Conference …, 2019 | 3 | 2019 |
| 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 | 3 | 2017 |
| 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, 2017 | 3 | 2017 |
| Path based equivalence checking of Petri net representation of programs for translation validation S Bandyopadhyay IIT, Kharagpur, 2016 | 3 | 2016 |
| Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets. R Mittal, R Banerjee, D Blouin, S Bandyopadhyay ICSOFT, 533-541, 2021 | 2 | 2021 |
| AES: automated evaluation systems for computer programing course NG Shivam, V Baths, S Bandyopadhyay Proceedings of the 14th International Conference on Software Technologies …, 2019 | 2 | 2019 |
| 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 | 2 | 2016 |
Chittaranjan MandalDept of Computer Sc & Engg, IIT Kharagpur在 iitkgp.ac.in 的电子邮件经过验证
