Madhavan Mukund

70 papers A* 4B 20Misc 2Journal 12Unranked 25
YearRankTypeTitle / Venue / Authors
2026 — ed.
Networked Systems - 13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings
NETYS
Salem Lahlou, Madhavan Mukund
2025 — conf
Using Communication to Bound Clock Drift in Local-Timed Negotiations.
QEST+FORMATS
Abhinav Garg, Madhavan Mukund, Adwitee Roy, B. Srivathsan, Gautham Viswanathan
2023 — conf
A Local-Time Semantics for Negotiations.
FORMATS
Madhavan Mukund, Adwitee Roy, B. Srivathsan
2023 J jnl
A Local-Time Semantics for Negotiations.
CoRR
Madhavan Mukund, Adwitee Roy, B. Srivathsan
2023 — conf
Best Practices for Developing Computational Thinking.
CompEd (2)
Dan Garcia, Sonia Garcha, Madhavan Mukund, Vipul Shah
2022 J jnl
Digital interventions at scale: lessons from NPTEL and IIT Madras B.S. degree program.
Commun. ACM
Jayakrishnan Warriem, Andrew Thangaraj, Madhavan Mukund, Bharathi Balaji
2021 B conf
Generalising Projection in Asynchronous Multiparty Session Types.
CONCUR
Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
2021 J jnl
Generalising Projection in Asynchronous Multiparty Session Types.
CoRR
Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
2020 — conf
Bounded Version Vectors Using Mazurkiewicz Traces.
ACSS (1)
Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh
2020 B conf
Formalizing and Checking Multilevel Consistency.
VMCAI
Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh
2019 J jnl
Research in theoretical computer science.
Commun. ACM
Meena Mahajan, Madhavan Mukund, Nitin Saxena
2018 — conf
On Verifying TSO Robustness for Event-Driven Asynchronous Programs.
NETYS
Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy
2017 B conf
Knowledge Transfer and Information Leakage in Protocols.
ATVA
Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh
2016 Misc conf
Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic Systems.
SETTA
Ratul Saha, Madhavan Mukund, R. P. Jagadeesh Chandra Bose
2015 B conf
Bounded Implementations of Replicated Data Types.
VMCAI
Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh
2015 J jnl
Checking conformance for time-constrained scenario-based specifications.
Theor. Comput. Sci.
S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2015 B conf
Distributed Markov Chains.
VMCAI
Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan
2015 B conf
Effective Verification of Replicated Data Types Using Later Appearance Records (LAR).
ATVA
Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh
2014 J jnl
Distributed Markov Chains.
CoRR
Sumit Kumar Jha, Madhavan Mukund, Ratul Saha, P. S. Thiagarajan
2014 J jnl
Distributed Timed Automata with Independently Evolving Clocks.
Fundam. Informaticae
S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2014 Misc conf
Optimized OR-Sets without Ordering Constraints.
ICDCN
Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh
2014 — conf
Sessions with an Unbounded Number of Agents.
ACSD
S. Akshay, Loïc Hélouët, Madhavan Mukund
2012 — ch.
Automata on Distributed Alphabets.
Modern Applications of Automata Theory
Madhavan Mukund
2012 B ed.
Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
ATVA
Supratik Chakraborty, Madhavan Mukund
2012 — ch.
Finite-State Automata on Infinite Inputs.
Modern Applications of Automata Theory
Madhavan Mukund
2011 B conf
Assembling Sessions.
ATVA
Philippe Darondeau, Loïc Hélouët, Madhavan Mukund
2011 — conf
Kleene Theorems for Product Systems.
DCFS
Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade
2010 — conf
Model checking time-constrained scenario-based specifications.
FSTTCS
S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2009 B conf
Specifying Interacting Components with Coordinated Concurrent Scenarios.
SEFM
Prakash Chandrasekaran, Madhavan Mukund
2008 — conf
2008 Abstracts Collection - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.
FSTTCS
Ramesh Hariharan, Madhavan Mukund, V. Vinay
2008 — conf
2008 Preface - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.
FSTTCS
Ramesh Hariharan, Madhavan Mukund, V. Vinay
2008 B conf
Distributed Timed Automata with Independently Evolving Clocks.
CONCUR
S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2008 — ed.
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, Bangalore, India, December 9-11, 2008
FSTTCS
Ramesh Hariharan, Madhavan Mukund, V. Vinay
2008 B conf
Tagging Make Local Testing of Message-Passing Systems Feasible.
SEFM
Puneet Bhateja, Madhavan Mukund
2007 — conf
Anchored Concatenation of MSCs.
Formal Models, Languages and Applications
Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan, Shaofa Yang
2007 B conf
Checking Coverage for Infinite Collections of Timed Scenarios.
CONCUR
S. Akshay, Madhavan Mukund, K. Narayan Kumar
2007 — ed.
Formal Models, Languages and Applications [this volume commemorates the 75th birthday of Prof. Rani Siromoney].
Formal Models, Languages and Applications
Madhavan Mukund, K. Rangarajan, K. G. Subramanian
2007 B conf
Local Testing of Message Sequence Charts Is Difficult.
FCT
Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2006 B conf
A Fresh Look at Testing for Asynchronous Communication.
ATVA
Puneet Bhateja, Paul Gastin, Madhavan Mukund
2006 — conf
Matching Scenarios with Timing Constraints.
FORMATS
Prakash Chandrasekaran, Madhavan Mukund
2005 J jnl
A theory of regular MSC languages.
Inf. Comput.
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan
2005 — conf
Causal Closure for MSC Languages.
FSTTCS
Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan
2005 — conf
Generic Verification of Security Protocols.
SPIN
Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh
2003 J jnl
Bounded time-stamping in message-passing systems.
Theor. Comput. Sci.
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni
2003 — conf
Checking Consistency of SDL+MSC Specifications.
SPIN
Deepak D'Souza, Madhavan Mukund
2003 B conf
Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces.
MFCS
Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2003 B conf
Netcharts: Bridging the gap between HMSCs and executable specifications.
CONCUR
Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
2002 A* conf
An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces.
ICALP
Paul Gastin, Madhavan Mukund
2002 — conf
Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems.
FSTTCS
Madhavan Mukund
2001 — ed.
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings
FSTTCS
Ramesh Hariharan, Madhavan Mukund, V. Vinay
2001 B conf
Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.
ICLP
Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma
2000 A* conf
On Message Sequence Graphs and Finitely Generated Regular MSC Languages.
ICALP
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
2000 B conf
Regular Collections of Message Sequence Charts.
MFCS
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
2000 B conf
Synthesizing Distributed Finite-State Systems from MSCs.
CONCUR
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni
1999 — conf
Faster Model Checking for Open Systems.
ASIAN
Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka
1999 — conf
Synthesizing Distributed Transition Systems from Global Specification.
FSTTCS
Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan
1998 A* conf
Robust Asynchronous Protocols Are Finite-State.
ICALP
Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni
1998 — conf
Towards a Characterisation of Finite-State Message-Passing Systems.
ASIAN
Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni
1997 J jnl
Keeping Track of the Latest Gossip in a Distributed System.
Distributed Comput.
Madhavan Mukund, Milind A. Sohoni
1996 B conf
Linear Time Temporal Logics over Mazurkiewicz Traces.
MFCS
Madhavan Mukund, P. S. Thiagarajan
1996 — conf
Linear time temporal logics over Mazurkiewicz traces.
Partial Order Methods in Verification
Madhavan Mukund, P. S. Thiagarajan
1995 — conf
Determinizing Büchi Asnchronous Automata.
FSTTCS
Nils Klarlund, Madhavan Mukund, Milind A. Sohoni
1995 — conf
Keeping Track of the Latest Gossip in Message-Passing Systems.
STRICT
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni
1994 A* conf
Determinizing Asynchronous Automata.
ICALP
Nils Klarlund, Madhavan Mukund, Milind A. Sohoni
1993 — conf
Keeping Track of the Latest Gossip: Bounded Time-Stamps Suffice.
FSTTCS
Madhavan Mukund, Milind A. Sohoni
1992 J jnl
A Logical Characterization of Well Branching Event Structures.
Theor. Comput. Sci.
Madhavan Mukund, P. S. Thiagarajan
1992 — conf
CCS, Location and Asynchronous Transition Systems.
FSTTCS
Madhavan Mukund, Mogens Nielsen
1992 J jnl
Petri Nets and Step Transition Systems.
Int. J. Found. Comput. Sci.
Madhavan Mukund
1989 — ch.
A Petri Net Model of Asynchronously Communicating Sequential Processes.
A Perspective in Theoretical Computer Science
Madhavan Mukund, P. S. Thiagarajan
1989 — conf
An Axiomatization of Event Structures.
FSTTCS
Madhavan Mukund, P. S. Thiagarajan