Madhavan Mukund

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 16

Top Topics

Business Processes

Top Venues

Publications

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