Soumyadip Bandyopadhyay

31 papers A 1B 2C 6Misc 1Journal 6Unranked 15
YearRankTypeTitle / Venue / Authors
2025 B conf
Antarbhukti: Verifying Correctness of PLC Software During System Evolution.
ATVA
Soumyadip Bandyopadhyay, Santonu Sarkar
2025 — conf
Pn4PLC: Verification of Software Upgrade for PLC Code.
SIGSOFT FSE Companion
Soumyadip Bandyopadhyay, Raoul Jetley
2025 J jnl
Verifying Correctness of PLC Software during System Evolution using Model Containment Approach.
CoRR
Soumyadip Bandyopadhyay, Santonu Sarkar
2024 C conf
Automated Control Logic Test Case Generation using Large Language Models.
ETFA
Heiko Koziolek, Virendra Ashiwal, Soumyadip Bandyopadhyay, Chandrika K. R
2024 J jnl
Automated Control Logic Test Case Generation using Large Language Models.
CoRR
Heiko Koziolek, Virendra Ashiwal, Soumyadip Bandyopadhyay, Chandrika K. R
2022 Misc conf
A Comparative Study between ECG-based and PPG-based Heart Rate Monitors for Stress Detection.
COMSNETS
Anuja Pinge, Soumyadip Bandyopadhyay, Surjya Ghosh, Sougata Sen
2022 — conf
A Report on the First International Workshop on Program Equivalence (PEQ 2022).
ISEC
Soumyadip Bandyopadhyay
2022 A conf
Solving the instance model-view update problem in AADL.
MoDELS
Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay
2022 J jnl
Translation validation of coloured Petri net models of programs on integers.
Acta Informatica
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal, Holger Giese
2021 — conf
A Report on the Second International Workshop on Software Engineering for Artificial Intelligence (SE4AI 2021).
ISEC
Soumyadip Bandyopadhyay, Swaroop Joshi
2021 C conf
PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets.
APSEC
Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay
2021 C conf
Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets.
ICSOFT
Rakshit Mittal, Rochishnu Banerjee, Dominique Blouin, Soumyadip Bandyopadhyay
2021 — conf
Translation Validation of Scheduled Conditional Behavior using PN.
PNSE@Petri Nets
Rakshit Mittal, Soumyadip Bandyopadhyay
2021 — conf
Validating Extended Feature Model Configurations using Petri Nets.
PNSE@Petri Nets
Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay
2020 — conf
A Report on the First Workshop on Software Engineering for Artificial Intelligence (SE4AI 2020).
ISEC
Soumyadip Bandyopadhyay, Rohan Mukherjee, Santonu Sarkar
2020 — conf
Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs.
PNSE@Petri Nets
Rakshit Mittal, Rochisnu Banerjee, Santonu Sarkar, Soumyadip Bandyopadhyay
2019 C conf
AES: Automated Evaluation Systems for Computer Programing Course.
ICSOFT
Shivam, Nilanjana Goswami, Veeky Baths, Soumyadip Bandyopadhyay
2019 J jnl
Equivalence checking of Petri net models of programs using static and dynamic cut-points.
Acta Informatica
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal
2019 — conf
SamaTulyataOne: A Path Based Equivalence Checker.
ISEC
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal
2018 C conf
Analysis of GPGPU Programs for Data-race and Barrier Divergence.
ICSOFT
Santonu Sarkar, Prateek Kandelwal, Soumyadip Bandyopadhyay, Holger Giese
2017 C conf
An End-to-end Formal Verifier for Parallel Programs.
ICSOFT
Soumyadip Bandyopadhyay, Santonu Sarkar, Kunal Banerjee
2017 — conf
PRESGen: A Fully Automatic Equivalence Checker for Validating Optimizing and Parallelizing Transformations.
SEM4HPC@HPDC
Soumyadip Bandyopadhyay, Kunal Banerjee
2017 B conf
SamaTulyata: An Efficient Path Based Equivalence Checking Tool.
ATVA
Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan A. Mandal
2016 J jnl
A Path Construction Algorithm for Translation Validation Using PRES+ Models.
Parallel Process. Lett.
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal, Kunal Banerjee, Krishnam Raju Duddu
2016 — conf
An efficient path based equivalence checking for Petri net based models of programs.
ISEC
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal
2016 — conf
Implementing an Efficient Path Based Equivalence Checker for Parallel Programs.
SEM4HPC@HPDC
Soumyadip Bandyopadhyay, Kunal Banerjee
2015 — conf
A Path-based Equivalence Checking Method for Petri Net based Models of Programs.
ICSOFT-EA
Soumyadip Bandyopadhyay, Dipankar Sarkar, Kunal Banerjee, Chittaranjan A. Mandal
2015 — conf
Poster: An Efficient Equivalence Checking Method for Petri Net Based Models of Programs.
ICSE (2)
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal
2015 — conf
Validating SPARK: High Level Synthesis Compiler.
ISVLSI
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal
2012 — conf
Translation Validation for PRES+ Models of Parallel Behaviours via an FSMD Equivalence Checker.
VDAT
Soumyadip Bandyopadhyay, Kunal Banerjee, Dipankar Sarkar, Chittaranjan A. Mandal
2010 J jnl
Equivalence Checking in Embedded Systems Design Verification using PRES+ model
CoRR
Soumyadip Bandyopadhyay