Madhavan Mukund

2007
31	EE	S. Akshay, Madhavan Mukund, K. Narayan Kumar: Checking Coverage for Infinite Collections of Timed Scenarios. CONCUR 2007: 181-196
30	EE	Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar: Local Testing of Message Sequence Charts Is Difficult. FCT 2007: 76-87
2006
29	EE	Puneet Bhateja, Paul Gastin, Madhavan Mukund: A Fresh Look at Testing for Asynchronous Communication. ATVA 2006: 369-383
28	EE	Prakash Chandrasekaran, Madhavan Mukund: Matching Scenarios with Timing Constraints. FORMATS 2006: 98-112
2005
27	EE	Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan: Causal Closure for MSC Languages. FSTTCS 2005: 335-347
26	EE	Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh: Generic Verification of Security Protocols. SPIN 2005: 221-235
25	EE	Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan: A theory of regular MSC languages. Inf. Comput. 202(1): 1-38 (2005)
2003
24	EE	Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan: Netcharts: Bridging the gap between HMSCs and executable specifications. CONCUR 2003: 293-307
23	EE	Paul Gastin, Madhavan Mukund, K. Narayan Kumar: Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces. MFCS 2003: 429-438
22	EE	Deepak D'Souza, Madhavan Mukund: Checking Consistency of SDL+MSC Specifications. SPIN 2003: 151-165
21		Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni: Bounded time-stamping in message-passing systems. Theor. Comput. Sci. 290(1): 221-239 (2003)
2002
20	EE	Madhavan Mukund: Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems. FSTTCS 2002: 289-300
19	EE	Paul Gastin, Madhavan Mukund: An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces. ICALP 2002: 938-949
2001
18		Ramesh Hariharan, Madhavan Mukund, V. Vinay: FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings Springer 2001
17	EE	Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma: Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. ICLP 2001: 166-180
2000
16	EE	Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni: Synthesizing Distributed Finite-State Systems from MSCs. CONCUR 2000: 521-535
15	EE	Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan: On Message Sequence Graphs and Finitely Generated Regular MSC Languages. ICALP 2000: 675-686
14	EE	Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan: Regular Collections of Message Sequence Charts. MFCS 2000: 405-414
1999
13	EE	Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka: Faster Model Checking for Open Systems. ASIAN 1999: 227-238
12	EE	Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan: Synthesizing Distributed Transition Systems from Global Specification. FSTTCS 1999: 219-231
1998
11	EE	Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni: Towards a Characterisation of Finite-State Message-Passing Systems. ASIAN 1998: 282-299
10	EE	Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni: Robust Asynchronous Protocols Are Finite-State. ICALP 1998: 188-199
1997
9		Madhavan Mukund, Milind A. Sohoni: Keeping Track of the Latest Gossip in a Distributed System. Distributed Computing 10(3): 137-148 (1997)
1996
8		Madhavan Mukund, P. S. Thiagarajan: Linear Time Temporal Logics over Mazurkiewicz Traces. MFCS 1996: 62-92
1995
7		Nils Klarlund, Madhavan Mukund, Milind A. Sohoni: Determinizing Büchi Asnchronous Automata. FSTTCS 1995: 456-470
1994
6		Nils Klarlund, Madhavan Mukund, Milind A. Sohoni: Determinizing Asynchronous Automata. ICALP 1994: 130-141
1993
5		Madhavan Mukund, Milind A. Sohoni: Keeping Track of the Latest Gossip: Bounded Time-Stamps Suffice. FSTTCS 1993: 388-399
1992
4		Madhavan Mukund, Mogens Nielsen: CCS, Location and Asynchronous Transition Systems. FSTTCS 1992: 328-341
3		Madhavan Mukund: Petri Nets and Step Transition Systems. Int. J. Found. Comput. Sci. 3(4): 443-478 (1992)
2		Madhavan Mukund, P. S. Thiagarajan: A Logical Characterization of Well Branching Event Structures. Theor. Comput. Sci. 96(1): 35-72 (1992)
1989
1		Madhavan Mukund, P. S. Thiagarajan: An Axiomatization of Event Structures. FSTTCS 1989: 143-160

Coauthor Index

1	Bharat Adsul	[27]
2	S. Akshay	[31]
3	Samik Basu	[17]
4	Puneet Bhateja	[29] [30]
5	Ilaria Castellani	[12]
6	Prakash Chandrasekaran	[28]
7	Deepak D'Souza	[22]
8	Paul Gastin	[19] [23] [29] [30]
9	Ramesh Hariharan	[18]
10	Jesper G. Henriksen	[14] [15] [25]
11	Abdul Sahid Khan	[26]
12	Nils Klarlund	[6] [7]
13	K. Narayan Kumar	[10] [11] [13] [14] [15] [16] [21] [23] [24] [25] [27] [30] [31]
14	Vasumathi Narayanan	[27]
15	Mogens Nielsen	[4]
16	Jaikumar Radhakrishnan	[10] [11]
17	C. R. Ramakrishnan	[17]
18	I. V. Ramakrishnan	[17]
19	Scott A. Smolka	[13]
20	Milind A. Sohoni	[5] [6] [7] [9] [10] [11] [16] [21] [25]
21	S. P. Suresh	[26]
22	P. S. Thiagarajan	[1] [2] [8] [12] [14] [15] [24] [25]
23	Rakesh M. Verma	[17]
24	V. Vinay	[18]

Colors in the list of coauthors