pith. sign in

Rajeev Alur

Identifiers

  • name variant Rajeev Alur 0.60 · backfill

Papers (16)

  1. Do We Need Frontier Models to Verify Mathematical Proofs? cs.LG · 2026 · author #3
  2. SyGuS-Comp 2018: Results and Analysis cs.PL · 2019 · author #1
  3. REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency cs.SY · 2019 · author #6
  4. Verisig: verifying safety properties of hybrid systems with neural network controllers cs.SY · 2018 · author #3
  5. Equilibria in Quantitative Concurrent Games cs.GT · 2018 · author #2
  6. Systems Computing Challenges in the Internet of Things cs.CY · 2016 · author #1
  7. Synthesis through Unification cs.PL · 2015 · author #1
  8. Automatic Completion of Distributed Protocols with Symmetry cs.FL · 2015 · author #1
  9. Synthesizing Finite-state Protocols from Scenarios and Requirements cs.FL · 2014 · author #1
  10. Regular Combinators for String Transformations cs.FL · 2014 · author #1
  11. Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications cs.LO · 2013 · author #1
  12. Decision Problems for Additive Regular Functions cs.FL · 2013 · author #1
  13. Safe Schedulability of Bounded-Rate Multi-Mode Systems cs.LO · 2013 · author #1
  14. Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems cs.FL · 2011 · author #1
  15. Streaming Tree Transducers cs.FL · 2011 · author #1
  16. Algorithmic Verification of Single-Pass List Processing Programs cs.PL · 2010 · author #1

Mentions

  • 1402.7150 #1 · backfill · confidence 0.70 Rajeev Alur
  • 1402.3021 #1 · backfill · confidence 0.70 Rajeev Alur
  • 1308.4113 #1 · backfill · confidence 0.70 Rajeev Alur
  • 1304.7029 #1 · backfill · confidence 0.70 Rajeev Alur
  • 1302.0745 #1 · backfill · confidence 0.70 Rajeev Alur
  • 1111.0670 #1 · backfill · confidence 0.70 Rajeev Alur
  • 1104.2599 #1 · backfill · confidence 0.70 Rajeev Alur
  • 1007.4958 #1 · backfill · confidence 0.70 Rajeev Alur

Frequent Coauthors