Sledovat
Rajeev Alur
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
E-mailová adresa ověřena na: seas.upenn.edu - Domovská stránka
Název
Citace
Citace
Rok
A theory of timed automata
R Alur, DL Dill
Theoretical computer science 126 (2), 183-235, 1994
103481994
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
28981995
Alternating-time temporal logic
R Alur, TA Henzinger, O Kupferman
Journal of the ACM (JACM) 49 (5), 672-713, 2002
23232002
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R Alur, C Courcoubetis, TA Henzinger, PH Ho
International hybrid systems workshop, 209-229, 1991
19291991
Automata for modeling real-time systems
R Alur, D Dill
Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990
16671990
Model-checking for real-time systems
R Alur, C Courcoubetis, D Dill
Fifth Annual IEEE Symposium on Logic in Computer Science, 414-425, 1990
14541990
Model checking in dense real time
R Alur, C Courcoubetis, D Dill
Information and Computation 104 (1), 2-32, 1993
14101993
Discrete abstractions of hybrid systems
R Alur, TA Henzinger, G Lafferriere, GJ Pappas
Proceedings of the IEEE 88 (7), 971-984, 2000
11262000
Syntax-guided synthesis
R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...
2013 Formal Methods in Computer-Aided Design, 1-8, 2013
10822013
Reactive modules
R Alur, TA Henzinger
Formal methods in system design 15, 7-48, 1999
10331999
A really temporal logic
R Alur, TA Henzinger
Journal of the ACM (JACM) 41 (1), 181-203, 1994
10221994
The benefits of relaxing punctuality
R Alur, T Feder, TA Henzinger
Journal of the ACM (JACM) 43 (1), 116-146, 1996
10131996
Automatic symbolic verification of embedded systems
R Alur, TA Henzinger, PH Ho
IEEE Transactions on Software Engineering 22 (3), 181-201, 1996
9491996
Logics and models of real time: A survey
R Alur, TA Henzinger
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992
9271992
Timed automata
R Alur
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
9141999
Real-time logics: complexity and expressiveness
R Alur, TA Henzinger
Information and Computation 104 (1), 35-77, 1993
8591993
Visibly pushdown languages
R Alur, P Madhusudan
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004
7572004
Principles of cyber-physical systems
R Alur
MIT press, 2015
6912015
Parametric real-time reasoning
R Alur, TA Henzinger, MY Vardi
Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993
5951993
MOCHA: Modularity in model checking
R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
5711998
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20