Edit Profile (opens in new tab) Alur, Rajeev Co-Author Distance Author ID: alur.rajeev Published as: Alur, Rajeev; Alur, R. External Links: MGP Documents Indexed: 140 Publications since 1990 5 Contributions as Editor Co-Authors: 110 Co-Authors with 136 Joint Publications 2,911 Co-Co-Authors 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 all top 5 Serials 8 Theoretical Computer Science 7 Formal Methods in System Design 6 Information and Computation 4 Journal of the ACM 4 Lecture Notes in Computer Science 3 ACM Transactions on Computational Logic 1 Information Processing Letters 1 Automatica 1 IEEE Transactions on Automatic Control 1 Journal of the Association for Computing Machinery 1 Journal of Computer and System Sciences 1 SIAM Journal on Computing 1 Distributed Computing 1 The Journal of Logic and Algebraic Programming 1 Logical Methods in Computer Science all top 5 Fields 138 Computer science (68-XX) 24 Mathematical logic and foundations (03-XX) 22 Systems theory; control (93-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Operations research, mathematical programming (90-XX) 5 General and overarching topics; collections (00-XX) 2 Biology and other natural sciences (92-XX) 1 Ordinary differential equations (34-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 124 Publications have been cited 3,388 times in 2,068 Documents Cited by ▼ Year ▼ A theory of timed automata. Zbl 0803.68071 Alur, Rajeev; Dill, David L. 745 1994 Alternating-time temporal logic. Zbl 1326.68181 Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna 327 2002 The algorithmic analysis of hybrid systems. Zbl 0874.68206 Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 194 1995 Visibly pushdown languages. Zbl 1192.68396 Alur, Rajeev; Madhusudan, P. 151 2004 Model-checking in dense real-time. Zbl 0783.68076 Alur, Rajeev; Courcoubetis, Costas; Dill, David 120 1993 The benefits of relaxing punctuality. Zbl 0882.68021 Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A. 115 1996 A really temporal logic. Zbl 0807.68065 Alur, Rajeev; Henzinger, Thomas A. 108 1994 Automata for modeling real-time systems. Zbl 0765.68150 Alur, Rajeev; Dill, David 97 1990 Adding nesting structure to words. Zbl 1325.68138 Alur, Rajeev; Madhusudan, P. 95 2009 Real-time logics: Complexity and expressiveness. Zbl 0791.68103 Alur, Rajeev; Henzinger, Thomas A. 77 1993 Parametric real-time reasoning. Zbl 1310.68139 Alur, Rajeev; Henzinger, Thomas A.; Vardi, Moshe Y. 73 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 Event-clock automata: a determinizable class of timed automata. Zbl 0912.68132 Alur, Rajeev; Fix, Limor; Henzinger, Thomas A. 50 1999 Optimal paths in weighted timed automata. Zbl 0991.93076 Alur, Rajeev; La Torre, Salvatore; Pappas, George J. 50 2002 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 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 Streaming transducers for algorithmic verification of single-pass list-processing programs. Zbl 1284.68159 Alur, Rajeev; Černý, Pavol 28 2011 Regular functions and cost register automata (invited paper). Zbl 1366.68046 Alur, Rajeev; D’Antoni, Loris; Deshmukh, Jyotirmoy; Raghothaman, Mukund; Yuan, Yifei 28 2013 Optimal paths in weighted timed automata. Zbl 1068.68080 Alur, Rajeev; La Torre, Salvatore; Pappas, George J. 27 2004 Timed automata. Zbl 1046.68574 Alur, Rajeev 27 1999 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 Adding nesting structure to words. Zbl 1227.68045 Alur, Rajeev; Madhusudan, P. 19 2006 Hybrid modeling and simulation of biomolecular networks. Zbl 0993.92010 Alur, Rajeev; Belta, Calin; Ivančić, Franjo; Kumar, Vijay; Mintz, Max 18 2002 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 Optimal reachability for weighted timed games. Zbl 1098.68061 Alur, Rajeev; Bernadsky, Mikhail; Madhusudan, P. 17 2004 Model-checking of correctness conditions for concurrent objects. Zbl 1003.68067 Alur, Rajeev; McMillan, Ken; Peled, Doron 16 2000 Marrying words and trees. Zbl 1167.68379 Alur, Rajeev 16 2007 Counterexample-guided predicate abstraction of hybrid systems. Zbl 1088.68096 Alur, Rajeev; Dang, Thao; Ivančić, Franjo 16 2006 Regular transformations of infinite strings. Zbl 1360.68538 Alur, Rajeev; Filiot, Emmanuel; Trivedi, Ashutosh 16 2012 Realizability and verification of MSC graphs. Zbl 1088.68097 Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis 15 2005 Back to the future: Towards a theory of timed regular languages. Zbl 0977.68548 Alur, Rajeev; Henzinger, Thomas A. 14 1992 Partial-order reduction in symbolic state-space exploration. Zbl 1001.68080 Alur, R.; Brayton, R. K.; Henzinger, T. A.; Qadeer, S.; Rajamani, S. K. 14 2001 Regular combinators for string transformations. Zbl 1401.68141 Alur, Rajeev; Freilich, Adam; Raghothaman, Mukund 13 2014 Modular specification of hybrid systems in Charon. Zbl 0992.93040 Alur, Rajeev; Grosu, Radu; Hur, Yerang; Kumar, Vijay; Lee, Insup 12 2000 Model checking on trees with path equivalences. Zbl 1186.68273 Alur, Rajeev; Černý, Pavol; Chaudhuri, Swarat 12 2007 Decision problems for additive regular functions. Zbl 1335.68113 Alur, Rajeev; Raghothaman, Mukund 12 2013 A fixpoint calculus for local and global program flows. Zbl 1370.68051 Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P. 12 2006 Timing verification by successive approximation. Zbl 0939.68705 Alur, R.; Itai, A.; Kurshan, R. P.; Yannakakis, M. 11 1995 Model checking procedural programs. Zbl 1392.68226 Alur, Rajeev; Bouajjani, Ahmed; Esparza, Javier 11 2018 The benefits of relaxing punctuality. Zbl 1314.68195 Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A. 11 1991 Nondeterministic streaming string transducers. Zbl 1333.68157 Alur, Rajeev; Deshmukh, Jyotirmoy V. 11 2011 Playing games with boxes and diamonds. Zbl 1274.68173 Alur, Rajeev; La Torre, Salvatore; Madhusudan, P. 11 2003 Ranking automata and games for prioritized requirements. Zbl 1155.68414 Alur, Rajeev; Kanade, Aditya; Weiss, Gera 10 2008 Learning-based symbolic assume-guarantee reasoning with automatic decomposition. Zbl 1161.68578 Nam, Wonhong; Alur, Rajeev 10 2006 Languages of nested trees. Zbl 1188.68167 Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P. 10 2006 Perturbed timed automata. Zbl 1078.68070 Alur, Rajeev; La Torre, Salvatore; Madhusudan, P. 10 2005 Scaling enumerative program synthesis via divide and conquer. Zbl 1452.68043 Alur, Rajeev; Radhakrishna, Arjun; Udupa, Abhishek 10 2017 Modularity for timed and hybrid systems. Zbl 1512.68146 Alur, Rajeev; Henzinger, Thomas A. 10 1997 Analysis of recursive state machines. Zbl 0991.68535 Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis 9 2001 Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Zbl 1046.93002 9 2004 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 Realizability and verification of MSC graphs. Zbl 0986.68518 Alur, Rajeev; Etessami, Kousha; Yannakakis, Mihalis 8 2001 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 Streaming tree transducers. Zbl 1426.68136 Alur, Rajeev; D’Antoni, Loris 7 2017 Counter-example guided predicate abstraction of hybrid systems. Zbl 1031.68074 Alur, Rajeev; Dang, Thao; Ivančić, Franjo 7 2003 Progress on reachability analysis of hybrid systems using predicate abstraction. Zbl 1032.93033 Alur, Rajeev; Dang, Thao; Ivančić, Franjo 7 2003 Modular strategies for recursive game graphs. Zbl 1088.68099 Alur, Rajeev; La Torre, Salvatore; Madhusudan, P. 7 2006 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 Reachability analysis of hybrid systems via predicate abstraction. Zbl 1044.93517 Alur, Rajeev; Dang, Thao; Ivančić, Franjo 7 2002 Automatic symbolic compositional verification by learning assumptions. Zbl 1147.68052 Nam, Wonhong; Madhusudan, P.; Alur, Rajeev 6 2008 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 6 1997 Compositional refinement for hierarchical hybrid systems. Zbl 0991.93057 Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg 6 2002 Automata based interfaces for control and scheduling. Zbl 1221.68150 Weiss, Gera; Alur, Rajeev 6 2007 Computer aided verification. 8th international conference, CAV ’96, New Brunswick, NJ, USA, July 31 – August 3, 1996. Proceedings. Zbl 1102.68301 6 1996 DReX: a declarative language for efficiently evaluating regular string transformations. Zbl 1345.68032 Alur, Rajeev; D’Antoni, Loris; Raghothaman, Mukund 6 2015 Symbolic computational techniques for solving games. Zbl 1271.68144 Madhusudan, P.; Nam, Wonhong; Alur, Rajeev 6 2003 Colored nested words. Zbl 1443.68079 Alur, Rajeev; Fisman, Dana 6 2016 Modular refinement of hierarchic reactive machines. Zbl 1323.68196 Alur, Rajeev; Grosu, Radu 6 2000 Pattern-based refinement of assume-guarantee specifications in reactive synthesis. Zbl 1420.68116 Alur, Rajeev; Moarref, Salar; Topcu, Ufuk 6 2015 Contention-free complexity of shared memory algorithms. Zbl 0853.68109 Alur, Rajeev; Taubenfeld, Gadi 5 1996 Compositional modeling and refinement for hierarchical hybrid systems. Zbl 1088.68098 Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg 5 2006 Modular strategies for infinite games on recursive graphs. Zbl 1278.03054 Alur, Rajeev; La Torre, Salvatore; Madhusudan, P. 5 2003 Temporal reasoning for procedural programs. Zbl 1273.68078 Alur, Rajeev; Chaudhuri, Swarat 5 2010 Parametric temporal logic for “model measuring”. Zbl 0939.03021 Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron 4 1999 Symbolic analysis for GSMP models with one stateful clock. Zbl 1221.93016 Bernadsky, Mikhail; Alur, Rajeev 4 2007 Exploiting behavioral hierarchy for efficient model checking. Zbl 1010.68503 Alur, Rajeev; McDougall, Michael; Yang, Zijiang 4 2002 Verifying abstractions of timed systems. Zbl 1514.68148 Taşiran, Serdar; Alur, Rajeev; Kurshan, Robert P.; Brayton, Robert K. 4 1996 Automata-based stream processing. Zbl 1442.68077 Alur, Rajeev; Mamouras, Konstantinos; Stanford, Caleb 4 2017 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 Regular programming for quantitative properties of data streams. Zbl 1335.68041 Alur, Rajeev; Fisman, Dana; Raghothaman, Mukund 4 2016 Algorithmic analysis of array-accessing programs. Zbl 1351.68149 Alur, Rajeev; Černý, Pavol; Weinstein, Scott 4 2012 Compositional synthesis of reactive controllers for multi-agent systems. Zbl 1411.68156 Alur, Rajeev; Moarref, Salar; Topcu, Ufuk 3 2016 Efficient reachability analysis of hierarchical reactive machines. Zbl 0974.68551 Alur, R.; Grosu, R.; McDougall, M. 3 2000 Bounded model checking for GSMP models of stochastic real-time systems. Zbl 1178.68332 Alur, Rajeev; Bernadsky, Mikhail 3 2006 Modular strategies for recursive game graphs. Zbl 1031.68048 Alur, Rajeev; La Torre, Salvatore; Madhusudan, Parthasarathy 3 2003 Derivatives of quantitative regular expressions. Zbl 1431.68056 Alur, Rajeev; Mamouras, Konstantinos; Ulus, Dogan 3 2017 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 DReX: a declarative language for efficiently evaluating regular string transformations. Zbl 1345.68032 Alur, Rajeev; D’Antoni, Loris; Raghothaman, Mukund 6 2015 Pattern-based refinement of assume-guarantee specifications in reactive synthesis. Zbl 1420.68116 Alur, Rajeev; Moarref, Salar; Topcu, Ufuk 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 4 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. 95 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 Model checking: from tools to theory. Zbl 1142.68429 Alur, Rajeev 2 2008 Marrying words and trees. Zbl 1167.68380 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 Learning-based symbolic assume-guarantee reasoning with automatic decomposition. Zbl 1161.68578 Nam, Wonhong; Alur, Rajeev 10 2006 Languages of nested trees. Zbl 1188.68167 Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P. 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. 151 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 Structured modeling of concurrent stochastic hybrid systems. Zbl 1109.68510 Bernadsky, Mikhail; Sharykin, Raman; Alur, Rajeev 2 2004 Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13–17, 2004. Proceedings. Zbl 1056.68003 1 2004 Playing games with boxes and diamonds. Zbl 1274.68173 Alur, Rajeev; La Torre, Salvatore; Madhusudan, P. 11 2003 Counter-example guided predicate abstraction of hybrid systems. Zbl 1031.68074 Alur, Rajeev; Dang, Thao; Ivančić, Franjo 7 2003 Progress on reachability analysis of hybrid systems using predicate abstraction. Zbl 1032.93033 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 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 2 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 327 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 18 2002 Reachability analysis of hybrid systems via predicate abstraction. Zbl 1044.93517 Alur, Rajeev; Dang, Thao; Ivančić, Franjo 7 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. 14 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 1 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 16 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 27 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 ...and 24 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,680 Authors 47 Larsen, Kim Guldstrand 43 Henzinger, Thomas A. 39 Bouyer, Patricia 33 Markey, Nicolas 30 Chatterjee, Krishnendu 27 Kupferman, Orna 26 Bozzelli, Laura 24 Murano, Aniello 23 Ibarra, Oscar H. 23 Lime, Didier 22 Alur, Rajeev 20 Legay, Axel 20 Raskin, Jean-François 20 Wooldridge, Michael J. 19 André, Étienne 19 Brihaye, Thomas 19 Gastin, Paul 19 Krishna, Shankara Narayanan 19 Kwiatkowska, Marta Z. 18 Bollig, Benedikt 18 Dang, Zhe 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 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 Ågotnes, Thomas 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 Doyen, Laurent 11 Droste, Manfred 11 Pappas, George J. 11 Perelli, Giuseppe 11 Reynolds, Mark Alexander 11 Zhan, Naijun 10 Baier, Christel 10 Bortolussi, Luca 10 Bouajjani, Ahmed 10 Jéron, Thierry 10 Lange, Martin 10 Mazowiecki, Filip 10 Niehren, Joachim 10 Rabinovich, Alexander 10 Rossi, Matteo A. C. 10 Srba, Jiří 10 Tripakis, Stavros 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 Kutrib, Martin 9 Ouaknine, Joel O. 9 Pandya, Paritosh K. 9 Piterman, Nir 9 Prabhakar, Pavithra 9 Sankur, Ocan 9 van der Hoek, Wiebe 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 8 Laroussinie, François 8 Malcher, Andreas ...and 2,580 more Authors all top 5 Cited in 125 Serials 237 Theoretical Computer Science 139 Information and Computation 91 Formal Methods in System Design 49 Formal Aspects of Computing 46 Logical Methods in Computer Science 43 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 27 The Journal of Logic and Algebraic Programming 27 Journal of Logical and Algebraic Methods in Programming 25 Nonlinear Analysis. Hybrid Systems 19 Real-Time Systems 17 ACM Transactions on Computational Logic 15 Theory of Computing Systems 12 Synthese 11 International Journal of Control 11 Distributed Computing 11 Journal of Applied Logic 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 Fundamenta Informaticae 8 Science of Computer Programming 8 European Journal of Control 7 Journal of Computer Science and Technology 6 Journal of Philosophical Logic 6 Programming and Computer Software 6 Systems & Control Letters 6 Annals of Mathematics and Artificial Intelligence 6 The Review of Symbolic Logic 5 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 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 Information Sciences 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 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) 1 Computer Science Journal of Moldova ...and 25 more Serials all top 5 Cited in 34 Fields 1,824 Computer science (68-XX) 525 Mathematical logic and foundations (03-XX) 255 Systems theory; control (93-XX) 196 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 61 Operations research, mathematical programming (90-XX) 46 Biology and other natural sciences (92-XX) 24 Information and communication theory, circuits (94-XX) 21 Ordinary differential equations (34-XX) 20 Probability theory and stochastic processes (60-XX) 19 Combinatorics (05-XX) 15 Dynamical systems and ergodic theory (37-XX) 14 Numerical analysis (65-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 7 Number theory (11-XX) 5 Category theory; homological algebra (18-XX) 5 Group theory and generalizations (20-XX) 5 Calculus of variations and optimal control; optimization (49-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