×

zbMATH — the first resource for mathematics

Alur, Rajeev

Compute Distance To:
Author ID: alur.rajeev Recent zbMATH articles by "Alur, Rajeev"
Published as: Alur, R.; Alur, Rajeev
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, Vijay R.
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 Chen, Yu
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 Fierro, Ricardo D.
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 Ho, Phuong
1 Immerman, Neil
1 Itai, Alon
1 Johansson, Karl Henrik
1 Jothimurugan, Kishor
1 Kanade, Aditya
1 Khanna, Sanjeev
1 Kumar, Vijay P.
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 Mishra, Prakash Chandra
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
...and 5 more Co-Authors

Publications by Year

Citations contained in zbMATH

111 Publications have been cited 2,476 times in 1,482 Documents Cited by Year
A theory of timed automata. Zbl 0803.68071
Alur, Rajeev; Dill, David L.
532
1994
Alternating-time temporal logic. Zbl 1326.68181
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna
217
2002
The algorithmic analysis of hybrid systems. Zbl 0874.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
143
1995
Model-checking in dense real-time. Zbl 0783.68076
Alur, Rajeev; Courcoubetis, Costas; Dill, David
102
1993
A really temporal logic. Zbl 0807.68065
Alur, Rajeev; Henzinger, Thomas A.
95
1994
Visibly pushdown languages. Zbl 1192.68396
Alur, Rajeev; Madhusudan, P.
93
2004
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.
86
1994
Automata for modeling real-time systems. Zbl 0765.68150
Alur, Rajeev; Dill, David
83
1990
The benefits of relaxing punctuality. Zbl 0882.68021
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A.
82
1996
Model-checking for probabilistic real-time systems. Zbl 0769.68088
Alur, Rajeev; Courcoubetis, Costas; Dill, David
68
1991
Real-time logics: Complexity and expressiveness. Zbl 0791.68103
Alur, Rajeev; Henzinger, Thomas A.
61
1993
Adding nesting structure to words. Zbl 1325.68138
Alur, Rajeev; Madhusudan, P.
59
2009
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.
47
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
Adding nesting structure to words. Zbl 1227.68045
Alur, Rajeev; Madhusudan, P.
23
2006
First-order and temporal logics for nested words. Zbl 1159.03018
Alur, Rajeev; Arenas, Marcelo; Barcelo, Pablo; Etessami, Kousha; Immerman, Neil; Libkin, Leonid
21
2008
Timed automata. Zbl 1046.68574
Alur, Rajeev
21
1999
Synthesis of interface specifications for Java classes. Zbl 1369.68126
Alur, Rajeev; Černý, Pavol; Madhusudan, P.; Nam, Wonhong
20
2005
Deterministic generators and games for LTL fragments. Zbl 1366.03181
Alur, Rajeev; La Torre, Salvatore
19
2004
Parametric temporal logic for “model measuring”. Zbl 1171.68544
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
19
2001
Decision problems for timed automata: A survey. Zbl 1105.68057
Alur, Rajeev; Madhusudan, P.
18
2004
Hybrid modeling and simulation of biomolecular networks. Zbl 0993.92010
Alur, Rajeev; Belta, Calin; Ivančić, Franjo; Kumar, Vijay; Mintz, Max
17
2002
Preserving secrecy under refinement. Zbl 1133.94307
Alur, Rajeev; Černý, Pavol; Zdancewic, Steve
16
2006
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
Regular functions and cost register automata (invited paper). Zbl 1366.68046
Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei
15
2013
Model-checking of correctness conditions for concurrent objects. Zbl 1003.68067
Alur, Rajeev; McMillan, Ken; Peled, Doron
15
2000
Distinguishing tests for nondeterministic and probabilistic machines. Zbl 0978.68522
Alur, Rajeev; Courcoubetis, Costas; Yannakakis, Mihalis
15
1995
Streaming transducers for algorithmic verification of single-pass list-processing programs. Zbl 1284.68159
Alur, Rajeev; Černý, Pavol
14
2011
Marrying words and trees. Zbl 1167.68379
Alur, Rajeev
14
2007
Counterexample-guided predicate abstraction of hybrid systems. Zbl 1088.68096
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
14
2006
Optimal paths in weighted timed automata. Zbl 1068.68080
Alur, Rajeev; La Torre, Salvatore; Pappas, George J.
14
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.
12
2001
Back to the future: Towards a theory of timed regular languages. Zbl 0977.68548
Alur, Rajeev; Henzinger, Thomas A.
12
1992
Timing verification by successive approximation. Zbl 0939.68705
Alur, R.; Itai, A.; Kurshan, R. P.; Yannakakis, M.
11
1995
Expressiveness of streaming string transducers. Zbl 1245.68115
Alur, Rajeev; Černý, Pavol
10
2010
Optimal reachability for weighted timed games. Zbl 1098.68061
Alur, Rajeev; Bernadsky, Mikhail; Madhusudan, P.
10
2004
Modular specification of hybrid systems in Charon. Zbl 0992.93040
Alur, Rajeev; Grosu, Radu; Hur, Yerang; Kumar, Vijay; Lee, Insup
9
2000
Ranking automata and games for prioritized requirements. Zbl 1155.68414
Alur, Rajeev; Kanade, Aditya; Weiss, Gera
8
2008
Model checking on trees with path equivalences. Zbl 1186.68273
Alur, Rajeev; Černý, Pavol; Chaudhuri, Swarat
8
2007
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
Realizability and verification of MSC graphs. Zbl 1088.68097
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
8
2005
Playing games with boxes and diamonds. Zbl 1274.68173
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
8
2003
Analysis of recursive state machines. Zbl 0991.68535
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
8
2001
Decision problems for additive regular functions. Zbl 1335.68113
Alur, Rajeev; Raghothaman, Mukund
7
2013
Streaming tree transducers. Zbl 1367.68157
Alur, Rajeev; D’Antoni, Loris
7
2012
On omega-languages defined by mean-payoff conditions. Zbl 1234.68248
Alur, Rajeev; Degorre, Aldric; Maler, Oded; Weiss, Gera
7
2009
Learning-based symbolic assume-guarantee reasoning with automatic decomposition. Zbl 1161.68578
Nam, Wonhong; Alur, Rajeev
7
2006
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
Realizability and verification of MSC graphs. Zbl 0986.68518
Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis
7
2001
The benefits of relaxing punctuality. Zbl 1314.68195
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A.
7
1991
Regular combinators for string transformations. Zbl 1401.68141
Alur, Rajeev; Freilich, Adam; Raghothaman, Mukund
6
2014
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
Automatic symbolic compositional verification by learning assumptions. Zbl 1147.68052
Nam, Wonhong; Madhusudan, P.; Alur, Rajeev
6
2008
Perturbed timed automata. Zbl 1078.68070
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
6
2005
Progress on reachability analysis of hybrid systems using predicate abstraction. Zbl 1032.93033
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
6
2003
Modular refinement of hierarchic reactive machines. Zbl 1323.68196
Alur, Rajeev; Grosu, Radu
6
2000
Real-time system = discrete system + clock variables. Zbl 1060.68605
Alur, Rajeev; Henzinger, Thomas A.
6
1997
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
Counter-example guided predicate abstraction of hybrid systems. Zbl 1031.68074
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
5
2003
Visual programming for modeling and simulation of biomolecular regulatory networks. Zbl 1032.68810
Alur, Rajeev; Belta, Calin; Ivancic, Franjo; Kumar, Vijay; Rubin, Harvey; Schug, Jonathan; Sokolsky, Oleg; Webb, Jonathan
5
2002
Compositional refinement for hierarchical hybrid systems. Zbl 0991.93057
Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg
5
2002
Parametric temporal logic for “model measuring”. Zbl 0939.03021
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
5
1999
Time-adaptive algorithms for synchronization. Zbl 0874.68130
Alur, Rajeev; Attiya, Hagit; Taubenfeld, Gadi
5
1997
Model checking procedural programs. Zbl 1392.68226
Alur, Rajeev; Bouajjani, Ahmed; Esparza, Javier
4
2018
DReX: a declarative language for efficiently evaluating regular string transformations. Zbl 1345.68032
Alur, Rajeev; D’Antoni, Loris; Raghothaman, Mukund
4
2015
Regular transformations of infinite strings. Zbl 1360.68538
Alur, Rajeev; Filiot, Emmanuel; Trivedi, Ashutosh
4
2012
Algorithmic analysis of array-accessing programs. Zbl 1351.68149
Alur, Rajeev; Černý, Pavol; Weinstein, Scott
4
2012
Nondeterministic streaming string transducers. Zbl 1333.68157
Alur, Rajeev; Deshmukh, Jyotirmoy V.
4
2011
Temporal reasoning for procedural programs. Zbl 1273.68078
Alur, Rajeev; Chaudhuri, Swarat
4
2010
Symbolic analysis for GSMP models with one stateful clock. Zbl 1221.93016
Bernadsky, Mikhail; Alur, Rajeev
4
2007
On-the-fly reachability and cycle detection for recursive state machines. Zbl 1087.68581
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Madhusudan, P.
4
2005
Reachability analysis of hybrid systems via predicate abstraction. Zbl 1044.93517
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
4
2002
Exploiting behavioral hierarchy for efficient model checking. Zbl 1010.68503
Alur, Rajeev; McDougall, Michael; Yang, Zijiang
4
2002
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.
4
2001
Contention-free complexity of shared memory algorithms. Zbl 0853.68109
Alur, Rajeev; Taubenfeld, Gadi
4
1996
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
From monadic second-order definable string transformations to transducers. Zbl 1366.68133
Alur, Rajeev; Durand-Gasselin, Antoine; Trivedi, Ashutosh
3
2013
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
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
Marrying words and trees. Zbl 1167.68380
Alur, Rajeev
2
2008
Model checking: from tools to theory. Zbl 1142.68429
Alur, Rajeev
2
2008
Automata based interfaces for control and scheduling. Zbl 1221.68150
Weiss, Gera; Alur, Rajeev
2
2007
Verifying network protocol implementations by symbolic refinement checking. Zbl 0991.68546
Alur, Rajeev; Wang, Bow-Yaw
2
2001
Automating modular verification. Zbl 0940.68088
Alur, Rajeev; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
2
1999
Computer aided verification. 8th international conference, CAV ’96, New Brunswick, NJ, USA, July 31 – August 3, 1996. Proceedings. Zbl 1102.68301
Alur, Rajeev (ed.); Henzinger, Thomas A. (ed.)
2
1996
Streaming tree transducers. Zbl 1426.68136
Alur, Rajeev; D’Antoni, Loris
1
2017
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
On the complexity of shortest path problems on discounted cost graphs. Zbl 1377.68092
Alur, Rajeev; Kannan, Sampath; Tian, Kevin; Yuan, Yifei
1
2013
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
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
6
2014
Regular functions and cost register automata (invited paper). Zbl 1366.68046
Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei
15
2013
Decision problems for additive regular functions. Zbl 1335.68113
Alur, Rajeev; Raghothaman, Mukund
7
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
7
2012
Regular transformations of infinite strings. Zbl 1360.68538
Alur, Rajeev; Filiot, Emmanuel; Trivedi, Ashutosh
4
2012
Algorithmic analysis of array-accessing programs. Zbl 1351.68149
Alur, Rajeev; Černý, Pavol; Weinstein, Scott
4
2012
Streaming transducers for algorithmic verification of single-pass list-processing programs. Zbl 1284.68159
Alur, Rajeev; Černý, Pavol
14
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.
4
2011
Expressiveness of streaming string transducers. Zbl 1245.68115
Alur, Rajeev; Černý, Pavol
10
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
Algorithmic analysis of array-accessing programs. Zbl 1257.68102
Alur, Rajeev; Černý, Pavol; Weinstein, Scott
1
2009
Specification and analysis of network resource requirements of control systems. Zbl 1237.93116
Weiss, Gera; Fischmeister, Sebastian; Anand, Madhukar; Alur, Rajeev
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
21
2008
Ranking automata and games for prioritized requirements. Zbl 1155.68414
Alur, Rajeev; Kanade, Aditya; Weiss, Gera
8
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
Adding nesting structure to words. Zbl 1227.68045
Alur, Rajeev; Madhusudan, P.
23
2006
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
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
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
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
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.
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
Deciding global partial-order properties. Zbl 1075.68050
Alur, Rajeev; McMillan, Ken; Peled, Doron
1
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
Deterministic generators and games for LTL fragments. Zbl 1366.03181
Alur, Rajeev; La Torre, Salvatore
19
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.
14
2004
Optimal reachability for weighted timed games. Zbl 1098.68061
Alur, Rajeev; Bernadsky, Mikhail; Madhusudan, P.
10
2004
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
Structured modeling of concurrent stochastic hybrid systems. Zbl 1109.68510
Bernadsky, Mikhail; Sharykin, Raman; Alur, Rajeev
1
2004
Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13–17, 2004. Proceedings. Zbl 1056.68003
Alur, Rajeev (ed.); Peled, Doron A. (ed.)
1
2004
Playing games with boxes and diamonds. Zbl 1274.68173
Alur, Rajeev; La Torre, Salvatore; Madhusudan, P.
8
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
Compression of partially ordered strings. Zbl 1274.68118
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Guha, Sudipto; Yannakakis, Mihalis
1
2003
Formal analysis of hierarchical state machines. Zbl 1274.68172
Alur, Rajeev
1
2003
Alternating-time temporal logic. Zbl 1326.68181
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna
217
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
17
2002
Visual programming for modeling and simulation of biomolecular regulatory networks. Zbl 1032.68810
Alur, Rajeev; Belta, Calin; Ivancic, Franjo; Kumar, Vijay; Rubin, Harvey; Schug, Jonathan; Sokolsky, Oleg; Webb, Jonathan
5
2002
Compositional refinement for hierarchical hybrid systems. Zbl 0991.93057
Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg
5
2002
Reachability analysis of hybrid systems via predicate abstraction. Zbl 1044.93517
Alur, Rajeev; Dang, Thao; Ivančić, Franjo
4
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
19
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.
12
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
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.
4
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
1
2001
Model-checking of correctness conditions for concurrent objects. Zbl 1003.68067
Alur, Rajeev; McMillan, Ken; Peled, Doron
15
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
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
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
5
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.
47
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.
82
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 (ed.); Henzinger, Thomas A. (ed.)
2
1996
The algorithmic analysis of hybrid systems. Zbl 0874.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
143
1995
Distinguishing tests for nondeterministic and probabilistic machines. Zbl 0978.68522
Alur, Rajeev; Courcoubetis, Costas; Yannakakis, Mihalis
15
1995
Timing verification by successive approximation. Zbl 0939.68705
Alur, R.; Itai, A.; Kurshan, R. P.; Yannakakis, M.
11
1995
...and 11 more Documents
all top 5

