Madhavan Mukund

70 papers A* 4B 20Misc 2Journal 12Unranked 25

Year	Rank	Type	Title / 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