Devleena Ghosh

According to our database, Devleena Ghosh authored at least 8 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics.

Devleena Ghosh, Chittaranjan Mandal

Formal Aspects Comput., September, 2024

MAB-BMC: A Formal Verification Enhancer by Harnessing Multiple BMC Engines Together.

Devleena Ghosh, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran

ACM Trans. Design Autom. Electr. Syst., 2024

2023

Harnessing Multiple BMC Engines Together for Efficient Formal Verification.

Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

2022

Clustering Based Parameter Estimation of Thyroid Hormone Pathway.

Devleena Ghosh, Chittaranjan Mandal

IEEE ACM Trans. Comput. Biol. Bioinform., 2022

2021

Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan.

Arindam Das, Manoj Kumar Gangwar, Devleena Ghosh, Chittaranjan Mandal, Anirban Sengupta, M. Mubashshir Waris

IEEE Trans. Intell. Transp. Syst., 2021

2015

Aiding Teaching of Logic Design and Computer Organization through Dynamic Problem Generation and Automatic Checker Using COLDVL Tool.

Gargi Roy, Devleena Ghosh, Chittaranjan Mandal, Indraneel Mitra

Proceedings of the Seventh IEEE International Conference on Technology for Education, 2015

A Virtual Laboratory Package to Support Teaching of Logic Design and Computer Organization.

Gargi Roy, Devleena Ghosh, Chittaranjan Mandal

Proceedings of the Seventh IEEE International Conference on Technology for Education, 2015

Layout Validation Using Graph Grammar and Generation of Yard Specific Safety Properties for Railway Interlocking Verification.

Devleena Ghosh, Chittaranjan Mandal

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015