Cited by 2,086 Authors

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

Cited in 112 Serials

238 Theoretical Computer Science
111 Information and Computation
79 Formal Methods in System Design
47 Formal Aspects of Computing
37 Journal of Computer and System Sciences
32 Acta Informatica
31 Information Processing Letters
30 Artificial Intelligence
27 The Journal of Logic and Algebraic Programming
24 Discrete Event Dynamic Systems
22 International Journal of Foundations of Computer Science
21 Logical Methods in Computer Science
21 Nonlinear Analysis. Hybrid Systems
20 Journal of Logical and Algebraic Methods in Programming
19 Automatica
19 Real-Time Systems
14 Theory of Computing Systems
12 ACM Transactions on Computational Logic
12 Journal of Applied Logic
11 Synthese
10 MSCS. Mathematical Structures in Computer Science
10 Distributed Computing
9 International Journal of Control
9 Annals of Pure and Applied Logic
8 Science of Computer Programming
8 Journal of Automated Reasoning
8 Journal of Applied Non-Classical Logics
7 Studia Logica
7 Journal of Computer Science and Technology
7 European Journal of Control
6 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
6 Programming and Computer Software
6 Cybernetics and Systems Analysis
6 Journal of Logic, Language and Information
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 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 Information Sciences
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 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 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 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 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Algebra and Computation
1 Pattern Recognition
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
1 Mathematical and Computer Modelling of Dynamical Systems
1 International Journal of Applied Mathematics and Computer Science
1 RAIRO. Operations Research
1 Journal of Systems Science and Complexity
1 Theory and Practice of Logic Programming
...and 12 more Serials

Citations by Year