×
Author ID: alur.rajeev Recent zbMATH articles by "Alur, Rajeev"
Published as: Alur, Rajeev; Alur, R.
External Links: MGP
all top 5

Co-Authors

9 single-authored
19 Madhusudan, Parthasarathy
17 Henzinger, Thomas A.
12 La Torre, Salvatore
9 Etessami, Kousha
9 Pappas, George J.
8 Chaudhuri, Swarat
8 Lee, Insup
7 Černý, Pavol
7 Ivančić, Franjo
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 Fisman, Dana
4 Kannan, Sampath K.
4 Sokolsky, Oleg
4 Topcu, Ufuk
4 Trivedi, Ashutosh
3 Ivanov, Radoslav
3 Jothimurugan, Kishor
3 Kumar, Vijay R.
3 Mamouras, Konstantinos
3 Weimer, James E.
2 Attiya, Hagit
2 Bansal, Suguman
2 Bastani, Osbert
2 Belta, Calin A.
2 Brayton, Robert K.
2 Carpenter, Taylor J.
2 Deshmukh, Jyotirmoy V.
2 Feder, Tomás
2 Hur, Yerang
2 Kupferman, Orna
2 Kurshan, Robert P.
2 McDougall, Michael
2 McMillan, Kenneth L.
2 Singhania, Nimit
2 Stanford, Caleb
2 Vardi, Moshe Ya’akov
2 Weinstein, Scott
2 Yang, Zijiang
2 Yuan, Yifei
1 Anand, Madhukar
1 Arenas, Marcelo
1 Barceló, Pablo
1 Bouajjani, Ahmed
1 Burckhardt, Sebastian
1 Chandrashekharapuram, Arun
1 Chen, Yu
1 de Alfaro, Luca
1 Degorre, Aldric
1 Devietti, Joseph
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 Giacobbe, Mirco
1 Guha, Sudipto
1 Halbwachs, Nicolas
1 Ho, Pei-Hsin
1 Immerman, Neil
1 Itai, Alon
1 Johansson, Karl Henrik
1 Kanade, Aditya
1 Khanna, Sanjeev
1 Kumar, Viraj
1 Leija, Omar S. Navarro
1 Libkin, Leonid O.
1 Lindemann, Lars
1 Maler, Oded
1 Mang, Freddy Y. C.
1 Martin, Milo M. K.
1 Mikucionis, Marius
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 Tasiran, Serdar
...and 10 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

