×

zbMATH — the first resource for mathematics

Alur, Rajeev

Compute Distance To:
Author ID: alur.rajeev Recent zbMATH articles by "Alur, Rajeev"
Published as: Alur, Rajeev; Alur, R.
External Links: MGP
Documents Indexed: 136 Publications since 1990, including 5 Books
all top 5

Co-Authors

9 single-authored
19 Madhusudan, Parthasarathy
15 Henzinger, Thomas A.
12 La Torre, Salvatore
9 Etessami, Kousha
8 Chaudhuri, Swarat
8 Pappas, George J.
7 Černý, Pavol
7 Ivančić, Franjo
7 Lee, Insup
6 Peled, Doron A.
6 Raghothaman, Mukund
6 Yannakakis, Mihalis
5 Courcoubetis, Costas A.
5 Dang, Thao
5 Grosu, Radu
5 Moarref, Salar
5 Nam, Wonhong
5 Taubenfeld, Gadi
5 Weiss, Gera
4 Bernadsky, Mikhail
4 D’Antoni, Loris
4 Dill, David L.
4 Kannan, Sampath K.
4 Sokolsky, Oleg
4 Topcu, Ufuk
4 Trivedi, Ashutosh
3 Fisman, Dana
3 Mamouras, Konstantinos
2 Attiya, Hagit
2 Belta, Calin
2 Deshmukh, Jyotirmoy V.
2 Feder, Tomás
2 Hur, Yerang
2 Ivanov, Radoslav
2 Kumar, Viraj
2 Kupferman, Orna
2 McDougall, Michael
2 McMillan, Kenneth L.
2 Stanford, Caleb
2 Vardi, Moshe Y.
2 Weimer, James E.
2 Weinstein, Scott
2 Yang, Zijiang
2 Yuan, Yifei
1 Anand, Madhukar
1 Arenas, Marcelo
1 Barceló, Pablo
1 Bouajjani, Ahmed
1 Brayton, Robert K.
1 Burckhardt, Sebastian
1 Carpenter, Taylor J.
1 Chandrashekharapuram, Arun
1 de Alfaro, Luca
1 Degorre, Aldric
1 D’Innocenzo, Alessandro
1 Durand-Gasselin, Antoine
1 Esparza, Javier
1 Esposito, Joel M.
1 Faella, Marco
1 Filiot, Emmanuel
1 Fischmeister, Sebastian
1 Fix, Limor
1 Forejt, Vojtěch
1 Freilich, Adam
1 Guha, Sudipto
1 Halbwachs, Nicolas
1 Ho, Pei-Hsin
1 Immerman, Neil
1 Itai, Alon
1 Johansson, Karl Henrik
1 Jothimurugan, Kishor
1 Kanade, Aditya
1 Khanna, Sanjeev
1 Kurshan, Robert P.
1 Libkin, Leonid O.
1 Maler, Oded
1 Mang, Freddy Y. C.
1 Martin, Milo M. K.
1 Mintz, Max
1 Möller, M. Oliver
1 Nicollin, Xavier
1 Olivero, Alfredo
1 Qadeer, Shaz
1 Radhakrishna, Arjun
1 Rajamani, Sriram K.
1 Rubin, Harvey
1 Schug, Jonathan
1 Sharykin, Raman
1 Sifakis, Joseph
1 Singhania, Nimit
1 Tian, Kevin T.
1 Udupa, Abhishek
1 Ulus, Dogan
1 Viswanathan, Mahesh
1 Wang, Bow-Yaw
1 Webb, Jonathan P.
1 Wojtczak, Dominik
1 Yovine, Sergio
1 Zdancewic, Steve

Publications by Year

Citations contained in zbMATH Open

