×

Madhusudan, Parthasarathy

Author ID: madhusudan.parthasarathy Recent zbMATH articles by "Madhusudan, Parthasarathy"
Published as: Madhusudan, P.; Madhusudan, Parthasarathy

Publications by Year

Citations contained in zbMATH Open

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

Cited by 716 Authors

18 Bollig, Benedikt
16 Pradella, Matteo
14 Mandrioli, Dino
14 Salomaa, Kai T.
12 Bouyer, Patricia
12 Madhusudan, Parthasarathy
12 Okhotin, Alexander
11 Bozzelli, Laura
11 Droste, Manfred
11 Kutrib, Martin
10 La Torre, Salvatore
10 Lange, Martin
10 Malcher, Andreas
10 Muscholl, Anca
9 Atig, Mohamed Faouzi
9 Gastin, Paul
9 Wendlandt, Matthias
8 Murano, Aniello
8 Niehren, Joachim
8 Reynier, Pierre-Alain
8 Zimmermann, Martin
7 Gauwin, Olivier
7 Habermehl, Peter
7 Krishna, Shankara Narayanan
7 Larsen, Kim Guldstrand
7 Markey, Nicolas
7 Murawski, Andrzej S.
7 Peron, Adriano
7 Raskin, Jean-François
7 Vojnar, Tomáš
6 Brihaye, Thomas
6 Crespi Reghizzi, Stefano
6 Filiot, Emmanuel
6 Finkbeiner, Bernd
6 Kupferman, Orna
6 Lozes, Etienne
6 Neider, Daniel
6 Parlato, Gennaro
6 Shoham, Sharon
6 Viswanathan, Mahesh
5 Alur, Rajeev
5 Baier, Christel
5 Bouajjani, Ahmed
5 Chiari, Michele
5 Fisman, Dana
5 Genest, Blaise
5 Han, Yo-Sub
5 Holík, Lukáš
5 Krebs, Andreas
5 Kuske, Dietrich
5 Limaye, Nutan
5 Lonati, Violetta
5 Păsăreanu, Corina S.
5 Steffen, Bernhard
5 Worrell, James B.
4 Akshay, S.
4 Bérard, Béatrice
4 Bruse, Florian
4 Di Giusto, Cinzia
4 Dück, Stefan
4 Finkel, Alain
4 Grumberg, Orna
4 Gurov, Dilian
4 Gutierrez, Julian
4 Huisman, Marieke
4 Ibarra, Oscar H.
4 Kulkarni, Sandeep S.
4 Lengál, Ondřej
4 Mahajan, Meena
4 Monmege, Benjamin
4 Napoli, Margherita
4 Olderog, Ernst-Rüdiger
4 Ouaknine, Joel O.
4 Perevoshchikov, Vitaly
4 Quaas, Karin
4 Schewe, Sven
4 Selivanov, Viktor L’vovich
4 Srba, Jiří
4 Sznajder, Nathalie
4 Talbot, Jean-Marc
4 Touili, Tayssir
4 Walukiewicz, Igor
4 Weinert, Alexander
3 Abdulla, Parosh Aziz
3 Avni, Guy
3 Béal, Marie-Pierre
3 Bonakdarpour, Borzoo
3 Bruyère, Véronique
3 Bultan, Tevfik
3 Busatto-Gaston, Damien
3 Cassez, Franck
3 Chatterjee, Krishnendu
3 Chen, Yu-Fang
3 Clarke, Edmund Melson jun.
3 Fahrenberg, Uli
3 Farzan, Azadeh
3 Frohme, Markus
3 Fröschle, Sibylle B.
3 Gange, Graeme
3 Garg, Pranav
...and 616 more Authors
all top 5

Cited in 50 Serials

59 Theoretical Computer Science
48 Information and Computation
31 Formal Methods in System Design
17 Logical Methods in Computer Science
15 Acta Informatica
13 Journal of Computer and System Sciences
12 Information Processing Letters
11 Theory of Computing Systems
10 International Journal of Foundations of Computer Science
9 Discrete Event Dynamic Systems
6 Journal of Automated Reasoning
6 Formal Aspects of Computing
6 Journal of Logical and Algebraic Methods in Programming
4 Theory and Practice of Logic Programming
4 Journal of Applied Logic
3 Real-Time Systems
3 ACM Transactions on Computational Logic
3 RAIRO. Theoretical Informatics and Applications
2 Annals of Pure and Applied Logic
2 Distributed Computing
2 Computer Languages, Systems & Structures
2 Computer Science Review
1 ACM Computing Surveys
1 Artificial Intelligence
1 Bulletin of the Australian Mathematical Society
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 International Journal of Control
1 International Journal of General Systems
1 Automatica
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 The Electronic Journal of Combinatorics
1 Journal of Automata, Languages and Combinatorics
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 Science in China. Series F
1 Nonlinear Analysis. Hybrid Systems
1 Modelirovanie i Analiz Informatsionnykh Sistem

Citations by Year