125 Publications have been cited 3,456 times in 2,101 Documents Cited by Year
A theory of timed automata. Zbl 0803.68071
Alur, Rajeev; Dill, David L.
752
1994
Alternating-time temporal logic. Zbl 1326.68181
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna
329
2002
The algorithmic analysis of hybrid systems. Zbl 0874.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
212
1995
Visibly pushdown languages. Zbl 1192.68396
Alur, Rajeev; Madhusudan, P.
152
2004
Model-checking in dense real-time. Zbl 0783.68076
Alur, Rajeev; Courcoubetis, Costas; Dill, David
122
1993
The benefits of relaxing punctuality. Zbl 0882.68021
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A.
119
1996
A really temporal logic. Zbl 0807.68065
Alur, Rajeev; Henzinger, Thomas A.
109
1994
Automata for modeling real-time systems. Zbl 0765.68150
Alur, Rajeev; Dill, David
99
1990
Adding nesting structure to words. Zbl 1325.68138
Alur, Rajeev; Madhusudan, P.
96
2009
Real-time logics: Complexity and expressiveness. Zbl 0791.68103
Alur, Rajeev; Henzinger, Thomas A.
78
1993
Parametric real-time reasoning. Zbl 1310.68139
Alur, Rajeev; Henzinger, Thomas A.; Vardi, Moshe Y.
74
1993
Model-checking for probabilistic real-time systems. Zbl 0769.68088
Alur, Rajeev; Courcoubetis, Costas; Dill, David
69
1991
Alternating refinement relations. Zbl 1070.68524
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna; Vardi, Moshe Y.
56
1998
Optimal paths in weighted timed automata. Zbl 0991.93076
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
50
2002
Event-clock automata: a determinizable class of timed automata. Zbl 0912.68132
Alur, Rajeev; Fix, Limor; Henzinger, Thomas A.
50
1999
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
Timed automata. Zbl 1046.68574
Alur, Rajeev
32
1999
Deterministic generators and games for LTL fragments. Zbl 1366.03181
Alur, Rajeev; La Torre, Salvatore
31
2004
Parametric temporal logic for “model measuring”. Zbl 1171.68544
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
30
2001
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid
29
2008
Regular functions and cost register automata (invited paper). Zbl 1366.68046
Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei
28
2013
Streaming transducers for algorithmic verification of single-pass list-processing programs. Zbl 1284.68159
Alur, Rajeev; Černý, Pavol
28
2011
Optimal paths in weighted timed automata. Zbl 1068.68080
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
27
2004
Expressiveness of streaming string transducers. Zbl 1245.68115
Alur, Rajeev; Černý, Pavol
26
2010
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 algorithmic analysis of hybrid systems. Zbl 0823.68067
Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S.
22
1994
Symbolic compositional verification by learning assumptions. Zbl 1081.68601
Alur, Rajeev; Madhusudan, P.; Nam, Wonhong
21
2005
Preserving secrecy under refinement. Zbl 1133.94307
Alur, Rajeev; Černý, Pavol; Zdancewic, Steve
20
2006
Hybrid modeling and simulation of biomolecular networks. Zbl 0993.92010
Alur, Rajeev; Belta, Calin; Ivančić, Franjo; Kumar, Vijay; Mintz, Max
20
2002
Adding nesting structure to words. Zbl 1227.68045
Alur, Rajeev; Madhusudan, P.
19
2006
Verisig: verifying safety properties of hybrid systems with neural network controllers. Zbl 07120152
Ivanov, Radoslav; Weimer, James; Alur, Rajeev; Pappas, George J.; Lee, Insup
18
2019
Distinguishing tests for nondeterministic and probabilistic machines. Zbl 0978.68522
Alur, Rajeev; Courcoubetis, Costas; Yannakakis, Mihalis
17
1995
Model-checking of correctness conditions for concurrent objects. Zbl 1003.68067
Alur, Rajeev; McMillan, Ken; Peled, Doron
17
2000
Optimal reachability for weighted timed games. Zbl 1098.68061
Alur, Rajeev; Bernadsky, Mikhail; Madhusudan, P.
17
2004
Marrying words and trees. Zbl 1167.68379
Alur, Rajeev
16
2007
Regular transformations of infinite strings. Zbl 1360.68538
Alur, Rajeev; Filiot, Emmanuel; Trivedi, Ashutosh
16
2012
Counterexample-guided predicate abstraction of hybrid systems. Zbl 1088.68096
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
16
2006
Computer aided verification. 8th international conference, CAV ’96, New Brunswick, NJ, USA, July 31 – August 3, 1996. Proceedings. Zbl 1102.68301
15
1996
Realizability and verification of MSC graphs. Zbl 1088.68097
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
15
2005
Partial-order reduction in symbolic state-space exploration. Zbl 1001.68080
Alur, R.; Brayton, R. K.; Henzinger, T. A.; Qadeer, S.; Rajamani, S. K.
15
2001
Back to the future: Towards a theory of timed regular languages. Zbl 0977.68548
Alur, Rajeev; Henzinger, Thomas A.
14
1992
Regular combinators for string transformations. Zbl 1401.68141
Alur, Rajeev; Freilich, Adam; Raghothaman, Mukund
13
2014
Modularity for timed and hybrid systems. Zbl 1512.68146
Alur, Rajeev; Henzinger, Thomas A.
13
1997
Model checking on trees with path equivalences. Zbl 1186.68273
Alur, Rajeev; Černý, Pavol; Chaudhuri, Swarat
12
2007
A fixpoint calculus for local and global program flows. Zbl 1370.68051
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
12
2006
Modular specification of hybrid systems in Charon. Zbl 0992.93040
Alur, Rajeev; Grosu, Radu; Hur, Yerang; Kumar, Vijay; Lee, Insup
12
2000
Decision problems for additive regular functions. Zbl 1335.68113
Alur, Rajeev; Raghothaman, Mukund
12
2013
Nondeterministic streaming string transducers. Zbl 1333.68157
Alur, Rajeev; Deshmukh, Jyotirmoy V.
11
2011
Timing verification by successive approximation. Zbl 0939.68705
Alur, R.; Itai, A.; Kurshan, R. P.; Yannakakis, M.
11
1995
Playing games with boxes and diamonds. Zbl 1274.68173
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
11
2003
The benefits of relaxing punctuality. Zbl 1314.68195
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A.
11
1991
Model checking procedural programs. Zbl 1392.68226
Alur, Rajeev; Bouajjani, Ahmed; Esparza, Javier
11
2018
Languages of nested trees. Zbl 1188.68167
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
10
2006
Learning-based symbolic assume-guarantee reasoning with automatic decomposition. Zbl 1161.68578
Nam, Wonhong; Alur, Rajeev
10
2006
Ranking automata and games for prioritized requirements. Zbl 1155.68414
Alur, Rajeev; Kanade, Aditya; Weiss, Gera
10
2008
Perturbed timed automata. Zbl 1078.68070
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
10
2005
Scaling enumerative program synthesis via divide and conquer. Zbl 1452.68043
Alur, Rajeev; Radhakrishna, Arjun; Udupa, Abhishek
10
2017
Analysis of recursive state machines. Zbl 0991.68535
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
9
2001
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
9
2011
Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Zbl 1046.93002
9
2004
On omega-languages defined by mean-payoff conditions. Zbl 1234.68248
Alur, Rajeev; Degorre, Aldric; Maler, Oded; Weiss, Gera
8
2009
Streaming tree transducers. Zbl 1367.68157
Alur, Rajeev; D’Antoni, Loris
8
2012
Reachability analysis of hybrid systems via predicate abstraction. Zbl 1044.93517
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
8
2002
Realizability and verification of MSC graphs. Zbl 0986.68518
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
8
2001
Streaming tree transducers. Zbl 1426.68136
Alur, Rajeev; D’Antoni, Loris
7
2017
Modular strategies for recursive game graphs. Zbl 1088.68099
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
7
2006
Progress on reachability analysis of hybrid systems using predicate abstraction. Zbl 1032.93033
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
7
2003
Counter-example guided predicate abstraction of hybrid systems. Zbl 1031.68074
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
7
2003
Pattern-based refinement of assume-guarantee specifications in reactive synthesis. Zbl 1420.68116
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
7
2015
On-the-fly reachability and cycle detection for recursive state machines. Zbl 1087.68581
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Madhusudan, P.
7
2005
Specification-guided learning of Nash equilibria with high social welfare. Zbl 1514.68252
Jothimurugan, Kishor; Bansal, Suguman; Bastani, Osbert; Alur, Rajeev
7
2022
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
7
2020
Time-adaptive algorithms for synchronization. Zbl 0874.68130
Alur, Rajeev; Attiya, Hagit; Taubenfeld, Gadi
6
1997
Automata based interfaces for control and scheduling. Zbl 1221.68150
Weiss, Gera; Alur, Rajeev
6
2007
Automatic symbolic compositional verification by learning assumptions. Zbl 1147.68052
Nam, Wonhong; Madhusudan, P.; Alur, Rajeev
6
2008
Modular refinement of hierarchic reactive machines. Zbl 1323.68196
Alur, Rajeev; Grosu, Radu
6
2000
DReX: a declarative language for efficiently evaluating regular string transformations. Zbl 1345.68032
Alur, Rajeev; D’Antoni, Loris; Raghothaman, Mukund
6
2015
Colored nested words. Zbl 1443.68079
Alur, Rajeev; Fisman, Dana
6
2016
Real-time system = discrete system + clock variables. Zbl 1060.68605
Alur, Rajeev; Henzinger, Thomas A.
6
1997
Compositional refinement for hierarchical hybrid systems. Zbl 0991.93057
Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg
6
2002
Symbolic computational techniques for solving games. Zbl 1271.68144
Madhusudan, P.; Nam, Wonhong; Alur, Rajeev
6
2003
Contention-free complexity of shared memory algorithms. Zbl 0853.68109
Alur, Rajeev; Taubenfeld, Gadi
5
1996
Temporal reasoning for procedural programs. Zbl 1273.68078
Alur, Rajeev; Chaudhuri, Swarat
5
2010
Modular strategies for infinite games on recursive graphs. Zbl 1278.03054
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
5
2003
Algorithmic analysis of array-accessing programs. Zbl 1351.68149
Alur, Rajeev; Černý, Pavol; Weinstein, Scott
5
2012
Compositional modeling and refinement for hierarchical hybrid systems. Zbl 1088.68098
Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg
5
2006
Symbolic analysis for GSMP models with one stateful clock. Zbl 1221.93016
Bernadsky, Mikhail; Alur, Rajeev
4
2007
Regular programming for quantitative properties of data streams. Zbl 1335.68041
Alur, Rajeev; Fisman, Dana; Raghothaman, Mukund
4
2016
Parametric temporal logic for “model measuring”. Zbl 0939.03021
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
4
1999
Exploiting behavioral hierarchy for efficient model checking. Zbl 1010.68503
Alur, Rajeev; McDougall, Michael; Yang, Zijiang
4
2002
Verisig 2.0: verification of neural network controllers using Taylor model preconditioning. Zbl 1493.68211
Ivanov, Radoslav; Carpenter, Taylor; Weimer, James; Alur, Rajeev; Pappas, George; Lee, Insup
4
2021
Automata-based stream processing. Zbl 1442.68077
Alur, Rajeev; Mamouras, Konstantinos; Stanford, Caleb
4
2017
Verifying abstractions of timed systems. Zbl 1514.68148
Taşiran, Serdar; Alur, Rajeev; Kurshan, Robert P.; Brayton, Robert K.
4
1996
Compositional synthesis of reactive controllers for multi-agent systems. Zbl 1411.68156
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
3
2016
Bounded model checking for GSMP models of stochastic real-time systems. Zbl 1178.68332
Alur, Rajeev; Bernadsky, Mikhail
3
2006
Compression of partially ordered strings. Zbl 1274.68118
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Guha, Sudipto; Yannakakis, Mihalis
3
2003
From monadic second-order definable string transformations to transducers. Zbl 1366.68133
Alur, Rajeev; Durand-Gasselin, Antoine; Trivedi, Ashutosh
3
2013
Efficient reachability analysis of hierarchical reactive machines. Zbl 0974.68551
Alur, R.; Grosu, R.; McDougall, M.
3
2000
Specification-guided learning of Nash equilibria with high social welfare. Zbl 1514.68252
Jothimurugan, Kishor; Bansal, Suguman; Bastani, Osbert; Alur, Rajeev
7
2022
Verisig 2.0: verification of neural network controllers using Taylor model preconditioning. Zbl 1493.68211
Ivanov, Radoslav; Carpenter, Taylor; Weimer, James; Alur, Rajeev; Pappas, George; Lee, Insup
4
2021
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
7
2020
Streamable regular transductions. Zbl 1436.68157
Alur, Rajeev; Fisman, Dana; Mamouras, Konstantinos; Raghothaman, Mukund; Stanford, Caleb
2
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
18
2019
Continuous-time models for system design and analysis. Zbl 1485.93204
Alur, Rajeev; Giacobbe, Mirco; Henzinger, Thomas A.; Larsen, Kim G.; Mikučionis, Marius
2
2019
Model checking procedural programs. Zbl 1392.68226
Alur, Rajeev; Bouajjani, Ahmed; Esparza, Javier
11
2018
Scaling enumerative program synthesis via divide and conquer. Zbl 1452.68043
Alur, Rajeev; Radhakrishna, Arjun; Udupa, Abhishek
10
2017
Streaming tree transducers. Zbl 1426.68136
Alur, Rajeev; D’Antoni, Loris
7
2017
Automata-based stream processing. Zbl 1442.68077
Alur, Rajeev; Mamouras, Konstantinos; Stanford, Caleb
4
2017
Derivatives of quantitative regular expressions. Zbl 1431.68056
Alur, Rajeev; Mamouras, Konstantinos; Ulus, Dogan
3
2017
Colored nested words. Zbl 1443.68079
Alur, Rajeev; Fisman, Dana
6
2016
Regular programming for quantitative properties of data streams. Zbl 1335.68041
Alur, Rajeev; Fisman, Dana; Raghothaman, Mukund
4
2016
Compositional synthesis of reactive controllers for multi-agent systems. Zbl 1411.68156
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
3
2016
Compositional synthesis with parametric reactive controllers. Zbl 1364.93252
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
1
2016
Pattern-based refinement of assume-guarantee specifications in reactive synthesis. Zbl 1420.68116
Alur, Rajeev; Moarref, Salar; Topcu, Ufuk
7
2015
DReX: a declarative language for efficiently evaluating regular string transformations. Zbl 1345.68032
Alur, Rajeev; D’Antoni, Loris; Raghothaman, Mukund
6
2015
Regular combinators for string transformations. Zbl 1401.68141
Alur, Rajeev; Freilich, Adam; Raghothaman, Mukund
13
2014
Regular functions and cost register automata (invited paper). Zbl 1366.68046
Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei
28
2013
Decision problems for additive regular functions. Zbl 1335.68113
Alur, Rajeev; Raghothaman, Mukund
12
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
2
2013
Safe schedulability of bounded-rate multi-mode systems. Zbl 1361.93019
Alur, Rajeev; Forejt, Vojtěch; Moarref, Salar; Trivedi, Ashutosh
1
2013
Regular transformations of infinite strings. Zbl 1360.68538
Alur, Rajeev; Filiot, Emmanuel; Trivedi, Ashutosh
16
2012
Streaming tree transducers. Zbl 1367.68157
Alur, Rajeev; D’Antoni, Loris
8
2012
Algorithmic analysis of array-accessing programs. Zbl 1351.68149
Alur, Rajeev; Černý, Pavol; Weinstein, Scott
5
2012
Streaming transducers for algorithmic verification of single-pass list-processing programs. Zbl 1284.68159
Alur, Rajeev; Černý, Pavol
28
2011
Nondeterministic streaming string transducers. Zbl 1333.68157
Alur, Rajeev; Deshmukh, Jyotirmoy V.
11
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
9
2011
Expressiveness of streaming string transducers. Zbl 1245.68115
Alur, Rajeev; Černý, Pavol
26
2010
Temporal reasoning for procedural programs. Zbl 1273.68078
Alur, Rajeev; Chaudhuri, Swarat
5
2010
Adding nesting structure to words. Zbl 1325.68138
Alur, Rajeev; Madhusudan, P.
96
2009
On omega-languages defined by mean-payoff conditions. Zbl 1234.68248
Alur, Rajeev; Degorre, Aldric; Maler, Oded; Weiss, Gera
8
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
29
2008
Ranking automata and games for prioritized requirements. Zbl 1155.68414
Alur, Rajeev; Kanade, Aditya; Weiss, Gera
10
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
16
2007
Model checking on trees with path equivalences. Zbl 1186.68273
Alur, Rajeev; Černý, Pavol; Chaudhuri, Swarat
12
2007
Automata based interfaces for control and scheduling. Zbl 1221.68150
Weiss, Gera; Alur, Rajeev
6
2007
Symbolic analysis for GSMP models with one stateful clock. Zbl 1221.93016
Bernadsky, Mikhail; Alur, Rajeev
4
2007
Logics and automata for software model-checking. Zbl 1135.68033
Alur, Rajeev; Chaudhuri, Swarat
1
2007
Preserving secrecy under refinement. Zbl 1133.94307
Alur, Rajeev; Černý, Pavol; Zdancewic, Steve
20
2006
Adding nesting structure to words. Zbl 1227.68045
Alur, Rajeev; Madhusudan, P.
19
2006
Counterexample-guided predicate abstraction of hybrid systems. Zbl 1088.68096
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
16
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
Learning-based symbolic assume-guarantee reasoning with automatic decomposition. Zbl 1161.68578
Nam, Wonhong; Alur, Rajeev
10
2006
Modular strategies for recursive game graphs. Zbl 1088.68099
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
7
2006
Compositional modeling and refinement for hierarchical hybrid systems. Zbl 1088.68098
Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg
5
2006
Bounded model checking for GSMP models of stochastic real-time systems. Zbl 1178.68332
Alur, Rajeev; Bernadsky, Mikhail
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
Symbolic compositional verification by learning assumptions. Zbl 1081.68601
Alur, Rajeev; Madhusudan, P.; Nam, Wonhong
21
2005
Realizability and verification of MSC graphs. Zbl 1088.68097
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
15
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
Deterministic generators and games for LTL fragments. Zbl 1366.03181
Alur, Rajeev; La Torre, Salvatore
31
2004
Optimal paths in weighted timed automata. Zbl 1068.68080
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
27
2004
Optimal reachability for weighted timed games. Zbl 1098.68061
Alur, Rajeev; Bernadsky, Mikhail; Madhusudan, P.
17
2004
Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Zbl 1046.93002
9
2004
Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13–17, 2004. Proceedings. Zbl 1056.68003
2
2004
Structured modeling of concurrent stochastic hybrid systems. Zbl 1109.68510
Bernadsky, Mikhail; Sharykin, Raman; Alur, Rajeev
2
2004
Playing games with boxes and diamonds. Zbl 1274.68173
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
11
2003
Progress on reachability analysis of hybrid systems using predicate abstraction. Zbl 1032.93033
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
7
2003
Counter-example guided predicate abstraction of hybrid systems. Zbl 1031.68074
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
7
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
Compression of partially ordered strings. Zbl 1274.68118
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Guha, Sudipto; Yannakakis, Mihalis
3
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
Embedded software. Third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13–15, 2003. Proceedings. Zbl 1028.00023
1
2003
Alternating-time temporal logic. Zbl 1326.68181
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna
329
2002
Optimal paths in weighted timed automata. Zbl 0991.93076
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
50
2002
Hybrid modeling and simulation of biomolecular networks. Zbl 0993.92010
Alur, Rajeev; Belta, Calin; Ivančić, Franjo; Kumar, Vijay; Mintz, Max
20
2002
Reachability analysis of hybrid systems via predicate abstraction. Zbl 1044.93517
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
8
2002
Compositional refinement for hierarchical hybrid systems. Zbl 0991.93057
Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg
6
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
30
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.
15
2001
Analysis of recursive state machines. Zbl 0991.68535
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
9
2001
Realizability and verification of MSC graphs. Zbl 0986.68518
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
8
2001
Verifying network protocol implementations by symbolic refinement checking. Zbl 0991.68546
Alur, Rajeev; Wang, Bow-Yaw
2
2001
Heuristics for hierarchical partitioning with application to model checking. Zbl 1002.68509
Möller, M. Oliver; Alur, Rajeev
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
Model-checking of correctness conditions for concurrent objects. Zbl 1003.68067
Alur, Rajeev; McMillan, Ken; Peled, Doron
17
2000
Modular specification of hybrid systems in Charon. Zbl 0992.93040
Alur, Rajeev; Grosu, Radu; Hur, Yerang; Kumar, Vijay; Lee, Insup
12
2000
Modular refinement of hierarchic reactive machines. Zbl 1323.68196
Alur, Rajeev; Grosu, Radu
6
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
Timed automata. Zbl 0957.68052
Alur, Rajeev
1
2000
Event-clock automata: a determinizable class of timed automata. Zbl 0912.68132
Alur, Rajeev; Fix, Limor; Henzinger, Thomas A.
50
1999
Timed automata. Zbl 1046.68574
Alur, Rajeev
32
1999
Parametric temporal logic for “model measuring”. Zbl 0939.03021
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
4
1999
...and 25 more Documents
all top 5

