Summary: [ACH + 95] R. Alur, C. Courcoubetis, T. Henzinger, P. Ho, X. Nicollin, A. Olivero,
J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theo­
retical Computer Science, 138:3--34, 1995.
[AD94] R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer
Science, 126:183--235, 1994.
[AH94] R. Alur and T.A. Henzinger. A really temporal logic. Journal of the ACM,
41(1):181--204, 1994.
[AIKY95] R. Alur, A. Itai, R.P. Kurshan, and M. Yannakakis. Timing verification
by successive approximation. Information and Computation, 118(1):142--157,
1995.
[BD91] B. Berthomieu and M. Diaz. Modeling and verification of time­dependent
systems using time Petri nets. IEEE Transactions on Software Engineering,
SE­17(3):259--273, 1991.
[BS92] F. Balarin and A. Sangiovanni­Vincentelli. A verification strategy for timing­
constrained systems. In Proceedings of the Fourth Workshop on Computer­
Aided Verification, LNCS 663, pages 151--163. Springer­Verlag, 1992.
[Bur89] J.R. Burch. Combining CTL, trace theory and timing models. In Automatic
Verification Methods for Finite State Systems: Proceedings of the First CAV,
LNCS 407, pages 197--212. Springer­Verlag, 1989.
[Dil89] D.L. Dill. Timing assumptions and verification of finite­state concurrent sys­

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

Collections: Computer Technologies and Information Sciences