×

zbMATH — the first resource for mathematics

Madhusudan, Parthasarathy

Compute Distance To:
Author ID: madhusudan.parthasarathy Recent zbMATH articles by "Madhusudan, Parthasarathy"
Published as: Madhusudan, P.; Madhusudan, Parthasarathy
Documents Indexed: 57 Publications since 1998, including 1 Book

Publications by Year

Citations contained in zbMATH

52 Publications have been cited 553 times in 340 Documents Cited by Year
Visibly pushdown languages. Zbl 1192.68396
Alur, Rajeev; Madhusudan, P.
93
2004
Adding nesting structure to words. Zbl 1325.68138
Alur, Rajeev; Madhusudan, P.
59
2009
A temporal logic of nested calls and returns. Zbl 1126.68466
Alur, Rajeev; Etessami, Kousha; Madhusudan, P.
30
2004
Adding nesting structure to words. Zbl 1227.68045
Alur, Rajeev; Madhusudan, P.
23
2006
The tree width of auxiliary storage. Zbl 1284.68358
Madhusudan, P.; Parlato, Gennaro
20
2011
Synthesis of interface specifications for Java classes. Zbl 1369.68126
Alur, Rajeev; Černý, Pavol; Madhusudan, P.; Nam, Wonhong
20
2005
Decision problems for timed automata: A survey. Zbl 1105.68057
Alur, Rajeev; Madhusudan, P.
18
2004
Context-bounded analysis of concurrent queue systems. Zbl 1134.68446
La Torre, Salvatore; Madhusudan, P.; Parlato, Gennaro
17
2008
Congruences for visibly pushdown languages. Zbl 1085.68079
Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh
16
2005
Symbolic compositional verification by learning assumptions. Zbl 1081.68601
Alur, Rajeev; Madhusudan, P.; Nam, Wonhong
16
2005
Distributed controller synthesis for local specifications. Zbl 0986.68079
Madhusudan, P.; Thiagarajan, P. S.
16
2001
Open systems in reactive environments: Control and synthesis. Zbl 0999.68124
Kupferman, Orna; Madhusudan, P.; Thiagarajan, P. S.; Vardi, Moshe Y.
14
2000
The MSO theory of connectedly communicating processes. Zbl 1172.68556
Madhusudan, P.; Thiagarajan, P. S.; Yang, Shaofa
13
2005
Visibly pushdown games. Zbl 1117.68409
Löding, Christof; Madhusudan, P.; Serre, Olivier
11
2004
Decidable logics combining heap structures and data. Zbl 1284.68411
Madhusudan, P.; Parlato, Gennaro; Qiu, Xiaokang
10
2011
Optimal reachability for weighted timed games. Zbl 1098.68061
Alur, Rajeev; Bernadsky, Mikhail; Madhusudan, P.
10
2004
A decidable class of asynchronous distributed controllers. Zbl 1012.68118
Madhusudan, P.; Thiagarajan, P. S.
10
2002
Timed control with partial observability. Zbl 1278.68160
Bouyer, Patricia; D’Souza, Deepak; Madhusudan, P.; Petit, Antoine
9
2003
Timed control synthesis for external specifications. Zbl 1054.93502
D’Souza, Deepak; Madhusudan, P.
9
2002
A fixpoint calculus for local and global program flows. Zbl 1370.68051
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
8
2006
Languages of nested trees. Zbl 1188.68167
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
8
2006
Playing games with boxes and diamonds. Zbl 1274.68173
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
8
2003
Reducing context-bounded concurrent reachability to sequential reachability. Zbl 1242.68057
La Torre, Salvatore; Madhusudan, P.; Parlato, Gennaro
7
2009
An infinite automaton characterization of double exponential time. Zbl 1157.68040
La Torre, Salvatore; Madhusudan, P.; Parlato, Gennaro
7
2008
Reasoning about sequential and branching behaviours of message sequence graphs. Zbl 0986.68061
Madhusudan, P.
7
2001
Query automata for nested words. Zbl 1250.68169
Madhusudan, P.; Viswanathan, Mahesh
6
2009
Automatic symbolic compositional verification by learning assumptions. Zbl 1147.68052
Nam, Wonhong; Madhusudan, P.; Alur, Rajeev
6
2008
Monitoring atomicity in concurrent programs. Zbl 1155.68365
Farzan, Azadeh; Madhusudan, P.
6
2008
Perturbed timed automata. Zbl 1078.68070
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
6
2005
Beyond message sequence graphs. Zbl 1052.68633
Madhusudan, P.; Meenakshi, B.
6
2001
Controllers for discrete event systems via morphisms. Zbl 0986.93041
Madhusudan, P.; Thiagarajan, P. S.
6
1998
The complexity of predicting atomicity violations. Zbl 1234.68076
Farzan, Azadeh; Madhusudan, P.
5
2009
Minimization, learning, and conformance testing of Boolean programs. Zbl 1151.68484
Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh
5
2006
Modular strategies for recursive game graphs. Zbl 1088.68099
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
5
2006
Symbolic computational techniques for solving games. Zbl 1271.68144
Madhusudan, P.; Nam, Wonhong; Alur, Rajeev
5
2003
Modular strategies for infinite games on recursive graphs. Zbl 1278.03054
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
5
2003
The language theory of bounded context-switching. Zbl 1283.68197
La Torre, Salvatore; Madhusudan, Parthasarathy; Parlato, Gennaro
4
2010
On-the-fly reachability and cycle detection for recursive state machines. Zbl 1087.68581
Alur, 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.68027
Madhusudan, P. (ed.); Seshia, Sanjit A. (ed.)
3
2012
Modular strategies for recursive game graphs. Zbl 1031.68048
Alur, Rajeev; La Torre, Salvatore; Madhusudan, Parthasarathy
3
2003
Branching time controllers for discrete event systems. Zbl 0992.68148
Madhusudan, P.; Thiagarajan, P. S.
3
2002
Recursive proofs for inductive tree data-structures. Zbl 1321.68226
Madhusudan, Parthasarathy; Qiu, Xiaokang; Stefanescu, Andrei
2
2012
Reachability under contextual locking. Zbl 1352.68059
Chadha, Rohit; Madhusudan, P.; Viswanathan, Mahesh
2
2012
Synthesizing reactive programs. Zbl 1247.68058
Madhusudan, Parthasarathy
2
2011
Meta-analysis for atomicity violations under nested locking. Zbl 1242.68065
Farzan, Azadeh; Madhusudan, P.; Sorrentino, Francesco
2
2009
Causal atomicity. Zbl 1188.68186
Farzan, Azadeh; Madhusudan, P.
2
2006
Invariant synthesis for incomplete verification engines. Zbl 1423.68108
Neider, Daniel; Garg, Pranav; Madhusudan, P.; Saha, Shambwaditya; Park, Daejun
1
2018
Compositional synthesis of piece-wise functions by learning classifiers. Zbl 1407.68411
Neider, 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.68121
Garg, Pranav; Löding, Christof; Madhusudan, P.; Neider, Daniel
1
2015
Reachability under contextual locking. Zbl 1274.68064
Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P.
1
2013
Compositionality entails sequentializability. Zbl 1315.68091
Garg, Pranav; Madhusudan, P.
1
2011
Dynamic message sequence charts. Zbl 1027.68082
Leucker, Martin; Madhusudan, P.; Mukhopadhyay, Supratik
1
2002
Invariant synthesis for incomplete verification engines. Zbl 1423.68108
Neider, Daniel; Garg, Pranav; Madhusudan, P.; Saha, Shambwaditya; Park, Daejun
1
2018
Compositional synthesis of piece-wise functions by learning classifiers. Zbl 1407.68411
Neider, 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.68121
Garg, Pranav; Löding, Christof; Madhusudan, P.; Neider, Daniel
1
2015
Reachability under contextual locking. Zbl 1274.68064
Bonnet, 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.68027
Madhusudan, P. (ed.); Seshia, Sanjit A. (ed.)
3
2012
Recursive proofs for inductive tree data-structures. Zbl 1321.68226
Madhusudan, Parthasarathy; Qiu, Xiaokang; Stefanescu, Andrei
2
2012
Reachability under contextual locking. Zbl 1352.68059
Chadha, Rohit; Madhusudan, P.; Viswanathan, Mahesh
2
2012
The tree width of auxiliary storage. Zbl 1284.68358
Madhusudan, P.; Parlato, Gennaro
20
2011
Decidable logics combining heap structures and data. Zbl 1284.68411
Madhusudan, P.; Parlato, Gennaro; Qiu, Xiaokang
10
2011
Synthesizing reactive programs. Zbl 1247.68058
Madhusudan, Parthasarathy
2
2011
Compositionality entails sequentializability. Zbl 1315.68091
Garg, Pranav; Madhusudan, P.
1
2011
The language theory of bounded context-switching. Zbl 1283.68197
La Torre, Salvatore; Madhusudan, Parthasarathy; Parlato, Gennaro
4
2010
Adding nesting structure to words. Zbl 1325.68138
Alur, Rajeev; Madhusudan, P.
59
2009
Reducing context-bounded concurrent reachability to sequential reachability. Zbl 1242.68057
La Torre, Salvatore; Madhusudan, P.; Parlato, Gennaro
7
2009
Query automata for nested words. Zbl 1250.68169
Madhusudan, P.; Viswanathan, Mahesh
6
2009
The complexity of predicting atomicity violations. Zbl 1234.68076
Farzan, Azadeh; Madhusudan, P.
5
2009
Meta-analysis for atomicity violations under nested locking. Zbl 1242.68065
Farzan, Azadeh; Madhusudan, P.; Sorrentino, Francesco
2
2009
Context-bounded analysis of concurrent queue systems. Zbl 1134.68446
La Torre, Salvatore; Madhusudan, P.; Parlato, Gennaro
17
2008
An infinite automaton characterization of double exponential time. Zbl 1157.68040
La Torre, Salvatore; Madhusudan, P.; Parlato, Gennaro
7
2008
Automatic symbolic compositional verification by learning assumptions. Zbl 1147.68052
Nam, Wonhong; Madhusudan, P.; Alur, Rajeev
6
2008
Monitoring atomicity in concurrent programs. Zbl 1155.68365
Farzan, Azadeh; Madhusudan, P.
6
2008
Adding nesting structure to words. Zbl 1227.68045
Alur, Rajeev; Madhusudan, P.
23
2006
A fixpoint calculus for local and global program flows. Zbl 1370.68051
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
8
2006
Languages of nested trees. Zbl 1188.68167
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
8
2006
Minimization, learning, and conformance testing of Boolean programs. Zbl 1151.68484
Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh
5
2006
Modular strategies for recursive game graphs. Zbl 1088.68099
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
5
2006
Causal atomicity. Zbl 1188.68186
Farzan, Azadeh; Madhusudan, P.
2
2006
Synthesis of interface specifications for Java classes. Zbl 1369.68126
Alur, Rajeev; Černý, Pavol; Madhusudan, P.; Nam, Wonhong
20
2005
Congruences for visibly pushdown languages. Zbl 1085.68079
Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh
16
2005
Symbolic compositional verification by learning assumptions. Zbl 1081.68601
Alur, Rajeev; Madhusudan, P.; Nam, Wonhong
16
2005
The MSO theory of connectedly communicating processes. Zbl 1172.68556
Madhusudan, P.; Thiagarajan, P. S.; Yang, Shaofa
13
2005
Perturbed timed automata. Zbl 1078.68070
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
6
2005
On-the-fly reachability and cycle detection for recursive state machines. Zbl 1087.68581
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Madhusudan, P.
4
2005
Visibly pushdown languages. Zbl 1192.68396
Alur, Rajeev; Madhusudan, P.
93
2004
A temporal logic of nested calls and returns. Zbl 1126.68466
Alur, Rajeev; Etessami, Kousha; Madhusudan, P.
30
2004
Decision problems for timed automata: A survey. Zbl 1105.68057
Alur, Rajeev; Madhusudan, P.
18
2004
Visibly pushdown games. Zbl 1117.68409
Löding, Christof; Madhusudan, P.; Serre, Olivier
11
2004
Optimal reachability for weighted timed games. Zbl 1098.68061
Alur, Rajeev; Bernadsky, Mikhail; Madhusudan, P.
10
2004
Timed control with partial observability. Zbl 1278.68160
Bouyer, Patricia; D’Souza, Deepak; Madhusudan, P.; Petit, Antoine
9
2003
Playing games with boxes and diamonds. Zbl 1274.68173
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
8
2003
Symbolic computational techniques for solving games. Zbl 1271.68144
Madhusudan, P.; Nam, Wonhong; Alur, Rajeev
5
2003
Modular strategies for infinite games on recursive graphs. Zbl 1278.03054
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
5
2003
Modular strategies for recursive game graphs. Zbl 1031.68048
Alur, Rajeev; La Torre, Salvatore; Madhusudan, Parthasarathy
3
2003
A decidable class of asynchronous distributed controllers. Zbl 1012.68118
Madhusudan, P.; Thiagarajan, P. S.
10
2002
Timed control synthesis for external specifications. Zbl 1054.93502
D’Souza, Deepak; Madhusudan, P.
9
2002
Branching time controllers for discrete event systems. Zbl 0992.68148
Madhusudan, P.; Thiagarajan, P. S.
3
2002
Dynamic message sequence charts. Zbl 1027.68082
Leucker, Martin; Madhusudan, P.; Mukhopadhyay, Supratik
1
2002
Distributed controller synthesis for local specifications. Zbl 0986.68079
Madhusudan, P.; Thiagarajan, P. S.
16
2001
Reasoning about sequential and branching behaviours of message sequence graphs. Zbl 0986.68061
Madhusudan, P.
7
2001
Beyond message sequence graphs. Zbl 1052.68633
Madhusudan, P.; Meenakshi, B.
6
2001
Open systems in reactive environments: Control and synthesis. Zbl 0999.68124
Kupferman, Orna; Madhusudan, P.; Thiagarajan, P. S.; Vardi, Moshe Y.
14
2000
Controllers for discrete event systems via morphisms. Zbl 0986.93041
Madhusudan, P.; Thiagarajan, P. S.
6
1998
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

Citations by Year