Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of P. Madhusudan Parthasarathy Madhusudan ( http://dblp.L3S.de/Authors/P._Madhusudan )

URL (Homepage):  http://www-faculty.cs.uiuc.edu/~madhu/  Author page on DBLP  Author page in RDF  Community of P. Madhusudan in ASPL-2

Publication years (Num. hits)
1998-2003 (15) 2004-2006 (18) 2007-2009 (16) 2010-2012 (15)
Publication types (Num. hits)
article(9) inproceedings(55)
Venues (Conferences, Journals, ...)
CAV(9) TACAS(8) CONCUR(5) POPL(5) FSTTCS(4) ICALP(4) ACM Conference on Computer and...(2) CSL(2) LICS(2) Theor. Comput. Sci.(2) ACM Trans. Inf. Syst. Secur.(1) ACM Trans. Program. Lang. Syst...(1) Commun. ACM(1) Developments in Language Theor...(1) Electr. Notes Theor. Comput. S...(1) Formal Methods in System Desig...(1) More (+10 of total 31)
Authors
P. Madhusudan(58) Rajeev Alur(21) Salvatore La Torre(12) Gennaro Parlato(9) Azadeh Farzan(6) P. S. Thiagarajan(6) Parthasarathy Madhusudan(6) Mahesh Viswanathan(5) Wonhong Nam(5) Swarat Chaudhuri(4) Sruthi Bandhakavi(3) Viraj Kumar(3) Xiaokang Qiu(3) Deepak D'Souza(2) Francesco Sorrentino 0002(2) Kousha Etessami(2) More (+10 of total 41)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 32 keywords
Results
Found 64 publication records. Showing 64 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Rohit Chadha, P. Madhusudan, Mahesh Viswanathan Reachability under Contextual Locking. Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu Recursive proofs for inductive tree data-structures. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Swarat Chaudhuri, P. Madhusudan Software model checking using languages of nested trees. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sruthi Bandhakavi, Nandit Tiku, Wyatt Pittman, Samuel T. King, P. Madhusudan, Marianne Winslett Vetting browser extensions for security vulnerabilities with VEX. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pranav Garg, P. Madhusudan Compositionality Entails Sequentializability. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, Gennaro Parlato, Xiaokang Qiu Decidable logics combining heap structures and data. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, Gennaro Parlato The tree width of auxiliary storage. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, Xiaokang Qiu Efficient Decision Procedures for Heaps Using STRAND. Search on Bibsonomy SAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore Thread contracts for safe parallelism. Search on Bibsonomy PPOPP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Parthasarathy Madhusudan Synthesizing Reactive Programs. Search on Bibsonomy CSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sruthi Bandhakavi, Samuel T. King, P. Madhusudan, Marianne Winslett VEX: Vetting Browser Extensions for Security Vulnerabilities. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2010 DBLP  BibTeX  RDF
1Salvatore La Torre, P. Madhusudan, Gennaro Parlato Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Francesco Sorrentino 0002, Azadeh Farzan, P. Madhusudan PENELOPE: weaving threads to expose atomicity violations. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Prithvi Bisht, Parthasarathy Madhusudan, V. N. Venkatakrishnan CANDID: Dynamic candidate evaluations for automatic prevention of SQL injection attacks. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato The Language Theory of Bounded Context-Switching. Search on Bibsonomy LATIN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, P. Madhusudan Adding nesting structure to words. Search on Bibsonomy J. ACM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software model checking, tree automata, Pushdown automata, XML processing
1Azadeh Farzan, P. Madhusudan The Complexity of Predicting Atomicity Violations. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, Mahesh Viswanathan Query Automata for Nested Words. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Azadeh Farzan, P. Madhusudan, Francesco Sorrentino 0002 Meta-analysis for Atomicity Violations under Nested Locking. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, P. Madhusudan, Gennaro Parlato Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato Analyzing recursive programs using a fixed-point calculus. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF recursive systems, model-checking, abstraction, logic, software verification, mu-calculus
1Wonhong Nam, P. Madhusudan, Rajeev Alur Automatic symbolic compositional verification by learning assumptions. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Regular language learning, Formal verification, Symbolic model checking, Compositional verification, Assume-guarantee reasoning, Hypergraph partitioning
1Salvatore La Torre, P. Madhusudan, Gennaro Parlato Context-Bounded Analysis of Concurrent Queue Systems. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Azadeh Farzan, P. Madhusudan Monitoring Atomicity in Concurrent Programs. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, P. Madhusudan, Gennaro Parlato An Infinite Automaton Characterization of Double Exponential Time. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Lars E. Olson, Carl A. Gunter, P. Madhusudan A formal framework for reflective database access control policies. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal safety verification, reflective database access control, transaction datalog, fine-grained access control
1Azadeh Farzan, P. Madhusudan Causal Dataflow Analysis for Concurrent Programs. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Viraj Kumar, P. Madhusudan, Mahesh Viswanathan Visibly pushdown automata for streaming XML. Search on Bibsonomy WWW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF XML, query, typing, schema, streaming algorithms, pushdown automata
1P. Madhusudan Learning Algorithms and Formal Verification (Invited Tutorial). Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sruthi Bandhakavi, Prithvi Bisht, P. Madhusudan, V. N. Venkatakrishnan CANDID: preventing sql injection attacks using dynamic candidate evaluations. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic monitoring, retrofitting code, sql injection attacks, symbolic evaluation
1Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato A Robust Class of Context-Sensitive Languages. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Salvatore La Torre, P. Madhusudan Modular strategies for recursive game graphs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Viraj Kumar, P. Madhusudan, Mahesh Viswanathan Minimization, Learning, and Conformance Testing of Boolean Programs. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Swarat Chaudhuri, P. Madhusudan A fixpoint calculus for local and global program flows. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
1Rajeev Alur, P. Madhusudan Adding Nesting Structure to Words. Search on Bibsonomy Developments in Language Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Swarat Chaudhuri, P. Madhusudan Languages of Nested Trees. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Azadeh Farzan, P. Madhusudan Causal Atomicity. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, P. Madhusudan, Wonhong Nam Symbolic computational techniques for solving games. Search on Bibsonomy STTT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF QBF solving, Games, Formal verification, Symbolic model checking, Bounded model checking
1Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan On-the-Fly Reachability and Cycle Detection for Recursive State Machines. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan Congruences for Visibly Pushdown Languages. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam Synthesis of interface specifications for Java classes. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF behavioral interfaces, learning regular languages, model checking, games, abstraction, synthesis, software components
1Rajeev Alur, P. Madhusudan, Wonhong Nam Symbolic Compositional Verification by Learning Assumptions. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Salvatore La Torre, P. Madhusudan Perturbed Timed Automata. Search on Bibsonomy HSCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, P. S. Thiagarajan, Shaofa Yang The MSO Theory of Connectedly Communicating Processes. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Kousha Etessami, P. Madhusudan A Temporal Logic of Nested Calls and Returns. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Mikhail Bernadsky, P. Madhusudan Optimal Reachability for Weighted Timed Games. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, P. Madhusudan Decision Problems for Timed Automata: A Survey. Search on Bibsonomy SFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Christof Löding, P. Madhusudan, Olivier Serre Visibly Pushdown Games. Search on Bibsonomy FSTTCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, P. Madhusudan Visibly pushdown languages. Search on Bibsonomy STOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ?-languages, verification, logic, context-free languages, pushdown automata, regular tree languages
1P. Madhusudan, Wonhong Nam, Rajeev Alur Symbolic computational techniques for solving games. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Salvatore La Torre, P. Madhusudan Playing Games with Boxes and Diamonds. Search on Bibsonomy CONCUR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Salvatore La Torre, P. Madhusudan Modular Strategies for Recursive Game Graphs. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Salvatore La Torre, P. Madhusudan Modular Strategies for Infinite Games on Recursive Graphs. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit Timed Control with Partial Observability. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1P. Madhusudan Model-checking Trace Event Structures. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, P. S. Thiagarajan Branching time controllers for discrete event systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, P. S. Thiagarajan A Decidable Class of Asynchronous Distributed Controllers. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Deepak D'Souza, P. Madhusudan Timed Control Synthesis for External Specifications. Search on Bibsonomy STACS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay Dynamic Message Sequence Charts. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, P. S. Thiagarajan Distributed Controller Synthesis for Local Specifications. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1P. Madhusudan Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs. Search on Bibsonomy ICALP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, B. Meenakshi Beyond Message Sequence Graphs. Search on Bibsonomy FSTTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi Open Systems in Reactive Environments: Control and Synthesis. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, P. S. Thiagarajan Controllers for Discrete Event Systems via Morphisms. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #64 of 64 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.