Planning based guided reconstruction of corner cases in architectural validation. - Rajib Lochan Jana; Shashank Kuchibhotla; Soumyajit Dey; Pallab Dasgupta; Rakesh Kumar (VDAT, 2016)

Automated planning for finding alternative bug traces. - Rajib Lochan Jana; Soumyajit Dey; Arijit Mondal; Pallab Dasgupta (IET Comput. Digit. Tech., 2020)

A Hierarchical HVAC Control Scheme for Energy-aware Smart Building Automation. - Rajib Lochan Jana; Soumyajit Dey; Pallab Dasgupta (ACM Trans. Design Autom. Electr. Syst., 2020)

Adaptive Learning Based Building Load Prediction for Microgrid Economic Dispatch. - Rumia Masburah; Rajib Lochan Jana; Ainuddin Khan; Shichao Xu; Shuyue Lan; Soumyajit Dey; Qi Zhu 002 (DATE, 2021)

Co-designing Intelligent Control of Building HVACs and Microgrids. - Rumia Masburah; Sayan Sinha; Rajib Lochan Jana; Soumyajit Dey; Qi Zhu 002 (DSD, 2021)