Rajeev Alur - RankMe

364 papers A* 82A 22B 28C 9Misc 14Journal 130Unranked 72

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	CAMEL: An ECG Language Model for Forecasting Cardiac Events. CoRR Neelay Velingker, Alaia Solko-Breslin, Mayank Keoliya, Seewon Choi, Jiayi Xin, Anika Marathe, Alireza Oraii, Rajat Deo, Sameed Ahmed M. Khatana, Rajeev Alur, Mayur Naik, Eric Wong
2026	J	`jnl`	Specification-Guided Reinforcement Learning. Commun. ACM Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
2025	J	`jnl`	CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning. CoRR Seewon Choi, Alaia Solko-Breslin, Rajeev Alur, Eric Wong
2025	J	`jnl`	Composing Agents to Minimize Worst-case Risk. CoRR Guruprerana Shabadi, Rajeev Alur
2025	J	`jnl`	Illustrated Landmark Graphs for Long-horizon Policy Learning. Trans. Mach. Learn. Res. Christopher Watson, Arjun Krishna, Rajeev Alur, Dinesh Jayaraman
2025	J	`jnl`	LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval. CoRR Avishree Khare, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Rajeev Alur
2025	A*	`conf`	Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference. ICLR Anton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong
2025	J	`jnl`	Report on NSF Workshop on Science of Safe AI. CoRR Rajeev Alur, Greg Durrett, Hadas Kress-Gazit, Corina S. Pasareanu, René Vidal
2025	—	`conf`	Scenario-Based Compositional Verification of Autonomous Systems with Neural Perception. SAIV Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Pasareanu
2025	J	`jnl`	Scenario-based Compositional Verification of Autonomous Systems with Neural Perception. CoRR Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Pasareanu
2025	—	`conf`	Specification-Guided Reinforcement Learning. NeuS Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2025	J	`jnl`	Stable Prediction of Adverse Events in Medical Time-Series Data. CoRR Mayank Keoliya, Seewon Choi, Rajeev Alur, Mayur Naik, Eric Wong
2025	A	`conf`	Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities. ICST Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik
2024	J	`jnl`	Chordal sparsity for SDP-based neural network verification. Autom. Anton Xue, Lars Lindemann, Rajeev Alur
2024	A*	`conf`	Data-Efficient Learning with Neural Programs. NeurIPS Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong
2024	J	`jnl`	Data-Efficient Learning with Neural Programs. CoRR Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong
2024	J	`jnl`	Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference. CoRR Anton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong
2024	Misc	`conf`	MuCache: A General Framework for Caching in Microservice Graphs. NSDI Haoran Zhang, Konstantinos Kallas, Spyros Pavlatos, Rajeev Alur, Sebastian Angel, Vincent Liu
2024	J	`jnl`	Relational Programming with Foundation Models. CoRR Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik
2024	A*	`conf`	Relational Programming with Foundational Models. AAAI Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik
2024	A*	`conf`	TYGR: Type Inference on Stripped Binaries using Graph Neural Networks. USENIX Security Symposium Chang 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, Aravind Machiry
2023	J	`jnl`	A Robust Theory of Series Parallel Graphs. Proc. ACM Program. Lang. Rajeev Alur, Caleb Stanford, Christopher Watson
2023	J	`jnl`	Executing Microservice Applications on Serverless, Correctly. Proc. ACM Program. Lang. Konstantinos Kallas, Haoran Zhang, Rajeev Alur, Sebastian Angel, Vincent Liu
2023	J	`jnl`	Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. Proc. ACM Program. Lang. Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman
2023	—	`conf`	Policy Synthesis and Reinforcement Learning for Discounted LTL. CAV (1) Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2023	J	`jnl`	Policy Synthesis and Reinforcement Learning for Discounted LTL. CoRR Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi
2023	J	`jnl`	Regular Transformations (Dagstuhl Seminar 23202). Dagstuhl Reports Rajeev Alur, Mikolaj Bojanczyk, Emmanuel Filiot, Anca Muscholl, Sarah Winter
2023	J	`jnl`	Relational Query Synthesis ⋈ Decision Tree Learning. Proc. VLDB Endow. Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik
2023	A*	`conf`	Robust Subtask Learning for Compositional Generalization. ICML Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur
2023	J	`jnl`	Robust Subtask Learning for Compositional Generalization. CoRR Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur
2023	A*	`conf`	Stability Guarantees for Feature Attributions with Multiplicative Smoothing. NeurIPS Anton Xue, Rajeev Alur, Eric Wong
2023	J	`jnl`	Stability Guarantees for Feature Attributions with Multiplicative Smoothing. CoRR Anton Xue, Rajeev Alur, Eric Wong
2023	J	`jnl`	Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities. CoRR Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik
2022	—	`conf`	A Framework for Transforming Specifications in Reinforcement Learning. Principles of Systems Design Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
2022	—	`conf`	Automatic Repair for Network Programs. TACAS (2) Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
2022	—	`conf`	Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CDC Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
2022	J	`jnl`	Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks. CoRR Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur
2022	J	`jnl`	Composing Copyless Streaming String Transducers. CoRR Rajeev Alur, Taylor Dohmen, Ashutosh Trivedi
2022	A	`conf`	Correctness in Stream Processing: Challenges and Opportunities. CIDR Caleb Stanford, Konstantinos Kallas, Rajeev Alur
2022	J	`jnl`	Parametric Chordal Sparsity for SDP-based Neural Network Verification. CoRR Anton Xue, Lars Lindemann, Rajeev Alur
2022	—	`conf`	Specification-Guided Learning of Nash Equilibria with High Social Welfare. CAV (2) Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2022	J	`jnl`	Specification-Guided Learning of Nash Equilibria with High Social Welfare. CoRR Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2022	J	`jnl`	Static detection of uncoalesced accesses in GPU programs. Formal Methods Syst. Des. Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania
2022	B	`conf`	Stream processing with dependency-guided synchronization. PPoPP Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
2021	J	`jnl`	A Framework for Transforming Specifications in Reinforcement Learning. CoRR Rajeev Alur, Suguman Bansal, Osbert Bastani, Kishor Jothimurugan
2021	A	`conf`	Abstract Value Iteration for Hierarchical Reinforcement Learning. AISTATS Kishor Jothimurugan, Osbert Bastani, Rajeev Alur
2021	J	`jnl`	Colored nested words. Formal Methods Syst. Des. Rajeev Alur, Dana Fisman
2021	J	`jnl`	Compositional Learning and Verification of Neural Network Controllers. ACM Trans. Embed. Comput. Syst. Radoslav Ivanov, Kishor Jothimurugan, Steve Hsu, Shaan Vaidya, Rajeev Alur, Osbert Bastani
2021	A*	`conf`	Compositional Reinforcement Learning from Logical Specifications. NeurIPS Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2021	J	`jnl`	Compositional Reinforcement Learning from Logical Specifications. CoRR Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur
2021	A*	`conf`	Example-guided synthesis of relational queries. PLDI Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman
2021	—	`conf`	Network Traffic Classification by Program Synthesis. TACAS (1) Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur
2021	J	`jnl`	Orion: Automatic Repair for Network Programs. CoRR Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
2021	J	`jnl`	Stream Processing With Dependency-Guided Synchronization. CoRR Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
2021	A*	`conf`	Synchronization Schemas. PODS Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue
2021	J	`jnl`	Verifying the Safety of Autonomous Systems with Neural Network Controllers. ACM Trans. Embed. Comput. Syst. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2021	—	`conf`	Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. CAV (1) Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2020	J	`jnl`	A Composable Specification Language for Reinforcement Learning Tasks. CoRR Kishor Jothimurugan, Rajeev Alur, Osbert Bastani
2020	J	`jnl`	Abstract Value Iteration for Hierarchical Reinforcement Learning. CoRR Kishor Jothimurugan, Osbert Bastani, Rajeev Alur
2020	—	`conf`	Case study: verifying the safety of an autonomous racing car with a neural network controller. HSCC Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2020	J	`jnl`	Computer-Aided Personalized Education. CoRR Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi
2020	J	`jnl`	DiffStream: differential output testing for stream processing programs. Proc. ACM Program. Lang. Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur
2020	C	`conf`	REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. MEMOCODE Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
2020	J	`jnl`	Session-layer Attack Traffic Classification by Program Synthesis. CoRR Lei Shi, Yahui Li, Rajeev Alur, Boon Thau Loo
2020	A*	`conf`	Space-efficient Query Evaluation over Probabilistic Event Streams. LICS Rajeev Alur, Yu Chen, Kishor Jothimurugan, Sanjeev Khanna
2020	J	`jnl`	Streamable regular transductions. Theor. Comput. Sci. Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
2019	A*	`conf`	A Composable Specification Language for Reinforcement Learning Tasks. NeurIPS Kishor Jothimurugan, Rajeev Alur, Osbert Bastani
2019	J	`jnl`	Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller. CoRR Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2019	—	`ch.`	Continuous-Time Models for System Design and Analysis. Computing and Software Science Rajeev Alur, Mirco Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikucionis
2019	A*	`conf`	Data-trace types for distributed stream processing systems. PLDI Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen
2019	C	`conf`	Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
2019	J	`jnl`	Modular quantitative monitoring. Proc. ACM Program. Lang. Rajeev Alur, Konstantinos Mamouras, Caleb Stanford
2019	J	`jnl`	REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
2019	J	`jnl`	SyGuS-Comp 2018: Results and Analysis. CoRR Rajeev Alur, Dana Fisman, Saswat Padhi, Rishabh Singh, Abhishek Udupa
2019	—	`conf`	Verisig: verifying safety properties of hybrid systems with neural network controllers. HSCC Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2018	A*	`conf`	Accelerating search-based program synthesis using learned probabilistic models. PLDI Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik
2018	B	`conf`	Block-Size Independence for GPU Programs. SAS Rajeev Alur, Joseph Devietti, Nimit Singhania
2018	J	`jnl`	Compositional and symbolic synthesis of reactive controllers for multi-agent systems. Inf. Comput. Rajeev Alur, Salar Moarref, Ufuk Topcu
2018	J	`jnl`	Equilibria in Quantitative Concurrent Games. CoRR Shaull Almagor, Rajeev Alur, Suguman Bansal
2018	—	`conf`	Interfaces for Stream Processing Systems. Principles of Modeling Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen
2018	—	`ch.`	Model Checking Procedural Programs. Handbook of Model Checking Rajeev Alur, Ahmed Bouajjani, Javier Esparza
2018	J	`jnl`	NetEgg: A Scenario-Based Programming Toolkit for SDN Policies. IEEE/ACM Trans. Netw. Yifei Yuan, Dong Lin, Siri Anil, Harsh Verma, Anirudh Chelluri, Rajeev Alur, Boon Thau Loo
2018	—	`conf`	Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. MT@CPSWeek Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
2018	J	`jnl`	Real-Time Decision Policies With Predictable Performance. Proc. IEEE Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
2018	J	`jnl`	Search-based program synthesis. Commun. ACM Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama
2018	J	`jnl`	Streamable Regular Transductions. CoRR Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, Caleb Stanford
2018	J	`jnl`	Verisig: verifying safety properties of hybrid systems with neural network controllers. CoRR Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee
2017	—	`ch.`	An Introduction to the StreamQRE Language. Dependable Software Systems Engineering Rajeev Alur, Konstantinos Mamouras
2017	A*	`conf`	Automata-Based Stream Processing. ICALP Rajeev Alur, Konstantinos Mamouras, Caleb Stanford
2017	J	`jnl`	Automatic Synthesis of Distributed Protocols. SIGACT News Rajeev Alur, Stavros Tripakis
2017	—	`conf`	Derivatives of Quantitative Regular Expressions. Models, Algorithms, Logics and Tools Rajeev Alur, Konstantinos Mamouras, Dogan Ulus
2017	—	`conf`	GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. CAV (1) Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania
2017	A*	`conf`	Quantitative Network Monitoring with NetQRE. SIGCOMM Yifei Yuan, Dong Lin, Ankit Mishra, Sajal Marwaha, Rajeev Alur, Boon Thau Loo
2017	—	`conf`	Scaling Enumerative Program Synthesis via Divide and Conquer. TACAS (1) Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
2017	J	`jnl`	Schedulability of Bounded-Rate Multimode Systems. ACM Trans. Embed. Comput. Syst. Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi
2017	A*	`conf`	StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. PLDI Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna
2017	J	`jnl`	Streaming Tree Transducers. J. ACM Rajeev Alur, Loris D'Antoni
2017	—	`conf`	SyGuS-Comp 2017: Results and Analysis. SYNT@CAV Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2016	C	`conf`	Colored Nested Words. LATA Rajeev Alur, Dana Fisman
2016	—	`conf`	Compositional Synthesis of Reactive Controllers for Multi-agent Systems. CAV (2) Rajeev Alur, Salar Moarref, Ufuk Topcu
2016	—	`conf`	Compositional Synthesis with Parametric Reactive Controllers. HSCC Rajeev Alur, Salar Moarref, Ufuk Topcu
2016	B	`conf`	Hedging Bets in Markov Decision Processes. CSL Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania
2016	A	`conf`	Regular Programming for Quantitative Properties of Data Streams. ESOP Rajeev Alur, Dana Fisman, Mukund Raghothaman
2016	—	`conf`	SyGuS-Comp 2016: Results and Analysis. SYNT@CAV Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2016	J	`jnl`	Systems Computing Challenges in the Internet of Things. CoRR Rajeev Alur, Emery D. Berger, Ann W. Drobnis, Limor Fix, Kevin Fu, Gregory D. Hager, Daniel P. Lopresti, Klara Nahrstedt, Elizabeth D. Mynatt, Shwetak N. Patel, Jennifer Rexford, John A. Stankovic, Benjamin G. Zorn
2015	J	`jnl`	Automata Tutor and what we learned from building an online teaching tool. Bull. EATCS Loris D'Antoni, Matthew Weavery, Alexander Weinert, Rajeev Alur
2015	—	`conf`	Automatic Completion of Distributed Protocols with Symmetry. CAV (2) Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2015	J	`jnl`	Automatic Completion of Distributed Protocols with Symmetry. CoRR Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2015	A*	`conf`	DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. POPL Rajeev Alur, Loris D'Antoni, Mukund Raghothaman
2015	J	`jnl`	How Can Automatic Feedback Help Students Construct Automata? ACM Trans. Comput. Hum. Interact. Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
2015	C	`conf`	Keynote talk I: Syntax-guided synthesis. MEMOCODE Rajeev Alur
2015	A	`conf`	Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis. TACAS Rajeev Alur, Salar Moarref, Ufuk Topcu
2015	—	`conf`	Results and Analysis of SyGuS-Comp'15. SYNT Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2015	A	`conf`	Scenario-based programming for SDN policies. CoNEXT Yifei Yuan, Dong Lin, Rajeev Alur, Boon Thau Loo
2015	—	`ch.`	Syntax-Guided Synthesis. Dependable Software Systems Engineering Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
2015	—	`conf`	Synthesis Through Unification. CAV (2) Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
2015	J	`jnl`	Synthesis through Unification. CoRR Rajeev Alur, Pavol Cerný, Arjun Radhakrishna
2015	J	`jnl`	Theory in practice for system design and verification. ACM SIGLOG News Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi
2014	J	`jnl`	Closed-loop verification of medical devices with model abstraction and refinement. Int. J. Softw. Tools Technol. Transf. Zhihao Jiang, Miroslav Pajic, Rajeev Alur, Rahul Mangharam
2014	Misc	`conf`	NetEgg: Programming Network Policies by Examples. HotNets Yifei Yuan, Rajeev Alur, Boon Thau Loo
2014	Misc	`conf`	Precise piecewise affine models from input-output data. EMSOFT Rajeev Alur, Nimit Singhania
2014	J	`jnl`	Regular Combinators for String Transformations. CoRR Rajeev Alur, Adam Freilich, Mukund Raghothaman
2014	—	`conf`	Regular combinators for string transformations. CSL-LICS Rajeev Alur, Adam Freilich, Mukund Raghothaman
2014	A*	`conf`	Symbolic Visibly Pushdown Automata. CAV Loris D'Antoni, Rajeev Alur
2014	—	`conf`	Synthesizing Finite-State Protocols from Scenarios and Requirements. Haifa Verification Conference Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2014	J	`jnl`	Synthesizing Finite-state Protocols from Scenarios and Requirements. CoRR Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2013	A*	`conf`	Automated Grading of DFA Constructions. IJCAI Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
2013	J	`jnl`	Can we verify cyber-physical systems?: technical perspective. Commun. ACM Rajeev Alur
2013	J	`jnl`	Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications. CoRR Rajeev Alur, Salar Moarref, Ufuk Topcu
2013	B	`conf`	Counter-strategy guided refinement of GR(1) temporal logic specifications. FMCAD Rajeev Alur, Salar Moarref, Ufuk Topcu
2013	J	`jnl`	Decision Problems for Additive Regular Functions CoRR Rajeev Alur, Mukund Raghothaman
2013	—	`conf`	Decision Problems for Additive Regular Functions. ICALP (2) Rajeev Alur, Mukund Raghothaman
2013	A*	`conf`	From Monadic Second-Order Definable String Transformations to Transducers. LICS Rajeev Alur, Antoine Durand-Gasselin, Ashutosh Trivedi
2013	C	`conf`	On the Complexity of Shortest Path Problems on Discounted Cost Graphs. LATA Rajeev Alur, Sampath Kannan, Kevin Tian, Yifei Yuan
2013	B	`conf`	On the feasibility of automation for bandwidth allocation problems in data centers. FMCAD Yifei Yuan, Anduo Wang, Rajeev Alur, Boon Thau Loo
2013	A*	`conf`	Regular Functions and Cost Register Automata. LICS Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan
2013	J	`jnl`	Safe Schedulability of Bounded-Rate Multi-Mode Systems CoRR Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi
2013	—	`conf`	Safe schedulability of bounded-rate multi-mode systems. HSCC Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi
2013	B	`conf`	Syntax-guided synthesis. FMCAD Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
2013	A*	`conf`	TRANSIT: specifying protocols with concolic snippets. PLDI Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur
2013	—	`conf`	Towards synthesis of platform-aware attack-resilient control systems: extended abstract. HiCoNS Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, Insup Lee
2013	—	`conf`	Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels. FMOODS/FORTE Jay Thakkar, Aditya Kanade, Rajeev Alur
2013	C	`conf`	Tutorial I: Syntax-guided synthesis. MEMOCODE Rajeev Alur
2012	J	`jnl`	2010 CAV award announcement. Formal Methods Syst. Des. Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur
2012	J	`jnl`	2011 CAV award announcement. Formal Methods Syst. Des. Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska
2012	J	`jnl`	Algorithmic analysis of array-accessing programs. ACM Trans. Comput. Log. Rajeev Alur, Pavol Cerný, Scott Weinstein
2012	A*	`conf`	An Axiomatic Memory Model for POWER Multiprocessors. CAV Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams
2012	A	`conf`	Modeling and Verification of a Dual Chamber Implantable Pacemaker. TACAS Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, Rahul Mangharam
2012	—	`conf`	Optimal scheduling for constant-rate multi-mode systems. HSCC Rajeev Alur, Ashutosh Trivedi, Dominik Wojtczak
2012	A*	`conf`	Regular Transformations of Infinite Strings. LICS Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi
2012	—	`conf`	Streaming Tree Transducers. ICALP (2) Rajeev Alur, Loris D'Antoni
2012	J	`jnl`	Time-Triggered Implementations of Dynamic Controllers. ACM Trans. Embed. Comput. Syst. Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard
2011	J	`jnl`	Compositional Modeling and Analysis of Multi-Hop Control Networks. IEEE Trans. Autom. Control. Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss
2011	Misc	`conf`	Formal verification of hybrid systems. EMSOFT Rajeev Alur
2011	—	`conf`	Interfaces for Control Components. FORMATS Rajeev Alur
2011	A*	`conf`	Litmus tests for comparing memory consistency models: how long do they need to be? DAC Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
2011	—	`conf`	Nondeterministic Streaming String Transducers. ICALP (2) Rajeev Alur, Jyotirmoy V. Deshmukh
2011	J	`jnl`	Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems CoRR Rajeev Alur, Loris D'Antoni, Jyotirmoy V. Deshmukh, Mukund Raghothaman, Yifei Yuan
2011	Misc	`conf`	Relating average and discounted costs for quantitative analysis of timed systems. EMSOFT Rajeev Alur, Ashutosh Trivedi
2011	J	`jnl`	Software model checking using languages of nested trees. ACM Trans. Program. Lang. Syst. Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
2011	C	`conf`	Streaming String Transducers. WoLLIC Rajeev Alur
2011	J	`jnl`	Streaming Tree Transducers CoRR Rajeev Alur, Loris D'Antoni
2011	A*	`conf`	Streaming transducers for algorithmic verification of single-pass list-processing programs. POPL Rajeev Alur, Pavol Cerný
2010	J	`jnl`	Active Learning of Plans for Safety and Reachability Goals With Partial Observability. IEEE Trans. Syst. Man Cybern. Part B Wonhong Nam, Rajeev Alur
2010	J	`jnl`	Algorithmic Verification of Single-Pass List Processing Programs CoRR Rajeev Alur, Pavol Cerný
2010	—	`conf`	Expressiveness of streaming string transducers. FSTTCS Rajeev Alur, Pavol Cerný
2010	A*	`conf`	Generating Litmus Tests for Contrasting Memory Consistency Models. CAV Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
2010	A*	`conf`	Model Checking of Linearizability of Concurrent List Implementations. CAV Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
2010	—	`conf`	Representation dependence testing using program inversion. SIGSOFT FSE Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam
2010	B	`conf`	Temporal Reasoning for Procedural Programs. VMCAI Rajeev Alur, Swarat Chaudhuri
2009	J	`jnl`	Adding nesting structure to words. J. ACM Rajeev Alur, P. Madhusudan
2009	B	`conf`	Algorithmic Analysis of Array-Accessing Programs. CSL Rajeev Alur, Pavol Cerný, Scott Weinstein
2009	A*	`conf`	Automated Analysis of Java Methods for Confidentiality. CAV Pavol Cerný, Rajeev Alur
2009	A*	`conf`	Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. CAV Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar
2009	A	`conf`	Modeling and Analysis of Multi-hop Control Networks. IEEE Real-Time and Embedded Technology and Applications Symposium Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss
2009	B	`conf`	On Omega-Languages Defined by Mean-Payoff Conditions. FoSSaCS Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss
2009	—	`conf`	Robust stability of multi-hop control networks. CDC Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl Henrik Johansson, George J. Pappas
2009	—	`conf`	Scalable scheduling algorithms for wireless networked control systems. CASE Alessandro D'Innocenzo, Gera Weiss, Rajeev Alur, Alf J. Isaksson, Karl Henrik Johansson, George J. Pappas
2009	—	`conf`	Specification and Analysis of Network Resource Requirements of Control Systems. HSCC Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur
2009	B	`conf`	Temporal Reasoning about Program Executions. FoSSaCS Rajeev Alur
2008	J	`jnl`	Automatic symbolic compositional verification by learning assumptions. Formal Methods Syst. Des. Wonhong Nam, P. Madhusudan, Rajeev Alur
2008	J	`jnl`	First-Order and Temporal Logics for Nested Words CoRR Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
2008	J	`jnl`	First-Order and Temporal Logics for Nested Words. Log. Methods Comput. Sci. Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
2008	J	`jnl`	Introduction. Formal Methods Syst. Des. Rajeev Alur, George J. Pappas
2008	—	`conf`	Marrying Words and Trees. AMAST Rajeev Alur
2008	—	`conf`	Model Checking: From Tools to Theory. 25 Years of Model Checking Rajeev Alur
2008	Misc	`conf`	RTComposer: a framework for real-time components with scheduling interfaces. EMSOFT Rajeev Alur, Gera Weiss
2008	A*	`conf`	Ranking Automata and Games for Prioritized Requirements. CAV Rajeev Alur, Aditya Kanade, Gera Weiss
2008	A	`conf`	Regular Specifications of Resource Requirements for Embedded Control Software. IEEE Real-Time and Embedded Technology and Applications Symposium Rajeev Alur, Gera Weiss
2008	Misc	`conf`	Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. EMSOFT Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar
2007	—	`conf`	Automata Based Interfaces for Control and Scheduling. HSCC Gera Weiss, Rajeev Alur
2007	A*	`conf`	CheckFence: checking consistency of concurrent data types on relaxed memory models. PLDI Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
2007	J	`jnl`	Dispatch sequences for embedded control models. J. Comput. Syst. Sci. Rajeev Alur, Arun Chandrashekharapuram
2007	A*	`conf`	First-Order and Temporal Logics for Nested Words. LICS Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
2007	—	`conf`	Instrumenting C Programs with Nested Word Monitors. SPIN Swarat Chaudhuri, Rajeev Alur
2007	Misc	`conf`	Marrying Words and Trees. CSR Rajeev Alur
2007	A*	`conf`	Marrying words and trees. PODS Rajeev Alur
2007	A	`conf`	Model Checking on Trees with Path Equivalences. TACAS Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
2007	—	`conf`	Symbolic Analysis for GSMP Models with One Stateful Clock. HSCC Mikhail Bernadsky, Rajeev Alur
2006	A*	`conf`	A fixpoint calculus for local and global program flows. POPL Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
2006	C	`conf`	Adding Nesting Structure to Words. Developments in Language Theory Rajeev Alur, P. Madhusudan
2006	—	`conf`	Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems. HSCC Rajeev Alur, Mikhail Bernadsky
2006	A*	`conf`	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study. CAV Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
2006	—	`conf`	Branching Pushdown Tree Automata. FSTTCS Rajeev Alur, Swarat Chaudhuri
2006	J	`jnl`	Compositional modeling and refinement for hierarchical hybrid systems. J. Log. Algebraic Methods Program. Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
2006	J	`jnl`	Counterexample-guided predicate abstraction of hybrid systems. Theor. Comput. Sci. Rajeev Alur, Thao Dang, Franjo Ivancic
2006	C	`conf`	Games for formal design and verification of reactive systems. MEMOCODE Rajeev Alur
2006	A*	`conf`	Languages of Nested Trees. CAV Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
2006	B	`conf`	Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition. ATVA Wonhong Nam, Rajeev Alur
2006	J	`jnl`	Modular strategies for recursive game graphs. Theor. Comput. Sci. Rajeev Alur, Salvatore La Torre, P. Madhusudan
2006	J	`jnl`	Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. Embed. Comput. Syst. Rajeev Alur, Thao Dang, Franjo Ivancic
2006	—	`conf`	Preserving Secrecy Under Refinement. ICALP (2) Rajeev Alur, Pavol Cerný, Steve Zdancewic
2006	Misc	`conf`	Time-triggered implementations of dynamic controllers. EMSOFT Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard
2005	J	`jnl`	Analysis of recursive state machines. ACM Trans. Program. Lang. Syst. Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis
2005	A*	`conf`	Congruences for Visibly Pushdown Languages. ICALP Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
2005	J	`jnl`	Deciding Global Partial-Order Properties. Formal Methods Syst. Des. Rajeev Alur, Kenneth L. McMillan, Doron A. Peled
2005	A	`conf`	Dispatch Sequences for Embedded Control Models. IEEE Real-Time and Embedded Technology and Applications Symposium Rajeev Alur, Arun Chandrashekharapuram
2005	A	`conf`	On-the-Fly Reachability and Cycle Detection for Recursive State Machines. TACAS Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan
2005	—	`conf`	Perturbed Timed Automata. HSCC Rajeev Alur, Salvatore La Torre, P. Madhusudan
2005	J	`jnl`	Preface. ACM Trans. Embed. Comput. Syst. Rajeev Alur, Insup Lee
2005	A	`conf`	Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. RTSS Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur
2005	J	`jnl`	Realizability and verification of MSC graphs. Theor. Comput. Sci. Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
2005	A*	`conf`	Symbolic Compositional Verification by Learning Assumptions. CAV Rajeev Alur, P. Madhusudan, Wonhong Nam
2005	J	`jnl`	Symbolic computational techniques for solving games. Int. J. Softw. Tools Technol. Transf. Rajeev Alur, P. Madhusudan, Wonhong Nam
2005	A*	`conf`	Synthesis of interface specifications for Java classes. POPL Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam
2005	B	`conf`	The Benefits of Exposing Calls and Returns. CONCUR Rajeev Alur
2005	—	`conf`	Trends and Challenges in Algorithmic Software Verification. VSTTE Rajeev Alur
2005	B	`conf`	Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. VMCAI Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
2004	A	`conf`	A Temporal Logic of Nested Calls and Returns. TACAS Rajeev Alur, Kousha Etessami, P. Madhusudan
2004	Misc	`conf`	A model-based approach to integrating security policies for embedded devices. EMSOFT Michael McDougall, Rajeev Alur, Carl A. Gunter
2004	A*	`ed.`	Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings CAV Rajeev Alur, Doron A. Peled
2004	—	`conf`	Decision Problems for Timed Automata: A Survey. SFM Rajeev Alur, P. Madhusudan
2004	J	`jnl`	Deterministic generators and games for Ltl fragments. ACM Trans. Comput. Log. Rajeev Alur, Salvatore La Torre
2004	J	`jnl`	Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. Int. J. Softw. Tools Technol. Transf. Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou
2004	B	`conf`	Games for Formal Design and Verification of Reactive Systems. ATVA Rajeev Alur
2004	—	`ed.`	Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings HSCC Rajeev Alur, George J. Pappas
2004	J	`jnl`	Modular refinement of hierarchic reactive machines. ACM Trans. Program. Lang. Syst. Rajeev Alur, Radu Grosu
2004	A*	`conf`	Optimal Reachability for Weighted Timed Games. ICALP Rajeev Alur, Mikhail Bernadsky, P. Madhusudan
2004	J	`jnl`	Optimal paths in weighted timed automata. Theor. Comput. Sci. Rajeev Alur, Salvatore La Torre, George J. Pappas
2004	J	`jnl`	Polyhedral Flows in Hybrid Automata. Formal Methods Syst. Des. Rajeev Alur, Sampath Kannan, Salvatore La Torre
2004	—	`conf`	Structured Modeling of Concurrent Stochastic Hybrid Systems. FORMATS/FTRTFT Mikhail Bernadsky, Raman Sharykin, Rajeev Alur
2004	B	`conf`	Variable Reuse for Efficient Image Computation. FMCAD Zijiang Yang, Rajeev Alur
2004	A*	`conf`	Visibly pushdown languages. STOC Rajeev Alur, P. Madhusudan
2003	B	`conf`	Compression of Partially Ordered Strings. CONCUR Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis
2003	A	`conf`	Counter-Example Guided Predicate Abstraction of Hybrid Systems. TACAS Rajeev Alur, Thao Dang, Franjo Ivancic
2003	Misc	`ed.`	Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings EMSOFT Rajeev Alur, Insup Lee
2003	—	`conf`	Formal Analysis of Hierarchical State Machines. Verification: Theory and Practice Rajeev Alur
2003	B	`conf`	Generating embedded software from hierarchical hybrid models. LCTES Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky
2003	J	`jnl`	Hierarchical modeling and analysis of embedded systems. Proc. IEEE Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
2003	J	`jnl`	Inference of Message Sequence Charts. IEEE Trans. Software Eng. Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
2003	A*	`conf`	Modular Strategies for Infinite Games on Recursive Graphs. CAV Rajeev Alur, Salvatore La Torre, P. Madhusudan
2003	A	`conf`	Modular Strategies for Recursive Game Graphs. TACAS Rajeev Alur, Salvatore La Torre, P. Madhusudan
2003	B	`conf`	Playing Games with Boxes and Diamonds. CONCUR Rajeev Alur, Salvatore La Torre, P. Madhusudan
2003	—	`conf`	Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. HSCC Rajeev Alur, Thao Dang, Franjo Ivancic
2003	—	`conf`	Symbolic computational techniques for solving games. BMC@CAV P. Madhusudan, Wonhong Nam, Rajeev Alur
2002	J	`jnl`	A Framework and Architecture for Multi-Robot Coordination. Int. J. Robotics Res. Rafael 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
2002	J	`jnl`	Alternating-time temporal logic. J. ACM Rajeev Alur, Thomas A. Henzinger, Orna Kupferman
2002	A*	`conf`	Exploiting Behavioral Hierarchy for Efficient Model Checking. CAV Rajeev Alur, Michael McDougall, Zijiang Yang
2002	J	`jnl`	Modeling and analyzing biomolecular networks. Comput. Sci. Eng. Rajeev Alur, Calin Belta, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, Jonathan Schug
2002	Misc	`conf`	Predictable programs in barcodes. CASES Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur
2002	—	`conf`	Reachability Analysis of Hybrid Systems via Predicate Abstraction. HSCC Rajeev Alur, Thao Dang, Franjo Ivancic
2002	Misc	`conf`	Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. HiPC Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb
2001	A*	`conf`	Analysis of Recursive State Machines. CAV Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
2001	—	`conf`	Compositional Refinement for Hierarchical Hybrid Systems. HSCC Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
2001	A*	`conf`	Deterministic Generators and Games for LTL Fragments. LICS Rajeev Alur, Salvatore La Torre
2001	—	`conf`	Heuristics for Hierarchical Partitioning with Application to Model Checking. CHARME M. Oliver Möller, Rajeev Alur
2001	Misc	`conf`	Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT 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	—	`conf`	Hybrid Modeling and Simulation of Biomolecular Networks. HSCC Rajeev Alur, Calin Belta, Franjo Ivancic
2001	J	`jnl`	Introduction. Inf. Comput. Rajeev Alur, Thomas A. Henzinger
2001	A*	`conf`	JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE 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	J	`jnl`	Model checking of hierarchical state machines. ACM Trans. Program. Lang. Syst. Rajeev Alur, Mihalis Yannakakis
2001	—	`conf`	Optimal Paths in Weighted Timed Automata. HSCC Rajeev Alur, Salvatore La Torre, George J. Pappas
2001	J	`jnl`	Parametric temporal logic for "model measuring". ACM Trans. Comput. Log. Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled
2001	J	`jnl`	Partial-Order Reduction in Symbolic State-Space Exploration. Formal Methods Syst. Des. Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
2001	A*	`conf`	Realizability and Verification of MSC Graphs. ICALP Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
2001	A*	`conf`	Shared Variables Interaction Diagrams. ASE Rajeev Alur, Radu Grosu
2001	A*	`conf`	Verifying Network Protocol Implementations by Symbolic Refinement Checking. CAV Rajeev Alur, Bow-Yaw Wang
2000	—	`conf`	A Framework and Architecture for Multirobot Coordination. ISER Rajeev Alur, Aveek K. Das, Joel M. Esposito, Rafael 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
2000	B	`conf`	Automated Refinement Checking for Asynchronous Processes. FMCAD Rajeev Alur, Radu Grosu, Bow-Yaw Wang
2000	J	`jnl`	Computer-aided verification of reactive systems. ACM SIGSOFT Softw. Eng. Notes Rajeev Alur
2000	J	`jnl`	Discrete abstractions of hybrid systems. Proc. IEEE Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, George J. Pappas
2000	A*	`conf`	Efficient Reachability Analysis of Hierarchical Reactive Machines. CAV Rajeev Alur, Radu Grosu, Michael McDougall
2000	B	`conf`	Exploiting Hierarchical Structure for Efficient Formal Verification. CONCUR Rajeev Alur
2000	A*	`conf`	Inference of message sequence charts. ICSE Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
2000	J	`jnl`	Model-Checking of Correctness Conditions for Concurrent Objects. Inf. Comput. Rajeev Alur, Kenneth L. McMillan, Doron A. Peled
2000	A*	`conf`	Modular Refinement of Hierarchic Reactive Machines. POPL Rajeev Alur, Radu Grosu
2000	—	`conf`	Modular Specification of Hybrid Systems in CHARON. HSCC Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee
1999	B	`conf`	"Next" Heuristic for On-the-Fly Model Checking. CONCUR Rajeev Alur, Bow-Yaw Wang
1999	B	`conf`	Automating Modular Verification. CONCUR Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
1999	A*	`conf`	Communicating Hierarchical State Machines. ICALP Rajeev Alur, Sampath Kannan, Mihalis Yannakakis
1999	J	`jnl`	Event-Clock Automata: A Determinizable Class of Timed Automata. Theor. Comput. Sci. Rajeev Alur, Limor Fix, Thomas A. Henzinger
1999	—	`conf`	Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. World Congress on Formal Methods Rajeev Alur, Joel M. Esposito, Moonjoo Kim, Vijay Kumar, Insup Lee
1999	J	`jnl`	Introduction. Formal Methods Syst. Des. Rajeev Alur, Thomas A. Henzinger
1999	J	`jnl`	Introduction. Formal Methods Syst. Des. Rajeev Alur, Thomas A. Henzinger
1999	B	`conf`	Model Checking of Message Sequence Charts. CONCUR Rajeev Alur, Mihalis Yannakakis
1999	A*	`conf`	Parametric Temporal Logic for "Model Measuring". ICALP Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled
1999	—	`conf`	Polyhedral Flows in Hybrid Automata. HSCC Rajeev Alur, Sampath Kannan, Salvatore La Torre
1999	J	`jnl`	Reactive Modules. Formal Methods Syst. Des. Rajeev Alur, Thomas A. Henzinger
1999	A*	`conf`	Timed Automata. CAV Rajeev Alur
1999	J	`jnl`	Undecidability of Partial Order Logics. Inf. Process. Lett. Rajeev Alur, Doron A. Peled
1998	B	`conf`	Alternating Refinement Relations. CONCUR Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi
1998	A*	`conf`	Deciding Global Partial-Order Properties. ICALP Rajeev Alur, Kenneth L. McMillan, Doron A. Peled
1998	—	`conf`	Efficient Formal Verification of Hierarchical Descriptions. FSTTCS Rajeev Alur
1998	J	`jnl`	Finitary Fairness. ACM Trans. Program. Lang. Syst. Rajeev Alur, Thomas A. Henzinger
1998	A*	`conf`	MOCHA: Modularity in Model Checking. CAV Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
1998	A	`conf`	Membership Questions for Timed and Hybrid Automata. RTSS Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan
1998	—	`conf`	Model Checking of Hierarchical State Machines. SIGSOFT FSE Rajeev Alur, Mihalis Yannakakis
1998	—	`conf`	Performance Evaluation and Prediction. Euro-Par Allen D. Malony, Rajeev Alur
1998	A	`conf`	Symbolic Exploration of transition Hierarchies. TACAS Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani
1997	—	`conf`	Alternating-Time Temporal Logic. COMPOS Rajeev Alur, Thomas A. Henzinger, Orna Kupferman
1997	A*	`conf`	Alternating-time Temporal Logic. FOCS Rajeev Alur, Thomas A. Henzinger, Orna Kupferman
1997	J	`jnl`	Computing Accumulated Delays in Real-time Systems. Formal Methods Syst. Des. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
1997	A*	`conf`	Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report). ICSE Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen
1997	B	`conf`	Modularity for Timed and Hybrid Systems. CONCUR Rajeev Alur, Thomas A. Henzinger
1997	A*	`conf`	Partial-Order Reduction in Symbolic State Space Exploration. CAV Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
1997	J	`jnl`	Real-Time System = Discrete System + Clock Variables. Int. J. Softw. Tools Technol. Transf. Rajeev Alur, Thomas A. Henzinger
1997	J	`jnl`	Time-Adaptive Algorithms for Synchronization. SIAM J. Comput. Rajeev Alur, Hagit Attiya, Gadi Taubenfeld
1996	A	`conf`	An Analyser for Mesage Sequence Charts. TACAS Rajeev Alur, Gerard J. Holzmann, Doron A. Peled
1996	J	`jnl`	An Analyzer for Message Sequence Charts. Softw. Concepts Tools Rajeev Alur, Gerard J. Holzmann, Doron A. Peled
1996	J	`jnl`	Automatic Symbolic Verification of Embedded Systems. IEEE Trans. Software Eng. Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho
1996	A*	`ed.`	Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings CAV Rajeev Alur, Thomas A. Henzinger
1996	J	`jnl`	Contention-Free Complexity of Shared Memory Algorithms. Inf. Comput. Rajeev Alur, Gadi Taubenfeld
1996	J	`jnl`	Fast Timing-Based Algorithms. Distributed Comput. Rajeev Alur, Gadi Taubenfeld
1996	—	`ed.`	Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA Hybrid Systems Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
1996	A*	`conf`	Model-Checking of Correctness Conditions for Concurrent Objects. LICS Rajeev Alur, Kenneth L. McMillan, Doron A. Peled
1996	J	`jnl`	Next Steps in Formal Verification. ACM Comput. Surv. Rajeev Alur
1996	A*	`conf`	Reactive Modules. LICS Rajeev Alur, Thomas A. Henzinger
1996	J	`jnl`	The Benefits of Relaxing Punctuality. J. ACM Rajeev Alur, Tomás Feder, Thomas A. Henzinger
1996	B	`conf`	Verifying Abstractions of Timed Systems. CONCUR Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton
1995	A*	`conf`	Distinguishing tests for nondeterministic and probabilistic machines. STOC Rajeev Alur, Costas Courcoubetis, Mihalis Yannakakis
1995	A*	`conf`	Local Liveness for Compositional Modeling of Fair Reactive Systems. CAV Rajeev Alur, Thomas A. Henzinger
1995	A*	`conf`	Model-Checking of Causality Properties LICS Rajeev Alur, Doron A. Peled, Wojciech Penczek
1995	J	`jnl`	The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
1995	—	`conf`	Timing Analysis in COSPAN. Hybrid Systems Rajeev Alur, Robert P. Kurshan
1995	J	`jnl`	Timing Verification by Successive Approximation Inf. Comput. Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis
1994	A*	`conf`	A Determinizable Class of Timed Automata. CAV Rajeev Alur, Limor Fix, Thomas A. Henzinger
1994	J	`jnl`	A Really Temporal Logic. J. ACM Rajeev Alur, Thomas A. Henzinger
1994	J	`jnl`	A Theory of Timed Automata. Theor. Comput. Sci. Rajeev Alur, David L. Dill
1994	A*	`conf`	Contention-free Complexity of Shared Memory Algorithms. PODC Rajeev Alur, Gadi Taubenfeld
1994	A*	`conf`	Finitary Fairness LICS Rajeev Alur, Thomas A. Henzinger
1994	B	`conf`	The Observational Power of Clocks. CONCUR Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
1994	A*	`conf`	Time-adaptive algorithms for synchronization. STOC Rajeev Alur, Hagit Attiya, Gadi Taubenfeld
1993	A	`conf`	Automatic Symbolic Verification of Embedded Systems. RTSS Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho
1993	A*	`conf`	Computing Accumulated Delays in Real-time Systems. CAV Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
1993	—	`conf`	How to Share an Object: A Fast Timing-Based Solution. SPDP Rajeev Alur, Gadi Taubenfeld
1993	J	`jnl`	Model-Checking in Dense Real-time Inf. Comput. Rajeev Alur, Costas Courcoubetis, David L. Dill
1993	A*	`conf`	Parametric real-time reasoning. STOC Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi
1993	J	`jnl`	Real-Time Logics: Complexity and Expressiveness Inf. Comput. Rajeev Alur, Thomas A. Henzinger
1992	A	`conf`	An implementation of three algorithms for timing verification based on automata emptiness. RTSS Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi
1992	A*	`conf`	Back to the Future: Towards a Theory of Timed Regular Languages FOCS Rajeev Alur, Thomas A. Henzinger
1992	—	`conf`	Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. Hybrid Systems Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho
1992	B	`conf`	Minimization of Timed Transition Systems. CONCUR Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi
1992	A	`conf`	Results about Fast Mutual Exclusion. RTSS Rajeev Alur, Gadi Taubenfeld
1992	A*	`conf`	Timing Verification by Successive Approximation. CAV Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis
1991	—	`conf`	Logics and Models of Real Time: A Survey. REX Workshop Rajeev Alur, Thomas A. Henzinger
1991	A*	`conf`	Model-Checking for Probabilistic Real-Time Systems (Extended Abstract). ICALP Rajeev Alur, Costas Courcoubetis, David L. Dill
1991	—	`—`	Techniques for automatic verification of real-time systems. Rajeev Alur
1991	A*	`conf`	The Benefits of Relaxing Punctuality. PODC Rajeev Alur, Tomás Feder, Thomas A. Henzinger
1991	—	`conf`	The Theory of Timed Automata. REX Workshop Rajeev Alur, David L. Dill
1991	—	`conf`	Verifying Automata Specifications of Probabilistic Real-time Systems. REX Workshop Rajeev Alur, Costas Courcoubetis, David L. Dill
1990	A*	`conf`	Automata For Modeling Real-Time Systems. ICALP Rajeev Alur, David L. Dill
1990	A*	`conf`	Model-Checking for Real-Time Systems LICS Rajeev Alur, Costas Courcoubetis, David L. Dill
1990	A*	`conf`	Real-time Logics: Complexity and Expressiveness LICS Rajeev Alur, Thomas A. Henzinger
1989	A*	`conf`	A Really Temporal Logic FOCS Rajeev Alur, Thomas A. Henzinger