No photo of Madhusudan Parthasarathy

View Scopus Profile

Madhusudan Parthasarathy

Search results

  • 2006

    Languages of nested trees

    Alur, R., Chaudhuri, S. & Madhusudan, P., 2006, Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings. Springer, p. 329-342 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4144 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Minimization, learning, and conformance testing of boolean programs

    Kumar, V., Madhusudan, P. & Viswanathan, M., 2006, CONCUR 2006 - Concurrency Theory - 17th International Conference, CONCUR 2006, Proceedings. Springer, p. 203-217 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4137 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Modular strategies for recursive game graphs

    Alur, R., La Torre, S. & Madhusudan, P., Mar 28 2006, In: Theoretical Computer Science. 354, 2, p. 230-249 20 p.

    Research output: Contribution to journal › Article › peer-review

  • 2005

    Congruences for visibly pushdown languages

    Alur, R., Kumar, V., Madhusudan, P. & Viswanathan, M., 2005, In: Lecture Notes in Computer Science. 3580, p. 1102-1114 13 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access

  • On-the-fly reachability and cycle detection for recursive state machines

    Alur, R., Chaudhuri, S., Etessami, K. & Madhusudan, P., 2005, In: Lecture Notes in Computer Science. 3440, p. 61-76 16 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access

  • Perturbed timed automata

    Alur, R., La Torre, S. & Madhusudan, P., 2005, In: Lecture Notes in Computer Science. 3414, p. 70-85 16 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access

  • Symbolic compositional verification by learning assumptions

    Alur, R., Madhusudan, P. & Nam, W., 2005, In: Lecture Notes in Computer Science. 3576, p. 548-562 15 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access

  • Symbolic computational techniques for solving games

    Alur, R., Madhusudan, P. & Nam, W., Apr 2005, In: International Journal on Software Tools for Technology Transfer. 7, 2, p. 118-128 11 p.

    Research output: Contribution to journal › Article › peer-review

  • Synthesis of interface specifications for Java classes

    Alur, R., Madhusudan, P., Černý, P. & Nam, W., Jan 2005, In: ACM SIGPLAN Notices. 40, 1, p. 98-109 12 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Synthesis of interface specifications for Java classes

    Alur, R., Madhusudan, P., Černy, P. & Nam, W., 2005, In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 98-109 12 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access

  • The MSO theory of connectedly communicating processes

    Madhusudan, P., Thiagarajan, P. S. & Yang, S., 2005, FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science - 25th International Conference, Proceedings. p. 201-212 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3821 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2004

    A temporal logic of nested calls and returns

    Alur, R., Etessami, K. & Madhusudan, P., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer, p. 467-481 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Decision Problems for Timed Automata: A Survey

    Alur, R. & Madhusudan, P., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Bernardo, M. & Corradini, F. (eds.). Springer, p. 1-24 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3185).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access

  • Optimal reachability for weighted timed games

    Alur, R., Bernadsky, M. & Madhusudan, P., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Díaz, J., Karhumäki, J., Lepistö, A. & Sannella, D. (eds.). Springer, p. 122-133 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3142).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Visibly pushdown games

    Löding, C., Madhusudan, P. & Serre, O., 2004, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3328, p. 408-420 13 p.

    Research output: Contribution to journal › Article › peer-review

  • Visibly pushdown languages

    Alur, R. & Madhusudan, P., 2004, In: Conference Proceedings of the Annual ACM Symposium on Theory of Computing. p. 202-211 10 p.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
  • 2003

    Model-checking trace event structures

    Madhusudan, P., 2003, In: Proceedings - Symposium on Logic in Computer Science. p. 371-380 10 p.

    Research output: Contribution to journal › Conference article › peer-review

  • Modular strategies for infinite games on recursive graphs

    Alur, R., La Torre, S. & Madhusudan, P., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Hunt, W. A. & Somenzi, F. (eds.). Springer, p. 67-79 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2725).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access

  • Modular strategies for recursive game graphs

    Alur, R., La Torre, S. & Madhusudan, P., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Garavel, H. & Hatcliff, J. (eds.). Springer, p. 363-378 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2619).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access

  • Playing games with boxes and diamonds

    Alur, R., La Torre, S. & Madhusudan, P., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Amadio, R. & Lugiez, D. (eds.). Springer, p. 128-143 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2761).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access

  • Symbolic computational techniques for solving games

    Madhusudan, P., Nam, W. & Alur, R., 2003, In: Electronic Notes in Theoretical Computer Science. 89, 4, p. 578-592 15 p.

    Research output: Contribution to journal › Conference article › peer-review

  • Timed control with partial observability

    Bouyer, P., D'Souza, D., Madhusudan, P. & Petit, A., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Hunt, W. A. & Somenzi, F. (eds.). Springer, p. 180-192 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2725).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
  • 2002

    A decidable class of asynchronous distributed controllers

    Madhusudan, P. & Thiagarajan, P. S., 2002, CONCUR 2002, Concurrency Theory - 13th International Conference, Proceedings. Brim, L., Kretinsky, M., Kucera, A. & Jancar, P. (eds.). Springer, p. 145-160 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2421 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Branching time controllers for discrete event systems

    Madhusudan, P. & Thiagarajan, P. S., Mar 6 2002, In: Theoretical Computer Science. 274, 1-2, p. 117-149 33 p.

    Research output: Contribution to journal › Conference article › peer-review

  • Dynamic Message Sequence charts

    Leucker, M., Madhusudan, P. & Mukhopadhyay, S., 2002, FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - 22nd Conference, Proceedings. Agrawal, M. & Seth, A. (eds.). Springer, p. 253-264 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2556 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Timed control synthesis for external specifications

    D’Souza, D. & Madhusudan, P., 2002, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2285, p. 571-582 12 p.

    Research output: Contribution to journal › Article › peer-review

  • 2001

    Beyond message sequence graphs

    Madhusudan, P. & Meenakshi, B., 2001, FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science - 21st Conference, Proceedings. Hariharan, R., Vinay, V. & Mukund, M. (eds.). Springer, p. 256-267 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2245).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Distributed controller synthesis for local specifications

    Madhusudan, P. & Thiagarajan, P. S., 2001, Automata, Languages and Programming - 28th International Colloquium, ICALP 2001, Proceedings. Orejas, F., Spirakis, P. G. & van Leeuwen, J. (eds.). Springer, p. 396-407 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2076 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Reasoning about sequential and branching behaviours of message sequence graphs

    Madhusudan, P., 2001, Automata, Languages and Programming - 28th International Colloquium, ICALP 2001, Proceedings. Orejas, F., Spirakis, P. G. & van Leeuwen, J. (eds.). Springer, p. 809-820 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2076 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2000

    Open systems in reactive environments: Control and synthesis

    Kupferman, O., Madhusudan, P., Thiagarajan, P. S. & Vardi, M. Y., 2000, CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings. Palamidessi, C. (ed.). Springer, p. 92-107 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1877 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1998

    Controllers for discrete event systems via morphisms

    Madhusudan, P. & Thiagarajan, P. S., 1998, CONCUR 1998 Concurrency Theory - 9th International Conference, Proceedings. Sangiorgi, D. & de Simone, R. (eds.). Springer, p. 18-33 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1466).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution