| Geometrical features and metallurgical characteristics of Nd: YAG laser drilled holes in thick IN718 and Ti–6Al–4V sheets S Bandyopadhyay, JKS Sundar, G Sundararajan, SV Joshi Journal of Materials Processing Technology 127 (1), 83-95, 2002 | 235 | 2002 |
| A statistical approach to determine process parameter impact in Nd: YAG laser drilling of IN718 and Ti-6Al-4V sheets S Bandyopadhyay, H Gokhale, JKS Sundar, G Sundararajan, SV Joshi Optics and Lasers in Engineering 43 (2), 163-182, 2005 | 96 | 2005 |
| 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 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 | 14 | 2022 |
| 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 |
| 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 |
| 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 | 13 | 2015 |
| 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 | 12 | 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 | 11 | 2017 |
| Multi-Paradigm Modelling Approaches for Cyber-Physical Systems B Tekinerdogan, D Blouin, H Vangheluwe, M Goulão, P Carreira, ... Academic Press, 2020 | 10 | 2020 |
| 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 |
| Solving the instance model-view update problem in AADL R Mittal, D Blouin, A Bhobe, S Bandyopadhyay Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 6 | 2022 |
| 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 |
| 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 |
| 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 | 3 | 2020 |
| 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 |
| A feature-based ontology for cyber-physical systems B Tekinerdogana, R Mittal, R Al-Alic, M Iacono, S Bandyopadhyay, ... Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 45, 2020 | 2 | 2020 |
Chittaranjan MandalDept of Computer Sc & Engg, IIT Kharagpur在 iitkgp.ac.in 的电子邮件经过验证
