Rajeev Alur - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Nondeterministic Streaming String TransducersRajeev Alur, Jyotirmoy V. Deshmukh. icalp 2011: 1-20 [doi]

Streaming String TransducersRajeev Alur. wollic 2011: 1 [doi]

Streaming transducers for algorithmic verification of single-pass list-processing programsRajeev Alur, Pavol Cerný. POPL 2011: 599-610 [doi]

2010

2009

On Omega-Languages Defined by Mean-Payoff ConditionsRajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss. fossacs 2009: 333-347 [doi]

Temporal Reasoning about Program ExecutionsRajeev Alur. fossacs 2009: 15 [doi]

Adding nesting structure to wordsRajeev Alur, P. Madhusudan. JACM, 56(3), 2009. [doi]

Modeling and Analysis of Multi-hop Control NetworksRajeev Alur, Alessandro D Innocenzo, Karl H. Johansson, George J. Pappas, Gera Weiss. rtas 2009: 223-232 [doi]

Algorithmic Analysis of Array-Accessing ProgramsRajeev Alur, Pavol CernÃ½, Scott Weinstein. csl 2009: 86-101 [doi]

Automated Analysis of Java Methods for ConfidentialityPavol Cerný, Rajeev Alur. cav 2009: 173-187 [doi]

Generating and Analyzing Symbolic Traces of Simulink/Stateflow ModelsAditya Kanade, Rajeev Alur, Franjo Ivančić, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar. cav 2009: 430-445 [doi]

Robust stability of multi-hop control networksGera Weiss, Alessandro D Innocenzo, Rajeev Alur, Karl Henrik Johansson, George J. Pappas. cdc 2009: 2210-2215 [doi]

Specification and Analysis of Network Resource Requirements of Control SystemsGera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur. hybrid 2009: 381-395 [doi]

2008

IntroductionRajeev Alur, George J. Pappas. fmsd, 32(1):1, 2008. [doi]

Ranking Automata and Games for Prioritized RequirementsRajeev Alur, Aditya Kanade, Gera Weiss. cav 2008: 240-253 [doi]

RTComposer: a framework for real-time components with scheduling interfacesRajeev Alur, Gera Weiss. emsoft 2008: 159-168 [doi]

Marrying Words and TreesRajeev Alur. amast 2008: 1 [doi]

First-Order and Temporal Logics for Nested WordsRajeev Alur, Marcelo Arenas, Pablo BarcelÃ³, Kousha Etessami, Neil Immerman, Leonid Libkin. lmcs, 4(4), 2008. [doi]

Regular Specifications of Resource Requirements for Embedded Control SoftwareRajeev Alur, Gera Weiss. rtas 2008: 159-168 [doi]

Model Checking: From Tools to TheoryRajeev Alur. spin 2008: 89-106 [doi]

Symbolic analysis for improving simulation coverage of Simulink/Stateflow modelsRajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar. emsoft 2008: 89-98 [doi]

Automatic symbolic compositional verification by learning assumptionsWonhong Nam, P. Madhusudan, Rajeev Alur. fmsd, 32(3):207-234, 2008. [doi]

2007

Marrying Words and TreesRajeev Alur. csr 2007: 5 [doi]

Marrying words and treesRajeev Alur. pods 2007: 233-242 [doi]

First-Order and Temporal Logics for Nested WordsRajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin. lics 2007: 151-160 [doi]

Model Checking on Trees with Path EquivalencesRajeev Alur, Pavol Cerný, Swarat Chaudhuri. TACAS 2007: 664-678 [doi]

Dispatch sequences for embedded control modelsRajeev Alur, Arun Chandrashekharapuram. jcss, 73(2):156-170, 2007. [doi]

Symbolic Analysis for GSMP Models with One Stateful ClockMikhail Bernadsky, Rajeev Alur. hybrid 2007: 90-103 [doi]

CheckFence: checking consistency of concurrent data types on relaxed memory modelsSebastian Burckhardt, Rajeev Alur, Milo M. K. Martin. PLDI 2007: 12-21 [doi]

Instrumenting C Programs with Nested Word MonitorsSwarat Chaudhuri, Rajeev Alur. spin 2007: 279-283 [doi]

Automata Based Interfaces for Control and SchedulingGera Weiss, Rajeev Alur. hybrid 2007: 601-613 [doi]

2006

Languages of Nested TreesRajeev Alur, Swarat Chaudhuri, P. Madhusudan. cav 2006: 329-342 [doi]

Adding Nesting Structure to WordsRajeev Alur, P. Madhusudan. dlt 2006: 1-13 [doi]

Branching Pushdown Tree AutomataRajeev Alur, Swarat Chaudhuri. fsttcs 2006: 393-404 [doi]

Counterexample-guided predicate abstraction of hybrid systemsRajeev Alur, Thao Dang, Franjo Ivancic. TCS, 354(2):250-271, 2006. [doi]

Preserving Secrecy Under RefinementRajeev Alur, Pavol Cerný, Steve Zdancewic. icalp 2006: 107-118 [doi]

A fixpoint calculus for local and global program flowsRajeev Alur, Swarat Chaudhuri, P. Madhusudan. POPL 2006: 153-165 [doi]

Games for formal design and verification of reactive systemsRajeev Alur. memocode 2006: 3 [doi]

Modular strategies for recursive game graphsRajeev Alur, Salvatore La Torre, P. Madhusudan. TCS, 354(2):230-249, 2006. [doi]

Compositional modeling and refinement for hierarchical hybrid systemsRajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky. jlp, 68(1-2):105-128, 2006. [doi]

Bounded Model Checking for GSMP Models of Stochastic Real-Time SystemsRajeev Alur, Mikhail Bernadsky. hybrid 2006: 19-33 [doi]

Predicate abstraction for reachability analysis of hybrid systemsRajeev Alur, Thao Dang, Franjo Ivancic. tecs, 5(1):152-199, 2006. [doi]

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case StudySebastian Burckhardt, Rajeev Alur, Milo M. K. Martin. cav 2006: 489-502 [doi]

Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic DecompositionWonhong Nam, Rajeev Alur. ATVA 2006: 170-185 [doi]

Time-triggered implementations of dynamic controllersTruong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard. emsoft 2006: 2-11 [doi]

2005

Deciding Global Partial-Order PropertiesRajeev Alur, Kenneth L. McMillan, Doron Peled. fmsd, 26(1):7-25, 2005. [doi]

Congruences for Visibly Pushdown LanguagesRajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan. icalp 2005: 1102-1114 [doi]

Perturbed Timed AutomataRajeev Alur, Salvatore La Torre, P. Madhusudan. hybrid 2005: 70-85 [doi]

The Benefits of Exposing Calls and ReturnsRajeev Alur. concur 2005: 2-3 [doi]

Symbolic computational techniques for solving gamesRajeev Alur, P. Madhusudan, Wonhong Nam. STTT, 7(2):118-128, 2005. [doi]

PrefaceRajeev Alur, Insup Lee. tecs, 4(4):707, 2005. [doi]

Trends and Challenges in Algorithmic Software VerificationRajeev Alur. vstte 2008: 245-250 [doi]

Symbolic Compositional Verification by Learning AssumptionsRajeev Alur, P. Madhusudan, Wonhong Nam. cav 2005: 548-562 [doi]

On-the-Fly Reachability and Cycle Detection for Recursive State MachinesRajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan. TACAS 2005: 61-76 [doi]

Synthesis of interface specifications for Java classesRajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam. POPL 2005: 98-109 [doi]

Dispatch Sequences for Embedded Control ModelsRajeev Alur, Arun Chandrashekharapuram. rtas 2005: 508-518 [doi]

Realizability and verification of MSC graphsRajeev Alur, Kousha Etessami, Mihalis Yannakakis. TCS, 331(1):97-114, 2005. [doi]

Analysis of recursive state machinesRajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis. TOPLAS, 27(4):786-818, 2005. [doi]

Verifying Safety of a Token Coherence Implementation by Parametric Compositional RefinementSebastian Burckhardt, Rajeev Alur, Milo M. K. Martin. vmcai 2005: 130-145 [doi]

Quantifying the Gap between Embedded Control Models and Time-Triggered ImplementationsHakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur. rtss 2005: 111-120 [doi]

2004

Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, ProceedingsRajeev Alur, Doron Peled, editors, Volume 3114 of Lecture Notes in Computer Science, Springer, 2004.

Optimal paths in weighted timed automataRajeev Alur, Salvatore La Torre, George J. Pappas. TCS, 318(3):297-322, 2004. [doi]

Deterministic generators and games for Ltl fragmentsRajeev Alur, Salvatore La Torre. tocl, 5(1):1-25, 2004. [doi]

Optimal Reachability for Weighted Timed GamesRajeev Alur, Mikhail Bernadsky, P. Madhusudan. icalp 2004: 122-133 [doi]

Visibly pushdown languagesRajeev Alur, P. Madhusudan. stoc 2004: 202-211 [doi]

