Rajeev Alur
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Verified email at cis.upenn.edu - Homepage
TitleCited byYear
A theory of timed automata
R Alur, DL Dill
Theoretical computer science 126 (2), 183-235, 1994
82571994
The algorithmic analysis of hybrid systems
R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ...
Theoretical computer science 138 (1), 3-34, 1995
23491995
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R Alur, C Courcoubetis, TA Henzinger, PH Ho
Hybrid systems, 209-229, 1992
15951992
Alternating-time temporal logic
R Alur, TA Henzinger, O Kupferman
Journal of the ACM (JACM) 49 (5), 672-713, 2002
14412002
Automata for modeling real-time systems
R Alur, D Dill
International Colloquium on Automata, Languages, and Programming, 322-335, 1990
14351990
Model-checking for real-time systems
R Alur, C Courcoubetis, D Dill
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
12631990
Model-checking in dense real-time
R Alur, C Courcoubetis, D Dill
Information and computation 104 (1), 2-34, 1993
12101993
Discrete abstractions of hybrid systems
R Alur, TA Henzinger, G Lafferriere, GJ Pappas
Proceedings of the IEEE 88 (7), 971-984, 2000
9342000
Automatic symbolic verification of embedded systems
R Alur, TA Henzinger, PH Ho
IEEE Transactions on Software Engineering 22 (3), 181-201, 1996
8631996
A really temporal logic
R Alur, TA Henzinger
Journal of the ACM (JACM) 41 (1), 181-203, 1994
8431994
Reactive modules
R Alur, TA Henzinger
Formal methods in system design 15 (1), 7-48, 1999
8411999
Logics and models of real time: A survey
R Alur, TA Henzinger
Workshop/School/Symposium of the REX Project (Research and Education in …, 1991
7961991
The benefits of relaxing punctuality
R Alur, T Feder, TA Henzinger
Cornell University, 1994
7301994
Real-time logics: Complexity and expressiveness
R Alur, TA Henzinger
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
6751990
Timed automata
R Alur
International Conference on Computer Aided Verification, 8-22, 1999
6431999
Visibly pushdown languages
R Alur, P Madhusudan
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004
5622004
Alternating-time temporal logic
R Alur, TA Henzinger, O Kupferman
International Symposium on Compositionality, 23-60, 1997
5141997
MOCHA: Modularity in model checking
R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran
International Conference on Computer Aided Verification, 521-525, 1998
4781998
Parametric real-time reasoning
R Alur, TA Henzinger
Cornell University, 1993
4141993
Handbook of networked and embedded control systems
R Alur, KE Arzen, J Baillieul, TA Henzinger
Springer Science & Business Media, 2007
3932007
The system can't perform the operation now. Try again later.
Articles 1–20