112 Publications have been cited 2,406 times in 1,486 Documents Cited by Year
A theory of timed automata. Zbl 0803.68071
Alur, Rajeev; Dill, David L.
542
1994
Alternating-time temporal logic. Zbl 1326.68181
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna
218
2002
The algorithmic analysis of hybrid systems. Zbl 0874.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
145
1995
Model-checking in dense real-time. Zbl 0783.68076
Alur, Rajeev; Courcoubetis, Costas; Dill, David
103
1993
Visibly pushdown languages. Zbl 1192.68396
Alur, Rajeev; Madhusudan, P.
98
2004
A really temporal logic. Zbl 0807.68065
Alur, Rajeev; Henzinger, Thomas A.
85
1994
Automata for modeling real-time systems. Zbl 0765.68150
Alur, Rajeev; Dill, David
82
1990
The benefits of relaxing punctuality. Zbl 0882.68021
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A.
81
1996
Model-checking for probabilistic real-time systems. Zbl 0769.68088
Alur, Rajeev; Courcoubetis, Costas; Dill, David
61
1991
Adding nesting structure to words. Zbl 1325.68138
Alur, Rajeev; Madhusudan, P.
59
2009
Real-time logics: Complexity and expressiveness. Zbl 0791.68103
Alur, Rajeev; Henzinger, Thomas A.
56
1993
Parametric real-time reasoning. Zbl 1310.68139
Alur, Rajeev; Henzinger, Thomas A.; Vardi, Moshe Y.
48
1993
Alternating refinement relations. Zbl 1070.68524
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna; Vardi, Moshe Y.
46
1998
Optimal paths in weighted timed automata. Zbl 0991.93076
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
40
2002
Event-clock automata: a determinizable class of timed automata. Zbl 0912.68132
Alur, Rajeev; Fix, Limor; Henzinger, Thomas A.
34
1999
A temporal logic of nested calls and returns. Zbl 1126.68466
Alur, Rajeev; Etessami, Kousha; Madhusudan, P.
30
2004
Timed automata. Zbl 1046.68574
Alur, Rajeev
21
1999
Deterministic generators and games for LTL fragments. Zbl 1366.03181
Alur, Rajeev; La Torre, Salvatore
20
2004
Synthesis of interface specifications for Java classes. Zbl 1369.68126
Alur, Rajeev; Černý, Pavol; Madhusudan, P.; Nam, Wonhong
20
2005
The algorithmic analysis of hybrid systems. Zbl 0823.68067
Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S.
20
1994
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid
19
2008
Decision problems for timed automata: A survey. Zbl 1105.68057
Alur, Rajeev; Madhusudan, P.
18
2004
Parametric temporal logic for “model measuring”. Zbl 1171.68544
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
18
2001
Streaming transducers for algorithmic verification of single-pass list-processing programs. Zbl 1284.68159
Alur, Rajeev; Černý, Pavol
17
2011
Regular functions and cost register automata (invited paper). Zbl 1366.68046
Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei
17
2013
Preserving secrecy under refinement. Zbl 1133.94307
Alur, Rajeev; Černý, Pavol; Zdancewic, Steve
16
2006
Symbolic compositional verification by learning assumptions. Zbl 1081.68601
Alur, Rajeev; Madhusudan, P.; Nam, Wonhong
16
2005
Congruences for visibly pushdown languages. Zbl 1085.68079
Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh
16
2005
Distinguishing tests for nondeterministic and probabilistic machines. Zbl 0978.68522
Alur, Rajeev; Courcoubetis, Costas; Yannakakis, Mihalis
15
1995
Optimal paths in weighted timed automata. Zbl 1068.68080
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
15
2004
Hybrid modeling and simulation of biomolecular networks. Zbl 0993.92010
Alur, Rajeev; Belta, Calin; Ivančić, Franjo; Kumar, Vijay; Mintz, Max
15
2002
Expressiveness of streaming string transducers. Zbl 1245.68115
Alur, Rajeev; Černý, Pavol
14
2010
Counterexample-guided predicate abstraction of hybrid systems. Zbl 1088.68096
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
14
2006
Marrying words and trees. Zbl 1167.68379
Alur, Rajeev
14
2007
Model-checking of correctness conditions for concurrent objects. Zbl 1003.68067
Alur, Rajeev; McMillan, Ken; Peled, Doron
14
2000
Adding nesting structure to words. Zbl 1227.68045
Alur, Rajeev; Madhusudan, P.
14
2006
Back to the future: Towards a theory of timed regular languages. Zbl 0977.68548
Alur, Rajeev; Henzinger, Thomas A.
13
1992
Optimal reachability for weighted timed games. Zbl 1098.68061
Alur, Rajeev; Bernadsky, Mikhail; Madhusudan, P.
11
2004
Partial-order reduction in symbolic state-space exploration. Zbl 1001.68080
Alur, R.; Brayton, R. K.; Henzinger, T. A.; Qadeer, S.; Rajamani, S. K.
11
2001
Decision problems for additive regular functions. Zbl 1335.68113
Alur, Rajeev; Raghothaman, Mukund
10
2013
Timing verification by successive approximation. Zbl 0939.68705
Alur, R.; Itai, A.; Kurshan, R. P.; Yannakakis, M.
10
1995
Regular combinators for string transformations. Zbl 1401.68141
Alur, Rajeev; Freilich, Adam; Raghothaman, Mukund
9
2014
Ranking automata and games for prioritized requirements. Zbl 1155.68414
Alur, Rajeev; Kanade, Aditya; Weiss, Gera
9
2008
Playing games with boxes and diamonds. Zbl 1274.68173
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
9
2003
Modular specification of hybrid systems in Charon. Zbl 0992.93040
Alur, Rajeev; Grosu, Radu; Hur, Yerang; Kumar, Vijay; Lee, Insup
9
2000
Languages of nested trees. Zbl 1188.68167
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
8
2006
Model checking on trees with path equivalences. Zbl 1186.68273
Alur, Rajeev; Černý, Pavol; Chaudhuri, Swarat
8
2007
Realizability and verification of MSC graphs. Zbl 1088.68097
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
8
2005
A fixpoint calculus for local and global program flows. Zbl 1370.68051
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
8
2006
Streaming tree transducers. Zbl 1367.68157
Alur, Rajeev; D’Antoni, Loris
8
2012
Analysis of recursive state machines. Zbl 0991.68535
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
8
2001
Learning-based symbolic assume-guarantee reasoning with automatic decomposition. Zbl 1161.68578
Nam, Wonhong; Alur, Rajeev
7
2006
The benefits of relaxing punctuality. Zbl 1314.68195
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A.
7
1991
Perturbed timed automata. Zbl 1078.68070
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
7
2005
On omega-languages defined by mean-payoff conditions. Zbl 1234.68248
Alur, Rajeev; Degorre, Aldric; Maler, Oded; Weiss, Gera
7
2009
Realizability and verification of MSC graphs. Zbl 0986.68518
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
7
2001
Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Zbl 1046.93002
Alur, Rajeev (ed.); Pappas, George J. (ed.)
7
2004
Automatic symbolic compositional verification by learning assumptions. Zbl 1147.68052
Nam, Wonhong; Madhusudan, P.; Alur, Rajeev
6
2008
Compositional modeling and analysis of multi-hop control networks. Zbl 1368.90031
Alur, Rajeev; D’Innocenzo, Alessandro; Johansson, Karl H.; Pappas, George J.; Weiss, Gera
6
2011
Regular transformations of infinite strings. Zbl 1360.68538
Alur, Rajeev; Filiot, Emmanuel; Trivedi, Ashutosh
6
2012
Real-time system = discrete system + clock variables. Zbl 1060.68605
Alur, Rajeev; Henzinger, Thomas A.
6
1997
Progress on reachability analysis of hybrid systems using predicate abstraction. Zbl 1032.93033
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
6
2003
Modular strategies for recursive game graphs. Zbl 1088.68099
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
5
2006
Nondeterministic streaming string transducers. Zbl 1333.68157
Alur, Rajeev; Deshmukh, Jyotirmoy V.
5
2011
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
Reachability analysis of hybrid systems via predicate abstraction. Zbl 1044.93517
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
5
2002
Time-adaptive algorithms for synchronization. Zbl 0874.68130
Alur, Rajeev; Attiya, Hagit; Taubenfeld, Gadi
5
1997
Compositional refinement for hierarchical hybrid systems. Zbl 0991.93057
Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg
5
2002
Counter-example guided predicate abstraction of hybrid systems. Zbl 1031.68074
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
5
2003
Modular refinement of hierarchic reactive machines. Zbl 1323.68196
Alur, Rajeev; Grosu, Radu
5
2000
DReX: a declarative language for efficiently evaluating regular string transformations. Zbl 1345.68032
Alur, Rajeev; D’Antoni, Loris; Raghothaman, Mukund
4
2015
Model checking procedural programs. Zbl 1392.68226
Alur, Rajeev; Bouajjani, Ahmed; Esparza, Javier
4
2018
On-the-fly reachability and cycle detection for recursive state machines. Zbl 1087.68581
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Madhusudan, P.
4
2005
Symbolic analysis for GSMP models with one stateful clock. Zbl 1221.93016
Bernadsky, Mikhail; Alur, Rajeev
4
2007
Temporal reasoning for procedural programs. Zbl 1273.68078
Alur, Rajeev; Chaudhuri, Swarat
4
2010
Parametric temporal logic for “model measuring”. Zbl 0939.03021
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
4
1999
Contention-free complexity of shared memory algorithms. Zbl 0853.68109
Alur, Rajeev; Taubenfeld, Gadi
4
1996
Exploiting behavioral hierarchy for efficient model checking. Zbl 1010.68503
Alur, Rajeev; McDougall, Michael; Yang, Zijiang
4
2002
Algorithmic analysis of array-accessing programs. Zbl 1351.68149
Alur, Rajeev; Černý, Pavol; Weinstein, Scott
3
2012
Bounded model checking for GSMP models of stochastic real-time systems. Zbl 1178.68332
Alur, Rajeev; Bernadsky, Mikhail
3
2006
Colored nested words. Zbl 1443.68079
Alur, Rajeev; Fisman, Dana
3
2016
Pattern-based refinement of assume-guarantee specifications in reactive synthesis. Zbl 1420.68116
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
3
2015
Compositional modeling and refinement for hierarchical hybrid systems. Zbl 1088.68098
Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg
3
2006
From monadic second-order definable string transformations to transducers. Zbl 1366.68133
Alur, Rajeev; Durand-Gasselin, Antoine; Trivedi, Ashutosh
3
2013
Modular strategies for recursive game graphs. Zbl 1031.68048
Alur, Rajeev; La Torre, Salvatore; Madhusudan, Parthasarathy
3
2003
Efficient reachability analysis of hierarchical reactive machines. Zbl 0974.68551
Alur, R.; Grosu, R.; McDougall, M.
3
2000
Regular programming for quantitative properties of data streams. Zbl 1335.68041
Alur, Rajeev; Fisman, Dana; Raghothaman, Mukund
2
2016
Verisig: verifying safety properties of hybrid systems with neural network controllers. Zbl 07120152
Ivanov, Radoslav; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup
2
2019
Streaming tree transducers. Zbl 1426.68136
Alur, Rajeev; D’Antoni, Loris
2
2017
Marrying words and trees. Zbl 1167.68380
Alur, Rajeev
2
2008
Automata based interfaces for control and scheduling. Zbl 1221.68150
Weiss, Gera; Alur, Rajeev
2
2007
Model checking: from tools to theory. Zbl 1142.68429
Alur, Rajeev
2
2008
Automating modular verification. Zbl 0940.68088
Alur, Rajeev; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
2
1999
Verifying network protocol implementations by symbolic refinement checking. Zbl 0991.68546
Alur, Rajeev; Wang, Bow-Yaw
2
2001
Time-adaptive algorithms for synchronization. Zbl 1345.68225
Alur, Rajeev; Attiya, Hagit; Taubenfeld, Gadi
1
1994
Specification and analysis of network resource requirements of control systems. Zbl 1237.93116
Weiss, Gera; Fischmeister, Sebastian; Anand, Madhukar; Alur, Rajeev
1
2009
Compositional synthesis of reactive controllers for multi-agent systems. Zbl 1411.68156
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
1
2016
Derivatives of quantitative regular expressions. Zbl 1431.68056
Alur, Rajeev; Mamouras, Konstantinos; Ulus, Dogan
1
2017
Case study: Verifying the safety of an autonomous racing car with a neural network controller. Zbl 07300869
Ivanov, Radoslav; Carpenter, Taylor J.; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup
1
2020
Case study: Verifying the safety of an autonomous racing car with a neural network controller. Zbl 07300869
Ivanov, Radoslav; Carpenter, Taylor J.; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup
1
2020
Verisig: verifying safety properties of hybrid systems with neural network controllers. Zbl 07120152
Ivanov, Radoslav; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup
2
2019
Model checking procedural programs. Zbl 1392.68226
Alur, Rajeev; Bouajjani, Ahmed; Esparza, Javier
4
2018
Streaming tree transducers. Zbl 1426.68136
Alur, Rajeev; D’Antoni, Loris
2
2017
Derivatives of quantitative regular expressions. Zbl 1431.68056
Alur, Rajeev; Mamouras, Konstantinos; Ulus, Dogan
1
2017
Colored nested words. Zbl 1443.68079
Alur, Rajeev; Fisman, Dana
3
2016
Regular programming for quantitative properties of data streams. Zbl 1335.68041
Alur, Rajeev; Fisman, Dana; Raghothaman, Mukund
2
2016
Compositional synthesis of reactive controllers for multi-agent systems. Zbl 1411.68156
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
1
2016
Compositional synthesis with parametric reactive controllers. Zbl 1364.93252
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
1
2016
DReX: a declarative language for efficiently evaluating regular string transformations. Zbl 1345.68032
Alur, Rajeev; D’Antoni, Loris; Raghothaman, Mukund
4
2015
Pattern-based refinement of assume-guarantee specifications in reactive synthesis. Zbl 1420.68116
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
3
2015
Regular combinators for string transformations. Zbl 1401.68141
Alur, Rajeev; Freilich, Adam; Raghothaman, Mukund
9
2014
Regular functions and cost register automata (invited paper). Zbl 1366.68046
Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei
17
2013
Decision problems for additive regular functions. Zbl 1335.68113
Alur, Rajeev; Raghothaman, Mukund
10
2013
From monadic second-order definable string transformations to transducers. Zbl 1366.68133
Alur, Rajeev; Durand-Gasselin, Antoine; Trivedi, Ashutosh
3
2013
On the complexity of shortest path problems on discounted cost graphs. Zbl 1377.68092
Alur, Rajeev; Kannan, Sampath; Tian, Kevin; Yuan, Yifei
1
2013
Streaming tree transducers. Zbl 1367.68157
Alur, Rajeev; D’Antoni, Loris
8
2012
Regular transformations of infinite strings. Zbl 1360.68538
Alur, Rajeev; Filiot, Emmanuel; Trivedi, Ashutosh
6
2012
Algorithmic analysis of array-accessing programs. Zbl 1351.68149
Alur, Rajeev; Černý, Pavol; Weinstein, Scott
3
2012
Streaming transducers for algorithmic verification of single-pass list-processing programs. Zbl 1284.68159
Alur, Rajeev; Černý, Pavol
17
2011
Compositional modeling and analysis of multi-hop control networks. Zbl 1368.90031
Alur, Rajeev; D’Innocenzo, Alessandro; Johansson, Karl H.; Pappas, George J.; Weiss, Gera
6
2011
Nondeterministic streaming string transducers. Zbl 1333.68157
Alur, Rajeev; Deshmukh, Jyotirmoy V.
5
2011
Expressiveness of streaming string transducers. Zbl 1245.68115
Alur, Rajeev; Černý, Pavol
14
2010
Temporal reasoning for procedural programs. Zbl 1273.68078
Alur, Rajeev; Chaudhuri, Swarat
4
2010
Adding nesting structure to words. Zbl 1325.68138
Alur, Rajeev; Madhusudan, P.
59
2009
On omega-languages defined by mean-payoff conditions. Zbl 1234.68248
Alur, Rajeev; Degorre, Aldric; Maler, Oded; Weiss, Gera
7
2009
Specification and analysis of network resource requirements of control systems. Zbl 1237.93116
Weiss, Gera; Fischmeister, Sebastian; Anand, Madhukar; Alur, Rajeev
1
2009
Algorithmic analysis of array-accessing programs. Zbl 1257.68102
Alur, Rajeev; Černý, Pavol; Weinstein, Scott
1
2009
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid
19
2008
Ranking automata and games for prioritized requirements. Zbl 1155.68414
Alur, Rajeev; Kanade, Aditya; Weiss, Gera
9
2008
Automatic symbolic compositional verification by learning assumptions. Zbl 1147.68052
Nam, Wonhong; Madhusudan, P.; Alur, Rajeev
6
2008
Marrying words and trees. Zbl 1167.68380
Alur, Rajeev
2
2008
Model checking: from tools to theory. Zbl 1142.68429
Alur, Rajeev
2
2008
Marrying words and trees. Zbl 1167.68379
Alur, Rajeev
14
2007
Model checking on trees with path equivalences. Zbl 1186.68273
Alur, Rajeev; Černý, Pavol; Chaudhuri, Swarat
8
2007
Symbolic analysis for GSMP models with one stateful clock. Zbl 1221.93016
Bernadsky, Mikhail; Alur, Rajeev
4
2007
Automata based interfaces for control and scheduling. Zbl 1221.68150
Weiss, Gera; Alur, Rajeev
2
2007
Preserving secrecy under refinement. Zbl 1133.94307
Alur, Rajeev; Černý, Pavol; Zdancewic, Steve
16
2006
Counterexample-guided predicate abstraction of hybrid systems. Zbl 1088.68096
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
14
2006
Adding nesting structure to words. Zbl 1227.68045
Alur, Rajeev; Madhusudan, P.
14
2006
Languages of nested trees. Zbl 1188.68167
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
8
2006
A fixpoint calculus for local and global program flows. Zbl 1370.68051
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
8
2006
Learning-based symbolic assume-guarantee reasoning with automatic decomposition. Zbl 1161.68578
Nam, Wonhong; Alur, Rajeev
7
2006
Modular strategies for recursive game graphs. Zbl 1088.68099
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
5
2006
Bounded model checking for GSMP models of stochastic real-time systems. Zbl 1178.68332
Alur, Rajeev; Bernadsky, Mikhail
3
2006
Compositional modeling and refinement for hierarchical hybrid systems. Zbl 1088.68098
Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg
3
2006
Synthesis of interface specifications for Java classes. Zbl 1369.68126
Alur, Rajeev; Černý, Pavol; Madhusudan, P.; Nam, Wonhong
20
2005
Symbolic compositional verification by learning assumptions. Zbl 1081.68601
Alur, Rajeev; Madhusudan, P.; Nam, Wonhong
16
2005
Congruences for visibly pushdown languages. Zbl 1085.68079
Alur, Rajeev; Kumar, Viraj; Madhusudan, P.; Viswanathan, Mahesh
16
2005
Realizability and verification of MSC graphs. Zbl 1088.68097
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
8
2005
Perturbed timed automata. Zbl 1078.68070
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
7
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.
98
2004
A temporal logic of nested calls and returns. Zbl 1126.68466
Alur, Rajeev; Etessami, Kousha; Madhusudan, P.
30
2004
Deterministic generators and games for LTL fragments. Zbl 1366.03181
Alur, Rajeev; La Torre, Salvatore
20
2004
Decision problems for timed automata: A survey. Zbl 1105.68057
Alur, Rajeev; Madhusudan, P.
18
2004
Optimal paths in weighted timed automata. Zbl 1068.68080
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
15
2004
Optimal reachability for weighted timed games. Zbl 1098.68061
Alur, Rajeev; Bernadsky, Mikhail; Madhusudan, P.
11
2004
Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Zbl 1046.93002
Alur, Rajeev; Pappas, George J.
7
2004
Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13–17, 2004. Proceedings. Zbl 1056.68003
Alur, Rajeev; Peled, Doron A.
1
2004
Structured modeling of concurrent stochastic hybrid systems. Zbl 1109.68510
Bernadsky, Mikhail; Sharykin, Raman; Alur, Rajeev
1
2004
Playing games with boxes and diamonds. Zbl 1274.68173
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
9
2003
Progress on reachability analysis of hybrid systems using predicate abstraction. Zbl 1032.93033
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
6
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
Counter-example guided predicate abstraction of hybrid systems. Zbl 1031.68074
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
5
2003
Modular strategies for recursive game graphs. Zbl 1031.68048
Alur, Rajeev; La Torre, Salvatore; Madhusudan, Parthasarathy
3
2003
Formal analysis of hierarchical state machines. Zbl 1274.68172
Alur, Rajeev
1
2003
Compression of partially ordered strings. Zbl 1274.68118
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Guha, Sudipto; Yannakakis, Mihalis
1
2003
Alternating-time temporal logic. Zbl 1326.68181
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna
218
2002
Optimal paths in weighted timed automata. Zbl 0991.93076
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
40
2002
Hybrid modeling and simulation of biomolecular networks. Zbl 0993.92010
Alur, Rajeev; Belta, Calin; Ivančić, Franjo; Kumar, Vijay; Mintz, Max
15
2002
Reachability analysis of hybrid systems via predicate abstraction. Zbl 1044.93517
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
5
2002
Compositional refinement for hierarchical hybrid systems. Zbl 0991.93057
Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg
5
2002
Exploiting behavioral hierarchy for efficient model checking. Zbl 1010.68503
Alur, Rajeev; McDougall, Michael; Yang, Zijiang
4
2002
Parametric temporal logic for “model measuring”. Zbl 1171.68544
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
18
2001
Partial-order reduction in symbolic state-space exploration. Zbl 1001.68080
Alur, R.; Brayton, R. K.; Henzinger, T. A.; Qadeer, S.; Rajamani, S. K.
11
2001
Analysis of recursive state machines. Zbl 0991.68535
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
8
2001
Realizability and verification of MSC graphs. Zbl 0986.68518
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
7
2001
Verifying network protocol implementations by symbolic refinement checking. Zbl 0991.68546
Alur, Rajeev; Wang, Bow-Yaw
2
2001
Hierarchical hybrid modeling of embedded systems. Zbl 1050.68508
Alur, R.; Dang, T.; Esposito, J.; Fierro, R.; Hur, Y.; Ivančić, F.; Kumar, V.; Lee, I.; Mishra, P.; Pappas, G.; Sokolsky, O.
1
2001
Heuristics for hierarchical partitioning with application to model checking. Zbl 1002.68509
Möller, M. Oliver; Alur, Rajeev
1
2001
Model-checking of correctness conditions for concurrent objects. Zbl 1003.68067
Alur, Rajeev; McMillan, Ken; Peled, Doron
14
2000
Modular specification of hybrid systems in Charon. Zbl 0992.93040
Alur, Rajeev; Grosu, Radu; Hur, Yerang; Kumar, Vijay; Lee, Insup
9
2000
Modular refinement of hierarchic reactive machines. Zbl 1323.68196
Alur, Rajeev; Grosu, Radu
5
2000
Efficient reachability analysis of hierarchical reactive machines. Zbl 0974.68551
Alur, R.; Grosu, R.; McDougall, M.
3
2000
Exploiting hierarchical structure for efficient formal verification. Zbl 0999.68559
Alur, Rajeev
1
2000
Event-clock automata: a determinizable class of timed automata. Zbl 0912.68132
Alur, Rajeev; Fix, Limor; Henzinger, Thomas A.
34
1999
Timed automata. Zbl 1046.68574
Alur, Rajeev
21
1999
Parametric temporal logic for “model measuring”. Zbl 0939.03021
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
4
1999
Automating modular verification. Zbl 0940.68088
Alur, Rajeev; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
2
1999
Polyhedral flows in hybrid automata. Zbl 0924.93016
Alur, Rajeev; Kannan, Sampath; La Torre, Salvatore
1
1999
Alternating refinement relations. Zbl 1070.68524
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna; Vardi, Moshe Y.
46
1998
Real-time system = discrete system + clock variables. Zbl 1060.68605
Alur, Rajeev; Henzinger, Thomas A.
6
1997
Time-adaptive algorithms for synchronization. Zbl 0874.68130
Alur, Rajeev; Attiya, Hagit; Taubenfeld, Gadi
5
1997
The benefits of relaxing punctuality. Zbl 0882.68021
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A.
81
1996
Contention-free complexity of shared memory algorithms. Zbl 0853.68109
Alur, Rajeev; Taubenfeld, Gadi
4
1996
Computer aided verification. 8th international conference, CAV ’96, New Brunswick, NJ, USA, July 31 – August 3, 1996. Proceedings. Zbl 1102.68301
Alur, Rajeev; Henzinger, Thomas A.
1
1996
The algorithmic analysis of hybrid systems. Zbl 0874.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
145
1995
Distinguishing tests for nondeterministic and probabilistic machines. Zbl 0978.68522
Alur, Rajeev; Courcoubetis, Costas; Yannakakis, Mihalis
15
1995
...and 12 more Documents
all top 5

