A theory of timed automata R Alur, DL Dill Theoretical computer science 126 (2), 183-235, 1994 | 10089 | 1994 |
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 | 2857 | 1995 |
Model-checking for real-time systems R Alur, C Courcoubetis, D Dill [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990 | 2694* | 1990 |
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM (JACM) 49 (5), 672-713, 2002 | 2288* | 2002 |
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 | 1891 | 1991 |
Automata for modeling real-time systems R Alur, D Dill Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990 | 1650 | 1990 |
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000 | 1105 | 2000 |
Reactive modules R Alur, TA Henzinger Formal methods in system design 15, 7-48, 1999 | 1006 | 1999 |
A really temporal logic R Alur, TA Henzinger Journal of the ACM (JACM) 41 (1), 181-203, 1994 | 998 | 1994 |
Adding nesting structure to words R Alur, P Madhusudan Journal of the ACM (JACM) 56 (3), 1-43, 2009 | 990* | 2009 |
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM (JACM) 43 (1), 116-146, 1996 | 962 | 1996 |
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 | 957 | 2013 |
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996 | 948 | 1996 |
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 | 913 | 1992 |
Timed automata R Alur Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999 | 910 | 1999 |
Real-time logics: complexity and expressiveness R Alur, TA Henzinger Information and Computation 104 (1), 35-77, 1993 | 825 | 1993 |
Principles of cyber-physical systems R Alur MIT press, 2015 | 621 | 2015 |
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 | 558 | 1998 |
Parametric real-time reasoning R Alur, TA Henzinger, MY Vardi Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993 | 553 | 1993 |
Inference of message sequence charts R Alur, K Etessami, M Yannakakis Proceedings of the 22nd international conference on Software engineering …, 2000 | 460 | 2000 |