Rajeev Alur
#30,744
Most Influential Person Now
American computer scientist
Rajeev Alur's AcademicInfluence.com Rankings
Rajeev Alurcomputer-science Degrees
Computer Science
#1582
World Rank
#1637
Historical Rank
#774
USA Rank
Database
#622
World Rank
#652
Historical Rank
#227
USA Rank
Download Badge
Computer Science
Rajeev Alur's Degrees
- PhD Computer and Information Science Stanford University
- Masters Computer Science Stanford University
Similar Degrees You Can Earn
Why Is Rajeev Alur Influential?
(Suggest an Edit or Addition)According to Wikipedia, Rajeev Alur is an American professor of computer science at the University of Pennsylvania who has made contributions to formal methods, programming languages, and automata theory, including notably the introduction of timed automata and nested words .
Rajeev Alur's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- A Theory of Timed Automata (1994) (7306)
- A Temporal Logic of Nested Calls and Returns (2004) (3375)
- The Algorithmic Analysis of Hybrid Systems (1995) (2184)
- Alternating-time temporal logic (1997) (1722)
- Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems (1992) (1345)
- Automata For Modeling Real-Time Systems (1990) (1107)
- Model-Checking in Dense Real-time (1993) (1027)
- Discrete abstractions of hybrid systems (2000) (886)
- A really temporal logic (1989) (739)
- Reactive Modules (1996) (706)
- Logics and Models of Real Time: A Survey (1991) (678)
- Automatic symbolic verification of embedded systems (1993) (669)
- Real-time logics: complexity and expressiveness (1990) (650)
- Syntax-guided synthesis (2013) (642)
- Visibly pushdown languages (2004) (559)
- The benefits of relaxing punctuality (1991) (533)
- Model-checking for real-time systems (1990) (470)
- MOCHA: Modularity in Model Checking (1998) (449)
- Parametric real-time reasoning (1993) (388)
- Adding nesting structure to words (2006) (375)
- Alternating Refinement Relations (1998) (352)
- Optimal Paths in Weighted Timed Automata (2001) (351)
- Synthesis of interface specifications for Java classes (2005) (344)
- Inference of message sequence charts (2000) (335)
- Principles of Cyber-Physical Systems (2015) (332)
- Timed Automata (1999) (320)
- Model Checking of Message Sequence Charts (1999) (308)
- Event-Clock Automata: A Determinizable Class of Timed Automata (1999) (274)
- Analysis of recursive state machines (2001) (265)
- Hybrid Systems III (1995) (248)
- Formal verification of hybrid systems (2011) (248)
- Modular Specification of Hybrid Systems in CHARON (2000) (221)
- Hybrid systems III : verification and control (1996) (218)
- Hybrid Modeling and Simulation of Biomolecular Networks (2001) (214)
- CheckFence: checking consistency of concurrent data types on relaxed memory models (2007) (213)
- A Framework and Architecture for Multi-Robot Coordination (2000) (212)
- The Theory of Timed Automata (1991) (206)
- The benefits of relaxing punctuality (1991) (204)
- TRANSIT: specifying protocols with concolic snippets (2013) (203)
- Techniques for automatic verification of real-time systems (1991) (199)
- An Analyzer for Message Sequence Charts (1996) (198)
- Model checking of hierarchical state machines (1998) (191)
- Hierarchical modeling and analysis of embedded systems (2003) (188)
- Minimization of Timed Transition Systems (1992) (186)
- Verisig: verifying safety properties of hybrid systems with neural network controllers (2018) (186)
- Realizability and verification of MSC graphs (2005) (184)
- Modularity for Timed and Hybrid Systems (1997) (165)
- Partial-Order Reduction in Symbolic State Space Exploration (1997) (161)
- Decision Problems for Timed Automata: A Survey (2004) (159)
- An Analyser for Mesage Sequence Charts (1996) (152)
- A Determinizable Class of Timed Automata (1994) (152)
- Distinguishing tests for nondeterministic and probabilistic machines (1995) (150)
- Deterministic generators and games for LTL fragments (2001) (147)
- Predicate abstraction for reachability analysis of hybrid systems (2006) (133)
- Scaling Enumerative Program Synthesis via Divide and Conquer (2017) (132)
- Model-checking of correctness conditions for concurrent objects (1996) (131)
- Counter-Example Guided Predicate Abstraction of Hybrid Systems (2003) (131)
- Modeling and Verification of a Dual Chamber Implantable Pacemaker (2012) (129)
- Symbolic Compositional Verification by Learning Assumptions (2005) (126)
- An Axiomatic Memory Model for POWER Multiprocessors (2012) (126)
- First-Order and Temporal Logics for Nested Words (2007) (123)
- Communicating Hierarchical State Machines (1999) (122)
- Reachability Analysis of Hybrid Systems via Predicate Abstraction (2002) (120)
- Hierarchical Hybrid Modeling of Embedded Systems (2001) (119)
- An implementation of three algorithms for timing verification based on automata emptiness (1992) (118)
- Streaming transducers for algorithmic verification of single-pass list-processing programs (2010) (114)
- Expressiveness of streaming string transducers (2010) (112)
- Compositional Modeling and Analysis of Multi-Hop Control Networks (2011) (112)
- Model-Checking for Probabilistic Real-Time Systems (Extended Abstract) (1991) (112)
- Timing Analysis in COSPAN (1996) (110)
- Timing Verification by Successive Approximation (1992) (110)
- Preserving Secrecy Under Refinement (2006) (109)
- Verifying Abstractions of Timed Systems (1996) (104)
- Partial-Order Reduction in Symbolic State-Space Exploration (2001) (103)
- Parametric temporal logic for “model measuring” (2001) (101)
- Symbolic analysis for improving simulation coverage of Simulink/Stateflow models (2008) (98)
- Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction (2003) (97)
- Compositional Refinement for Hierarchical Hybrid Systems (2001) (96)
- Back to the future: towards a theory of timed regular languages (1992) (95)
- The Observational Power of Clocks (1994) (89)
- Model-checking of causality properties (1995) (89)
- Accelerating search-based program synthesis using learned probabilistic models (2018) (88)
- Regular Functions and Cost Register Automata (2013) (88)
- jMocha: a model checking tool that exploits design structure (2001) (88)
- Counterexample-guided predicate abstraction of hybrid systems (2006) (81)
- Optimal Reachability for Weighted Timed Games (2004) (80)
- Computing Accumulated Delays in Real-time Systems (1993) (78)
- Counter-strategy guided refinement of GR(1) temporal logic specifications (2013) (78)
- Verifying Automata Specifications of Probabilistic Real-time Systems (1991) (70)
- Generating embedded software from hierarchical hybrid models (2003) (70)
- Automated Grading of DFA Constructions (2013) (70)
- Automata Based Interfaces for Control and Scheduling (2007) (70)
- Search-based program synthesis (2018) (69)
- Congruences for Visibly Pushdown Languages (2005) (67)
- Quantitative Network Monitoring with NetQRE (2017) (67)
- Perturbed Timed Automata (2005) (66)
- Streaming Tree Transducers (2011) (65)
- Finitary fairness (1998) (65)
- Modelchecking for real-time systems (1990) (65)
- Real-time system = discrete system + clock variables (1994) (65)
- Results about fast mutual exclusion (1992) (62)
- Regular Programming for Quantitative Properties of Data Streams (2016) (62)
- Model-Checking for Probabilistic Real Time Systems (1991) (58)
- Generating Litmus Tests for Contrasting Memory Consistency Models (2010) (57)
- Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models (2009) (56)
- Formal methods in system design (1999) (56)
- Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition (2006) (55)
- Symbolic computational techniques for solving games (2005) (54)
- Modeling and Analysis of Multi-hop Control Networks (2009) (53)
- Model Checking of Linearizability of Concurrent List Implementations (2010) (53)
- Automating Modular Verification (1999) (52)
- Marrying words and trees (2007) (51)
- Synthesis Through Unification (2015) (51)
- Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System (2004) (50)
- Closed-loop verification of medical devices with model abstraction and refinement (2014) (49)
- Regular Specifications of Resource Requirements for Embedded Control Software (2008) (49)
- Regular combinators for string transformations (2014) (49)
- Modeling and analyzing biomolecular networks (2002) (47)
- A Composable Specification Language for Reinforcement Learning Tasks (2020) (47)
- Case study: verifying the safety of an autonomous racing car with a neural network controller (2019) (47)
- Model Checking on Trees with Path Equivalences (2007) (46)
- How Can Automatic Feedback Help Students Construct Automata? (2015) (46)
- NetEgg: Programming Network Policies by Examples (2014) (46)
- Local Liveness for Compositional Modeling of Fair Reactive Systems (1995) (44)
- Automatic symbolic compositional verification by learning assumptions (2008) (44)
- Scenario-based programming for SDN policies (2015) (44)
- Regular Transformations of Infinite Strings (2012) (44)
- Nondeterministic Streaming String Transducers (2011) (43)
- Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination (1999) (43)
- Symbolic analysis of hybrid systems (1997) (43)
- Model checking of hierarchical state machines (2001) (42)
- Efficient Reachability Analysis of Hierarchical Reactive Machines (2000) (42)
- Time-triggered implementations of dynamic controllers (2006) (42)
- Systems Computing Challenges in the Internet of Things (2016) (41)
- Languages of Nested Trees (2006) (40)
- Synthesizing Finite-State Protocols from Scenarios and Requirements (2014) (40)
- Modular strategies for recursive game graphs (2003) (39)
- Theory in practice for system design and verification (2015) (38)
- StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data (2017) (37)
- Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study (2006) (36)
- Modular refinement of hierarchic reactive machines (2004) (36)
- Handbook of Networked and Embedded Control Systems (Control Engineering) (2005) (36)
- Modeling and analysis of hybrid systems (2003) (35)
- Discrete Abstraction of Hybrid Systems (2000) (34)
- Verifying the Safety of Autonomous Systems with Neural Network Controllers (2020) (33)
- Hybrid Systems: Computation and Control (2004) (33)
- Time-adaptive algorithms for synchronization (1994) (33)
- On Omega-Languages Defined by Mean-Payoff Conditions (2009) (33)
- RTComposer: a framework for real-time components with scheduling interfaces (2008) (32)
- Ranking Automata and Games for Prioritized Requirements (2008) (32)
- A fixpoint calculus for local and global program flows (2006) (31)
- Model-Checking of Real-Time Systems: A Telecommunications Application Experience Report (1997) (31)
- SyGuS-Comp 2016: Results and Analysis (2016) (30)
- Structured Modeling of Concurrent Stochastic Hybrid Systems (2004) (30)
- Playing Games with Boxes and Diamonds (2003) (30)
- Verifying Network Protocol Implementations by Symbolic Refinement Checking (2001) (30)
- Scalable scheduling algorithms for wireless networked control systems (2009) (30)
- "Next" Heuristic for On-the-Fly Model Checking (1999) (30)
- Automatic Synthesis of Distributed Protocols (2017) (28)
- Compositional modeling and refinement for hierarchical hybrid systems (2006) (28)
- Instrumenting C Programs with Nested Word Monitors (2007) (28)
- SyGuS-Comp 2017: Results and Analysis (2017) (27)
- Membership questions for timed and hybrid automata (1998) (27)
- Symbolic Visibly Pushdown Automata (2014) (26)
- Compositional Reinforcement Learning from Logical Specifications (2021) (26)
- On-the-Fly Reachability and Cycle Detection for Recursive State Machines (2005) (26)
- Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis (2015) (25)
- DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations (2015) (25)
- Compositional Synthesis of Reactive Controllers for Multi-agent Systems (2016) (24)
- Heuristics for Hierarchical Partitioning with Application to Model Checking (2000) (24)
- Symbolic Exploration of transition Hierarchies (1998) (23)
- Optimal scheduling for constant-rate multi-mode systems (2012) (23)
- Modular Strategies for Infinite Games on Recursive Graphs (2003) (23)
- Decision Problems for Additive Regular Functions (2013) (22)
- Deciding Global Partial-Order Properties (1998) (22)
- Automatic Completion of Distributed Protocols with Symmetry (2015) (22)
- Results and Analysis of SyGuS-Comp'15 (2016) (21)
- Modular quantitative monitoring (2019) (21)
- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning (2021) (21)
- Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems (2006) (21)
- Software model checking using languages of nested trees (2011) (21)
- Exploiting Behavioral Hierarchy for Efficient Model Checking (2002) (19)
- Temporal Reasoning for Procedural Programs (2010) (19)
- Compositional Synthesis with Parametric Reactive Controllers (2016) (19)
- Data-trace types for distributed stream processing systems (2019) (18)
- Model Checking Procedural Programs (2018) (18)
- Algorithmic analysis of array-accessing programs (2009) (18)
- StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data (2017) (18)
- Streamable Regular Transductions (2018) (17)
- Litmus tests for comparing memory consistency models: How long do they need to be? (2011) (17)
- Alternating Re nement Relations ? ? ? (1998) (17)
- Modular refinement of hierarchic reactive machines (2000) (17)
- Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement (2005) (16)
- Proceedings of the 8th International Conference on Computer Aided Verification (1996) (16)
- Fast timing-based algorithms (1996) (16)
- Safe schedulability of bounded-rate multi-mode systems (2013) (15)
- How to share an object: A fast timing-based solution (1993) (14)
- Hybrid Systems: Computation and Control: 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 2004: Proceedings (Lecture Notes in Computer Science, 2993) (2004) (14)
- Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control (1996) (14)
- Robust stability of multi-hop control networks (2009) (14)
- Formal Analysis of Hierarchical State Machines (2003) (14)
- From Monadic Second-Order Definable String Transformations to Transducers (2013) (14)
- Automata Tutor and what we learned from building an online teaching tool (2015) (14)
- Symbolic Analysis for GSMP Models with One Stateful Clock (2007) (13)
- Automated Refinement Checking for Asynchronous Processes (2000) (13)
- Model Checking: From Tools to Theory (2008) (13)
- Automata-Based Stream Processing (2017) (13)
- Parametric Temporal Logic for "Model Measuring" (1999) (13)
- Polyhedral Flows in Hybrid Automata (1999) (13)
- Hybrid systems : computation and control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings (2004) (13)
- Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems (2011) (13)
- An Introduction to the StreamQRE Language (2017) (12)
- MOCHA: Exploiting Modularity in Model Checking (2000) (12)
- Real-Time Decision Policies With Predictable Performance (2018) (12)
- Streaming String Transducers (2011) (12)
- Representation dependence testing using program inversion (2010) (12)
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems (2018) (12)
- DiffStream: differential output testing for stream processing programs (2020) (12)
- Contention—free complexity of shared memory algorithms (1994) (11)
- Precise piecewise affine models from input-output data (2014) (11)
- Continuous-Time Models for System Design and Analysis (2019) (10)
- SyGuS-Comp 2018: Results and Analysis (2019) (10)
- Quantifying the gap between embedded control models and time-triggered implementations (2005) (10)
- A model-based approach to integrating security policies for embedded devices (2004) (10)
- Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks (2002) (10)
- Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (2004) (10)
- Automated Analysis of Java Methods for Confidentiality (2009) (10)
- Relating average and discounted costs for quantitative analysis of timed systems (2011) (10)
- Specification and Analysis of Network Resource Requirements of Control Systems (2009) (10)
- Abstract Value Iteration for Hierarchical Reinforcement Learning (2020) (10)
- Time for Logic (1991) (9)
- GPUDrano: Detecting Uncoalesced Accesses in GPU Programs (2017) (9)
- A Framework for Transforming Specifications in Reinforcement Learning (2021) (9)
- Compression of Partially Ordered Strings (2003) (9)
- Derivatives of Quantitative Regular Expressions (2017) (9)
- Colored nested words (2016) (9)
- Memory model sensitive analysis of concurrent data types (2007) (8)
- On the feasibility of automation for bandwidth allocation problems in data centers (2013) (8)
- Shared variables interaction diagrams (2001) (8)
- Dispatch sequences for embedded control models (2005) (8)
- Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels (2013) (8)
- Undecidability of Partial Order Logics (1999) (7)
- Verisig (2019) (7)
- Towards synthesis of platform-aware attack-resilient control systems: extended abstract (2013) (7)
- Time-Triggered Implementations of Dynamic Controllers (2012) (7)
- Interfaces for Stream Processing Systems (2018) (7)
- Example-guided synthesis of relational queries (2021) (7)
- Contention-Free Complexity of Shared Memory Algorithms (1996) (6)
- Can we verify cyber-physical systems? (2013) (6)
- 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings (2007) (6)
- Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA (1996) (6)
- Automating Modular Veri cation (1999) (5)
- \next" Heuristic for On-the--y Model Checking (1999) (5)
- Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings (1996) (5)
- Stream processing with dependency-guided synchronization (2022) (5)
- Synchronization Schemas (2021) (5)
- Reachability Analysis of Hybrid Systems using Counter-Example Guided Predicate Abstraction (2002) (5)
- Predictable programs in barcodes (2002) (5)
- Active Learning of Plans for Safety and Reachability Goals With Partial Observability (2010) (5)
- Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks (2022) (4)
- Block-Size Independence for GPU Programs (2018) (4)
- Charon : a Language for Modular Spe i ation of Hybrid Systems (2000) (4)
- The Benefits of Exposing Calls and Returns (2005) (4)
- Trends and Challenges in Algorithmic Software Verification (2005) (4)
- Keynote talk I: Syntax-guided synthesis (2015) (3)
- Detecting security leaks in hybrid systems with information flow analysis (2019) (3)
- Bounded Verification of Concurrent Data Types on Relaxed Memory Models: A Case Study (2006) (3)
- Schedulability of Bounded-Rate Multimode Systems (2017) (3)
- NetEgg: A Scenario-Based Programming Toolkit for SDN Policies (2018) (3)
- Performance Evaluation and Prediction (1998) (3)
- The Benefits of Relaxing Punctuality * t (1998) (3)
- Computer-Aided Personalized Education (2020) (3)
- Modular Refinement of Hierarchic Reactive Machines 1 (2000) (3)
- On the Complexity of Shortest Path Problems on Discounted Cost Graphs (2013) (3)
- Network Traffic Classification by Program Synthesis (2021) (3)
- Plug and Play Components for the Exploration of Memory Consistency Models (2010) (3)
- Computer-Aided Verification Introduction (2006) (2)
- Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias (2018) (2)
- Fictitious-clock Approximation 3.2 Timing Veriication 2.1 Selection-resolution Model Timing Analysis in Cospan (1996) (2)
- Branching Pushdown Tree Automata (2006) (2)
- Software model checking for confidentiality (2009) (2)
- Specification-Guided Learning of Nash Equilibria with High Social Welfare (2022) (2)
- Exploiting Hierarchical Structure for Efficient Formal Verification (2000) (2)
- Variable Reuse for Efficient Image Computation (2004) (1)
- Verification and Integration of Real-Time Control Software (2007) (1)
- Equilibria in Quantitative Concurrent Games (2018) (1)
- REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency (2019) (1)
- Hedging Bets in Markov Decision Processes (2016) (1)
- Coherency of Shared Memory in Ad-Hoc Networks (2001) (1)
- Learning Plans for Safety and Reachability Goals with Partial Observability (2007) (1)
- Modeling and analyzing integrated policies (2005) (1)
- A Robust Theory of Series Parallel Graphs (2023) (1)
- 2010 CAV award announcement (2012) (1)
- Embedded software : third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings (2003) (1)
- Verification of reactive systems and decision problems in temporal logic (2001) (1)
- Stream Processing With Dependency-Guided Synchronization (Extended Version) (2021) (1)
- Parametric Chordal Sparsity for SDP-based Neural Network Verification (2022) (1)
- Games for formal design and verification of reactive systems (2004) (1)
- Next steps in formal verification (1996) (1)
- Creating three-dimensional animated human behaviors for virtual worlds (2009) (1)
- Space-efficient Query Evaluation over Probabilistic Event Streams (2020) (1)
- NetRep: Automatic Repair for Network Programs (2021) (1)
- How to share a data structure: A fast timing-based solution∗ (2006) (1)
- Static detection of uncoalesced accesses in GPU programs (2021) (1)
- Efficient Formal Verification of Hierarchical Descriptions (1998) (1)
- Artifact for DiffStream: Differential Output Testing for Stream Processing Programs (2020) (0)
- Temporal Reasoning about Program Executions (2009) (0)
- Towards Scenario-Based Design and Verification of Resilient Cyber-Physical Systems Extended Abstract (2018) (0)
- Register Complexity of Additive Regular Functions (2012) (0)
- Synthesis and compositional verification using language learning (2007) (0)
- Partial-Order Reduction in Symbolic State Space (2017) (0)
- Robust Subtask Learning for Compositional Generalization (2023) (0)
- PRACTICAL NETWORK PROGRAMMING AUTOMATION PRACTICAL NETWORK PROGRAMMING AUTOMATION (2022) (0)
- 2011 CAV award announcement (2012) (0)
- Compositional and Hierarchical Synthesis of Reactive Controllers for Multi-Agent Systems (2012) (0)
- Coheren y of Shared Memory in Ad-ho Networks (2007) (0)
- Modular Strategies for In nite Games onRe ursive Graphs ? (2007) (0)
- Orion: Automatic Repair for Network Programs (2021) (0)
- Closed-loop verification of medical devices with model abstraction and refinement (2013) (0)
- Real-Time Scheduling (2015) (0)
- A promising , useful tool for future programming development environments (2018) (0)
- Formal Verification of Hybrid Systems (Page 273) Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems (Page 165) (2011) (0)
- Natural Language Processing as a Predictive Feature in Financial Forecasting (2020) (0)
- Introduction (2001) (0)
- Automatic Repair for Network Programs (2022) (0)
- Real-time System = Discrete System + Clock Variables y (1997) (0)
- Quantitative Policies over Streaming Data (2016) (0)
- Introduction (2008) (0)
- Executing Microservice Applications on Serverless, Correctly (2023) (0)
- Symbolic analysis of stochastic discrete event systems (2008) (0)
- PRACTICAL NETWORK PROGRAMMING AUTOMATION (2022) (0)
- Philadelphia, PA, USA May 18–20, 2011 (2012) (0)
- 1996 Index IEEE Transactions on Software Engineering Vol. 22 (1996) (0)
- Correctness in Stream Processing: Challenges and Opportunities (2022) (0)
- Composing Copyless Streaming String Transducers (2022) (0)
- Weakly supervised learning from multiple modalities: exploiting video, audio and text for video understanding (2009) (0)
- Ordered Choice Diagrams for Symbolic Analysis (1998) (0)
- Session-layer Attack Traffic Classification by Program Synthesis (2020) (0)
- Logics and Automata for Software Model-Checking 1 (2006) (0)
- Computer-aided Verification C Prerequisite Notions and Notations (0)
- Finit ary Fairness (1994) (0)
- 2011 CAV award announcement (2012) (0)
- Formal analysis of hierarchical state machines: Dedicated to Zohar Manna on his 26th birthday (2003) (0)
- Introduction (1999) (0)
- Another Acknowledgements. Many Thanks To (1990) (0)
- Introduction (1999) (0)
- Session details: Verification (2013) (0)
- Model-Based Design of Embedded Software (0)
- antitative Network Monitoring with NetQRE (2017) (0)
- Automated Analysis of Programs for Confidentiality (2008) (0)
- 2010 CAV award announcement (2011) (0)
- Automata theoretic Veri cation of Real Time Systems (1995) (0)
- Tutorial I: Syntax-guided synthesis (2013) (0)
- Preface (2007) (0)
- Invaluable Feedback from a Superb Team of Requirements Engineers (1996) (0)
- Protocol Design With Concolic Snippets (2012) (0)
- Model Checking 4 Extensions Next-time Operator 3 Decision Procedure for Istl 2 a Global Partial-order Logic Deciding Global Partial-order Properties (0)
- Single-Pass List Processing Algorithms as MSO-Definable Transducers (2010) (0)
- input-output examples [ 8 ] , among others . (2016) (0)
- Robust Stability of Multi-Hop Networks (2021) (0)
- DReX (2015) (0)
- Expressiveness of Streaming String Transducers Expressiveness of Streaming String Transducers (2021) (0)
- Computer-aided verification of reactive systems (2000) (0)
- Regular Transformations of Infinite Strings Regular Transformations of Infinite Strings (2021) (0)
- Interfaces for Control Components (2011) (0)
- Quantitative Network Monitoring with NetQRE Yifei Yuan (2017) (0)
This paper list is powered by the following services:
Other Resources About Rajeev Alur
What Schools Are Affiliated With Rajeev Alur?
Rajeev Alur is affiliated with the following schools:
