دنبال کردن
Rajeev Alur
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
ایمیل تأیید شده در seas.upenn.edu - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
A theory of timed automata‏
R Alur, DL Dill‏
Theoretical computer science 126 (2), 183-235, 1994‏
103291994
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‏
28941995
Alternating-time temporal logic‏
R Alur, TA Henzinger, O Kupferman‏
Journal of the ACM (JACM) 49 (5), 672-713, 2002‏
23082002
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‏
19261991
Automata for modeling real-time systems‏
R Alur, D Dill‏
Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990‏
16621990
Model-checking for real-time systems‏
R Alur, C Courcoubetis, D Dill‏
Fifth Annual IEEE Symposium on Logic in Computer Science, 414-425, 1990‏
14521990
Model checking in dense real time‏
R Alur, C Courcoubetis, D Dill‏
Information and Computation 104 (1), 2-32, 1993‏
14041993
Discrete abstractions of hybrid systems‏
R Alur, TA Henzinger, G Lafferriere, GJ Pappas‏
Proceedings of the IEEE 88 (7), 971-984, 2000‏
11242000
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‏
10702013
Reactive modules‏
R Alur, TA Henzinger‏
Formal methods in system design 15, 7-48, 1999‏
10311999
A really temporal logic‏
R Alur, TA Henzinger‏
Journal of the ACM (JACM) 41 (1), 181-203, 1994‏
10201994
The benefits of relaxing punctuality‏
R Alur, T Feder, TA Henzinger‏
Journal of the ACM (JACM) 43 (1), 116-146, 1996‏
10091996
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‏
9251992
Timed automata‏
R Alur‏
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999‏
9121999
Real-time logics: complexity and expressiveness‏
R Alur, TA Henzinger‏
Information and Computation 104 (1), 35-77, 1993‏
8511993
Visibly pushdown languages‏
R Alur, P Madhusudan‏
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004‏
7552004
Principles of cyber-physical systems‏
R Alur‏
MIT press, 2015‏
6832015
Parametric real-time reasoning‏
R Alur, TA Henzinger, MY Vardi‏
Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993‏
5911993
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‏
5691998
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20