Devleena Ghosh

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 3

Top Topics

Parameter Estimation

Learner Centred

Computer Technology

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee
Harnessing Multiple BMC Engines Together for Efficient Formal Verification. MEMOCODE (2023)
Devleena Ghosh, Chittaranjan Mandal
Clustering Based Parameter Estimation of Thyroid Hormone Pathway. IEEE ACM Trans. Comput. Biol. Bioinform. 19 (1) (2022)
Arindam Das, Manoj Kumar Gangwar, Devleena Ghosh, Chittaranjan Mandal, Anirban Sengupta, M. Mubashshir Waris
Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan. IEEE Trans. Intell. Transp. Syst. 22 (10) (2021)
Devleena Ghosh, Chittaranjan Mandal
Layout Validation Using Graph Grammar and Generation of Yard Specific Safety Properties for Railway Interlocking Verification. APSEC (2015)
Gargi Roy, Devleena Ghosh, Chittaranjan Mandal, Indraneel Mitra
Aiding Teaching of Logic Design and Computer Organization through Dynamic Problem Generation and Automatic Checker Using COLDVL Tool. T4E (2015)
Gargi Roy, Devleena Ghosh, Chittaranjan Mandal
A Virtual Laboratory Package to Support Teaching of Logic Design and Computer Organization. T4E (2015)