Shouvik Dey

Automated consistency checking of UML/MARTE based software systems

Ananya Kanjilal, Swapan Bhattacharya, Shouvik Dey, 2018, TENCON 2018 - 2018 IEEE Region 10 Conference.

Modeling and analysis of deadlock driven dynamic priority scheduling

Ananya Kanjilal, Swapan Bhattacharya, Shouvik Dey, 2013, 2013 IEEE International Conference of IEEE Region 10 (TENCON 2013).

Network Issues in Clock Synchronization on Distributed Database

Debnath Bhattacharyya, Shouvik Dey, Rumpa Hazra, 2009 .

Formal software design technique: a pattern based approach

Swapan Bhattacharya, Shouvik Dey, S. Bhattacharya, 2010 .