| 2026 | COMSNETS | QPhase: An Extensible Simulator for Phased Entanglement Routing Protocols in Multi-Hop Quantum Networks. | Manan Patel, Sreyash Mohanty, M. V. Panduranga Rao |
| 2025 | COMSNETS | Quantum Network Routing with Heterogeneous Nodes. | Anoop Kumar Pandey, Bheemarjuna Reddy Tamma, M. V. Panduranga Rao |
| 2025 | ICDCN | Mixing Entanglement Swapping and Hop-by-Hop Transmission On Heterogeneous Quantum Networks. | Anoop Kumar Pandey, Bheemarjuna Reddy Tamma, M. V. Panduranga Rao |
| 2025 | QCE | Servicing Demands between Multiple Pairs of Nodes on Heterogeneous Quantum Networks. | Anoop Kumar Pandey, Bheemarjuna Reddy Tamma, M. V. Panduranga Rao |
| 2025 | QCE | Distinguishing Quantum Software Bugs from Hardware Noise: A Statistical Approach. | Ahmik Virani, Devraj, Anirudh Suresh, Lei Zhang, M. V. Panduranga Rao |
| 2024 | COMSNETS | Constrained Quadratic Model Formulations for MDCVRPTW: Quantum Vs Classical. | Soumitri Kadambi, M. V. Panduranga Rao |
| 2024 | ICCS | Statistical Model Checking for Entanglement Swapping in Quantum Networks. | Anubhav Srivastava, M. V. Panduranga Rao |
| 2023 | ICDCN | Greedy Algorithms for Finding Entanglement Swap Paths in Quantum Networks. | Anoop Kumar Pandey, Anubhav Srivastava, Shuhul Handoo, Bheemarjuna Reddy Tamma, M. V. Panduranga Rao |
| 2023 | SAC | Traffic Intersections as Agents: A model checking approach for analysing communicating agents. | Thamilselvam B, Yenda Ramesh, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao |
| 2023 | SEKE | Automatic Diagnosis of Quantum Software Bug Fix Motifs. | Krishn Vishwas Kher, Ishan Joshi, Bharat Chandra Mukkavalli, Lei Zhang, M. V. Panduranga Rao |
| 2022 | ICAART | Statistical Model Checking for Probabilistic Temporal Epistemic Logics. | Yenda Ramesh, M. V. Panduranga Rao |
| 2021 | COMSNETS | Scalable Coordinated Intelligent Traffic Light Controller for Heterogeneous Traffic Scenarios Using UPPAAL STRATEGO. | Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao |
| 2021 | ICCS | Adiabatic Quantum Feature Selection for Sparse Linear Regression. | Surya Sai Teja Desu, P. K. Srijith, M. V. Panduranga Rao, Naveen Sivadasan |
| 2020 | PRIMA | Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems. | Ramesh Yenda, M. V. Panduranga Rao |
| 2020 | TASE | The Bouquet Algorithm for Model Checking Unbounded Until Properties. | Shiraj Arora, M. V. Panduranga Rao |
| 2019 | COMSNETS | Coordinated Intelligent Traffic Lights using Uppaal Stratego. | Thamilselvam B, Subrahmanyam Kalyanasundaram, M. V. Panduranga Rao |
| 2019 | COMSNETS | Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application. | Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao |
| 2019 | PRIMA | DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs. | Yenda Ramesh, Nikhil Anand, M. V. Panduranga Rao |
| 2016 | ISoLA | Probabilistic Model Checking of Incomplete Models. | Shiraj Arora, M. V. Panduranga Rao |
| 2008 | AINA | Development of Scheduler for Real Time and Embedded System Domain. | M. V. Panduranga Rao, K. Chandrashekar Shet, R. Balakrishna, K. Roopa |
| 2007 | TAMC | Bounding Run-Times of Local Adiabatic Algorithms. | M. V. Panduranga Rao |
| 2006 | TAMC | Generalized Counters and Reversal Complexity. | M. V. Panduranga Rao |