Rajeev Alur - Publications, H-index & Citations

Rajeev Alur

University of Pennsylvania

82H指数

401论文数

3.8W被引数

收录论文 11

发表时间

Scenario-Based Compositional Verification of Autonomous Systems with Neural Perception

AI VERIFICATION, SAIV 2025

IF0

2026-01-01

PREAI

Watson, Christopher; Alur, Rajeev; Gopinath, Divya; Mangal, Ravi; Pasareanu, Corina S.

Chordal sparsity for SDP-based neural network verification

AUTOMATICA

IF5.9

2024-03-01

PREAI

Xue, Anton; Lindemann, Lars; Alur, Rajeev

Search-based Program Synthesis

COMMUNICATIONS OF THE ACM

IF12.2

2018-11-20

PREAI

Alur, Rajeev; Singh, Rishabh; Fisman, Dana; Solar-Lezama, Armando

NetEgg: A Scenario-Based Programming Toolkit for SDN Policies

IEEE-ACM TRANSACTIONS ON NETWORKING

IF3.6

2018-10-01

OAAI

Yuan, Yifei; Lin, Dong; Anil, Siri; Verma, Harsh; Chelluri, Anirudh; Alur, Rajeev; Loo, Boon Thau

Real-Time Decision Policies With Predictable Performance

PROCEEDINGS OF THE IEEE

IF25.9

2018-09-01

OAAI

Abbas, Houssam; Alur, Rajeev; Mamouras, Konstantinos; Mangharam, Rahul; Rodionova, Alena

Compositional Modeling and Analysis of Multi-Hop Control Networks

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2011-10-01

OAAI

Alur, Rajeev; D'Innocenzo, Alessandro; Johansson, Karl H.; Pappas, George J.; Weiss, Gera

Inference of message sequence charts

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2003-07-01

100

PREAI

Alur, R; Etessami, K; Yannakakis, M

Hierarchical modeling and analysis of embedded systems

PROCEEDINGS OF THE IEEE

IF25.9

2003-01-01

OAAI

Alur, R; Dang, T; Esposito, J; Hur, Y; Ivancic, F; Kumar, V; Lee, I; Mishra, P; Pappas, GJ; Sokolsky, O

A framework and architecture for multi-robot coordination 一种多机器人协调框架和体系结构

INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH

IF5

2002-10-01

105

OAAI

Fierro, R; Das, A; Spletzer, J; Esposito, J; Kumar, V; Ostrowski, JP; Pappas, G; Taylor, CJ; Hur, Y; Alur, R; Lee, I; Grudic, G; Southall, B

Discrete abstractions of hybrid systems

PROCEEDINGS OF THE IEEE

IF25.9

2000-07-01

575

OAAI

Alur, R; Henzinger, TA; Lafferriere, G; Pappas, GJ

Automatic symbolic verification of embedded systems

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

1996-03-01

277

OAAI

Alur, R; Henzinger, TA; Ho, PH

研究方向