Soumyadip Bandyopadhyaya

Cited by

	All	Since 2019
Citations	502	195
h-index	10	6
i10-index	10	6

20032004200520062007200820092010201120122013201420152016201720182019202020212022202320242 2 9 5 8 13 12 19 25 12 21 16 41 35 38 44 38 22 56 29 24 26

Public access

View all

8 articles

1 article

available

not available

Based on funding mandates

Co-authors

Chittaranjan MandalDept of Computer Sc & Engg, IIT KharagpurVerified email at iitkgp.ac.in
Kunal BanerjeeData Science Foundation, WalmartVerified email at walmartlabs.com
Santonu SarkarDept of Computer Sc and Information Systems, BITS PilaniVerified email at acm.org
Dominique BlouinAssociate Professor, Telecom Paris, Hasso-Plattner-InstitutVerified email at telecom-paris.fr
Bedir TekinerdoganProfessor of Software and Systems Engineering, Wageningen University, The NetherlandsVerified email at wur.nl
Holger GieseProfessor of Computer Science, Hasso Plattner Insitute, Potsdam UniversityVerified email at hpi.uni-potsdam.de
Rima Al-AliCharles University in PragueVerified email at d3s.mff.cuni.cz
Ankica BarišićUniversité Côte d'Azur / I3S / INRIAVerified email at inria.fr
Mauro IaconoUniversità degli Studi della Campania "L. Vanvitelli", Dipartimento di Matematica e FisicaVerified email at unicampania.it
Stefan KlikovitsUniversity Assistant, Johannes Kepler University, LinzVerified email at jku.at
Ferhat ErataYale UniversityVerified email at yale.edu
Sougata SenAssistant Professor, Birla Institute of Technology and Science (BITS), Goa CampusVerified email at goa.bits-pilani.ac.in
Surjya GhoshAssistant Professor, BITS Pilani GoaVerified email at goa.bits-pilani.ac.in
Anuja PingePh.D. Student, Bits Pilani K K Birla Goa CampusVerified email at goa.bits-pilani.ac.in
Ken VanherpenPost-Doctoral ResearcherVerified email at uantwerp.be
Kuldar TaveterResearcher and Educator at the University of Tartu, EstoniaVerified email at ut.ee
Eva M. Navarro-LópezFull Professor in Computing, former Director of the iSchool, Rochester Institute of TechnologyVerified email at rit.edu
Hans VangheluweProfessor at University of Antwerp -- Flanders MakeVerified email at uantwerpen.be
Miguel GoulãoAssociate Professor, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, NOVA LincsVerified email at fct.unl.pt
Vasco AmaralAssociate Professor, NOVA University of LisbonVerified email at fct.unl.pt

Soumyadip Bandyopadhyaya

NVIDIA

Verified email at nvidia.com

Formal Method Cyber Physical Systems Compiler Program Equivalence CS Education


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	239	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	98	2005
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
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
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors