Soumyadip Bandyopadhyaya

Cituota

	Visi	Nuo 2020
Šaltiniai	527	181
h-rodyklė	10	7
i10-rodyklė	10	5

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

Viešas pasiekiamumas

Peržiūrėti viską

8 straipsniai

1 straipsnis

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

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

Stebėti

Soumyadip Bandyopadhyaya

NVIDIA

Patvirtintas el. paštas nvidia.com

Formal Method Cyber Physical Systems Compiler Program Equivalence CS Education


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	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	244	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	17	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
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems B Tekinerdogan, D Blouin, H Vangheluwe, M Goulão, P Carreira, ... Academic Press, 2020	14	2020
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	14	2019
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
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	13	2017
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
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	9	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	7	2016
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
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	4	2020
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
SamaTulyataOne: A Path Based Equivalence Checker S Bandyopadhyay, D Sarkar, C Mandal Proceedings of the 12th Innovations in Software Engineering Conference …, 2019	4	2019
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	4	2017
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
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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai