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. |