| 2025 | ICLR | Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference. | Anton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong |
| 2025 | ICST | Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities. | Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik |
| 2024 | AAAI | Relational Programming with Foundational Models. | Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik |
| 2024 | NSDI | MuCache: A General Framework for Caching in Microservice Graphs. | Haoran Zhang, Konstantinos Kallas, Spyros Pavlatos, Rajeev Alur, Sebastian Angel, Vincent Liu |
| 2023 | CAV | Policy Synthesis and Reinforcement Learning for Discounted LTL. | Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi |
| 2023 | ICML | Robust Subtask Learning for Compositional Generalization. | Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur |
| 2022 | CAV | Specification-Guided Learning of Nash Equilibria with High Social Welfare. | Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur |
| 2022 | CIDR | Correctness in Stream Processing: Challenges and Opportunities. | Caleb Stanford, Konstantinos Kallas, Rajeev Alur |
| 2022 | PPoPP | Stream processing with dependency-guided synchronization. | Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur |
| 2022 | TACAS | Automatic Repair for Network Programs. | Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo |
| 2021 | AISTATS | Abstract Value Iteration for Hierarchical Reinforcement Learning. | Kishor Jothimurugan, Osbert Bastani, Rajeev Alur |
| 2021 | CAV | Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. | Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee |
| 2021 | PLDI | Example-guided synthesis of relational queries. | Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman |
| 2021 | PODS | Synchronization Schemas. | Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue |
| 2021 | TACAS | Network Traffic Classification by Program Synthesis. | Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur |
| 2020 | LICS | Space-efficient Query Evaluation over Probabilistic Event Streams. | Rajeev Alur, Yu Chen, Kishor Jothimurugan, Sanjeev Khanna |
| 2020 | MEMOCODE | REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. | Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur |
| 2019 | MEMOCODE | Detecting security leaks in hybrid systems with information flow analysis. | Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur |
| 2019 | PLDI | Data-trace types for distributed stream processing systems. | Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen |
| 2018 | PLDI | Accelerating search-based program synthesis using learned probabilistic models. | Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik |
| 2018 | SAS | Block-Size Independence for GPU Programs. | Rajeev Alur, Joseph Devietti, Nimit Singhania |
| 2017 | CAV | GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. | Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania |
| 2017 | ICALP | Automata-Based Stream Processing. | Rajeev Alur, Konstantinos Mamouras, Caleb Stanford |
| 2017 | PLDI | StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. | Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna |
| 2017 | SIGCOMM | Quantitative Network Monitoring with NetQRE. | Yifei Yuan, Dong Lin, Ankit Mishra, Sajal Marwaha, Rajeev Alur, Boon Thau Loo |
| 2017 | TACAS | Scaling Enumerative Program Synthesis via Divide and Conquer. | Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa |
| 2016 | CAV | Compositional Synthesis of Reactive Controllers for Multi-agent Systems. | Rajeev Alur, Salar Moarref, Ufuk Topcu |
| 2016 | CSL | Hedging Bets in Markov Decision Processes. | Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania |
| 2016 | ESOP | Regular Programming for Quantitative Properties of Data Streams. | Rajeev Alur, Dana Fisman, Mukund Raghothaman |
| 2016 | LATA | Colored Nested Words. | Rajeev Alur, Dana Fisman |
| 2015 | CAV | Synthesis Through Unification. | Rajeev Alur, Pavol Cern, Arjun Radhakrishna |
| 2015 | CAV | Automatic Completion of Distributed Protocols with Symmetry. | Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa |
| 2015 | CoNEXT | Scenario-based programming for SDN policies. | Yifei Yuan, Dong Lin, Rajeev Alur, Boon Thau Loo |
| 2015 | MEMOCODE | Keynote talk I: Syntax-guided synthesis. | Rajeev Alur |
| 2015 | POPL | DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. | Rajeev Alur, Loris D'Antoni, Mukund Raghothaman |
| 2015 | TACAS | Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis. | Rajeev Alur, Salar Moarref, Ufuk Topcu |
| 2014 | CAV | Symbolic Visibly Pushdown Automata. | Loris D'Antoni, Rajeev Alur |
| 2014 | CSL | Regular combinators for string transformations. | Rajeev Alur, Adam Freilich, Mukund Raghothaman |
| 2014 | EMSOFT | Precise piecewise affine models from input-output data. | Rajeev Alur, Nimit Singhania |
| 2014 | HOTNETS | NetEgg: Programming Network Policies by Examples. | Yifei Yuan, Rajeev Alur, Boon Thau Loo |
| 2013 | FMCAD | Syntax-guided synthesis. | Rajeev Alur, Rastislav Bodk, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa |
| 2013 | FMCAD | Counter-strategy guided refinement of GR(1) temporal logic specifications. | Rajeev Alur, Salar Moarref, Ufuk Topcu |
| 2013 | FMCAD | On the feasibility of automation for bandwidth allocation problems in data centers. | Yifei Yuan, Anduo Wang, Rajeev Alur, Boon Thau Loo |
| 2013 | FORTE | Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels. | Jay Thakkar, Aditya Kanade, Rajeev Alur |
| 2013 | ICALP | Decision Problems for Additive Regular Functions. | Rajeev Alur, Mukund Raghothaman |
| 2013 | IJCAI | Automated Grading of DFA Constructions. | Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan |
| 2013 | LATA | On the Complexity of Shortest Path Problems on Discounted Cost Graphs. | Rajeev Alur, Sampath Kannan, Kevin Tian, Yifei Yuan |
| 2013 | LICS | Regular Functions and Cost Register Automata. | Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan |
| 2013 | LICS | From Monadic Second-Order Definable String Transformations to Transducers. | Rajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi |
| 2013 | MEMOCODE | Tutorial I: Syntax-guided synthesis. | Rajeev Alur |
| 2013 | PLDI | TRANSIT: specifying protocols with concolic snippets. | Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur |
| 2012 | CAV | An Axiomatic Memory Model for POWER Multiprocessors. | Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams |
| 2012 | ICALP | Streaming Tree Transducers. | Rajeev Alur, Loris D'Antoni |
| 2012 | LICS | Regular Transformations of Infinite Strings. | Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi |
| 2012 | TACAS | Modeling and Verification of a Dual Chamber Implantable Pacemaker. | Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam |
| 2011 | DAC | Litmus tests for comparing memory consistency models: how long do they need to be? | Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin |
| 2011 | EMSOFT | Formal verification of hybrid systems. | Rajeev Alur |
| 2011 | EMSOFT | Relating average and discounted costs for quantitative analysis of timed systems. | Rajeev Alur, Ashutosh Trivedi |
| 2011 | ICALP | Nondeterministic Streaming String Transducers. | Rajeev Alur, Jyotirmoy V. Deshmukh |
| 2011 | POPL | Streaming transducers for algorithmic verification of single-pass list-processing programs. | Rajeev Alur, Pavol Cern |
| 2011 | WoLLIC | Streaming String Transducers. | Rajeev Alur |
| 2010 | CAV | Model Checking of Linearizability of Concurrent List Implementations. | Pavol Cern, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur |
| 2010 | CAV | Generating Litmus Tests for Contrasting Memory Consistency Models. | Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin |
| 2010 | VMCAI | Temporal Reasoning for Procedural Programs. | Rajeev Alur, Swarat Chaudhuri |
| 2009 | CAV | Automated Analysis of Java Methods for Confidentiality. | Pavol Cern, Rajeev Alur |
| 2009 | CAV | Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. | Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar |
| 2009 | CSL | Algorithmic Analysis of Array-Accessing Programs. | Rajeev Alur, Pavol Cern, Scott Weinstein |
| 2009 | FOSSACS | Temporal Reasoning about Program Executions. | Rajeev Alur |
| 2009 | FOSSACS | On Omega-Languages Defined by Mean-Payoff Conditions. | Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss |
| 2009 | RTAS | Modeling and Analysis of Multi-hop Control Networks. | Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss |
| 2008 | CAV | Ranking Automata and Games for Prioritized Requirements. | Rajeev Alur, Aditya Kanade, Gera Weiss |
| 2008 | EMSOFT | Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. | Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar |
| 2008 | EMSOFT | RTComposer: a framework for real-time components with scheduling interfaces. | Rajeev Alur, Gera Weiss |
| 2008 | RTAS | Regular Specifications of Resource Requirements for Embedded Control Software. | Rajeev Alur, Gera Weiss |
| 2007 | CSR | Marrying Words and Trees. | Rajeev Alur |
| 2007 | LICS | First-Order and Temporal Logics for Nested Words. | Rajeev Alur, Marcelo Arenas, Pablo Barcel, Kousha Etessami, Neil Immerman, Leonid Libkin |
| 2007 | PLDI | CheckFence: checking consistency of concurrent data types on relaxed memory models. | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
| 2007 | PODS | Marrying words and trees. | Rajeev Alur |
| 2007 | TACAS | Model Checking on Trees with Path Equivalences. | Rajeev Alur, Pavol Cern, Swarat Chaudhuri |
| 2006 | ATVA | Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. | Wonhong Nam, Rajeev Alur |
| 2006 | CAV | Languages of Nested Trees. | Rajeev Alur, Swarat Chaudhuri, P. Madhusudan |
| 2006 | CAV | Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study. | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
| 2006 | DLT | Adding Nesting Structure to Words. | Rajeev Alur, P. Madhusudan |
| 2006 | EMSOFT | Time-triggered implementations of dynamic controllers. | Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard |
| 2006 | ICALP | Preserving Secrecy Under Refinement. | Rajeev Alur, Pavol Cern, Steve Zdancewic |
| 2006 | MEMOCODE | Games for formal design and verification of reactive systems. | Rajeev Alur |
| 2006 | POPL | A fixpoint calculus for local and global program flows. | Rajeev Alur, Swarat Chaudhuri, P. Madhusudan |
| 2005 | CAV | Symbolic Compositional Verification by Learning Assumptions. | Rajeev Alur, P. Madhusudan, Wonhong Nam |
| 2005 | CONCUR | The Benefits of Exposing Calls and Returns. | Rajeev Alur |
| 2005 | ICALP | Congruences for Visibly Pushdown Languages. | Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan |
| 2005 | POPL | Synthesis of interface specifications for Java classes. | Rajeev Alur, Pavol Cern, P. Madhusudan, Wonhong Nam |
| 2005 | RTSS | Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. | Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur |
| 2005 | RTAS | Dispatch Sequences for Embedded Control Models. | Rajeev Alur, Arun Chandrashekharapuram |
| 2005 | TACAS | On-the-Fly Reachability and Cycle Detection for Recursive State Machines. | Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan |
| 2005 | VMCAI | Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
| 2004 | ATVA | Games for Formal Design and Verification of Reactive Systems. | Rajeev Alur |
| 2004 | EMSOFT | A model-based approach to integrating security policies for embedded devices. | Michael McDougall, Rajeev Alur, Carl A. Gunter |
| 2004 | FMCAD | Variable Reuse for Efficient Image Computation. | Zijiang Yang, Rajeev Alur |
| 2004 | ICALP | Optimal Reachability for Weighted Timed Games. | Rajeev Alur, Mikhail Bernadsky, P. Madhusudan |
| 2004 | STOC | Visibly pushdown languages. | Rajeev Alur, P. Madhusudan |
| 2004 | TACAS | A Temporal Logic of Nested Calls and Returns. | Rajeev Alur, Kousha Etessami, P. Madhusudan |
| 2003 | CAV | Modular Strategies for Infinite Games on Recursive Graphs. | Rajeev Alur, Salvatore La Torre, P. Madhusudan |
| 2003 | CONCUR | Compression of Partially Ordered Strings. | Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis |
| 2003 | CONCUR | Playing Games with Boxes and Diamonds. | Rajeev Alur, Salvatore La Torre, P. Madhusudan |
| 2003 | TACAS | Counter-Example Guided Predicate Abstraction of Hybrid Systems. | Rajeev Alur, Thao Dang, Franjo Ivancic |
| 2003 | TACAS | Modular Strategies for Recursive Game Graphs. | Rajeev Alur, Salvatore La Torre, P. Madhusudan |
| 2002 | CASES | Predictable programs in barcodes. | Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur |
| 2002 | CAV | Exploiting Behavioral Hierarchy for Efficient Model Checking. | Rajeev Alur, Michael McDougall, Zijiang Yang |
| 2002 | HiPC | Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. | Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb |
| 2001 | CAV | Analysis of Recursive State Machines. | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
| 2001 | CAV | Verifying Network Protocol Implementations by Symbolic Refinement Checking. | Rajeev Alur, Bow-Yaw Wang |
| 2001 | EMSOFT | Hierarchical Hybrid Modeling of Embedded Systems. | Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky |
| 2001 | ICALP | Realizability and Verification of MSC Graphs. | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
| 2001 | ICSE | JMOCHA: A Model Checking Tool that Exploits Design Structure. | Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang |
| 2001 | LICS | Deterministic Generators and Games for LTL Fragments. | Rajeev Alur, Salvatore La Torre |
| 2000 | CAV | Efficient Reachability Analysis of Hierarchical Reactive Machines. | Rajeev Alur, Radu Grosu, Michael McDougall |
| 2000 | CONCUR | Exploiting Hierarchical Structure for Efficient Formal Verification. | Rajeev Alur |
| 2000 | FMCAD | Automated Refinement Checking for Asynchronous Processes. | Rajeev Alur, Radu Grosu, Bow-Yaw Wang |
| 2000 | ICSE | Inference of message sequence charts. | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
| 2000 | POPL | Modular Refinement of Hierarchic Reactive Machines. | Rajeev Alur, Radu Grosu |
| 1999 | CAV | Timed Automata. | Rajeev Alur |
| 1999 | CONCUR | Automating Modular Verification. | Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
| 1999 | CONCUR | "Next" Heuristic for On-the-Fly Model Checking. | Rajeev Alur, Bow-Yaw Wang |
| 1999 | CONCUR | Model Checking of Message Sequence Charts. | Rajeev Alur, Mihalis Yannakakis |
| 1999 | FM | Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. | Rajeev Alur, Joel M. Esposito, Moonjoo Kim, Vijay Kumar, Insup Lee |
| 1999 | ICALP | Communicating Hierarchical State Machines. | Rajeev Alur, Sampath Kannan, Mihalis Yannakakis |
| 1999 | ICALP | Parametric Temporal Logic for "Model Measuring". | Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled |
| 1998 | CAV | MOCHA: Modularity in Model Checking. | Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |
| 1998 | CONCUR | Alternating Refinement Relations. | Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi |
| 1998 | EuroPar | Performance Evaluation and Prediction. | Allen D. Malony, Rajeev Alur |
| 1998 | ICALP | Deciding Global Partial-Order Properties. | Rajeev Alur, Kenneth L. McMillan, Doron A. Peled |
| 1998 | RTSS | Membership Questions for Timed and Hybrid Automata. | Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan |
| 1998 | TACAS | Symbolic Exploration of transition Hierarchies. | Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani |
| 1997 | CAV | Partial-Order Reduction in Symbolic State Space Exploration. | Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani |
| 1997 | CONCUR | Modularity for Timed and Hybrid Systems. | Rajeev Alur, Thomas A. Henzinger |
| 1997 | FOCS | Alternating-time Temporal Logic. | Rajeev Alur, Thomas A. Henzinger, Orna Kupferman |
| 1997 | ICSE | Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report). | Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen |
| 1996 | CONCUR | Verifying Abstractions of Timed Systems. | Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton |
| 1996 | LICS | Reactive Modules. | Rajeev Alur, Thomas A. Henzinger |
| 1996 | LICS | Model-Checking of Correctness Conditions for Concurrent Objects. | Rajeev Alur, Kenneth L. McMillan, Doron A. Peled |
| 1996 | TACAS | An Analyser for Mesage Sequence Charts. | Rajeev Alur, Gerard J. Holzmann, Doron A. Peled |
| 1995 | CAV | Local Liveness for Compositional Modeling of Fair Reactive Systems. | Rajeev Alur, Thomas A. Henzinger |
| 1995 | LICS | Model-Checking of Causality Properties | Rajeev Alur, Doron A. Peled, Wojciech Penczek |
| 1995 | STOC | Distinguishing tests for nondeterministic and probabilistic machines. | Rajeev Alur, Costas Courcoubetis, Mihalis Yannakakis |
| 1994 | CAV | A Determinizable Class of Timed Automata. | Rajeev Alur, Limor Fix, Thomas A. Henzinger |
| 1994 | CONCUR | The Observational Power of Clocks. | Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger |
| 1994 | LICS | Finitary Fairness | Rajeev Alur, Thomas A. Henzinger |
| 1994 | PODC | Contention-free Complexity of Shared Memory Algorithms. | Rajeev Alur, Gadi Taubenfeld |
| 1994 | STOC | Time-adaptive algorithms for synchronization. | Rajeev Alur, Hagit Attiya, Gadi Taubenfeld |
| 1993 | CAV | Computing Accumulated Delays in Real-time Systems. | Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger |
| 1993 | STOC | Parametric real-time reasoning. | Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi |
| 1993 | RTSS | Automatic Symbolic Verification of Embedded Systems. | Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho |
| 1992 | CAV | Timing Verification by Successive Approximation. | Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis |
| 1992 | CONCUR | Minimization of Timed Transition Systems. | Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi |
| 1992 | FOCS | Back to the Future: Towards a Theory of Timed Regular Languages | Rajeev Alur, Thomas A. Henzinger |
| 1992 | RTSS | An implementation of three algorithms for timing verification based on automata emptiness. | Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi |
| 1992 | RTSS | Results about Fast Mutual Exclusion. | Rajeev Alur, Gadi Taubenfeld |
| 1991 | ICALP | Model-Checking for Probabilistic Real-Time Systems (Extended Abstract). | Rajeev Alur, Costas Courcoubetis, David L. Dill |
| 1991 | PODC | The Benefits of Relaxing Punctuality. | Rajeev Alur, Toms Feder, Thomas A. Henzinger |
| 1990 | ICALP | Automata For Modeling Real-Time Systems. | Rajeev Alur, David L. Dill |
| 1990 | LICS | Model-Checking for Real-Time Systems | Rajeev Alur, Costas Courcoubetis, David L. Dill |
| 1990 | LICS | Real-time Logics: Complexity and Expressiveness | Rajeev Alur, Thomas A. Henzinger |
| 1989 | FOCS | A Really Temporal Logic | Rajeev Alur, Thomas A. Henzinger |