Stebėti
Soumyadip Bandyopadhyaya
Soumyadip Bandyopadhyaya
Patvirtintas el. paštas nvidia.com
Pavadinimas
Cituota
Cituota
Metai
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
2462002
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
942005
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
152012
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
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
132022
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
132019
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
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems
B Tekinerdogan, D Blouin, H Vangheluwe, M Goulão, P Carreira, ...
Academic Press, 2020
102020
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
102017
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
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
52022
JK Sarin Sundar. G. Sundararajan. SV Joshi, Geometrical features and metallurgical characteristics of Nd: YAG laser drilled holes in thick IN718 and Ti–6Al–4V sheets
S Bandyopadhyay
J. Mater. Process. Technol 127 (1), 83-95, 2002
52002
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
Proceedings of the International Workshop on Petri Nets and Software …, 2020
32020
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
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
32017
Path Based Equivalence Checking of Petri NET Representation of Programs for Translation Validation
S Bandyopadhyay
IIT, Kharagpur, 2016
32016
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
22020
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20