Browse by Fellow

Bouajjani, Ahmed ; Enea, Constantin ; Mukund, Madhavan ; Shenoy R., Gautham ; Suresh, S. P. (2020) Formalizing and Checking Multilevel Consistency In: 21st International Conference, Verification, Model Checking, and Abstract Interpretation 2020, January 16–21, 2020, New Orleans, LA, USA.

Bouajjani, Ahmed ; Enea, Constantin ; Mukund, Madhavan ; Roy, Rajarshi (2019) On Verifying TSO Robustness for Event-Driven Asynchronous Programs Springer Nature.

Khadir, Abdullah Abdul ; Mukund, Madhavan ; Suresh, S. P. (2017) Knowledge transfer and information leakage in protocols In: International Symposium on Automated Technology for Verification and Analysis - ATVA 2017, 03-06 Oct 2017, Pune, India.

Saha, Ratul ; Mukund, Madhavan ; Bose, R. P. Jagadeesh Chandra (2016) Time-bounded statistical analysis of resource-constrained business processes with distributed probabilistic systems In: International Symposium on Dependable Software Engineering: Theories, Tools, and Applications - SETTA 2016, 9-11 Nov 2016, Beijing, China.

Mukund, Madhavan ; Shenoy R., Gautham ; Suresh, S. P. (2015) Effective verification of replicated data types using later appearance records (LAR) In: 13th International Symposium, ATVA 2015, 12-15 Oct 2015, Shanghai, China.

Akshay, S. ; Gastin, Paul ; Mukund, Madhavan ; Narayan Kumar, K. (2015) Checking conformance for time-constrained scenario-based specifications Theoretical Computer Science, 594 . pp. 24-43. ISSN 0304-3975

Akshay, S. ; Helouet, Loic ; Mukund, Madhavan (2015) Sessions with an unbounded number of agents In: 2014 14th International Conference on Application of Concurrency to System Design (ACSD), 23-27 Jun 2014, Tunis La Marsa, Tunisia.

Mukund, Madhavan ; Shenoy R., Gautham ; Suresh, S. P. (2015) Bounded implementations of replicated data types In: 16th International Conference, VMCAI 2015, 12-14 Jan 2015, Mumbai, India.

Saha, Ratul ; Esparza, Javier ; Jha, Sumit Kumar ; Mukund, Madhavan ; Thiagarajan, P. S. (2015) Distributed Markov chains In: 16th International Conference, VMCAI 2015, 12-14 Jan 2015, Mumbai, India.

Mukund, Madhavan ; Shenoy R., Gautham ; Suresh, S. P. (2014) Optimized OR-Sets without ordering constraints In: International Conference on Distributed Computing and Networking (ICDCN) 2014, 04-07 Jan 2014, Coimbatore, India.

Darondeau, Philippe ; Hélouët, Loïc ; Mukund, Madhavan (2011) Assembling Sessions In: International Symposium on Automated Technology for Verification and Analysis (ATVA) 2011, 11-14 Oct 2011, Taipei, Taiwan.

Lodaya, Kamal ; Mukund, Madhavan ; Phawade, Ramchandra (2011) Kleene Theorems for Product Systems In: 2011 International Conference on Descriptional Complexity of Formal Systems, 25-27 Jul 2011, Gießen near Limburg, Germany.

Akshay, S. ; Gastin, Paul ; Mukund, Madhavan ; Narayan Kumar, K. (2010) Model checking time-constrained scenario-based specifications In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), 15-18 Dec 2010, Chennai, India.

Chandrasekaran, Prakash ; Mukund, Madhavan (2009) Specifying interacting components with coordinated concurrent scenarios In: 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 23-27 Nov 2009, Hanoi, Vietnam.

Akshay, S. ; Bollig, Benedikt ; Gastin, Paul ; Mukund, Madhavan ; Narayan Kumar, K. (2008) Distributed timed automata with independently evolving clocks In: 19th International Conference on Concurrency Theory, CONCUR 2008, 19-22 Aug 2008, Toronto, Canada.

Bhateja, Puneet ; Mukund, Madhavan (2008) Tagging make local testing of message-passing systems feasible In: 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM), 10-14 Nov 2008, Cape Town, South Africa.

Akshay, S. ; Mukund, Madhavan ; Narayan Kumar, K. (2007) Checking coverage for infinite collections of timed scenarios In: 18th International Conference on Concurrency Theory, CONCUR 2007, 03-08 Sep 2007, Lisbon, Portugal.

Bhateja, Puneet ; Gastin, Paul ; Mukund, Madhavan ; Narayan Kumar, K. (2007) Local testing of message sequence charts is difficult In: 16th International Symposium on Fundamentals of Computation Theory, FCT 2007, 27-30 Aug 2007, Budapest, Hungary.

Chandrasekaran, Prakash ; Mukund, Madhavan (2006) Matching scenarios with timing constraints In: 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006, 25-27 Sep 2006, Paris, France.

Bhateja, Puneet ; Gastin, Paul ; Mukund, Madhavan (2006) A fresh look at testing for asynchronous communication In: 4th International Symposium on Automated Technology for Verification and Analysis, ATVA 2006,, 23-26 Oct 2006, Beijing, China.

