| 2021 | CONCUR | Generalising Projection in Asynchronous Multiparty Session Types. | Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey |
| 2020 | VMCAI | Formalizing and Checking Multilevel Consistency. | Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2017 | ATVA | Knowledge Transfer and Information Leakage in Protocols. | Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh |
| 2016 | SETTA | Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic Systems. | Ratul Saha, Madhavan Mukund, R. P. Jagadeesh Chandra Bose |
| 2015 | ATVA | Effective Verification of Replicated Data Types Using Later Appearance Records (LAR). | Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2015 | VMCAI | Bounded Implementations of Replicated Data Types. | Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2015 | VMCAI | Distributed Markov Chains. | Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan |
| 2014 | ICDCN | Optimized OR-Sets without Ordering Constraints. | Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2011 | ATVA | Assembling Sessions. | Philippe Darondeau, Loc Hlout, Madhavan Mukund |
| 2009 | SEFM | Specifying Interacting Components with Coordinated Concurrent Scenarios. | Prakash Chandrasekaran, Madhavan Mukund |
| 2008 | CONCUR | Distributed Timed Automata with Independently Evolving Clocks. | S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
| 2008 | SEFM | Tagging Make Local Testing of Message-Passing Systems Feasible. | Puneet Bhateja, Madhavan Mukund |
| 2007 | CONCUR | Checking Coverage for Infinite Collections of Timed Scenarios. | S. Akshay, Madhavan Mukund, K. Narayan Kumar |
| 2007 | FCT | Local Testing of Message Sequence Charts Is Difficult. | Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
| 2006 | ATVA | A Fresh Look at Testing for Asynchronous Communication. | Puneet Bhateja, Paul Gastin, Madhavan Mukund |
| 2003 | CONCUR | Netcharts: Bridging the gap between HMSCs and executable specifications. | Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
| 2003 | MFCS | Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces. | Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
| 2002 | ICALP | An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces. | Paul Gastin, Madhavan Mukund |
| 2001 | ICLP | Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. | Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma |
| 2000 | CONCUR | Synthesizing Distributed Finite-State Systems from MSCs. | Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni |
| 2000 | ICALP | On Message Sequence Graphs and Finitely Generated Regular MSC Languages. | Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
| 2000 | MFCS | Regular Collections of Message Sequence Charts. | Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
| 1998 | ICALP | Robust Asynchronous Protocols Are Finite-State. | Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni |
| 1996 | MFCS | Linear Time Temporal Logics over Mazurkiewicz Traces. | Madhavan Mukund, P. S. Thiagarajan |
| 1994 | ICALP | Determinizing Asynchronous Automata. | Nils Klarlund, Madhavan Mukund, Milind A. Sohoni |