Cited by 2,041 Authors

35 Henzinger, Thomas A.
34 Larsen, Kim Guldstrand
27 Chatterjee, Krishnendu
26 Bouyer, Patricia
22 Kupferman, Orna
20 Ibarra, Oscar H.
19 Legay, Axel
19 Markey, Nicolas
18 Raskin, Jean-François
17 Bozzelli, Laura
16 Alur, Rajeev
16 Dang, Zhe
14 Kwiatkowska, Marta Z.
14 Murano, Aniello
14 Pinchinat, Sophie
13 Asarin, Eugene
13 Bollig, Benedikt
13 Brihaye, Thomas
13 Lime, Didier
13 Reynier, Pierre-Alain
13 Salomaa, Kai T.
13 Wooldridge, Michael J.
12 Demri, Stéphane P.
12 Fahrenberg, Uli
12 La Torre, Salvatore
12 Lanotte, Ruggero
11 André, Étienne
11 Avni, Guy
11 Doyen, Laurent
11 Jamroga, Wojciech
10 Gastin, Paul
10 Gutierrez, Julian
10 Maggiolo-Schettini, Andrea
10 Okhotin, Alexander
10 Quaas, Karin
10 Roux, Olivier H.
9 Bérard, Béatrice
9 Bouajjani, Ahmed
9 Maler, Oded
9 Mogavero, Fabio
9 Reynolds, Mark Alexander
9 Rossi, Matteo A. C.
9 Sproston, Jeremy
9 Worrell, James B.
8 Abdulla, Parosh Aziz
8 Ågotnes, Thomas
8 Baier, Christel
8 Bersani, Marcello Maria
8 Bortolussi, Luca
8 Filiot, Emmanuel
8 Gauwin, Olivier
8 Habermehl, Peter
8 Jonsson, Bengt
8 Krishna, Shankara Narayanan
8 Mandrioli, Dino
8 Murawski, Andrzej S.
8 Norman, Gethin
8 Ouaknine, Joel O.
8 Pappas, George J.
8 Pradella, Matteo
8 Schewe, Sven
8 Tripakis, Stavros
8 Vardi, Moshe Y.
8 Viswanathan, Mahesh
8 Yovine, Sergio
7 Akshay, S.
7 Alechina, Natasha
7 Bertrand, Nathalie
7 Cassez, Franck
7 Dima, Cătălin
7 Grosu, Radu
7 Katoen, Joost-Pieter
7 Laroussinie, François
7 Mardare, Radu
7 Meseguer Guaita, José
7 Muscholl, Anca
7 Pandya, Paritosh K.
7 Peled, Doron A.
7 Perelli, Giuseppe
7 Piazza, Carla
7 Piterman, Nir
7 Pnueli, Amir
7 Policriti, Alberto
7 Rabinovich, Alexander
7 van der Hoek, Wiebe
7 Wang, Farn
6 Bartocci, Ezio
6 Bresolin, Davide
6 Broersen, Jan M.
6 Bultan, Tevfik
6 D’Argenio, Pedro Rubén
6 David, Alexandre
6 Droste, Manfred
6 Fisman, Dana
6 Geeraerts, Gilles
6 Genest, Blaise
6 Haddad, Serge
6 Krebs, Andreas
6 Li, Xuandong
6 Montanari, Angelo
...and 1,941 more Authors
all top 5