Mukund, Madhavan ; Nielsen, Mogens (2005) CCS, locations and asynchronous transition systems In: 12th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1992), 18-20 Dec 1992, New Delhi, India.

Mukund, Madhavan ; Sohoni, Milind (2005) Keeping track of the latest gossip: bounded time-stamps suffice In: 13th International Conference on Foundations of Software Technology and Theoretical Computer Science, 15-17 Dec 2003, Bombay, India.

Klarlund, Nils ; Mukund, Madhavan ; Sohoni, Milind (2005) Determinizing Büchi asynchronous automata In: 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, 18-20 Dec 2005, Bangalore, India.

Klarlund, Nils ; Mukund, Madhavan ; Sohoni, Milind (2005) Determinizing asynchronous automata In: 21st International Colloquium on Automata, Languages, and Programming (ICALP 1994), 11-14 Jul 1994, Jerusalem, Israel.

Adsul, Bharat ; Mukund, Madhavan ; Narayan Kumar, K. ; Narayanan, Vasumathi (2005) Causal closure for MSC languages In: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2005, 15-18 Dec 2005, Hyderabad, India.

Khan, Abdul Sahid ; Mukund, Madhavan ; Suresh, S. P. (2005) Generic verification of security protocols In: 12th International SPIN Workshop on Model Checking of Software, 22-24 Aug 2005, San Francisco, CA, USA.

Mukund, Madhavan ; Narayan Kumar, K. ; Sohoni, Milind (2003) Bounded time-stamping in message-passing systems Theoretical Computer Science, 290 (1). pp. 221-239. ISSN 0304-3975

D’Souza, Deepak ; Mukund, Madhavan (2003) Checking consistency of SDL+MSC specifications In: 10th International SPIN Workshop on Model Checking of Software, 09-10 May 2003, Portland, Oregon.

Gastin, Paul ; Mukund, Madhavan ; Narayan Kumar, K. (2003) Local LTL with past constants is expressively complete for Mazurkiewicz traces In: 28th International Symposium of Mathematical Foundations of Computer Science (MCFS-2003), 25-29 Aug 2003, Bratislava, Slovakia.

Mukund, Madhavan ; Narayan Kumar, K. ; Thiagarajan, P. S. (2003) Netcharts: bridging the gap between HMSCs and executable specifications In: 14th International Conference on Concurrency Theory, 3-5 Sep 2003, Marseille, France.

Gastin, Paul ; Mukund, Madhavan (2002) An elementary expressively complete temporal logic for Mazurkiewicz traces In: 29th International Colloquium on Automata, Languages, and Programming (ICALP 2002), 08-13, July 2002, Málaga, Spain.

Henriksen, Jesper G. ; Mukund, Madhavan ; Narayan Kumar, K. ; Thiagarajan, P. S. (2002) On message sequence graphs and finitely generated regular MSC languages In: 27th International Colloquium on Automata, Languages, and Programming (ICALP 2000), 09-15 Jul 2000, Geneva, Switzerland.

Mukund, Madhavan (2002) Hereditary history preserving bisimulation is decidable for trace-labelled systems In: 22nd International Conference on Foundations of Software Technology and Theoretical Computer Science (FST TCS 2002), 12-14 Dec 2002, Kanpur, India.

Basu, Samik ; Mukund, Madhavan ; Ramakrishnan, C. R. ; Ramakrishnan, I. V. ; Verma, Rakesh (2001) Local and symbolic bisimulation using tabled constraint logic programming In: 17th International Conference on Logic Programming (ICLP 2001 ), 26 Nov - 01 Dec 2001, Paphos, Cyprus.

Henriksen, Jesper G. ; Mukund, Madhavan ; Narayan Kumar, K. ; Thiagarajan, P. S. (2001) Regular collections of message sequence charts In: 25th International Symposium on Mathematical Foundations of Computer Science (MFCS 2000), 28 Aug - 01 Sep 2000, Bratislava, Slovakia.

Mukund, Madhavan ; Narayan Kumar, K. ; Sohoni, Milind (2000) Synthesizing distributed finite-state systems from MSCs In: 11th International Conference on Concurrency Theory (CONCUR - 2000), 22 25 Aug 2000, University Park, PA.

Castellani, Ilaria ; Mukund, Madhavan ; Thiagarajan, P. S. (2000) Synthesizing distributed transition systems from global specifications In: 19th International Conference on Foundations of Software Technology and Theoretical Computer Science, 13-15 Dec 1999, Chennai, India.

Mukund, Madhavan ; Narayan Kumar, K. ; Smolka, Scott A. (1999) Faster model checking for open systems In: 5th Asian Computing Science Conference, 10-12 Dec 1999, Phuket, Thailand.

Mukund, Madhavan ; Sohoni, Milind (1997) Keeping track of the latest gossip in a distributed system Distributed Computing, 10 (3). pp. 137-148. ISSN 0178-2770

Mukund, Madhavan ; Narayan Kumar, K. ; Sohoni, Milind (1995) Keeping track of the latest gossip in message-passing systems In: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT),, 11-13 May 1995, Berlin, Germany.

Mukund, Madhavan (1992) Petri nets and step transition systems International Journal of Foundations of Computer Science, 03 (04). pp. 443-478. ISSN 0129-0541