Soumyadip Bandyopadhyay -

Registered user since Mon 9 May 2016

Name:Soumyadip Bandyopadhyay

Country:India

Affiliation:ABB Corporate Research

Research interests:Formal verification, Software Engineering

Contributions

2025

ISEC

2022

MODELS

Author of Solving the Instance Model-View Update Problem in AADL within the Technical Track-track

2016

ARRAY

Author of Data-Race Detection: The Missing Piece for an End-to-end Semantic Equivalence Checker for Parallelizing Transformations of Array-Intensive Programs within the ARRAY-track