Rajeev Alur
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Alternating-time temporal logic | 2026-05-21 | Paper |
| Alternating-time temporal logic | 2025-03-19 | Paper |
| Chordal sparsity for SDP-based neural network verification Automatica | 2024-02-20 | Paper |
| Policy synthesis and reinforcement learning for discounted LTL | 2024-02-01 | Paper |
| A framework for transforming specifications in reinforcement learning Lecture Notes in Computer Science | 2023-08-10 | Paper |
| Static detection of uncoalesced accesses in GPU programs Formal Methods in System Design | 2023-06-29 | Paper |
| Verifying abstractions of timed systems CONCUR '96: Concurrency Theory | 2023-06-28 | Paper |
| Modularity for timed and hybrid systems CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
| Specification-Guided Learning of Nash Equilibria with High Social Welfare | 2022-12-07 | Paper |
| Colored nested words Formal Methods in System Design | 2022-06-27 | Paper |
| Verisig 2.0: verification of neural network controllers using Taylor model preconditioning | 2022-03-25 | Paper |
| Case study Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
| Space-efficient query evaluation over probabilistic event streams Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
| Fast timing-based algorithms Distributed Computing | 2020-12-02 | Paper |
| Scaling enumerative program synthesis via divide and conquer Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Automata-based stream processing | 2020-05-27 | Paper |
| Derivatives of quantitative regular expressions Lecture Notes in Computer Science | 2020-02-24 | Paper |
| Streamable regular transductions Theoretical Computer Science | 2020-01-22 | Paper |
| Verisig Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| Pattern-based refinement of assume-guarantee specifications in reactive synthesis Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
| Compositional synthesis of reactive controllers for multi-agent systems Computer Aided Verification | 2019-05-03 | Paper |
| Model checking procedural programs Handbook of Model Checking | 2018-07-20 | Paper |
| Compositional and symbolic synthesis of reactive controllers for multi-agent systems Information and Computation | 2018-06-14 | Paper |
| Streaming tree transducers Journal of the ACM | 2018-05-17 | Paper |
| Regular combinators for string transformations Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
| Regular combinators for string transformations Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
| Contention---free complexity of shared memory algorithms Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 | 2017-09-29 | Paper |
| Compositional Modeling and Analysis of Multi-Hop Control Networks IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
| A fixpoint calculus for local and global program flows Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-08-21 | Paper |
| Hedging bets in Markov decision processes | 2017-07-19 | Paper |
| Synthesis of interface specifications for Java classes Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
| Deterministic generators and games for LTL fragments ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| Regular functions and cost register automata (invited paper) 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
| From monadic second-order definable string transformations to transducers 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
| Compositional synthesis with parametric reactive controllers Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
| Optimal scheduling for constant-rate multi-mode systems Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
| Regular transformations of infinite strings 2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
| Safe schedulability of bounded-rate multi-mode systems Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| DReX: a declarative language for efficiently evaluating regular string transformations Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Time-adaptive algorithms for synchronization Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC '94 | 2016-09-01 | Paper |
| Undecidability of partial order logics Information Processing Letters | 2016-06-16 | Paper |
| Regular Programming for Quantitative Properties of Data Streams Programming Languages and Systems | 2016-04-26 | Paper |
| Colored Nested Words Language and Automata Theory and Applications | 2016-04-13 | Paper |
| Alternating-time temporal logic Journal of the ACM | 2015-12-07 | Paper |
| Adding nesting structure to words Journal of the ACM | 2015-11-11 | Paper |
| Algorithmic analysis of array-accessing programs ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| The benefits of relaxing punctuality Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 | 2015-06-19 | Paper |
| Parametric real-time reasoning Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93 | 2015-05-07 | Paper |
| Modular refinement of hierarchic reactive machines Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
| Streaming transducers for algorithmic verification of single-pass list-processing programs Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Symbolic computational techniques for solving games | 2013-08-30 | Paper |
| Decision problems for additive regular functions Automata, Languages, and Programming | 2013-08-07 | Paper |
| On the complexity of shortest path problems on discounted cost graphs Language and Automata Theory and Applications | 2013-03-18 | Paper |
| Streaming tree transducers Lecture Notes in Computer Science | 2012-11-01 | Paper |
| Expressiveness of streaming string transducers | 2012-08-29 | Paper |
| Nondeterministic Streaming String Transducers Automata, Languages and Programming | 2011-07-07 | Paper |
| Visibly pushdown languages Proceedings of the thirty-sixth annual ACM symposium on Theory of computing | 2010-08-15 | Paper |
| Verification and Integration of Real-Time Control Software Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems | 2010-06-02 | Paper |
| Computer Aided Verification Lecture Notes in Computer Science | 2010-04-20 | Paper |
| CONCUR 2003 - Concurrency Theory Lecture Notes in Computer Science | 2010-03-30 | Paper |
| Playing games with boxes and diamonds. Lecture Notes in Computer Science | 2010-03-30 | Paper |
| Formal analysis of hierarchical state machines Lecture Notes in Computer Science | 2010-03-23 | Paper |
| Temporal reasoning for procedural programs Lecture Notes in Computer Science | 2010-01-14 | Paper |
| Algorithmic Analysis of Array-Accessing Programs Computer Science Logic | 2009-11-12 | Paper |
| Specification and Analysis of Network Resource Requirements of Control Systems Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
| First-Order and Temporal Logics for Nested Words Logical Methods in Computer Science | 2009-04-29 | Paper |
| On Omega-Languages Defined by Mean-Payoff Conditions Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
| Adding Nesting Structure to Words Developments in Language Theory | 2009-03-26 | Paper |
| Symbolic Analysis for GSMP Models with One Stateful Clock Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
| Automata Based Interfaces for Control and Scheduling Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
| Marrying Words and Trees Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
| Parametric temporal logic for “model measuring” ACM Transactions on Computational Logic | 2008-12-21 | Paper |
| Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
| Automatic symbolic compositional verification by learning assumptions Formal Methods in System Design | 2008-07-30 | Paper |
| Model Checking: From Tools to Theory 25 Years of Model Checking | 2008-07-15 | Paper |
| Ranking Automata and Games for Prioritized Requirements Computer Aided Verification | 2008-07-15 | Paper |
| Marrying Words and Trees Computer Science – Theory and Applications | 2008-06-03 | Paper |
| Branching Pushdown Tree Automata FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | 2008-04-17 | Paper |
| scientific article; zbMATH DE number 5245252 (Why is no real title available?) | 2008-03-06 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science | 2007-09-28 | Paper |
| Preserving Secrecy Under Refinement Automata, Languages and Programming | 2007-09-11 | Paper |
| Languages of Nested Trees Computer Aided Verification | 2007-09-05 | Paper |
| Model Checking on Trees with Path Equivalences Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
| Hybrid Systems: Computation and Control Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Dispatch sequences for embedded control models Journal of Computer and System Sciences | 2007-01-09 | Paper |
| Automated Technology for Verification and Analysis Lecture Notes in Computer Science | 2006-10-25 | Paper |
| Formal Methods in Computer-Aided Design Lecture Notes in Computer Science | 2006-10-20 | Paper |
| Formal Methods for the Design of Real-Time Systems Lecture Notes in Computer Science | 2006-10-19 | Paper |
| Compositional modeling and refinement for hierarchical hybrid systems The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
| Modular strategies for recursive game graphs Theoretical Computer Science | 2006-04-28 | Paper |
| Counterexample-guided predicate abstraction of hybrid systems Theoretical Computer Science | 2006-04-28 | Paper |
| Computer Aided Verification Lecture Notes in Computer Science | 2006-01-10 | Paper |
| Automata, Languages and Programming Lecture Notes in Computer Science | 2006-01-10 | Paper |
| Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science | 2005-12-06 | Paper |
| Hybrid Systems: Computation and Control Lecture Notes in Computer Science | 2005-11-11 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 2209335 (Why is no real title available?) | 2005-09-28 | Paper |
| Automata, Languages and Programming Lecture Notes in Computer Science | 2005-08-24 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Lecture Notes in Computer Science | 2005-08-19 | Paper |
| Deciding global partial-order properties Formal Methods in System Design | 2005-05-17 | Paper |
| Realizability and verification of MSC graphs Theoretical Computer Science | 2005-04-06 | Paper |
← Previous 100 1 2 Next 100 →
Research outcomes over time
This page was built for person: Rajeev Alur
