Rajeev Alur - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Rajeev Alur' as author, editor, or advisor:

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]
Regular Programming for Quantitative Properties of Data StreamsRajeev Alur, Dana Fisman, Mukund Raghothaman. ESOP 2016: 15-40 [doi]
Model-Checking in Dense Real-timeRajeev Alur, Costas Courcoubetis, David L. Dill. iandc, 104(1):2-34, May 1993.
Counter-strategy guided refinement of GR(1) temporal logic specificationsRajeev Alur, Salar Moarref, Ufuk Topcu. FMCAD 2013: 26-33 [doi]
Temporal Reasoning about Program ExecutionsRajeev Alur. fossacs 2009: 15 [doi]
Counter-Example Guided Predicate Abstraction of Hybrid SystemsRajeev Alur, Thao Dang, Franjo Ivancic. TACAS 2003: 208-223 [doi]
Optimal scheduling for constant-rate multi-mode systemsRajeev Alur, Ashutosh Trivedi, Dominik Wojtczak. hybrid 2012: 75-84 [doi]
Automatic Synthesis of Distributed ProtocolsRajeev Alur, Stavros Tripakis. sigact, 48(1):55-90, 2017. [doi]
Model Checking of Linearizability of Concurrent List ImplementationsPavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur. cav 2010: 465-479 [doi]
Streaming transducers for algorithmic verification of single-pass list-processing programsRajeev Alur, Pavol Cerný. POPL 2011: 599-610 [doi]
Computing Accumulated Delays in Real-time SystemsRajeev Alur, Costas Courcoubetis, Thomas A. Henzinger. fmsd, 11(2):137-155, 1997.
A Theory of Timed AutomataRajeev Alur, David L. Dill. TCS, 126(2):183-235, 1994.
Hedging Bets in Markov Decision ProcessesRajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania. csl 2016: [doi]
Techniques for automatic verification of real-time systemsRajeev Alur. PhD thesis, Stanford University, USA, 1991. [doi]
Active Learning of Plans for Safety and Reachability Goals With Partial ObservabilityWonhong Nam, Rajeev Alur. tsmc, 40(2):412-420, 2010. [doi]
DReX: A Declarative Language for Efficiently Evaluating Regular String TransformationsRajeev Alur, Loris D'Antoni, Mukund Raghothaman. POPL 2015: 125-137 [doi]
Colored nested wordsRajeev Alur, Dana Fisman. fmsd, 58(3):347-374, 2021. [doi]
Fast Timing-Based AlgorithmsRajeev Alur, Gadi Taubenfeld. dc, 10(1):1-10, 1996.
Predictable programs in barcodesAlwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur. cases 2002: 298-303 [doi]
Timed AutomataRajeev Alur. cav 1999: 8-22 [doi]
Model-Checking of Correctness Conditions for Concurrent ObjectsRajeev Alur, Kenneth L. McMillan, Doron Peled. lics 1996: 219-228
Progress on Reachability Analysis of Hybrid Systems Using Predicate AbstractionRajeev Alur, Thao Dang, Franjo Ivancic. hybrid 2003: 4-19 [doi]
Marrying words and treesRajeev Alur. PODS 2007: 233-242 [doi]
Synchronization SchemasRajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue. PODS 2021: 1-18 [doi]
Compositional Synthesis of Reactive Controllers for Multi-agent SystemsRajeev Alur, Salar Moarref, Ufuk Topcu. cav 2016: 251-269 [doi]
Variable Reuse for Efficient Image ComputationZijiang Yang, Rajeev Alur. FMCAD 2004: 430-444 [doi]
Symbolic computational techniques for solving gamesRajeev Alur, P. Madhusudan, Wonhong Nam. STTT, 7(2):118-128, 2005. [doi]
Scaling Enumerative Program Synthesis via Divide and ConquerRajeev Alur, Arjun Radhakrishna, Abhishek Udupa. TACAS 2017: 319-336 [doi]
Optimal Reachability for Weighted Timed GamesRajeev Alur, Mikhail Bernadsky, P. Madhusudan. icalp 2004: 122-133 [doi]
Streaming String TransducersRajeev Alur. wollic 2011: 1 [doi]
Optimal Paths in Weighted Timed AutomataRajeev Alur, Salvatore La Torre, George J. Pappas. hybrid 2001: 49-62 [doi]
Reachability Analysis of Hybrid Systems via Predicate AbstractionRajeev Alur, Thao Dang, Franjo Ivancic. hybrid 2002: 35-48 [doi]
Example-guided synthesis of relational queriesAalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman. PLDI 2021: 1110-1125 [doi]
Decision Problems for Timed Automata: A SurveyRajeev Alur, P. Madhusudan. sfm 2004: 1-24 [doi]
Modular quantitative monitoringRajeev Alur, Konstantinos Mamouras, Caleb Stanford. PACMPL, 3, 2019. [doi]
Contention-Free Complexity of Shared Memory AlgorithmsRajeev Alur, Gadi Taubenfeld. iandc, 126(1):62-73, 1996.
Regular Specifications of Resource Requirements for Embedded Control SoftwareRajeev Alur, Gera Weiss. rtas 2008: 159-168 [doi]
Polyhedral Flows in Hybrid AutomataRajeev Alur, Sampath Kannan, Salvatore La Torre. hybrid 1999: 5-18 [doi]
Exploiting Hierarchical Structure for Efficient Formal VerificationRajeev Alur. concur 2000: 66-68 [doi]
How Can Automatic Feedback Help Students Construct Automata?Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan 0001, Björn Hartmann. TOCHI, 22(2), 2015. [doi]
Streaming Tree TransducersRajeev Alur, Loris D'Antoni. JACM, 64(5), 2017. [doi]
A Temporal Logic of Nested Calls and ReturnsRajeev Alur, Kousha Etessami, P. Madhusudan. TACAS 2004: 467-481 [doi]
Marrying Words and TreesRajeev Alur. csr 2007: 5 [doi]
Regular Transformations of Infinite StringsRajeev Alur, Emmanuel Filiot, Ashutosh Trivedi. lics 2012: 65-74 [doi]
Real-Time Logics: Complexity and ExpressivenessRajeev Alur, Thomas A. Henzinger. iandc, 104(1):35-77, May 1993.
Accelerating search-based program synthesis using learned probabilistic modelsWoosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik. PLDI 2018: 436-449 [doi]
Time-Adaptive Algorithms for SynchronizationRajeev Alur, Hagit Attiya, Gadi Taubenfeld. SICOMP, 26(2):539-556, 1997.
Modular Refinement of Hierarchic Reactive MachinesRajeev Alur, Radu Grosu. POPL 2000: 390-402 [doi]
RTComposer: a framework for real-time components with scheduling interfacesRajeev Alur, Gera Weiss. emsoft 2008: 159-168 [doi]
Shared Variables Interaction DiagramsRajeev Alur, Radu Grosu. ASE 2001: 281-288 [doi]
Automated Refinement Checking for Asynchronous ProcessesRajeev Alur, Radu Grosu, Bow-Yaw Wang. FMCAD 2000: 55-72 [doi]
Results about Fast Mutual ExclusionRajeev Alur, Gadi Taubenfeld. rtss 1992: 12-22 [doi]
A Determinizable Class of Timed AutomataRajeev Alur, Limor Fix, Thomas A. Henzinger. cav 1994: 1-13
Quantitative Network Monitoring with NetQREYifei Yuan, Dong Lin, Ankit Mishra, Sajal Marwaha, Rajeev Alur, Boon Thau Loo. sigcomm 2017: 99-112 [doi]
From Monadic Second-Order Definable String Transformations to TransducersRajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi. lics 2013: 458-467 [doi]
Discrete abstractions of hybrid systemsRajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George J. Pappas. pieee, 88(7):971-984, 2000. [doi]
Model-Checking of Correctness Conditions for Concurrent ObjectsRajeev Alur, Kenneth L. McMillan, Doron Peled. iandc, 160(1-2):167-188, 2000.
Computing Accumulated Delays in Real-time SystemsRajeev Alur, Costas Courcoubetis, Thomas A. Henzinger. cav 1993: 181-193
Scalable scheduling algorithms for wireless networked control systemsAlessandro D'Innocenzo, Gera Weiss, Rajeev Alur, Alf J. Isaksson, Karl Henrik Johansson, George J. Pappas. case 2009: 409-414 [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]
Automated Grading of DFA ConstructionsRajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan. IJCAI 2013: 1976-1982 [doi]
Network Traffic Classification by Program SynthesisLei Shi, YaHui Li, Boon Thau Loo, Rajeev Alur. TACAS 2021: 430-448 [doi]
Real-time Logics: Complexity and ExpressivenessRajeev Alur, Thomas A. Henzinger. lics 1990: 390-401
Timing Analysis in COSPANRajeev Alur, Robert P. Kurshan. hybrid 1996: 220-231
Modularity for Timed and Hybrid SystemsRajeev Alur, Thomas A. Henzinger. concur 1997: 74-88
Preserving Secrecy Under RefinementRajeev Alur, Pavol Cerný, Steve Zdancewic. icalp 2006: 107-118 [doi]
MuCache: A General Framework for Caching in Microservice GraphsHaoran Zhang, Konstantinos Kallas, Spyros Pavlatos, Rajeev Alur, Sebastian Angel, Vincent Liu 0001. NSDI 2024: 221-238 [doi]
Parametric real-time reasoningRajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi. stoc 1993: 592-601 [doi]
Modeling and analyzing biomolecular networksRajeev Alur, Calin Belta, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, Jonathan Schug. cse, 4(1):20-31, 2002. [doi]
Model Checking of Hierarchical State MachinesRajeev Alur, Mihalis Yannakakis. ESEC/FSE 1998: 175-188 [doi]
Policy Synthesis and Reinforcement Learning for Discounted LTLRajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 0001. cav 2023: 415-435 [doi]
Bounded Model Checking for GSMP Models of Stochastic Real-Time SystemsRajeev Alur, Mikhail Bernadsky. hybrid 2006: 19-33 [doi]
Generating Litmus Tests for Contrasting Memory Consistency ModelsSela Mador-Haim, Rajeev Alur, Milo M. K. Martin. cav 2010: 273-287 [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]
Generating embedded software from hierarchical hybrid modelsRajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky. lctrts 2003: 171-182 [doi]
Parametric temporal logic for model measuring Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled. tocl, 2(3):388-407, 2001. [doi]
Regular combinators for string transformationsRajeev Alur, Adam Freilich, Mukund Raghothaman. csl 2014: 9 [doi]
An Analyzer for Message Sequence ChartsRajeev Alur, Gerard J. Holzmann, Doron Peled. stp, 17(2):70-77, 1996.
Robust Subtask Learning for Compositional GeneralizationKishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur. icml 2023: 15371-15387 [doi]
Relational Query Synthesis ⋈ Decision Tree LearningAaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik. pvldb, 17(2):250-263, 2023. [doi]
Streamable regular transductionsRajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford. TCS, 807:15-41, 2020. [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.
Scenario-based programming for SDN policiesYifei Yuan, Dong Lin, Rajeev Alur, Boon Thau Loo. conext 2015: [doi]
Mobius: Synthesizing Relational Queries with Recursive and Invented PredicatesAalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman. PACMPL, 7(OOPSLA2):1394-1417, October 2023. [doi]
Model Checking on Trees with Path EquivalencesRajeev Alur, Pavol Cerný, Swarat Chaudhuri. TACAS 2007: 664-678 [doi]
Formal verification of hybrid systemsRajeev Alur. emsoft 2011: 273-278 [doi]
Compositional Refinement for Hierarchical Hybrid SystemsRajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky. hybrid 2001: 33-48 [doi]
Synthesis Through UnificationRajeev Alur, Pavol Cerný, Arjun Radhakrishna. cav 2015: 163-179 [doi]
Efficient Formal Verification of Hierarchical DescriptionsRajeev Alur. fsttcs 1998: 269
Realizability and verification of MSC graphsRajeev Alur, Kousha Etessami, Mihalis Yannakakis. TCS, 331(1):97-114, 2005. [doi]
Local Liveness for Compositional Modeling of Fair Reactive SystemsRajeev Alur, Thomas A. Henzinger. cav 1995: 166-179
Symbolic Compositional Verification by Learning AssumptionsRajeev Alur, P. Madhusudan, Wonhong Nam. cav 2005: 548-562 [doi]
Representation dependence testing using program inversionAditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam. FSE 2010: 277-286 [doi]
Next Heuristic for On-the-Fly Model CheckingRajeev Alur, Bow-Yaw Wang. concur 1999: 98-113 [doi]
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot CoordinationRajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar, Insup Lee. FM 1999: 212-232 [doi]
IntroductionRajeev Alur, Thomas A. Henzinger. fmsd, 15(1):5, 1999.
Finitary FairnessRajeev Alur, Thomas A. Henzinger. lics 1994: 52-61
Case study: verifying the safety of an autonomous racing car with a neural network controllerRadoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee. hybrid 2020: [doi]
Modular refinement of hierarchic reactive machinesRajeev Alur, Radu Grosu. TOPLAS, 26(2):339-369, 2004. [doi]
Compositional Reinforcement Learning from Logical SpecificationsKishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur. nips 2021: 10026-10039 [doi]
Adding nesting structure to wordsRajeev Alur, P. Madhusudan. JACM, 56(3), 2009. [doi]
Regular Functions and Cost Register AutomataRajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan. lics 2013: 13-22 [doi]
Verifying Abstractions of Timed SystemsSerdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton. concur 1996: 546-562
Automated Analysis of Java Methods for ConfidentialityPavol Cerný, Rajeev Alur. cav 2009: 173-187 [doi]
Closed-loop verification of medical devices with model abstraction and refinementZhihao Jiang, Miroslav Pajic, Rajeev Alur, Rahul Mangharam. STTT, 16(2):191-213, 2014. [doi]
Alternating-time Temporal LogicRajeev Alur, Thomas A. Henzinger, Orna Kupferman. focs 1997: 100-109 [doi]
Instrumenting C Programs with Nested Word MonitorsSwarat Chaudhuri, Rajeev Alur. spin 2007: 279-283 [doi]
Automatic Completion of Distributed Protocols with SymmetryRajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa. cav 2015: 395-412 [doi]
A fixpoint calculus for local and global program flowsRajeev Alur, Swarat Chaudhuri, P. Madhusudan. POPL 2006: 153-165 [doi]
Modeling and Verification of a Dual Chamber Implantable PacemakerZhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam. TACAS 2012: 188-203 [doi]
Dispatch Sequences for Embedded Control ModelsRajeev Alur, Arun Chandrashekharapuram. rtas 2005: 508-518 [doi]
CheckFence: checking consistency of concurrent data types on relaxed memory modelsSebastian Burckhardt, Rajeev Alur, Milo M. K. Martin. PLDI 2007: 12-21 [doi]
Litmus tests for comparing memory consistency models: how long do they need to be?Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin. dac 2011: 504-509 [doi]
A Robust Theory of Series Parallel GraphsRajeev Alur, Caleb Stanford, Christopher Watson. PACMPL, 7(POPL):1058-1088, January 2023. [doi]
Stream processing with dependency-guided synchronizationKonstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur. ppopp 2022: 1-16 [doi]
Membership Questions for Timed and Hybrid AutomataRajeev Alur, Robert P. Kurshan, Mahesh Viswanathan. rtss 1998: 254-263 [doi]
Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report)Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen. ICSE 1997: 514-524 [doi]
Derivatives of Quantitative Regular ExpressionsRajeev Alur, Konstantinos Mamouras, Dogan Ulus. BIRTHDAY 2017: 75-95 [doi]
Compression of Partially Ordered StringsRajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis. concur 2003: 42-56 [doi]
Automating Modular VerificationRajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang. concur 1999: 82-97 [doi]
Polyhedral Flows in Hybrid AutomataRajeev Alur, Sampath Kannan, Salvatore La Torre. fmsd, 24(3):261-280, 2004. [doi]
Modular Strategies for Recursive Game GraphsRajeev Alur, Salvatore La Torre, P. Madhusudan. TACAS 2003: 363-378 [doi]
Automatic Symbolic Verification of Embedded SystemsRajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho. rtss 1993: 2-11
Robust stability of multi-hop control networksGera Weiss, Alessandro D Innocenzo, Rajeev Alur, Karl Henrik Johansson, George J. Pappas. cdc 2009: 2210-2215 [doi]
An implementation of three algorithms for timing verification based on automata emptinessRajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi. rtss 1992: 157-166 [doi]
Streaming Tree TransducersRajeev Alur, Loris D'Antoni. icalp 2012: 42-53 [doi]
Model Checking: From Tools to TheoryRajeev Alur. spin 2008: 89-106 [doi]
Specification-Guided Learning of Nash Equilibria with High Social WelfareKishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur. cav 2022: 343-363 [doi]
Executing Microservice Applications on Serverless, CorrectlyKonstantinos Kallas, Haoran Zhang, Rajeev Alur, Sebastian Angel, Vincent Liu 0001. PACMPL, 7(POPL):367-395, January 2023. [doi]
Heuristics for Hierarchical Partitioning with Application to Model CheckingM. Oliver Möller, Rajeev Alur. charme 2001: 71-85 [doi]
Relational Programming with Foundational ModelsZiyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik. AAAI 2024: 10635-10644 [doi]
Parametric Temporal Logic for Model Measuring Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled. icalp 1999: 159-168 [doi]
Symbolic Analysis for GSMP Models with One Stateful ClockMikhail Bernadsky, Rajeev Alur. hybrid 2007: 90-103 [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]
Formal Analysis of Hierarchical State MachinesRajeev Alur. BIRTHDAY 2003: 42-66 [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]
Verifying Safety of a Token Coherence Implementation by Parametric Compositional RefinementSebastian Burckhardt, Rajeev Alur, Milo M. K. Martin. vmcai 2005: 130-145 [doi]
Automatic Repair for Network ProgramsLei Shi, Yuepeng Wang 0001, Rajeev Alur, Boon Thau Loo. TACAS 2022: 353-372 [doi]
A Composable Specification Language for Reinforcement Learning TasksKishor Jothimurugan, Rajeev Alur, Osbert Bastani. nips 2019: 13021-13030 [doi]
Specification and Analysis of Network Resource Requirements of Control SystemsGera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur. hybrid 2009: 381-395 [doi]
Interfaces for Control ComponentsRajeev Alur. formats 2011: 25 [doi]
TYGR: Type Inference on Stripped Binaries using Graph Neural NetworksChang Zhu, Ziyang Li, Anton Xue, Ati Priya Bajaj, Wil Gibbs, Yibo Liu, Rajeev Alur, Tiffany Bao, Hanjun Dai, Adam Doupé, Mayur Naik, Yan Shoshitaishvili, Ruoyu Wang 0001, Aravind Machiry. uss 2024: [doi]
Automata For Modeling Real-Time SystemsRajeev Alur, David L. Dill. icalp 1990: 322-335
Alternating-Time Temporal LogicRajeev Alur, Thomas A. Henzinger, Orna Kupferman. SC 1998: 23-60 [doi]
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.
Real-Time Decision Policies With Predictable PerformanceHoussam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alena Rodionova. pieee, 106(9):1593-1615, 2018. [doi]
A Really Temporal LogicRajeev Alur, Thomas A. Henzinger. focs 1989: 164-169
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic DecompositionWonhong Nam, Rajeev Alur. ATVA 2006: 170-185 [doi]
Tutorial I: Syntax-guided synthesisRajeev Alur. memocode 2013: 189-194 [doi]
A model-based approach to integrating security policies for embedded devicesMichael McDougall, Rajeev Alur, Carl A. Gunter. emsoft 2004: 211-219 [doi]
Illustrated Landmark Graphs for Long-horizon Policy LearningChristopher Watson, Arjun Krishna, Rajeev Alur, Dinesh Jayaraman. tmlr, 2025, 2025. [doi]
Modular strategies for recursive game graphsRajeev Alur, Salvatore La Torre, P. Madhusudan. TCS, 354(2):230-249, 2006. [doi]
Reactive ModulesRajeev Alur, Thomas A. Henzinger. fmsd, 15(1):7-48, 1999.
Efficient Reachability Analysis of Hierarchical Reactive MachinesRajeev Alur, Radu Grosu, Michael McDougall. cav 2000: 280-295
Abstract Value Iteration for Hierarchical Reinforcement LearningKishor Jothimurugan, Osbert Bastani, Rajeev Alur. aistats 2021: 1162-1170 [doi]
An Axiomatic Memory Model for POWER MultiprocessorsSela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams. cav 2012: 495-512 [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.
Compositional Learning and Verification of Neural Network ControllersRadoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani. tecs, 20(5s), 2021. [doi]
Schedulability of Bounded-Rate Multimode SystemsRajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi. tecs, 16(3), 2017. [doi]
Hierarchical Hybrid Modeling of Embedded SystemsRajeev Alur, Thao Dang, Joel M. Esposito, Rafael B. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky. emsoft 2001: 14-31 [doi]
Real-Time System = Discrete System + Clock VariablesRajeev Alur, Thomas A. Henzinger. STTT, 1(1-2):86-109, 1997. [doi]
Understanding the Effectiveness of Large Language Models in Detecting Security VulnerabilitiesAvishree Khare, Saikat Dutta 0001, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik. icst 2025: 103-114 [doi]
Verifying Network Protocol Implementations by Symbolic Refinement CheckingRajeev Alur, Bow-Yaw Wang. cav 2001: 169-181 [doi]
Temporal Reasoning for Procedural ProgramsRajeev Alur, Swarat Chaudhuri. vmcai 2010: 45-60 [doi]
Regular Transformations (Dagstuhl Seminar 23202)Rajeev Alur, Mikolaj Bojanczyk, Emmanuel Filiot, Anca Muscholl, Sarah Winter. dagstuhl-reports, 13(5):96-113, 2023. [doi]
On the feasibility of automation for bandwidth allocation problems in data centersYifei Yuan, Anduo Wang, Rajeev Alur, Boon Thau Loo. FMCAD 2013: 42-45 [doi]
Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model PreconditioningRadoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee. cav 2021: 249-262 [doi]
Inference of message sequence chartsRajeev Alur, Kousha Etessami, Mihalis Yannakakis. ICSE 2000: 304-313 [doi]
JMOCHA: A Model Checking Tool that Exploits Design StructureRajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang. ICSE 2001: 835-836
Specification-Guided Reinforcement LearningKishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur. neus 2025: 316-330 [doi]
The Observational Power of ClocksRajeev Alur, Costas Courcoubetis, Thomas A. Henzinger. concur 1994: 162-177
Decision Problems for Additive Regular FunctionsRajeev Alur, Mukund Raghothaman. icalp 2013: 37-48 [doi]
Games for formal design and verification of reactive systemsRajeev Alur. memocode 2006: 3 [doi]
Time-triggered implementations of dynamic controllersTruong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard. emsoft 2006: 2-11 [doi]
An Analyser for Mesage Sequence ChartsRajeev Alur, Gerard J. Holzmann, Doron Peled. TACAS 1996: 35-48
Logicbreaks: A Framework for Understanding Subversion of Rule-based InferenceAnton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong 0001. iclr 2025: [doi]
Marrying Words and TreesRajeev Alur. amast 2008: 1 [doi]
Can we verify cyber-physical systems?: technical perspectiveRajeev Alur. CACM, 56(10):96, 2013. [doi]
TRANSIT: specifying protocols with concolic snippetsAbhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur. PLDI 2013: 287-296 [doi]
Partial-Order Reduction in Symbolic State Space ExplorationRajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani. cav 1997: 340-351
Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural NetworksAnton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur. cdc 2022: 3389-3396 [doi]
Inference of Message Sequence ChartsRajeev Alur, Kousha Etessami, Mihalis Yannakakis. TSE, 29(7):623-633, 2003. [doi]
Languages of Nested TreesRajeev Alur, Swarat Chaudhuri, P. Madhusudan. cav 2006: 329-342 [doi]
NetEgg: Programming Network Policies by ExamplesYifei Yuan, Rajeev Alur, Boon Thau Loo. hotnets 2014: [doi]
Synthesis of interface specifications for Java classesRajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam. POPL 2005: 98-109 [doi]
Playing Games with Boxes and DiamondsRajeev Alur, Salvatore La Torre, P. Madhusudan. concur 2003: 127-141 [doi]
Syntax-Guided SynthesisRajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg 0001, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shamwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa. In Maximilian Irlbeck, Doron Peled, Alexander Pretschner, editors, Dependable Software Systems Engineering. Volume 40 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 1-25, IOS Press, 2015. [doi]
Timing Verification by Successive ApproximationRajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis. iandc, 118(1):142-157, April 1995.
Data-trace types for distributed stream processing systemsKonstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen. PLDI 2019: 670-685 [doi]
Logics and Models of Real Time: A SurveyRajeev Alur, Thomas A. Henzinger. rex 1992: 74-106
Communicating Hierarchical State MachinesRajeev Alur, Sampath Kannan, Mihalis Yannakakis. icalp 1999: 169-178 [doi]
Finitary FairnessRajeev Alur, Thomas A. Henzinger. TOPLAS, 20(6):1171-1194, 1998. [doi]
Trends and Challenges in Algorithmic Software VerificationRajeev Alur. vstte 2008: 245-250 [doi]
Predicate abstraction for reachability analysis of hybrid systemsRajeev Alur, Thao Dang, Franjo Ivancic. tecs, 5(1):152-199, 2006. [doi]
Model-Checking for Real-Time SystemsRajeev Alur, Costas Courcoubetis, David L. Dill. lics 1990: 414-425
Undecidability of Partial Order LogicsRajeev Alur, Doron Peled. ipl, 69(3):137-143, 1999. [doi]
Exploiting Behavioral Hierarchy for Efficient Model CheckingRajeev Alur, Michael McDougall, Zijiang Yang. cav 2002: 338-342 [doi]
Back to the Future: Towards a Theory of Timed Regular LanguagesRajeev Alur, Thomas A. Henzinger. focs 1992: 177-186
Minimization of Timed Transition SystemsRajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi. concur 1992: 340-354
Time-adaptive algorithms for synchronizationRajeev Alur, Hagit Attiya, Gadi Taubenfeld. stoc 1994: 800-809 [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.
The Benefits of Exposing Calls and ReturnsRajeev Alur. concur 2005: 2-3 [doi]
Compositional Modeling and Analysis of Multi-Hop Control NetworksRajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss. tac, 56(10):2345-2357, 2011. [doi]
Ranking Automata and Games for Prioritized RequirementsRajeev Alur, Aditya Kanade, Gera Weiss. cav 2008: 240-253 [doi]
2010 CAV award announcementOrna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur. fmsd, 40(2):117-120, 2012. [doi]
Software model checking using languages of nested treesRajeev Alur, Swarat Chaudhuri, P. Madhusudan. TOPLAS, 33(5):15, 2011. [doi]
Model Checking of Message Sequence ChartsRajeev Alur, Mihalis Yannakakis. concur 1999: 114-129 [doi]
Compositional modeling and refinement for hierarchical hybrid systemsRajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky. jlp, 68(1-2):105-128, 2006. [doi]
Static detection of uncoalesced accesses in GPU programsRajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania. fmsd, 60(1):1-32, February 2022. [doi]
Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USARajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag, editors, Volume 1066 of Lecture Notes in Computer Science, Springer, 1996.
The Benefits of Relaxing PunctualityRajeev Alur, Tomás Feder, Thomas A. Henzinger. JACM, 43(1):116-146, 1996. [doi]
Computer-aided verification of reactive systemsRajeev Alur. sigsoft, 25(1):32-33, 2000. [doi]
A Framework and Architecture for Multirobot CoordinationRajeev Alur, Aveek K. Das, Joel M. Esposito, Rafael B. Fierro, Gregory Z. Grudic, Yerang Hur, Vijay Kumar, Insup Lee, J. P. Lee, James P. Ostrowski, George J. Pappas, Ben Southall, John R. Spletzer, Camillo J. Taylor. iser 2001: 303-312 [doi]
Reactive ModulesRajeev Alur, Thomas A. Henzinger. lics 1996: 207-218
IntroductionRajeev Alur, Thomas A. Henzinger. fmsd, 14(3):235, 1999.
Compositional and symbolic synthesis of reactive controllers for multi-agent systemsRajeev Alur, Salar Moarref, Ufuk Topcu. iandc, 261(Part):616-633, 2018. [doi]
The Benefits of Relaxing PunctualityRajeev Alur, Tomás Feder, Thomas A. Henzinger. podc 1991: 139-152
Symbolic computational techniques for solving gamesP. Madhusudan, Wonhong Nam, Rajeev Alur. ENTCS, 89(4):578-592, 2003. [doi]
On Omega-Languages Defined by Mean-Payoff ConditionsRajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss. fossacs 2009: 333-347 [doi]
Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, ProceedingsRajeev Alur, Thomas A. Henzinger, editors, Volume 1102 of Lecture Notes in Computer Science, Springer, 1996.
Realizability and Verification of MSC GraphsRajeev Alur, Kousha Etessami, Mihalis Yannakakis. icalp 2001: 797-808 [doi]
Data-Efficient Learning with Neural ProgramsAlaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong 0001. nips 2024: [doi]
Counterexample-guided predicate abstraction of hybrid systemsRajeev Alur, Thao Dang, Franjo Ivancic. TCS, 354(2):250-271, 2006. [doi]
Compositional Synthesis with Parametric Reactive ControllersRajeev Alur, Salar Moarref, Ufuk Topcu. hybrid 2016: 215-224 [doi]
Algorithmic analysis of array-accessing programsRajeev Alur, Pavol Cerný, Scott Weinstein. tocl, 13(3):27, 2012. [doi]
Contention-free Complexity of Shared Memory AlgorithmsRajeev Alur, Gadi Taubenfeld. podc 1994: 61-70
Congruences for Visibly Pushdown LanguagesRajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan. icalp 2005: 1102-1114 [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]
Optimal paths in weighted timed automataRajeev Alur, Salvatore La Torre, George J. Pappas. TCS, 318(3):297-322, 2004. [doi]
A Really Temporal LogicRajeev Alur, Thomas A. Henzinger. JACM, 41(1):181-204, 1994. [doi]
Symbolic Exploration of transition HierarchiesRajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani. TACAS 1998: 330-344 [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.
IntroductionRajeev Alur, Thomas A. Henzinger. iandc, 164(2):233, 2001.
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy ChannelsJay Thakkar, Aditya Kanade, Rajeev Alur. forte 2013: 209-224 [doi]
NetEgg: A Scenario-Based Programming Toolkit for SDN PoliciesYifei Yuan, Dong Lin, Siri Anil, Harsh Verma, Anirudh Chelluri, Rajeev Alur, Boon Thau Loo. ton, 26(5):2104-2117, 2018. [doi]
Time-Triggered Implementations of Dynamic ControllersTruong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard. tecs, 11(S2):58, 2012. [doi]
Visibly pushdown languagesRajeev Alur, P. Madhusudan. stoc 2004: 202-211 [doi]
Towards synthesis of platform-aware attack-resilient control systems: extended abstractMiroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee. hicons 2013: 75-76 [doi]
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.
Expressiveness of streaming string transducersRajeev Alur, Pavol Cerný. fsttcs 2010: 1-12 [doi]
Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive SynthesisRajeev Alur, Salar Moarref, Ufuk Topcu. TACAS 2015: 501-516 [doi]
The Theory of Timed AutomataRajeev Alur, David L. Dill. rex 1992: 45-73
Deciding Global Partial-Order PropertiesRajeev Alur, Kenneth L. McMillan, Doron Peled. icalp 1998: 41-52 [doi]
Distinguishing tests for nondeterministic and probabilistic machinesRajeev Alur, Costas Courcoubetis, Mihalis Yannakakis. stoc 1995: 363-372 [doi]
Chordal sparsity for SDP-based neural network verificationAnton Xue, Lars Lindemann, Rajeev Alur. automatica, 161:111487, 2024. [doi]
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid SystemsRajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho. hybrid 1993: 209-229
Perturbed Timed AutomataRajeev Alur, Salvatore La Torre, P. Madhusudan. hybrid 2005: 70-85 [doi]
Model-Checking of Causality PropertiesRajeev Alur, Doron Peled, Wojciech Penczek. lics 1995: 90-100
Structured Modeling of Concurrent Stochastic Hybrid SystemsMikhail Bernadsky, Raman Sharykin, Rajeev Alur. formats 2004: 309-324 [doi]
On-the-Fly Reachability and Cycle Detection for Recursive State MachinesRajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan. TACAS 2005: 61-76 [doi]
Synthesizing Finite-State Protocols from Scenarios and RequirementsRajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa. hvc 2014: 75-91 [doi]
Model checking of hierarchical state machinesRajeev Alur, Mihalis Yannakakis. TOPLAS, 23(3):273-303, 2001. [doi]
Continuous-Time Models for System Design and AnalysisRajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikucionis. In VIDEO: Lecture Notes in Computer Science Celebrates 10,000th Manuscript!. Volume 10000 of Lecture Notes in Computer Science, pages 452-477, Springer, 2019. [doi]
Stability Guarantees for Feature Attributions with Multiplicative SmoothingAnton Xue, Rajeev Alur, Eric Wong 0001. nips 2023: [doi]
Verifying Automata Specifications of Probabilistic Real-time SystemsRajeev Alur, Costas Courcoubetis, David L. Dill. rex 1992: 28-44
Hybrid Modeling and Simulation of Biomolecular NetworksRajeev Alur, Calin Belta, Franjo Ivancic. hybrid 2001: 19-32 [doi]
Deciding Global Partial-Order PropertiesRajeev Alur, Kenneth L. McMillan, Doron Peled. fmsd, 26(1):7-25, 2005. [doi]
Modular Specification of Hybrid Systems in CHARONRajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee. hybrid 2000: 6-19 [doi]
Symbolic Visibly Pushdown AutomataLoris D'Antoni, Rajeev Alur. cav 2014: 209-225 [doi]
How to Share an Object: A Fast Timing-Based SolutionRajeev Alur, Gadi Taubenfeld. spdp 1993: 470-477
Next Steps in Formal VerificationRajeev Alur. ACM Comput. Surv., 28(4es):115, 1996.
A Framework for Transforming Specifications in Reinforcement LearningRajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan. BIRTHDAY 2022: 604-624 [doi]
The Algorithmic Analysis of Hybrid SystemsRajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine. TCS, 138(1):3-34, 1995. [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]
Performance Evaluation and PredictionAllen D. Malony, Rajeev Alur. europar 1998: 191-192 [doi]
Precise piecewise affine models from input-output dataRajeev Alur, Nimit Singhania. emsoft 2014: 1-10 [doi]
Event-Clock Automata: A Determinizable Class of Timed AutomataRajeev Alur, Limor Fix, Thomas A. Henzinger. TCS, 211(1-2):253-273, 1999. [doi]
Alternating Refinement RelationsRajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi. concur 1998: 163-178 [doi]
Alternating-time temporal logicRajeev Alur, Thomas A. Henzinger, Orna Kupferman. JACM, 49(5):672-713, 2002. [doi]
Modular Strategies for Infinite Games on Recursive GraphsRajeev Alur, Salvatore La Torre, P. Madhusudan. cav 2003: 67-79 [doi]
Model-Checking for Probabilistic Real-Time Systems (Extended Abstract)Rajeev Alur, Costas Courcoubetis, David L. Dill. icalp 1991: 115-126
MOCHA: Modularity in Model CheckingRajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran. cav 1998: 521-525
Branching Pushdown Tree AutomataRajeev Alur, Swarat Chaudhuri. fsttcs 2006: 393-404 [doi]
Games for Formal Design and Verification of Reactive SystemsRajeev Alur. ATVA 2004: 1 [doi]
Verisig: verifying safety properties of hybrid systems with neural network controllersRadoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee. hybrid 2019: 169-178 [doi]
GPUDrano: Detecting Uncoalesced Accesses in GPU ProgramsRajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania. cav 2017: 507-525 [doi]
Safe schedulability of bounded-rate multi-mode systemsRajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi. hybrid 2013: 243-252 [doi]
Quantitative Regular Expressions for Monitoring Cardiac ArrhythmiasHoussam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alena Rodionova. cpsweek 2018: 1-2 [doi]
Deterministic generators and games for Ltl fragmentsRajeev Alur, Salvatore La Torre. tocl, 5(1):1-25, 2004. [doi]
Block-Size Independence for GPU ProgramsRajeev Alur, Joseph Devietti, Nimit Singhania. SAS 2018: 107-126 [doi]
Syntax-guided synthesisRajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa. FMCAD 2013: 1-17 [doi]
PrefaceRajeev Alur, Insup Lee. tecs, 4(4):707, 2005. [doi]
Automatic Symbolic Verification of Embedded SystemsRajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho. TSE, 22(3):181-201, 1996. [doi]
Verifying the Safety of Autonomous Systems with Neural Network ControllersRadoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee. tecs, 20(1), 2021. [doi]
On the Complexity of Shortest Path Problems on Discounted Cost GraphsRajeev Alur, Sampath Kannan, Kevin Tian, Yifei Yuan. LATA 2013: 44-55 [doi]
Interfaces for Stream Processing SystemsRajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen. BIRTHDAY 2018: 38-60 [doi]
Detecting security leaks in hybrid systems with information flow analysisLuan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur. memocode 2019: [doi]
Nondeterministic Streaming String TransducersRajeev Alur, Jyotirmoy V. Deshmukh. icalp 2011: 1-20 [doi]
Automata Tutor and what we learned from building an online teaching toolLoris D'Antoni, Matthew Weavery, Alexander Weinert, Rajeev Alur. eatcs, 117, 2015. [doi]
Relating average and discounted costs for quantitative analysis of timed systemsRajeev Alur, Ashutosh Trivedi. emsoft 2011: 165-174 [doi]
Timing Verification by Successive ApproximationRajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis. cav 1993: 137-150
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]
Space-efficient Query Evaluation over Probabilistic Event StreamsRajeev Alur, Yu Chen, Kishor Jothimurugan, Sanjeev Khanna. lics 2020: 74-87 [doi]
Correctness in Stream Processing: Challenges and OpportunitiesCaleb Stanford, Konstantinos Kallas, Rajeev Alur. cidr 2022: [doi]
Search-based program synthesisRajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama. CACM, 61(12):84-93, 2018. [doi]
Colored Nested WordsRajeev Alur, Dana Fisman. LATA 2016: 143-155 [doi]
Adding Nesting Structure to WordsRajeev Alur, P. Madhusudan. dlt 2006: 1-13 [doi]
StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming dataKonstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna. PLDI 2017: 693-708 [doi]
An Introduction to the StreamQRE LanguageRajeev Alur, Konstantinos Mamouras. In Dependable Software Systems Engineering. pages 1-24, 2017. [doi]
Automata Based Interfaces for Control and SchedulingGera Weiss, Rajeev Alur. hybrid 2007: 601-613 [doi]
Automatic symbolic compositional verification by learning assumptionsWonhong Nam, P. Madhusudan, Rajeev Alur. fmsd, 32(3):207-234, 2008. [doi]
Keynote talk I: Syntax-guided synthesisRajeev Alur. memocode 2015: 1 [doi]
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving ResiliencyLuan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur. memocode 2020: 1-12 [doi]
Algorithmic Analysis of Array-Accessing ProgramsRajeev Alur, Pavol CernÃ½, Scott Weinstein. csl 2009: 86-101 [doi]
Deterministic Generators and Games for LTL FragmentsRajeev Alur, Salvatore La Torre. lics 2001: 291-302
Analysis of Recursive State MachinesRajeev Alur, Kousha Etessami, Mihalis Yannakakis. cav 2001: 207-220 [doi]
IntroductionRajeev Alur, George J. Pappas. fmsd, 32(1):1, 2008. [doi]
2011 CAV award announcementMoshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska. fmsd, 41(1):1-2, 2012. [doi]
Theory in practice for system design and verificationRajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi. siglog, 2(1):46-51, 2015. [doi]
DiffStream: differential output testing for stream processing programsKonstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur. PACMPL, 4(OOPSLA), 2020. [doi]
Automata-Based Stream ProcessingRajeev Alur, Konstantinos Mamouras, Caleb Stanford. icalp 2017: [doi]
Dispatch sequences for embedded control modelsRajeev Alur, Arun Chandrashekharapuram. jcss, 73(2):156-170, 2007. [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Rajeev Alur's Profile

Unidentified Publications