Search the dblp DataBase
P. Madhusudan :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Rajeev Alur , Swarat Chaudhuri , P. Madhusudan Languages of Nested Trees. [Citation Graph (0, 0)][DBLP ] CAV, 2006, pp:329-342 [Conf ] Rajeev Alur , P. Madhusudan , Wonhong Nam Symbolic Compositional Verification by Learning Assumptions. [Citation Graph (0, 0)][DBLP ] CAV, 2005, pp:548-562 [Conf ] 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 ] 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 ] Azadeh Farzan , P. Madhusudan Causal Atomicity. [Citation Graph (0, 0)][DBLP ] CAV, 2006, pp:315-328 [Conf ] Rajeev Alur , Salvatore La Torre , P. Madhusudan Playing Games with Boxes and Diamonds. [Citation Graph (0, 0)][DBLP ] CONCUR, 2003, pp:127-141 [Conf ] 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 ] 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 ] P. Madhusudan , P. S. Thiagarajan A Decidable Class of Asynchronous Distributed Controllers. [Citation Graph (0, 0)][DBLP ] CONCUR, 2002, pp:145-160 [Conf ] P. Madhusudan , P. S. Thiagarajan Controllers for Discrete Event Systems via Morphisms. [Citation Graph (0, 0)][DBLP ] CONCUR, 1998, pp:18-33 [Conf ] Rajeev Alur , P. Madhusudan Adding Nesting Structure to Words. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 2006, pp:1-13 [Conf ] Martin Leucker , P. Madhusudan , Supratik Mukhopadhyay Dynamic Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2002, pp:253-264 [Conf ] Christof Löding , P. Madhusudan , Olivier Serre Visibly Pushdown Games. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2004, pp:408-420 [Conf ] P. Madhusudan , B. Meenakshi Beyond Message Sequence Graphs. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2001, pp:256-267 [Conf ] 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 ] Rajeev Alur , Salvatore La Torre , P. Madhusudan Perturbed Timed Automata. [Citation Graph (0, 0)][DBLP ] HSCC, 2005, pp:70-85 [Conf ] Rajeev Alur , Mikhail Bernadsky , P. Madhusudan Optimal Reachability for Weighted Timed Games. [Citation Graph (0, 0)][DBLP ] ICALP, 2004, pp:122-133 [Conf ] Rajeev Alur , Viraj Kumar , P. Madhusudan , Mahesh Viswanathan Congruences for Visibly Pushdown Languages. [Citation Graph (0, 0)][DBLP ] ICALP, 2005, pp:1102-1114 [Conf ] P. Madhusudan Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs. [Citation Graph (0, 0)][DBLP ] ICALP, 2001, pp:809-820 [Conf ] P. Madhusudan , P. S. Thiagarajan Distributed Controller Synthesis for Local Specifications. [Citation Graph (0, 0)][DBLP ] ICALP, 2001, pp:396-407 [Conf ] P. Madhusudan Model-checking Trace Event Structures. [Citation Graph (0, 0)][DBLP ] LICS, 2003, pp:371-380 [Conf ] 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 ] 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 ] Rajeev Alur , P. Madhusudan Decision Problems for Timed Automata: A Survey. [Citation Graph (0, 0)][DBLP ] SFM, 2004, pp:1-24 [Conf ] Deepak D'Souza , P. Madhusudan Timed Control Synthesis for External Specifications. [Citation Graph (0, 0)][DBLP ] STACS, 2002, pp:571-582 [Conf ] Rajeev Alur , P. Madhusudan Visibly pushdown languages. [Citation Graph (0, 0)][DBLP ] STOC, 2004, pp:202-211 [Conf ] 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 ] 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 ] Rajeev Alur , Salvatore La Torre , P. Madhusudan Modular Strategies for Recursive Game Graphs. [Citation Graph (0, 0)][DBLP ] TACAS, 2003, pp:363-378 [Conf ] 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 ] 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 ] 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 ] 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 ] Azadeh Farzan , P. Madhusudan Causal Dataflow Analysis for Concurrent Programs. [Citation Graph (0, 0)][DBLP ] TACAS, 2007, pp:102-116 [Conf ] Viraj Kumar , P. Madhusudan , Mahesh Viswanathan Visibly pushdown automata for streaming XML. [Citation Graph (0, 0)][DBLP ] WWW, 2007, pp:1053-1062 [Conf ] Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. [Citation Graph (, )][DBLP ] Monitoring Atomicity in Concurrent Programs. [Citation Graph (, )][DBLP ] Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. [Citation Graph (, )][DBLP ] Meta-analysis for Atomicity Violations under Nested Locking. [Citation Graph (, )][DBLP ] CANDID: preventing sql injection attacks using dynamic candidate evaluations. [Citation Graph (, )][DBLP ] A formal framework for reflective database access control policies. [Citation Graph (, )][DBLP ] An Infinite Automaton Characterization of Double Exponential Time. [Citation Graph (, )][DBLP ] Query Automata for Nested Words. [Citation Graph (, )][DBLP ] The Complexity of Predicting Atomicity Violations. [Citation Graph (, )][DBLP ] Context-Bounded Analysis of Concurrent Queue Systems. [Citation Graph (, )][DBLP ] Learning Algorithms and Formal Verification (Invited Tutorial). [Citation Graph (, )][DBLP ] Search in 0.019secs, Finished in 0.021secs