☰

Rajeev Alur, Ph.D. - Publications

Affiliations: 
1989-1989 Applied Mathematics Weizmann Institute of Science, Rehovot, Israel 
 1990-1990 IBM Almaden Research Center, San Jose, CA, United States 
 1991-2001 Bell Laboratories, Murray Hill, NJ, United States 
 1995-1995 Computer Science Columbia University, New York, NY 
 1996-1997 Electrical Engineering and Computer Science University of California, Berkeley, Berkeley, CA, United States 
 1997- Computer and Information Science University of Pennsylvania, Philadelphia, PA, United States 
 2018-2018 Simons Institute for Theoretical Computer Science University of California, Berkeley, Berkeley, CA, United States 
Area:
Hardware and Software Systems: Real-Time, Embedded and Cyber-Physical Systems, Theory: Algorithms and Complexity
Website:
https://www.cis.upenn.edu/~alur/
Tree Info Similar researchers PubMed Report error

84 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Alur R, Fisman D, Mamouras K, Raghothaman M, Stanford C. Streamable regular transductions Theoretical Computer Science. 807: 15-41. DOI: 10.1016/J.Tcs.2019.11.018  0.723
2019 Mamouras K, Stanford C, Alur R, Ives ZG, Tannen V. Data-Trace Types for Distributed Stream Processing Systems. Proceedings of the Acm Sigplan ... Conference On Programming Language Design and Implementation. Acm Sigplan Conference On Programming Language Design and Implementation. 2019: 670-685. PMID 31645838 DOI: 10.1145/3314221.3314580  0.725
2018 Yuan Y, Lin D, Anil S, Verma H, Chelluri A, Alur R, Loo BT. NetEgg: A Scenario-Based Programming Toolkit for SDN Policies Ieee/Acm Transactions On Networking. 26: 2104-2117. DOI: 10.1109/Tnet.2018.2861919  0.35
2018 Alur R, Moarref S, Topcu U. Compositional and symbolic synthesis of reactive controllers for multi-agent systems Information and Computation. 261: 616-633. DOI: 10.1016/J.Ic.2018.02.021  0.329
2017 Mamouras K, Raghothaman M, Alur R, Ives ZG, Khanna S. StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data. Proceedings of the Acm Sigplan ... Conference On Programming Language Design and Implementation. Acm Sigplan Conference On Programming Language Design and Implementation. 52: 693-708. PMID 29151821 DOI: 10.1145/3140587.3062369  0.331
2017 Alur R, Forejt V, Moarref S, Trivedi A. Schedulability of Bounded-Rate Multimode Systems Acm Transactions On Embedded Computing Systems. 16: 1-27. DOI: 10.1145/2996797  0.363
2016 Alur R, Fisman D, Raghothaman M. Regular programming for quantitative properties of data streams Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9632: 15-40. DOI: 10.1007/978-3-662-49498-1_2  0.324
2014 Alur R, Singhania N. Precise piecewise affine models from input-output data 2014 Proceedings of the International Conference On Embedded Software, Emsoft 2014. DOI: 10.1145/2656045.2656064  0.32
2014 Jiang Z, Pajic M, Alur R, Mangharam R. Closed-loop verification of medical devices with model abstraction and refinement International Journal On Software Tools For Technology Transfer. 16: 191-213. DOI: 10.1007/S10009-013-0289-7  0.394
2014 D'Antoni L, Alur R. Symbolic visibly pushdown automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8559: 209-225. DOI: 10.1007/978-3-319-08867-9_14  0.323
2013 Udupa A, Mador-Haim S, Raghavan A, Martin MMK, Deshmukh JV, Alur R. TRANSIT: Specifying protocols with concolic snippets Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 287-296. DOI: 10.1145/2462156.2462174  0.322
2013 Pajic M, Bezzo N, Weimer J, Alur R, Mangharam R, Michael N, Pappas GJ, Sokolsky O, Tabuada P, Weirich S, Lee I. Towards synthesis of platform-aware attack-resilient control systems: Extended abstract Hicons 2013 - Proceedings of the 2nd Acm International Conference On High Confidence Networked Systems, Part of Cpsweek 2013. 75-76. DOI: 10.1145/2461446.2461457  0.549
2012 Alur R, D'Antoni L. Streaming tree transducers Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7392: 42-53. DOI: 10.1145/3092842  0.436
2012 Nghiem T, Pappas GJ, Alur R, Girard A. Time-triggered implementations of dynamic controllers Transactions On Embedded Computing Systems. 11. DOI: 10.1145/2331147.2331168  0.665
2012 Alur R, Černý P, Weinstein S. Algorithmic analysis of array-accessing programs Acm Transactions On Computational Logic. 13. DOI: 10.1145/2287718.2287727  0.36
2011 Alur R, Chaudhuri S, Madhusudan P. Software model checking using languages of nested trees Acm Transactions On Programming Languages and Systems. 33. DOI: 10.1145/2039346.2039347  0.635
2011 Alur R. Formal verification of hybrid systems Embedded Systems Week 2011, Esweek 2011 - Proceedings of the 9th Acm International Conference On Embedded Software, Emsoft'11. 273-278. DOI: 10.1145/2038642.2038685  0.347
2011 Alur R, Trivedi A. Relating average and discounted costs for quantitative analysis of timed systems Embedded Systems Week 2011, Esweek 2011 - Proceedings of the 9th Acm International Conference On Embedded Software, Emsoft'11. 165-174. DOI: 10.1145/2038642.2038668  0.3
2011 Alur R, D'Innocenzo A, Johansson KH, Pappas GJ, Weiss G. Compositional modeling and analysis of multi-hop control networks Ieee Transactions On Automatic Control. 56: 2345-2357. DOI: 10.1109/Tac.2011.2163873  0.595
2010 Černý P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model checking of linearizability of concurrent list implementations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6174: 465-479. DOI: 10.1007/978-3-642-14295-6_41  0.309
2009 Alur R, Madhusudan P. Adding nesting structure to words Journal of the Acm. 56. DOI: 10.1145/1516512.1516518  0.34
2009 Kanade A, Alur R, Ivančić F, Ramesh S, Sankaranarayanan S, Shashidhar KC. Generating and analyzing symbolic traces of simulink/stateflow models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5643: 430-445. DOI: 10.1007/978-3-642-02658-4_33  0.544
2008 Alur R. Model checking: From tools to theory Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5000: 89-106. DOI: 10.1007/978-3-540-69850-0_6  0.315
2008 Alur R, Kanade A, Ramesh S, Shashidhar KC. Symbolic analysis for improving simulation coverage of Simulink/Stateflow models Proceedings of the 8th Acm International Conference On Embedded Software, Emsoft'08. 89-98.  0.321
2007 Burckhardt S, Alur R, Martin MMK. CheckFence: Checking consistency of concurrent data types on relaxed memory models Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 12-21. DOI: 10.1145/1250734.1250737  0.663
2007 Alur R, Chandrashekharapuram A. Dispatch sequences for embedded control models Journal of Computer and System Sciences. 73: 156-170. DOI: 10.1016/J.Jcss.2006.04.003  0.357
2007 Bernadsky M, Alur R. Symbolic analysis for GSMP models with one stateful clock Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4416: 90-103.  0.742
2006 Alur R, Dang T, Ivančić F. Predicate abstraction for reachability analysis of hybrid systems Acm Transactions On Embedded Computing Systems (Tecs). 5: 152-199. DOI: 10.1145/1132357.1132363  0.794
2006 Alur R, Dang T, Ivančić F. Counterexample-guided predicate abstraction of hybrid systems Theoretical Computer Science. 354: 250-271. DOI: 10.1016/J.Tcs.2005.11.026  0.787
2006 Alur R, La Torre S, Madhusudan P. Modular strategies for recursive game graphs Theoretical Computer Science. 354: 230-249. DOI: 10.1016/J.Tcs.2005.11.017  0.338
2006 Alur R, Grosu R, Lee I, Sokolsky O. Compositional modeling and refinement for hierarchical hybrid systems Journal of Logic and Algebraic Programming. 68: 105-128. DOI: 10.1016/J.Jlap.2005.10.004  0.397
2006 Alur R, Černý P, Zdancewic S. Preserving secrecy under refinement Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4052: 107-118. DOI: 10.1007/11787006_10  0.335
2006 Alur R, Bernadsky M. Bounded model checking for GSMP models of stochastic real-time systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3927: 19-33. DOI: 10.1007/11730637_5  0.758
2006 Burckhardt S, Alur R, Martin MMK. Bounded model checking of concurrent data types on relaxed memory models: A case study Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4144: 489-502.  0.671
2006 Alur R. Games for formal design and verification of reactive systems Proceedings - Fourth Acm and Ieee International Conference On Formal Methods and Models For Co-Design, Memocode'06. 3.  0.358
2005 Alur R, Benedikt M, Etessami K, Godefroid P, Reps T, Yannakakis M. Analysis of recursive state machines Acm Transactions On Programming Languages and Systems. 27: 786-818. DOI: 10.1145/1075382.1075387  0.429
2005 Alur R, Madhusudan P, Nam W. Symbolic computational techniques for solving games International Journal On Software Tools For Technology Transfer. 7: 118-128. DOI: 10.1016/S1571-0661(05)82544-7  0.368
2005 Alur R, McMillan K, Peled D. Deciding global partial-order properties Formal Methods in System Design. 26: 7-25. DOI: 10.1007/s10703-005-4592-0  0.317
2005 Alur R, Chaudhuri S, Etessami K, Madhusudan P. On-the-fly reachability and cycle detection for recursive state machines Lecture Notes in Computer Science. 3440: 61-76.  0.311
2005 Burckhardt S, Alur R, Martin MMK. Verifying safety of a token coherence implementation by parametric compositional refinement Lecture Notes in Computer Science. 3385: 130-145.  0.668
2004 Alur R, Grosu R. Modular refinement of hierarchic reactive machines Acm Transactions On Programming Languages and Systems. 26: 339-369. DOI: 10.1145/973097.973101  0.311
2004 Alur R, La Torre S. Deterministic generators and games for LTL fragments Acm Transactions On Computational Logic. 5: 1-25. DOI: 10.1145/963927.963928  0.345
2004 Alur R, La Torre S, Pappas GJ. Optimal paths in weighted timed automata Theoretical Computer Science. 318: 297-322. DOI: 10.1016/J.Tcs.2003.10.038  0.601
2004 Alur R, Arney D, Gunter EL, Lee I, Lee J, Nam W, Pearce F, Van Albert S, Zhou J. Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System International Journal On Software Tools For Technology Transfer. 5: 308-319. DOI: 10.1007/S10009-003-0132-7  0.373
2004 Bernadsky M, Sharykin R, Alur R. Structured modeling of concurrent stochastic hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3253: 309-324. DOI: 10.1007/978-3-540-30206-3_22  0.751
2004 Alur R, Madhusudan P. Decision Problems for Timed Automata: A Survey Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3185: 1-24.  0.328
2004 Alur R, Bernadsky M, Madhusudan P. Optimal reachability for weighted timed games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3142: 122-133.  0.739
2004 Alur R, Etessami K, Madhusudan P. A temporal logic of nested calls and returns Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2988: 467-481.  0.335
2003 Alur R, Etessami K, Yannakakis M. Inference of message sequence charts Ieee Transactions On Software Engineering. 29: 623-633. DOI: 10.1109/Tse.2003.1214326  0.372
2003 Alur R, Dang T, Esposito J, Hur Y, Ivančić F, Kumar V, Lee I, Mishra P, Pappas GJ, Sokolsky O. Hierarchical modeling and analysis of embedded system Proceedings of the Ieee. 91: 11-27. DOI: 10.1109/JPROC.2002.805817  0.304
2003 Alur R, Dang T, Ivančić F. Progress on reachability analysis of hybrid systems using predicate abstraction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2623: 4-19.  0.376
2003 Alur R, Dang T, Ivančić F. Counter-example guided predicate abstraction of hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2619: 208-223.  0.384
2003 Alur R, Ivančić F, Kim J, Lee I, Sokolsky O. Generating embedded software from hierarchical hybrid models Proceedings of the Acm Sigplan Conference On Languages, Compilers, and Tools For Embedded Systems (Lctes). 171-182.  0.3
2002 Fierro R, Das A, Spletzer J, Esposito J, Kumar V, Ostrowski JP, Pappas G, Taylor CJ, Hur Y, Alur R, Lee I, Grudic G, Southall B. A Framework and Architecture for Multi-Robot Coordination The International Journal of Robotics Research. 21: 977-995. DOI: 10.1177/0278364902021010981  0.581
2002 Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic Journal of the Acm. 49: 672-713. DOI: 10.1145/585265.585270  0.396
2002 Alur R, Belta C, Kumar V, Mintz M, Pappas GJ, Rubin H, Schug J. Modeling and analyzing biomolecular networks Computing in Science and Engineering. 4: 20. DOI: 10.1109/5992.976434  0.589
2002 Alur R, Dang T, Ivančić F. Reachability analysis of hybrid systems via predicate abstraction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2289: 35-48. DOI: 10.1007/3-540-45873-5_6  0.398
2002 Alur R, Belta C, Ivančić F, Kumar V, Rubin H, Schug J, Sokolsky O, Webb J. Visual programming for modeling and simulation of biomolecular regulatorynetworks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2552: 702-712.  0.354
2001 Oliver Möller M, Alur R. Heuristics for hierarchical partitioning with application to model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2144: 71-85. DOI: 10.7146/Brics.V7I21.20148  0.394
2001 Alur R, Yannakakis M. Model checking of hierarchical state machines Acm Transactions On Programming Languages and Systems. 23: 273-303. DOI: 10.1145/503502.503503  0.415
2001 Alur R, Dang T, Esposito J, Fierro R, Hur Y, IvanČić F, Kumar V, Lee I, Mishra P, Pappas G, Sokolsky O. Hierarchical hybrid modeling of embedded systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2211: 14-31.  0.324
2000 Alur R. Computer-aided verification of reactive systems Acm Sigsoft Software Engineering Notes. 25: 32-33. DOI: 10.1145/340855.340861  0.33
2000 Alur R, Henzinger TA, Lafferriere G, Pappas GJ. Discrete abstractions of hybrid systems Proceedings of the Ieee. 88: 971-984. DOI: 10.1109/5.871304  0.315
2000 Alur R, McMillan K, Peled D. Model-checking of correctness conditions for concurrent objects Information and Computation. 160: 167-188. DOI: 10.1006/Inco.1999.2847  0.403
2000 Alur R, Grosu R, Wang BY. Automated refinement checking for asynchronous processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1954: 55-72.  0.323
1999 Alur R, Etessami K, La Torre S, Peled D. Parametric temporal logic for model measuring Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1644: 159-168. DOI: 10.1145/377978.377990  0.36
1999 Alur R, Henzinger TA. Reactive modules Formal Methods in System Design. 15: 7-48. DOI: 10.1023/A:1008739929481  0.369
1999 Alur R, Fix L, Henzinger TA. Event-clock automata: A determinizable class of timed automata Theoretical Computer Science. 211: 253-273. DOI: 10.1016/S0304-3975(97)00173-4  0.361
1999 Alur R, Peled D. Undecidability of partial order logics Information Processing Letters. 69: 137-143. DOI: 10.1016/S0020-0190(99)00005-8  0.341
1999 Alur R, Yannakakis M. Model checking of message sequence charts Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1664: 114-129.  0.321
1999 Alur R. Timed automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1633: 9-22.  0.405
1998 Alur R, Henzinger TA. Finitary fairness Acm Transactions On Programming Languages and Systems. 20: 1171-1194. DOI: 10.1145/295656.295659  0.364
1998 Alur R, Kurshan RP, Viswanathan M. Membership questions for timed and hybrid automata Proceedings - Real-Time Systems Symposium. 254-263.  0.309
1997 Alur R, Attiya H, Taubenfeld G. Time-adaptive algorithms for synchronization Siam Journal On Computing. 26: 539-556. DOI: 10.1137/S0097539794265244  0.431
1997 Alur R, Henzinger TA. Real-time system = discrete system + clock variables International Journal On Software Tools For Technology Transfer. 1: 86-109. DOI: 10.1007/S100090050007  0.408
1997 Alur R, Courcoubetis C, Henzinger TA. Computing Accumulated Delays in Real-time Systems Formal Methods in System Design. 11: 137-155.  0.301
1996 Alur R. Next steps in formal verification Acm Computing Surveys. 28: 115-es. DOI: 10.1145/242224.242373  0.32
1996 Alur R, Feder T, Henzinger TA. The benefits of relaxing punctuality Journal of the Acm (Jacm). 43: 116-146. DOI: 10.1145/227595.227602  0.434
1996 Alur R, Henzinger TA, Ho PH. Automatic symbolic verification of embedded systems Ieee Transactions On Software Engineering. 22: 181-201. DOI: 10.1109/32.489079  0.458
1996 Alur R, Taubenfeld G. Fast timing-based algorithms Distributed Computing. 10: 1-10. DOI: 10.1007/S004460050020  0.346
1996 Alur R, Taubenfeld G. Contention-Free Complexity of Shared Memory Algorithms Information and Computation. 126: 62-73. DOI: 10.1006/Inco.1996.0034  0.34
1995 Alur R, Courcoubetis C, Halbwachs N, Henzinger T, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. The algorithmic analysis of hybrid systems Theoretical Computer Science. 138: 3-34. DOI: 10.1016/0304-3975(94)00202-T  0.464
1994 Alur R, Henzinger TA. A Really Temporal Logic Journal of the Acm (Jacm). 41: 181-203. DOI: 10.1145/174644.174651  0.414
1994 Alur R, Dill DL. A theory of timed automata Theoretical Computer Science. 126: 183-235. DOI: 10.1016/0304-3975(94)90010-8  0.645
Show low-probability matches.