The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

P. Madhusudan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
    Languages of Nested Trees. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:329-342 [Conf]
  2. Rajeev Alur, P. Madhusudan, Wonhong Nam
    Symbolic Compositional Verification by Learning Assumptions. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:548-562 [Conf]
  3. Rajeev Alur, Salvatore La Torre, P. Madhusudan
    Modular Strategies for Infinite Games on Recursive Graphs. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:67-79 [Conf]
  4. Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit
    Timed Control with Partial Observability. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:180-192 [Conf]
  5. Azadeh Farzan, P. Madhusudan
    Causal Atomicity. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:315-328 [Conf]
  6. Rajeev Alur, Salvatore La Torre, P. Madhusudan
    Playing Games with Boxes and Diamonds. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:127-141 [Conf]
  7. Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
    Minimization, Learning, and Conformance Testing of Boolean Programs. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:203-217 [Conf]
  8. Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi
    Open Systems in Reactive Environments: Control and Synthesis. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:92-107 [Conf]
  9. P. Madhusudan, P. S. Thiagarajan
    A Decidable Class of Asynchronous Distributed Controllers. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:145-160 [Conf]
  10. P. Madhusudan, P. S. Thiagarajan
    Controllers for Discrete Event Systems via Morphisms. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:18-33 [Conf]
  11. Rajeev Alur, P. Madhusudan
    Adding Nesting Structure to Words. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2006, pp:1-13 [Conf]
  12. Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay
    Dynamic Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2002, pp:253-264 [Conf]
  13. Christof Löding, P. Madhusudan, Olivier Serre
    Visibly Pushdown Games. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:408-420 [Conf]
  14. P. Madhusudan, B. Meenakshi
    Beyond Message Sequence Graphs. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2001, pp:256-267 [Conf]
  15. P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
    The MSO Theory of Connectedly Communicating Processes. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:201-212 [Conf]
  16. Rajeev Alur, Salvatore La Torre, P. Madhusudan
    Perturbed Timed Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2005, pp:70-85 [Conf]
  17. Rajeev Alur, Mikhail Bernadsky, P. Madhusudan
    Optimal Reachability for Weighted Timed Games. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:122-133 [Conf]
  18. Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
    Congruences for Visibly Pushdown Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1102-1114 [Conf]
  19. P. Madhusudan
    Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:809-820 [Conf]
  20. P. Madhusudan, P. S. Thiagarajan
    Distributed Controller Synthesis for Local Specifications. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:396-407 [Conf]
  21. P. Madhusudan
    Model-checking Trace Event Structures. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:371-380 [Conf]
  22. Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
    A fixpoint calculus for local and global program flows. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:153-165 [Conf]
  23. Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam
    Synthesis of interface specifications for Java classes. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:98-109 [Conf]
  24. Rajeev Alur, P. Madhusudan
    Decision Problems for Timed Automata: A Survey. [Citation Graph (0, 0)][DBLP]
    SFM, 2004, pp:1-24 [Conf]
  25. Deepak D'Souza, P. Madhusudan
    Timed Control Synthesis for External Specifications. [Citation Graph (0, 0)][DBLP]
    STACS, 2002, pp:571-582 [Conf]
  26. Rajeev Alur, P. Madhusudan
    Visibly pushdown languages. [Citation Graph (0, 0)][DBLP]
    STOC, 2004, pp:202-211 [Conf]
  27. Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan
    On-the-Fly Reachability and Cycle Detection for Recursive State Machines. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:61-76 [Conf]
  28. Rajeev Alur, Kousha Etessami, P. Madhusudan
    A Temporal Logic of Nested Calls and Returns. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:467-481 [Conf]
  29. Rajeev Alur, Salvatore La Torre, P. Madhusudan
    Modular Strategies for Recursive Game Graphs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:363-378 [Conf]
  30. P. Madhusudan, Wonhong Nam, Rajeev Alur
    Symbolic computational techniques for solving games. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:4, pp:- [Journal]
  31. Rajeev Alur, P. Madhusudan, Wonhong Nam
    Symbolic computational techniques for solving games. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:118-128 [Journal]
  32. Rajeev Alur, Salvatore La Torre, P. Madhusudan
    Modular strategies for recursive game graphs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:2, pp:230-249 [Journal]
  33. P. Madhusudan, P. S. Thiagarajan
    Branching time controllers for discrete event systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:274, n:1-2, pp:117-149 [Journal]
  34. Azadeh Farzan, P. Madhusudan
    Causal Dataflow Analysis for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:102-116 [Conf]
  35. Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
    Visibly pushdown automata for streaming XML. [Citation Graph (0, 0)][DBLP]
    WWW, 2007, pp:1053-1062 [Conf]

  36. Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. [Citation Graph (, )][DBLP]


  37. Monitoring Atomicity in Concurrent Programs. [Citation Graph (, )][DBLP]


  38. Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. [Citation Graph (, )][DBLP]


  39. Meta-analysis for Atomicity Violations under Nested Locking. [Citation Graph (, )][DBLP]


  40. CANDID: preventing sql injection attacks using dynamic candidate evaluations. [Citation Graph (, )][DBLP]


  41. A formal framework for reflective database access control policies. [Citation Graph (, )][DBLP]


  42. An Infinite Automaton Characterization of Double Exponential Time. [Citation Graph (, )][DBLP]


  43. Query Automata for Nested Words. [Citation Graph (, )][DBLP]


  44. The Complexity of Predicting Atomicity Violations. [Citation Graph (, )][DBLP]


  45. Context-Bounded Analysis of Concurrent Queue Systems. [Citation Graph (, )][DBLP]


  46. Learning Algorithms and Formal Verification (Invited Tutorial). [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002