Edit Profile Madhusudan, Parthasarathy Compute Distance To: Compute Author ID: madhusudan.parthasarathy Published as: Madhusudan, P.; Madhusudan, Parthasarathy Documents Indexed: 57 Publications since 1998, including 1 Book all top 5 Co-Authors 4 single-authored 19 Alur, Rajeev 9 La Torre, Salvatore 7 Parlato, Gennaro 6 Thiagarajan, Pazhamaneri Subramaniam 5 Farzan, Azadeh 5 Viswanathan, Mahesh 4 Garg, Pranav 4 Nam, Wonhong 4 Neider, Daniel 3 Chaudhuri, Swarat 3 Saha, Shambwaditya 2 Chadha, Rohit 2 D’Souza, Deepak 2 Etessami, Kousha 2 Kumar, Viraj 2 Löding, Christof 2 Park, Daejun 2 Qiu, Xiaokang 1 Bernadsky, Mikhail 1 Bonnet, Remi 1 Bouyer, Patricia 1 Černý, Pavol 1 Ferrara, Anna Lisa 1 Kupferman, Orna 1 Leucker, Martin 1 Meenakshi, B. 1 Mukhopadhyay, Supratik 1 Petit, Antoine 1 Serre, Olivier 1 Seshia, Sanjit Arunkumar 1 Sorrentino, Francesco 1 Ştefănescu, Andrei 1 Vardi, Moshe Y. 1 Yang, Shaofa all top 5 Serials 2 Theoretical Computer Science 2 Formal Methods in System Design 1 Journal of Automated Reasoning 1 Journal of the ACM 1 ACM Transactions on Computational Logic 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science all top 5 Fields 56 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 52 Publications have been cited 553 times in 340 Documents Cited by ▼ Year ▼ Visibly pushdown languages. Zbl 1192.68396Alur, Rajeev; Madhusudan, P. 93 2004 Adding nesting structure to words. Zbl 1325.68138Alur, Rajeev; Madhusudan, P. 59 2009 A temporal logic of nested calls and returns. Zbl 1126.68466Alur, Rajeev; Etessami, Kousha; Madhusudan, P. 30 2004 Adding nesting structure to words. Zbl 1227.68045Alur, Rajeev; Madhusudan, P. 23 2006 The tree width of auxiliary storage. Zbl 1284.68358Madhusudan, P.; Parlato, Gennaro 20 2011 Synthesis of interface specifications for Java classes. Zbl 1369.68126Alur, Rajeev; Černý, Pavol; Madhusudan, P.; Nam, Wonhong 20 2005 Decision problems for timed automata: A survey. Zbl 1105.68057Alur, Rajeev; Madhusudan, P. 18 2004 Context-bounded analysis of concurrent queue systems. Zbl 1134.68446La Torre, Salvatore; Madhusudan, P.; Parlato, Gennaro 17 2008 Congruences for visibly pushdown languages. Zbl 1085.68079Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh 16 2005 Symbolic compositional verification by learning assumptions. Zbl 1081.68601Alur, Rajeev; Madhusudan, P.; Nam, Wonhong 16 2005 Distributed controller synthesis for local specifications. Zbl 0986.68079Madhusudan, P.; Thiagarajan, P. S. 16 2001 Open systems in reactive environments: Control and synthesis. Zbl 0999.68124Kupferman, Orna; Madhusudan, P.; Thiagarajan, P. S.; Vardi, Moshe Y. 14 2000 The MSO theory of connectedly communicating processes. Zbl 1172.68556Madhusudan, P.; Thiagarajan, P. S.; Yang, Shaofa 13 2005 Visibly pushdown games. Zbl 1117.68409Löding, Christof; Madhusudan, P.; Serre, Olivier 11 2004 Decidable logics combining heap structures and data. Zbl 1284.68411Madhusudan, P.; Parlato, Gennaro; Qiu, Xiaokang 10 2011 Optimal reachability for weighted timed games. Zbl 1098.68061Alur, Rajeev; Bernadsky, Mikhail; Madhusudan, P. 10 2004 A decidable class of asynchronous distributed controllers. Zbl 1012.68118Madhusudan, P.; Thiagarajan, P. S. 10 2002 Timed control with partial observability. Zbl 1278.68160Bouyer, Patricia; D’Souza, Deepak; Madhusudan, P.; Petit, Antoine 9 2003 Timed control synthesis for external specifications. Zbl 1054.93502D’Souza, Deepak; Madhusudan, P. 9 2002 A fixpoint calculus for local and global program flows. Zbl 1370.68051Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P. 8 2006 Languages of nested trees. Zbl 1188.68167Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P. 8 2006 Playing games with boxes and diamonds. Zbl 1274.68173Alur, Rajeev; La Torre, Salvatore; Madhusudan, P. 8 2003 Reducing context-bounded concurrent reachability to sequential reachability. Zbl 1242.68057La Torre, Salvatore; Madhusudan, P.; Parlato, Gennaro 7 2009 An infinite automaton characterization of double exponential time. Zbl 1157.68040La Torre, Salvatore; Madhusudan, P.; Parlato, Gennaro 7 2008 Reasoning about sequential and branching behaviours of message sequence graphs. Zbl 0986.68061Madhusudan, P. 7 2001 Query automata for nested words. Zbl 1250.68169Madhusudan, P.; Viswanathan, Mahesh 6 2009 Automatic symbolic compositional verification by learning assumptions. Zbl 1147.68052Nam, Wonhong; Madhusudan, P.; Alur, Rajeev 6 2008 Monitoring atomicity in concurrent programs. Zbl 1155.68365Farzan, Azadeh; Madhusudan, P. 6 2008 Perturbed timed automata. Zbl 1078.68070Alur, Rajeev; La Torre, Salvatore; Madhusudan, P. 6 2005 Beyond message sequence graphs. Zbl 1052.68633Madhusudan, P.; Meenakshi, B. 6 2001 Controllers for discrete event systems via morphisms. Zbl 0986.93041Madhusudan, P.; Thiagarajan, P. S. 6 1998 The complexity of predicting atomicity violations. Zbl 1234.68076Farzan, Azadeh; Madhusudan, P. 5 2009 Minimization, learning, and conformance testing of Boolean programs. Zbl 1151.68484Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh 5 2006 Modular strategies for recursive game graphs. Zbl 1088.68099Alur, Rajeev; La Torre, Salvatore; Madhusudan, P. 5 2006 Symbolic computational techniques for solving games. Zbl 1271.68144Madhusudan, P.; Nam, Wonhong; Alur, Rajeev 5 2003 Modular strategies for infinite games on recursive graphs. Zbl 1278.03054Alur, Rajeev; La Torre, Salvatore; Madhusudan, P. 5 2003 The language theory of bounded context-switching. Zbl 1283.68197La Torre, Salvatore; Madhusudan, Parthasarathy; Parlato, Gennaro 4 2010 On-the-fly reachability and cycle detection for recursive state machines. Zbl 1087.68581Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Madhusudan, P. 4 2005 Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7–13, 2012. Proceedings. Zbl 1241.68027Madhusudan, P. (ed.); Seshia, Sanjit A. (ed.) 3 2012 Modular strategies for recursive game graphs. Zbl 1031.68048Alur, Rajeev; La Torre, Salvatore; Madhusudan, Parthasarathy 3 2003 Branching time controllers for discrete event systems. Zbl 0992.68148Madhusudan, P.; Thiagarajan, P. S. 3 2002 Recursive proofs for inductive tree data-structures. Zbl 1321.68226Madhusudan, Parthasarathy; Qiu, Xiaokang; Stefanescu, Andrei 2 2012 Reachability under contextual locking. Zbl 1352.68059Chadha, Rohit; Madhusudan, P.; Viswanathan, Mahesh 2 2012 Synthesizing reactive programs. Zbl 1247.68058Madhusudan, Parthasarathy 2 2011 Meta-analysis for atomicity violations under nested locking. Zbl 1242.68065Farzan, Azadeh; Madhusudan, P.; Sorrentino, Francesco 2 2009 Causal atomicity. Zbl 1188.68186Farzan, Azadeh; Madhusudan, P. 2 2006 Invariant synthesis for incomplete verification engines. Zbl 1423.68108Neider, Daniel; Garg, Pranav; Madhusudan, P.; Saha, Shambwaditya; Park, Daejun 1 2018 Compositional synthesis of piece-wise functions by learning classifiers. Zbl 1407.68411Neider, Daniel; Saha, Shambwaditya; Madhusudan, P. 1 2018 Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists. Zbl 1322.68121Garg, Pranav; Löding, Christof; Madhusudan, P.; Neider, Daniel 1 2015 Reachability under contextual locking. Zbl 1274.68064Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P. 1 2013 Compositionality entails sequentializability. Zbl 1315.68091Garg, Pranav; Madhusudan, P. 1 2011 Dynamic message sequence charts. Zbl 1027.68082Leucker, Martin; Madhusudan, P.; Mukhopadhyay, Supratik 1 2002 Invariant synthesis for incomplete verification engines. Zbl 1423.68108Neider, Daniel; Garg, Pranav; Madhusudan, P.; Saha, Shambwaditya; Park, Daejun 1 2018 Compositional synthesis of piece-wise functions by learning classifiers. Zbl 1407.68411Neider, Daniel; Saha, Shambwaditya; Madhusudan, P. 1 2018 Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists. Zbl 1322.68121Garg, Pranav; Löding, Christof; Madhusudan, P.; Neider, Daniel 1 2015 Reachability under contextual locking. Zbl 1274.68064Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P. 1 2013 Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7–13, 2012. Proceedings. Zbl 1241.68027Madhusudan, P. (ed.); Seshia, Sanjit A. (ed.) 3 2012 Recursive proofs for inductive tree data-structures. Zbl 1321.68226Madhusudan, Parthasarathy; Qiu, Xiaokang; Stefanescu, Andrei 2 2012 Reachability under contextual locking. Zbl 1352.68059Chadha, Rohit; Madhusudan, P.; Viswanathan, Mahesh 2 2012 The tree width of auxiliary storage. Zbl 1284.68358Madhusudan, P.; Parlato, Gennaro 20 2011 Decidable logics combining heap structures and data. Zbl 1284.68411Madhusudan, P.; Parlato, Gennaro; Qiu, Xiaokang 10 2011 Synthesizing reactive programs. Zbl 1247.68058Madhusudan, Parthasarathy 2 2011 Compositionality entails sequentializability. Zbl 1315.68091Garg, Pranav; Madhusudan, P. 1 2011 The language theory of bounded context-switching. Zbl 1283.68197La Torre, Salvatore; Madhusudan, Parthasarathy; Parlato, Gennaro 4 2010 Adding nesting structure to words. Zbl 1325.68138Alur, Rajeev; Madhusudan, P. 59 2009 Reducing context-bounded concurrent reachability to sequential reachability. Zbl 1242.68057La Torre, Salvatore; Madhusudan, P.; Parlato, Gennaro 7 2009 Query automata for nested words. Zbl 1250.68169Madhusudan, P.; Viswanathan, Mahesh 6 2009 The complexity of predicting atomicity violations. Zbl 1234.68076Farzan, Azadeh; Madhusudan, P. 5 2009 Meta-analysis for atomicity violations under nested locking. Zbl 1242.68065Farzan, Azadeh; Madhusudan, P.; Sorrentino, Francesco 2 2009 Context-bounded analysis of concurrent queue systems. Zbl 1134.68446La Torre, Salvatore; Madhusudan, P.; Parlato, Gennaro 17 2008 An infinite automaton characterization of double exponential time. Zbl 1157.68040La Torre, Salvatore; Madhusudan, P.; Parlato, Gennaro 7 2008 Automatic symbolic compositional verification by learning assumptions. Zbl 1147.68052Nam, Wonhong; Madhusudan, P.; Alur, Rajeev 6 2008 Monitoring atomicity in concurrent programs. Zbl 1155.68365Farzan, Azadeh; Madhusudan, P. 6 2008 Adding nesting structure to words. Zbl 1227.68045Alur, Rajeev; Madhusudan, P. 23 2006 A fixpoint calculus for local and global program flows. Zbl 1370.68051Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P. 8 2006 Languages of nested trees. Zbl 1188.68167Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P. 8 2006 Minimization, learning, and conformance testing of Boolean programs. Zbl 1151.68484Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh 5 2006 Modular strategies for recursive game graphs. Zbl 1088.68099Alur, Rajeev; La Torre, Salvatore; Madhusudan, P. 5 2006 Causal atomicity. Zbl 1188.68186Farzan, Azadeh; Madhusudan, P. 2 2006 Synthesis of interface specifications for Java classes. Zbl 1369.68126Alur, Rajeev; Černý, Pavol; Madhusudan, P.; Nam, Wonhong 20 2005 Congruences for visibly pushdown languages. Zbl 1085.68079Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh 16 2005 Symbolic compositional verification by learning assumptions. Zbl 1081.68601Alur, Rajeev; Madhusudan, P.; Nam, Wonhong 16 2005 The MSO theory of connectedly communicating processes. Zbl 1172.68556Madhusudan, P.; Thiagarajan, P. S.; Yang, Shaofa 13 2005 Perturbed timed automata. Zbl 1078.68070Alur, Rajeev; La Torre, Salvatore; Madhusudan, P. 6 2005 On-the-fly reachability and cycle detection for recursive state machines. Zbl 1087.68581Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Madhusudan, P. 4 2005 Visibly pushdown languages. Zbl 1192.68396Alur, Rajeev; Madhusudan, P. 93 2004 A temporal logic of nested calls and returns. Zbl 1126.68466Alur, Rajeev; Etessami, Kousha; Madhusudan, P. 30 2004 Decision problems for timed automata: A survey. Zbl 1105.68057Alur, Rajeev; Madhusudan, P. 18 2004 Visibly pushdown games. Zbl 1117.68409Löding, Christof; Madhusudan, P.; Serre, Olivier 11 2004 Optimal reachability for weighted timed games. Zbl 1098.68061Alur, Rajeev; Bernadsky, Mikhail; Madhusudan, P. 10 2004 Timed control with partial observability. Zbl 1278.68160Bouyer, Patricia; D’Souza, Deepak; Madhusudan, P.; Petit, Antoine 9 2003 Playing games with boxes and diamonds. Zbl 1274.68173Alur, Rajeev; La Torre, Salvatore; Madhusudan, P. 8 2003 Symbolic computational techniques for solving games. Zbl 1271.68144Madhusudan, P.; Nam, Wonhong; Alur, Rajeev 5 2003 Modular strategies for infinite games on recursive graphs. Zbl 1278.03054Alur, Rajeev; La Torre, Salvatore; Madhusudan, P. 5 2003 Modular strategies for recursive game graphs. Zbl 1031.68048Alur, Rajeev; La Torre, Salvatore; Madhusudan, Parthasarathy 3 2003 A decidable class of asynchronous distributed controllers. Zbl 1012.68118Madhusudan, P.; Thiagarajan, P. S. 10 2002 Timed control synthesis for external specifications. Zbl 1054.93502D’Souza, Deepak; Madhusudan, P. 9 2002 Branching time controllers for discrete event systems. Zbl 0992.68148Madhusudan, P.; Thiagarajan, P. S. 3 2002 Dynamic message sequence charts. Zbl 1027.68082Leucker, Martin; Madhusudan, P.; Mukhopadhyay, Supratik 1 2002 Distributed controller synthesis for local specifications. Zbl 0986.68079Madhusudan, P.; Thiagarajan, P. S. 16 2001 Reasoning about sequential and branching behaviours of message sequence graphs. Zbl 0986.68061Madhusudan, P. 7 2001 Beyond message sequence graphs. Zbl 1052.68633Madhusudan, P.; Meenakshi, B. 6 2001 Open systems in reactive environments: Control and synthesis. Zbl 0999.68124Kupferman, Orna; Madhusudan, P.; Thiagarajan, P. S.; Vardi, Moshe Y. 14 2000 Controllers for discrete event systems via morphisms. Zbl 0986.93041Madhusudan, P.; Thiagarajan, P. S. 6 1998 all cited Publications top 5 cited Publications all top 5 Cited by 538 Authors 12 Salomaa, Kai T. 10 Muscholl, Anca 10 Okhotin, Alexander 9 La Torre, Salvatore 8 Bollig, Benedikt 8 Bozzelli, Laura 8 Madhusudan, Parthasarathy 7 Gauwin, Olivier 7 Mandrioli, Dino 7 Pradella, Matteo 6 Bouyer, Patricia 6 Droste, Manfred 6 Gastin, Paul 6 Habermehl, Peter 6 Murawski, Andrzej S. 5 Atig, Mohamed Faouzi 5 Genest, Blaise 5 Krishna, Shankara Narayanan 5 Lange, Martin 5 Niehren, Joachim 5 Reynier, Pierre-Alain 5 Vojnar, Tomáš 4 Alur, Rajeev 4 Brihaye, Thomas 4 Filiot, Emmanuel 4 Gurov, Dilian 4 Gutierrez, Julian 4 Huisman, Marieke 4 Kulkarni, Sandeep S. 4 Limaye, Nutan 4 Markey, Nicolas 4 Murano, Aniello 4 Napoli, Margherita 4 Parlato, Gennaro 4 Peron, Adriano 4 Raskin, Jean-François 4 Shoham, Sharon 4 Talbot, Jean-Marc 4 Viswanathan, Mahesh 4 Worrell, James B. 3 Akshay, S. 3 Baier, Christel 3 Bonakdarpour, Borzoo 3 Bouajjani, Ahmed 3 Bultan, Tevfik 3 Chatterjee, Krishnendu 3 Crespi Reghizzi, Stefano 3 Dück, Stefan 3 Finkbeiner, Bernd 3 Fisman, Dana 3 Fröschle, Sibylle B. 3 Gange, Graeme 3 Garg, Pranav 3 Grumberg, Orna 3 Harrenstein, Paul 3 Holík, Lukáš 3 Janoušek, Jan 3 Krebs, Andreas 3 Kucera, Antonin 3 Kupferman, Orna 3 Kuske, Dietrich 3 Kutrib, Martin 3 Lafortune, Stéphane 3 Larsen, Kim Guldstrand 3 Libkin, Leonid O. 3 Lonati, Violetta 3 Mahajan, Meena 3 Malcher, Andreas 3 Melichar, Bořivoj 3 Neider, Daniel 3 Ouaknine, Joel O. 3 Păsăreanu, Corina S. 3 Perevoshchikov, Vitaly 3 Piao, Xiaoxue 3 Quaas, Karin 3 Roux, Olivier H. 3 Sánchez, César 3 Schachte, Peter 3 Schewe, Sven 3 Servais, Frédéric 3 Søndergaard, Harald 3 Stuckey, Peter James 3 Thiagarajan, Pazhamaneri Subramaniam 3 Tison, Sophie 3 Tripakis, Stavros 3 Walukiewicz, Igor 3 Wendlandt, Matthias 3 Wooldridge, Michael J. 3 Zeitoun, Marc 3 Zimmermann, Martín G. 2 Abdulla, Parosh Aziz 2 Abujarad, Fuad 2 Angluin, Dana 2 Babari, Parvaneh 2 Basu, Samik 2 Béal, Marie-Pierre 2 Benattar, Gilles 2 Berwanger, Dietmar 2 Bruyère, Véronique 2 Cassez, Franck ...and 438 more Authors all top 5 Cited in 45 Serials 54 Theoretical Computer Science 33 Information and Computation 27 Formal Methods in System Design 14 Acta Informatica 13 Journal of Computer and System Sciences 12 Information Processing Letters 11 Theory of Computing Systems 9 Discrete Event Dynamic Systems 6 Formal Aspects of Computing 6 International Journal of Foundations of Computer Science 6 Logical Methods in Computer Science 5 Journal of Automated Reasoning 4 Journal of Applied Logic 3 Real-Time Systems 3 Theory and Practice of Logic Programming 3 Journal of Logical and Algebraic Methods in Programming 2 Annals of Pure and Applied Logic 2 Distributed Computing 2 Computer Languages, Systems & Structures 2 RAIRO. Theoretical Informatics and Applications 2 Computer Science Review 1 ACM Computing Surveys 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 International Journal of Control 1 International Journal of General Systems 1 Kybernetika 1 Programming and Computer Software 1 SIAM Journal on Computing 1 Systems & Control Letters 1 Journal of Computer Science and Technology 1 Algorithmica 1 MSCS. Mathematical Structures in Computer Science 1 Cybernetics and Systems Analysis 1 Journal of Applied Non-Classical Logics 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Higher-Order and Symbolic Computation 1 RAIRO. Theoretical Informatics and Applications 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 Natural Computing 1 ACM Transactions on Computational Logic 1 Science in China. Series F 1 Nonlinear Analysis. Hybrid Systems all top 5 Cited in 12 Fields 325 Computer science (68-XX) 60 Mathematical logic and foundations (03-XX) 26 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 21 Systems theory; control (93-XX) 8 Combinatorics (05-XX) 3 Group theory and generalizations (20-XX) 3 Operations research, mathematical programming (90-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Information and communication theory, circuits (94-XX) 1 Number theory (11-XX) 1 Probability theory and stochastic processes (60-XX) 1 Biology and other natural sciences (92-XX) Citations by Year