Cited by 2,714 Authors

48 Larsen, Kim Guldstrand
43 Henzinger, Thomas A.
39 Bouyer, Patricia
33 Markey, Nicolas
30 Chatterjee, Krishnendu
28 Bozzelli, Laura
27 Kupferman, Orna
24 Ibarra, Oscar H.
24 Lime, Didier
24 Murano, Aniello
22 Alur, Rajeev
21 Wooldridge, Michael J.
20 André, Étienne
20 Legay, Axel
20 Raskin, Jean-François
19 Brihaye, Thomas
19 Dang, Zhe
19 Gastin, Paul
19 Krishna, Shankara Narayanan
19 Kwiatkowska, Marta Z.
18 Bollig, Benedikt
18 Reynier, Pierre-Alain
18 Roux, Olivier H.
17 Pradella, Matteo
16 Asarin, Eugene
15 Fahrenberg, Uli
15 Gutierrez, Julian
15 Mandrioli, Dino
15 Montanari, Angelo
15 Pinchinat, Sophie
15 Zimmermann, Martin
14 Avni, Guy
14 Katoen, Joost-Pieter
14 Salomaa, Kai T.
13 Ågotnes, Thomas
13 Bérard, Béatrice
13 Demri, Stéphane P.
13 Filiot, Emmanuel
13 La Torre, Salvatore
13 Maler, Oded
13 Norman, Gethin
13 Schewe, Sven
13 Sproston, Jeremy
12 Jamroga, Wojciech
12 Lanotte, Ruggero
12 Maggiolo-Schettini, Andrea
12 Mogavero, Fabio
12 Muscholl, Anca
12 Okhotin, Alexander
12 Peron, Adriano
12 Quaas, Karin
12 Vardi, Moshe Ya’akov
12 Worrell, James B.
11 Akshay, S.
11 Bouajjani, Ahmed
11 Doyen, Laurent
11 Droste, Manfred
11 Pappas, George J.
11 Perelli, Giuseppe
11 Reynolds, Mark Alexander
11 Srba, Jiří
11 Zhan, Naijun
10 Baier, Christel
10 Bortolussi, Luca
10 Jéron, Thierry
10 Kutrib, Martin
10 Lange, Martin
10 Mazowiecki, Filip
10 Niehren, Joachim
10 Rabinovich, Alexander
10 Rossi, Matteo A. C.
10 Tripakis, Stavros
10 van der Hoek, Wiebe
10 Viswanathan, Mahesh
9 Abdulla, Parosh Aziz
9 Alechina, Natasha
9 Bertrand, Nathalie
9 Broersen, Jan M.
9 Cassez, Franck
9 Dang, Thao
9 Finkbeiner, Bernd
9 Fisman, Dana
9 Girard, Antoine
9 Malcher, Andreas
9 Ouaknine, Joel O.
9 Pandya, Paritosh K.
9 Piazza, Carla
9 Piterman, Nir
9 Prabhakar, Pavithra
9 Sankur, Ocan
8 Abate, Alessandro
8 Bersani, Marcello Maria
8 Dima, Cătălin
8 Fränzle, Martin
8 Gauwin, Olivier
8 Geeraerts, Gilles
8 Goranko, Valentin F.
8 Habermehl, Peter
8 Jonsson, Bengt
8 Krebs, Andreas
...and 2,614 more Authors
all top 5

