Rajeev Alur - Publications

Affiliations: 
Computer and Information Science University of Pennsylvania, Philadelphia, PA, United States 
Area:
Hardware and Software Systems: Real-Time, Embedded and Cyber-Physical Systems, Theory: Algorithms and Complexity

165 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
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  1
2016 Alur R, Fisman D. Colored nested words Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9618: 143-155. DOI: 10.1007/978-3-319-30000-9_11  1
2015 D'Antoni L, Kini D, Alur R, Gulwani S, Viswanathan M, Hartmann B. How can automatic feedback help students construct automata? Acm Transactions On Computer-Human Interaction. 22. DOI: 10.1145/2723163  1
2015 Alur R, D'Antoni L, Raghothaman M. DReX: A declarative language for efficiently evaluating regular string transformations Acm Sigplan Notices. 50: 125-137. DOI: 10.1145/2676726.2676981  1
2015 Alur R, Moarref S, Topcu U. Pattern-based refinement of assume-guarantee specifications in reactive synthesis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9035: 501-516. DOI: 10.1007/978-3-662-46681-0_49  1
2015 Alur R, Raghothaman M, Stergiou C, Tripakis S, Udupa A. Automatic completion of distributed protocols with symmetry Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9207: 395-412. DOI: 10.1007/978-3-319-21668-3_23  1
2015 Alur R, Černý P, Radhakrishna A. Synthesis through unification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9207: 163-179. DOI: 10.1007/978-3-319-21668-3_10  1
2015 Alur R. Regular functions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9118.  1
2014 Yuan Y, Alur R, Loo BT. NetEgg: Programming network policies by examples Proceedings of the 13th Acm Workshop On Hot Topics in Networks, Hotnets 2014. DOI: 10.1145/2670518.2673879  1
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  1
2014 Alur R, Freilich A, Raghothaman M. Regular combinators for string transformations Proceedings of the Joint Meeting of the 23rd Eacsl Annual Conference On Computer Science Logic, Csl 2014 and the 29th Annual Acm/Ieee Symposium On Logic in Computer Science, Lics 2014. DOI: 10.1145/2603088.2603151  1
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  1
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  1
2014 Alur R, Martin M, Raghothaman M, Stergiou C, Tripakis S, Udupa A. Synthesizing finite-state protocols from scenarios and requirements Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8855: 75-91.  1
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  1
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  1
2013 Alur R, Dantoni L, Deshmukh J, Raghothaman M, Yuan Y. Regular functions and cost register automata Proceedings - Symposium On Logic in Computer Science. 13-22. DOI: 10.1109/LICS.2013.65  1
2013 Alur R, Durand-Gasselin A, Trivedi A. From monadic second-order definable string transformations to transducers Proceedings - Symposium On Logic in Computer Science. 458-467. DOI: 10.1109/LICS.2013.52  1
2013 Alur R, Raghothaman M. Decision problems for additive regular functions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7966: 37-48. DOI: 10.1007/978-3-642-39212-2_7  1
2013 Thakkar J, Kanade A, Alur R. Transducer-based algorithmic verification of retransmission protocols over noisy channels Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7892: 209-224. DOI: 10.1007/978-3-642-38592-6_15  1
2013 Alur R, Kannan S, Tian K, Yuan Y. On the complexity of shortest path problems on discounted cost graphs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7810: 44-55. DOI: 10.1007/978-3-642-37064-9-6  1
2013 Yuan Y, Wang A, Alur R, Loo BT. On the feasibility of automation for bandwidth allocation problems in data centers 2013 Formal Methods in Computer-Aided Design, Fmcad 2013. 42-45.  1
2013 Alur R, D'Antoni L, Gulwani S, Kini D, Viswanathan M. Automated grading of DFA constructions Ijcai International Joint Conference On Artificial Intelligence. 1976-1982.  1
2013 Alur R, Bodik R, Juniwal G, Martin MMK, Raghothaman M, Seshia SA, Singh R, Solar-Lezama A, Torlak E, Udupa A. Syntax-guided synthesis 2013 Formal Methods in Computer-Aided Design, Fmcad 2013. 1-8.  1
2013 Alur R, Moarref S, Topcu U. Counter-strategy guided refinement of GR(1) temporal logic specifications 2013 Formal Methods in Computer-Aided Design, Fmcad 2013. 26-33.  1
2012 Alur R, Forejt V, Moarref S, Trivedi A. Safe schedulability of bounded-rate multi-mode systems Hscc 2013 - Proceedings of the 16th International Conference On Hybrid Systems: Computation and Control, Part of Cpsweek 2013. 1: 243-252. DOI: 10.1145/2461328.2461366  1
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  1
2012 Alur R, Černý P, Weinstein S. Algorithmic analysis of array-accessing programs Acm Transactions On Computational Logic. 13. DOI: 10.1145/2287718.2287727  1
2012 Alur R, Trivedi A, Wojtczak D. Optimal scheduling for constant-rate multi-mode systems Hscc'12 - Proceedings of the 15th Acm International Conference On Hybrid Systems: Computation and Control. 75-84. DOI: 10.1145/2185632.2185647  1
2012 Alur R, Filiot E, Trivedi A. Regular transformations of infinite strings Proceedings of the 2012 27th Annual Acm/Ieee Symposium On Logic in Computer Science, Lics 2012. 65-74. DOI: 10.1109/LICS.2012.18  1
2012 Vardi MY, Henzinger TA, Alur R, Kwiatkowska M. 2011 CAV award announcement Formal Methods in System Design. 1-2. DOI: 10.1007/s10703-012-0154-4  1
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.1007/978-3-642-31585-5-8  1
2012 Mador-Haim S, Maranget L, Sarkar S, Memarian K, Alglave J, Owens S, Alur R, Martin MMK, Sewell P, Williams D. An axiomatic memory model for POWER multiprocessors Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7358: 495-512. DOI: 10.1007/978-3-642-31424-7_36  1
2012 Jiang Z, Pajic M, Moarref S, Alur R, Mangharam R. Modeling and verification of a dual chamber implantable pacemaker Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7214: 188-203. DOI: 10.1007/978-3-642-28756-5_14  1
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  1
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  1
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  1
2011 Alur R, Černý P. Streaming transducers for algorithmic verification of single-pass list-processing programs Acm Sigplan Notices. 46: 599-610. DOI: 10.1145/1925844.1926454  1
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  1
2011 Alur R. Interfaces for control components Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6919: 25. DOI: 10.1007/978-3-642-24310-3_3  1
2011 Alur R, Deshmukh JV. Nondeterministic streaming string transducers Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6756: 1-20. DOI: 10.1007/978-3-642-22012-8_1  1
2011 Mador-Haim S, Alur R, Martin MMK. Litmus tests for comparing memory consistency models: How long do they need to be? Proceedings - Design Automation Conference. 504-509.  1
2010 Nam W, Alur R. Active learning of plans for safety and reachability goals with partial observability. Ieee Transactions On Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the Ieee Systems, Man, and Cybernetics Society. 40: 412-20. PMID 19661004 DOI: 10.1109/TSMCB.2009.2025657  1
2010 Alur R, Černý P. Expressiveness of streaming string transducers Leibniz International Proceedings in Informatics, Lipics. 8: 1-12. DOI: 10.4230/LIPIcs.FSTTCS.2010.1  1
2010 Kanade A, Alur R, Rajamani S, Ramanlingam G. Representation dependence testing using program inversion Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 277-286. DOI: 10.1145/1882291.1882332  1
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  1
2010 Mador-Haim S, Alur R, Martin MMK. Generating litmus tests for contrasting memory consistency models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6174: 273-287. DOI: 10.1007/978-3-642-14295-6_26  1
2010 Alur R, Chaudhuri S. Temporal reasoning for procedural programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5944: 45-60. DOI: 10.1007/978-3-642-11319-2_7  1
2009 Alur R, Madhusudan P. Adding nesting structure to words Journal of the Acm. 56. DOI: 10.1145/1516512.1516518  1
2009 Alur R, D'Innocenzo A, Johansson KH, Pappas GJ, Weiss G. Modeling and analysis of multi-hop control networks Proceedings of the Ieee Real-Time and Embedded Technology and Applications Symposium, Rtas. 223-232. DOI: 10.1109/RTAS.2009.40  1
2009 D'Innocenzo A, Weiss G, Alur R, Isaksson AJ, Johansson KH, Pappas GJ. Scalable scheduling algorithms for wireless networked control systems 2009 Ieee International Conference On Automation Science and Engineering, Case 2009. 409-414. DOI: 10.1109/COASE.2009.5234106  1
2009 Weiss G, D'Innocenzo A, Alur R, Johansson KH, Pappas GJ. Robust stability of multi-hop control networks Proceedings of the Ieee Conference On Decision and Control. 2210-2215. DOI: 10.1109/CDC.2009.5400552  1
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  1
2009 Černý P, Alur R. Automated Analysis of Java Methods for Confidentiality Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5643: 173-187. DOI: 10.1007/978-3-642-02658-4_16  1
2009 Weiss G, Fischmeister S, Anand M, Alur R. Specification and analysis of network resource requirements of control systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5469: 381-395. DOI: 10.1007/978-3-642-00602-9_27  1
2009 Alur R, Degorre A, Maler O, Weiss G. On omega-languages defined by mean-payoff conditions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5504: 333-347. DOI: 10.1007/978-3-642-00596-1_24  1
2008 Alur R, Arenas M, Barceló P, Etessami K, Immerman N, Libkin L. First-order and temporal logics for nested words Logical Methods in Computer Science. 4. DOI: 10.2168/LMCS-4(4:11)2008  1
2008 Alur R, Weiss G. Regular specifications of resource requirements for embedded control software Proceedings of the Ieee Real-Time and Embedded Technology and Applications Symposium, Rtas. 159-168. DOI: 10.1109/RTAS.2008.13  1
2008 Nam W, Madhusudan P, Alur R. Automatic symbolic compositional verification by learning assumptions Formal Methods in System Design. 32: 207-234. DOI: 10.1007/s10703-008-0055-8  1
2008 Alur R, Pappas GJ. Formal Methods in System Design: Introduction Formal Methods in System Design. 32: 1. DOI: 10.1007/s10703-007-0047-0  1
2008 Alur R. Marrying words and trees Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5140: 1. DOI: 10.1007/978-3-540-79980-1_1  1
2008 Alur R, Kanade A, Weiss G. Ranking automata and games for prioritized requirements Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5123: 240-253. DOI: 10.1007/978-3-540-70545-1_23  1
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  1
2008 Alur R. Trends and challenges in algorithmic software verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4171: 245-250. DOI: 10.1007/978-3-540-69149-5_26  1
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.  1
2008 Alur R, Weiss G. RTComposer: A framework for real-time components with scheduling interfaces Proceedings of the 8th Acm International Conference On Embedded Software, Emsoft'08. 159-168.  1
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  1
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  1
2007 Alur R, Černý P, Chaudhuri S. Model checking on trees with path equivalences Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4424: 664-678.  1
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.  1
2007 Chaudhuri S, Alur R. Instrumenting C programs with nested word monitors Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4595: 279-283.  1
2007 Weiss G, Alur R. Automata based interfaces for control and scheduling Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4416: 601-613.  1
2006 Alur R, Chaudhuri S, Madhusudan P. A fixpoint calculus for local and global program flows Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 153-165. DOI: 10.1145/1111320.1111051  1
2006 Alur R. Proceeding of the 21st Annual IEEE Symposium on Logic in Computer Science, LICS 2006: Foreword Proceedings - Symposium On Logic in Computer Science. ix. DOI: 10.1109/LICS.2006.26  1
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  1
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  1
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  1
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  1
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  1
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.  1
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.  1
2006 Alur R, Chaudhuri S, Madhusudan P. Languages of nested trees Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4144: 329-342.  1
2006 Nam W, Alur R. Learning-based symbolic assume-guarantee reasoning with automatic decomposition Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4218: 170-185.  1
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  1
2005 Alur R, Madhusudan P, Černy P, Nam W. Synthesis of interface specifications for Java classes Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 98-109. DOI: 10.1145/1047659.1040314  1
2005 Yazarel H, Girard A, Pappas GJ, Alur R. Quantifying the gap between embedded control models and time-triggered implementations Proceedings - Real-Time Systems Symposium. DOI: 10.1109/RTSS.2005.35  1
2005 Alur R, Etessami K, Yannakakis M. Realizability and verification of MSC graphs Theoretical Computer Science. 331: 97-114. DOI: 10.1016/j.tcs.2004.09.034  1
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  1
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.1007/s10009-004-0179-0  1
2005 Alur R. The benefits of exposing calls and returns Lecture Notes in Computer Science. 3653: 2-3.  1
2005 Alur R, Kumar V, Madhusudan P, Viswanathan M. Congruences for visibly pushdown languages Lecture Notes in Computer Science. 3580: 1102-1114.  1
2005 Alur R, Madhusudan P, Nam W. Symbolic compositional verification by learning assumptions Lecture Notes in Computer Science. 3576: 548-562.  1
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.  1
2005 Alur R, La Torre S, Madhusudan P. Perturbed timed automata Lecture Notes in Computer Science. 3414: 70-85.  1
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.  1
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  1
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  1
2004 Alur R, Kannan S, La Torre S. Polyhedral flows in hybrid automata Formal Methods in System Design. 24: 261-280. DOI: 10.1023/B:FORM.0000026092.11691.96  1
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  1
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  1
2004 Alur R. Formal analysis of hierarchical state machines dedicated to Zohar Manna on his 26th birthday Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2772: 42-66.  1
2004 McDougall M, Alur R, Gunter CA. A model-based approach to integrating security policies for embedded devices Emsoft 2004 - Fourth Acm International Conference On Embedded Software. 211-219.  1
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.  1
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.  1
2004 Yang Z, Alur R. Variable reuse for efficient image computation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3312: 430-444.  1
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.  1
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.  1
2004 Alur R, Madhusudan P. Visibly pushdown languages Conference Proceedings of the Annual Acm Symposium On Theory of Computing. 202-211.  1
2004 Alur R, Pappas GJ. Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2993.  1
2004 Alur R, Pappas GJ. Hybrid Systems: Computation and Control, 7th international workshop, HSCC 2004 Philadelphia, PA, USA, March 25-27, 2004 proceedings Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2993.  1
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  1
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  1
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.  1
2003 Alur R, Chaudhuri S, Etessami K, Guha S, Yannakakis M. Compression of partially ordered strings Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2761: 42-56.  1
2003 Alur R, La Torre S, Madhusudan P. Playing games with boxes and diamonds Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2761: 128-143.  1
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.  1
2003 Alur R, La Torre S, Madhusudan P. Modular strategies for infinite games on recursive graphs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2725: 67-79.  1
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.  1
2002 Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic Journal of the Acm. 49: 672-713. DOI: 10.1145/585265.585270  1
2002 Goodloe A, McDougall M, Gunter CA, Alur R. Predictable programs in barcodes Proceedings of the 2002 International Conference On Compilers, Architecture, and Synthesis For Embedded Systems, Cases '02. 298-303. DOI: 10.1145/581630.581679  1
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  1
2002 Corradini F, Vogler W, Alur R, Baeten J, De Boer F, Inverardi P, Kramer J, Luettgen G, Magee J, Maggiolo-Schettini A, Selic B, Sifakis J. Electronic Notes in Theoretical Computer Science: Preface Electronic Notes in Theoretical Computer Science. 52: 323-324. DOI: 10.1016/S1571-0661(05)80575-4  1
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  1
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 International Journal of Robotics Research. 21: 977-995.  1
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.  1
2002 Alur R, McDougall M, Yang Z. Exploiting behavioral hierarchy for efficient model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2404: 338-342.  1
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  1
2001 Alur R, Brayton RK, Henzinger TA, Qadeer S, Rajamani SK. Partial-order reduction in symbolic state-space exploration Formal Methods in System Design. 18: 97-116. DOI: 10.1023/A:1008767206905  1
2001 Alur R, Wang BY. Verifying network protocol implementations by symbolic refinement checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2102: 169-181. DOI: 10.1007/3-540-44585-4_15  1
2001 Alur R, Henzinger TA. Information and Computation: Introduction Information and Computation. 164: 233. DOI: 10.1006/inco.2000.2892  1
2001 Alur R, Belta C, Ivančić F, Kumar V, Mintz M, Pappas GJ, Rubin H, Schug J. Hybrid modeling and simulation of biomolecular networks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2034: 19-32.  1
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.  1
2001 Alur R, Grosu R, Lee I, Sokolsky O. Compositional refinement for hierarchical hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2034: 33-48.  1
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.  1
2001 Alur R, De Alfaro L, Grosu R, Henzinger TA, Kang M, Kirsch CM, Majumdar R, Mang F, Wang BY. JMOCHA: A model checking tool that exploits design structure Proceedings - International Conference On Software Engineering. 835-836.  1
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  1
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  1
2000 Alur R. Exploiting hierarchical structure for efficient formal verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1877: 66-68.  1
2000 Alur R, Grosu R, McDougall M. Efficient reachability analysis of hierarchical reactive machines Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1855: 280-295.  1
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.  1
1999 Alur R, Henzinger TA. Reactive modules Formal Methods in System Design. 15: 7-48. DOI: 10.1023/A:1008739929481  1
1999 Alur R, Esposito J, Kim M, Kumar V, Lee I. Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1708: 212-232. DOI: 10.1007/3-540-48119-2_14  1
1999 Alur R, Peled D. Undecidability of partial order logics Information Processing Letters. 69: 137-143.  1
1999 Alur R, Fix L, Henzinger TA. Event-clock automata: A determinizable class of timed automata Theoretical Computer Science. 211: 253-273.  1
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.  1
1999 Alur R, Wang BY. "Next" heuristic for on-the-fly model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1664: 98-113.  1
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.  1
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.  1
1999 Alur R, De Alfaro L, Henzinger TA, Mang FYC. Automating modular verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1664: 82-97.  1
1999 Alur R, Kannan S, Yannakakis M. Communicating hierarchical state machines Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1644: 169-178.  1
1998 Alur R, Henzinger TA. Finitary fairness Acm Transactions On Programming Languages and Systems. 20: 1171-1194. DOI: 10.1145/295656.295659  1
1998 Alur R, Kurshan RP, Viswanathan M. Membership questions for timed and hybrid automata Proceedings - Real-Time Systems Symposium. 254-263.  1
1998 Alur R, Hcnzinger TA, Mang FYC, Qadeer S, Rajamani SK, Tasiran S. MOCHA: Modularity in model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1427: 521-525.  1
1998 Alur R, Henzinger TA, Rajamani SK. Symbolic exploration of transition hierarchies Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1384: 330-344.  1
1998 Alur R, Henzinger TA, Kupferman O, Vardi MY. Alternating refinement relations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1466: 164-178.  1
1998 Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic* Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1536: 23-60.  1
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  1
1997 Alur R, Henzinger TA. Modularity for timed and hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1243: 74-88. DOI: 10.1007/3-540-63141-0_6  1
1997 Alur R, Courcoubetis C, Henzinger TA. Computing Accumulated Delays in Real-time Systems Formal Methods in System Design. 11: 137-155.  1
1997 Alur R, Attiya H, Taubenfeld G. Time-adaptive algorithms for synchronization Siam Journal On Computing. 26: 539-556.  1
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  1
1996 Alur R, Holzmann GJ, Peled D. An analyzer for message sequence charts Software-Concepts and Tools. 17: 70-77. DOI: 10.1007/3-540-61042-1_37  1
1995 Alur R, Itai A, Kurshan RP, Yannakakis M. Timing Verification by Successive Approximation Information and Computation. 118: 142-157. DOI: 10.1006/inco.1995.1059  1
1994 Alur R, Henzinger TA. A Really Temporal Logic Journal of the Acm (Jacm). 41: 181-203. DOI: 10.1145/174644.174651  1
1993 Alur R, Henzinger TA. Real-Time Logics: Complexity and Expressiveness Information and Computation. 104: 35-77. DOI: 10.1006/inco.1993.1025  1
Show low-probability matches.