Madhavan Mukund

According to our database, Madhavan Mukund authored at least 60 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Local-Time Semantics for Negotiations.

Madhavan Mukund, Adwitee Roy, B. Srivathsan

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

Best Practices for Developing Computational Thinking.

Dan Garcia, Sonia Garcha, Madhavan Mukund, Vipul Shah

Proceedings of the ACM Conference on Global Computing Education Vol 2, 2023

2022

Digital interventions at scale: lessons from NPTEL and IIT Madras B.S. degree program.

Jayakrishnan Warriem, Andrew Thangaraj, Madhavan Mukund, Bharathi Balaji

Commun. ACM, 2022

2021

Generalising Projection in Asynchronous Multiparty Session Types.

Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Formalizing and Checking Multilevel Consistency.

Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Bounded Version Vectors Using Mazurkiewicz Traces.

Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Proceedings of the Advanced Computing and Systems for Security, 2020

2019

Research in theoretical computer science.

Meena Mahajan, Madhavan Mukund, Nitin Saxena

Commun. ACM, 2019

2018

On Verifying TSO Robustness for Event-Driven Asynchronous Programs.

Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy

Proceedings of the Networked Systems - 6th International Conference, 2018

2017

Knowledge Transfer and Information Leakage in Protocols.

Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic Systems.

Ratul Saha, Madhavan Mukund, R. P. Jagadeesh Chandra Bose

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

Checking conformance for time-constrained scenario-based specifications.

S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar

Theor. Comput. Sci., 2015

Distributed Markov Chains.

Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Bounded Implementations of Replicated Data Types.

Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Effective Verification of Replicated Data Types Using Later Appearance Records (LAR).

Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Distributed Timed Automata with Independently Evolving Clocks.

S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar

Fundam. Informaticae, 2014

Distributed Markov Chains.

Sumit Kumar Jha, Madhavan Mukund, Ratul Saha, P. S. Thiagarajan

CoRR, 2014

Optimized OR-Sets without Ordering Constraints.

Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

Sessions with an Unbounded Number of Agents.

S. Akshay, Loïc Hélouët, Madhavan Mukund

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2012

Automata on Distributed Alphabets.

Madhavan Mukund

Proceedings of the Modern Applications of Automata Theory., 2012

Finite-State Automata on Infinite Inputs.

Madhavan Mukund

Proceedings of the Modern Applications of Automata Theory., 2012

2011

Kleene Theorems for Product Systems.

Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade

Proceedings of the Descriptional Complexity of Formal Systems, 2011

Assembling Sessions.

Philippe Darondeau, Loïc Hélouët, Madhavan Mukund

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Model checking time-constrained scenario-based specifications.

S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

2009

Specifying Interacting Components with Coordinated Concurrent Scenarios.

Prakash Chandrasekaran, Madhavan Mukund

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2008

Tagging Make Local Testing of Message-Passing Systems Feasible.

Puneet Bhateja, Madhavan Mukund

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2008 Abstracts Collection - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.

Ramesh Hariharan, Madhavan Mukund, V. Vinay

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

2008 Preface - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.

Ramesh Hariharan, Madhavan Mukund, V. Vinay

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

2007

Local Testing of Message Sequence Charts Is Difficult.

Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar

Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

Checking Coverage for Infinite Collections of Timed Scenarios.

S. Akshay, Madhavan Mukund, K. Narayan Kumar

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Anchored Concatenation of MSCs.

Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan, Shaofa Yang

Proceedings of the Formal Models, 2007

2006

Matching Scenarios with Timing Constraints.

Prakash Chandrasekaran, Madhavan Mukund

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

A Fresh Look at Testing for Asynchronous Communication.

Puneet Bhateja, Paul Gastin, Madhavan Mukund

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

A theory of regular MSC languages.

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan

Inf. Comput., 2005

Generic Verification of Security Protocols.

Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh

Proceedings of the Model Checking Software, 2005

Causal Closure for MSC Languages.

Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2003

Bounded time-stamping in message-passing systems.

Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni

Theor. Comput. Sci., 2003

Checking Consistency of SDL+MSC Specifications.

Deepak D'Souza, Madhavan Mukund

Proceedings of the Model Checking Software, 2003

Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces.

Paul Gastin, Madhavan Mukund, K. Narayan Kumar

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

Netcharts: Bridging the gap between HMSCs and executable specifications.

Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan

Proceedings of the CONCUR 2003, 2003

2002

An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces.

Paul Gastin, Madhavan Mukund

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems.

Madhavan Mukund

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

2001

Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.

Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma

Proceedings of the Logic Programming, 17th International Conference, 2001

2000

Regular Collections of Message Sequence Charts.

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

On Message Sequence Graphs and Finitely Generated Regular MSC Languages.

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Synthesizing Distributed Finite-State Systems from MSCs.

Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni

Proceedings of the CONCUR 2000, 2000

1999

Synthesizing Distributed Transition Systems from Global Specification.

Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

Faster Model Checking for Open Systems.

Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka

Proceedings of the Advances in Computing Science, 1999

1998

Robust Asynchronous Protocols Are Finite-State.

Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Towards a Characterisation of Finite-State Message-Passing Systems.

Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni

Proceedings of the Advances in Computing Science, 1998

1997

Keeping Track of the Latest Gossip in a Distributed System.

Madhavan Mukund, Milind A. Sohoni

Distributed Comput., 1997

1996

Linear Time Temporal Logics over Mazurkiewicz Traces.

Madhavan Mukund, P. S. Thiagarajan

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1995

Keeping Track of the Latest Gossip in Message-Passing Systems.

Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

Determinizing Büchi Asnchronous Automata.

Nils Klarlund, Madhavan Mukund, Milind A. Sohoni

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

1994

Determinizing Asynchronous Automata.

Nils Klarlund, Madhavan Mukund, Milind A. Sohoni

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

1993

Keeping Track of the Latest Gossip: Bounded Time-Stamps Suffice.

Madhavan Mukund, Milind A. Sohoni

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

1992

A Logical Characterization of Well Branching Event Structures.

Madhavan Mukund, P. S. Thiagarajan

Theor. Comput. Sci., 1992

Petri Nets and Step Transition Systems.

Madhavan Mukund

Int. J. Found. Comput. Sci., 1992

CCS, Location and Asynchronous Transition Systems.

Madhavan Mukund, Mogens Nielsen

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1989

A Petri Net Model of Asynchronously Communicating Sequential Processes.

Madhavan Mukund, P. S. Thiagarajan

Proceedings of the A Perspective in Theoretical Computer Science, 1989

An Axiomatization of Event Structures.

Madhavan Mukund, P. S. Thiagarajan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989