Cited in 127 Serials

245 Theoretical Computer Science
144 Information and Computation
91 Formal Methods in System Design
49 Formal Aspects of Computing
46 Logical Methods in Computer Science
45 Artificial Intelligence
39 Acta Informatica
36 Journal of Computer and System Sciences
34 Discrete Event Dynamic Systems
32 Information Processing Letters
29 Automatica
28 International Journal of Foundations of Computer Science
28 The Journal of Logic and Algebraic Programming
27 Nonlinear Analysis. Hybrid Systems
27 Journal of Logical and Algebraic Methods in Programming
19 Real-Time Systems
17 ACM Transactions on Computational Logic
15 Theory of Computing Systems
12 Synthese
12 Journal of Applied Logic
11 International Journal of Control
11 Distributed Computing
10 Journal of Automated Reasoning
10 MSCS. Mathematical Structures in Computer Science
10 Journal of Logic, Language and Information
9 Studia Logica
9 Annals of Pure and Applied Logic
9 Journal of Applied Non-Classical Logics
9 European Journal of Control
9 Fundamenta Informaticae
8 Science of Computer Programming
7 Journal of Computer Science and Technology
6 Journal of Philosophical Logic
6 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
6 Programming and Computer Software
6 Systems & Control Letters
6 Annals of Mathematics and Artificial Intelligence
6 The Review of Symbolic Logic
5 Information Sciences
5 International Journal of Approximate Reasoning
5 Machine Learning
5 Cybernetics and Systems Analysis
5 Journal of the ACM
5 RAIRO. Theoretical Informatics and Applications
5 RAIRO. Theoretical Informatics and Applications
5 Frontiers of Computer Science
4 Applied Mathematics and Computation
4 International Journal of Robust and Nonlinear Control
4 Journal of Applied Mathematics
4 Sādhanā
4 International Journal of Systems Science. Principles and Applications of Systems and Integration
4 Modelirovanie i Analiz Informatsionnykh Sistem
3 International Journal of General Systems
3 SIAM Journal on Control and Optimization
3 Journal of Symbolic Computation
3 Algorithmica
3 Theory and Practice of Logic Programming
3 Natural Computing
3 Computer Science Review
2 Computers & Mathematics with Applications
2 International Journal of Systems Science
2 Journal of the Franklin Institute
2 The Journal of Symbolic Logic
2 Mathematics and Computers in Simulation
2 Journal of Complexity
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 Journal of Systems Science and Complexity
2 Computer Languages, Systems & Structures
2 Journal of the Korean Statistical Society
2 Mathematics in Computer Science
2 Games
2 Frontiers of Computer Science in China
1 ACM Computing Surveys
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 MCSS. Mathematics of Control, Signals, and Systems
1 AI Communications
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Algebra and Computation
1 Pattern Recognition
1 Mathematical Logic Quarterly (MLQ)
1 The Journal of Artificial Intelligence Research (JAIR)
...and 27 more Serials
all top 5

