| 2019 | VLSID | Improving Performance of a Path-Based Equivalence Checker Using Counter-Examples. | Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri |
| 2018 | ICDCIT | Time-Triggered Scheduling for Multiprocessor Mixed-Criticality Systems. | Lalatendu Behera, Purandar Bhaduri |
| 2015 | RTCSA | Reconfigurable Communication Middleware for Flex Ray-Based Distributed Embedded Systems. | Diptesh Majumdar, Licong Zhang, Purandar Bhaduri, Samarjit Chakraborty |
| 2012 | SAC | Performance analysis of IEEE 802.11 IBSS power save mode using a discrete-time markov model. | Pravati Swain, Sandip Chakraborty, Sukumar Nandi, Purandar Bhaduri |
| 2010 | DATE | A proposal for real-time interfaces in SPEEDS. | Purandar Bhaduri, Ingo Stierand |
| 2010 | SAC | Performance analysis of FlexRay-based systems using real-time calculus, revisited. | Devesh B. Chokshi, Purandar Bhaduri |
| 2008 | RTCSA | Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus. | Devesh B. Chokshi, Purandar Bhaduri |
| 2005 | ATVA | Synthesis of Interface Automata. | Purandar Bhaduri |
| 2003 | SEFM | Model Checking Visual Specification of Requirements. | Ulka Shrotri, Purandar Bhaduri, R. Venkatesh |
| 2001 | APSEC | Formalizing Models and Meta-models for System Development. | R. Venkatesh, Purandar Bhaduri, Mathai Joseph |
| 1999 | CAV | Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study. | S. Ramesh, Purandar Bhaduri |