Cited in 115 Serials

223 Theoretical Computer Science
112 Information and Computation
79 Formal Methods in System Design
49 Formal Aspects of Computing
36 Journal of Computer and System Sciences
32 Acta Informatica
30 Information Processing Letters
28 Artificial Intelligence
26 The Journal of Logic and Algebraic Programming
25 International Journal of Foundations of Computer Science
24 Discrete Event Dynamic Systems
24 Logical Methods in Computer Science
21 Journal of Logical and Algebraic Methods in Programming
20 Automatica
20 Nonlinear Analysis. Hybrid Systems
19 Real-Time Systems
15 Theory of Computing Systems
12 ACM Transactions on Computational Logic
11 Synthese
11 Journal of Applied Logic
10 MSCS. Mathematical Structures in Computer Science
10 Distributed Computing
9 International Journal of Control
9 Journal of Automated Reasoning
8 Studia Logica
8 Science of Computer Programming
8 Annals of Pure and Applied Logic
8 Journal of Applied Non-Classical Logics
7 Journal of Computer Science and Technology
7 European Journal of Control
6 Programming and Computer Software
6 Cybernetics and Systems Analysis
6 Journal of Logic, Language and Information
5 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
5 Systems & Control Letters
5 International Journal of Approximate Reasoning
5 Annals of Mathematics and Artificial Intelligence
5 Journal of the ACM
5 RAIRO. Theoretical Informatics and Applications
5 Fundamenta Informaticae
5 Frontiers of Computer Science
4 Applied Mathematics and Computation
4 Journal of Philosophical Logic
4 International Journal of Robust and Nonlinear Control
4 Journal of Applied Mathematics
4 Sādhanā
4 The Review of Symbolic Logic
3 International Journal of General Systems
3 SIAM Journal on Control and Optimization
3 Journal of Symbolic Computation
3 Machine Learning
3 RAIRO. Theoretical Informatics and Applications
3 Computer Science Review
2 International Journal of Systems Science
2 Journal of the Franklin Institute
2 Information Sciences
2 The Journal of Symbolic Logic
2 Mathematics and Computers in Simulation
2 Journal of Complexity
2 Algorithmica
2 Vestnik St. Petersburg University. Mathematics
2 The Bulletin of Symbolic Logic
2 Abstract and Applied Analysis
2 Soft Computing
2 Higher-Order and Symbolic Computation
2 International Game Theory Review
2 Theory and Practice of Logic Programming
2 Natural Computing
2 Mathematics in Computer Science
2 Frontiers of Computer Science in China
2 International Journal of Systems Science. Principles and Applications of Systems and Integration
1 ACM Computing Surveys
1 Computers & Mathematics with Applications
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 Journal of Statistical Physics
1 Problems of Information Transmission
1 Computing
1 Fuzzy Sets and Systems
1 Journal of Econometrics
1 Kybernetika
1 Notre Dame Journal of Formal Logic
1 SIAM Journal on Computing
1 International Journal of Production Research
1 Physica D
1 International Journal of Parallel Programming
1 International Journal of Intelligent Systems
1 Mathematical and Computer Modelling
1 AI Communications
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Algebra and Computation
1 Pattern Recognition
1 Computer Science Journal of Moldova
1 Computational & Mathematical Organization Theory
1 Constraints
1 Mathematical Problems in Engineering
1 Doklady Mathematics
1 Optimization Methods & Software
1 Journal of Applied Mathematics and Decision Sciences
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
...and 15 more Serials

Citations by Year