Cited in 34 Fields

1,851 Computer science (68-XX)
530 Mathematical logic and foundations (03-XX)
260 Systems theory; control (93-XX)
198 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
64 Operations research, mathematical programming (90-XX)
48 Biology and other natural sciences (92-XX)
24 Information and communication theory, circuits (94-XX)
21 Ordinary differential equations (34-XX)
20 Combinatorics (05-XX)
20 Probability theory and stochastic processes (60-XX)
15 Dynamical systems and ergodic theory (37-XX)
14 Numerical analysis (65-XX)
9 Linear and multilinear algebra; matrix theory (15-XX)
7 Number theory (11-XX)
7 Calculus of variations and optimal control; optimization (49-XX)
5 Category theory; homological algebra (18-XX)
5 Group theory and generalizations (20-XX)
4 General and overarching topics; collections (00-XX)
4 Order, lattices, ordered algebraic structures (06-XX)
4 General topology (54-XX)
4 Statistics (62-XX)
3 Mechanics of particles and systems (70-XX)
2 Associative rings and algebras (16-XX)
2 Measure and integration (28-XX)
2 Operator theory (47-XX)
2 Relativity and gravitational theory (83-XX)
1 Topological groups, Lie groups (22-XX)
1 Functions of a complex variable (30-XX)
1 Approximations and expansions (41-XX)
1 Convex and discrete geometry (52-XX)
1 Differential geometry (53-XX)
1 Manifolds and cell complexes (57-XX)
1 Quantum theory (81-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year