Rumpa Hazra

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 .

Stack-Based Dynamic Resource Access Control Protocol for Real-Time Systems

Ananya Kanjilal, Swapan Kumar Bhattacharya, Shouvik Dey, 2019 .

Modeling, analysis and verification of real-time resource access control protocols: a formal approach

Shouvik Dey, Rumpa Hazra, Jayashree Singha, 2017 .

Modeling and analysis of real time fixed priority scheduling using UML 2.0

Ananya Kanjilal, Swapan Bhattacharya, Shouvik Dey, 2015 .

Automated consistency checking of UML/MARTE based software systems

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

Consistency between Use Case, Sequence and Timing Diagram for Real Time Software Systems

Shouvik Dey, Rumpa Hazra, 2014 .

Comparative analysis of real time resource access control protocols using UML 2.0

Ananya Kanjilal, Swapan Bhattacharya, Shouvik Dey, 2013, SOEN.