Soumyadip Bandyopadhyay

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 22

Top Topics

Discrete Event Systems

Software Engineering

High Level Synthesis

Top Venues

PNSE@Petri Nets

Acta Informatica

Publications

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