A Temporal Logic of Nested Calls and ReturnsRajeev Alur, Kousha Etessami, P. Madhusudan. TACAS 2004: 467-481 [doi]

Modular refinement of hierarchic reactive machinesRajeev Alur, Radu Grosu. TOPLAS, 26(2):339-369, 2004. [doi]

Decision Problems for Timed Automata: A SurveyRajeev Alur, P. Madhusudan. sfm 2004: 1-24 [doi]

Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, ProceedingsRajeev Alur, George J. Pappas, editors, Volume 2993 of Lecture Notes in Computer Science, Springer, 2004.

Polyhedral Flows in Hybrid AutomataRajeev Alur, Sampath Kannan, Salvatore La Torre. fmsd, 24(3):261-280, 2004. [doi]

Games for Formal Design and Verification of Reactive SystemsRajeev Alur. ATVA 2004: 1 [doi]

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control SystemRajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou. STTT, 5(4):308-319, 2004. [doi]

Structured Modeling of Concurrent Stochastic Hybrid SystemsMikhail Bernadsky, Raman Sharykin, Rajeev Alur. formats 2004: 309-324 [doi]

A model-based approach to integrating security policies for embedded devicesMichael McDougall, Rajeev Alur, Carl A. Gunter. emsoft 2004: 211-219 [doi]

Variable Reuse for Efficient Image ComputationZijiang Yang, Rajeev Alur. FMCAD 2004: 430-444 [doi]

2003

Inference of Message Sequence ChartsRajeev Alur, Kousha Etessami, Mihalis Yannakakis. TSE, 29(7):623-633, 2003. [doi]

Playing Games with Boxes and DiamondsRajeev Alur, Salvatore La Torre, P. Madhusudan. concur 2003: 127-141 [doi]

Compression of Partially Ordered StringsRajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis. concur 2003: 42-56 [doi]

Counter-Example Guided Predicate Abstraction of Hybrid SystemsRajeev Alur, Thao Dang, Franjo Ivancic. TACAS 2003: 208-223 [doi]

Generating embedded software from hierarchical hybrid modelsRajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky. lctrts 2003: 171-182 [doi]

Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, ProceedingsRajeev Alur, Insup Lee, editors, Volume 2855 of Lecture Notes in Computer Science, Springer, 2003.

Modular Strategies for Recursive Game GraphsRajeev Alur, Salvatore La Torre, P. Madhusudan. TACAS 2003: 363-378 [doi]

Modular Strategies for Infinite Games on Recursive GraphsRajeev Alur, Salvatore La Torre, P. Madhusudan. cav 2003: 67-79 [doi]

Hierarchical modeling and analysis of embedded systemsRajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky. pieee, 91(1):11-28, 2003.

Progress on Reachability Analysis of Hybrid Systems Using Predicate AbstractionRajeev Alur, Thao Dang, Franjo Ivancic. hybrid 2003: 4-19 [doi]

Formal Analysis of Hierarchical State MachinesRajeev Alur. BIRTHDAY 2003: 42-66 [doi]

Symbolic computational techniques for solving gamesP. Madhusudan, Wonhong Nam, Rajeev Alur. ENTCS, 89(4), 2003. [doi]

2002

Alternating-time temporal logicRajeev Alur, Thomas A. Henzinger, Orna Kupferman. JACM, 49(5):672-713, 2002. [doi]

Exploiting Behavioral Hierarchy for Efficient Model CheckingRajeev Alur, Michael McDougall, Zijiang Yang. cav 2002: 338-342 [doi]

Visual Programming for Modeling and Simulation of Biomolecular Regulatory NetworksRajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb. hipc 2002: 702-712 [doi]

Reachability Analysis of Hybrid Systems via Predicate AbstractionRajeev Alur, Thao Dang, Franjo Ivancic. hybrid 2002: 35-48 [doi]

A Framework and Architecture for Multi-Robot CoordinationRafael B. Fierro, Aveek K. Das, John R. Spletzer, Joel M. Esposito, Vijay Kumar, James P. Ostrowski, George J. Pappas, Camillo J. Taylor, Yerang Hur, Rajeev Alur, Insup Lee, Gregory Z. Grudic, Ben Southall. ijrr, 21(10-11):977-998, 2002.

Predictable programs in barcodesAlwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur. cases 2002: 298-303 [doi]

2001

Partial-Order Reduction in Symbolic State-Space ExplorationRajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani. fmsd, 18(2):97-116, 2001.

IntroductionRajeev Alur, Thomas A. Henzinger. iandc, 164(2):233, 2001.

PreviousNext