-
2
-
-
44949269544
-
Model-checking in dense real-time
-
R. Alur, C. Courcoubetis, and D. Dill. Model-checking in dense real-time. Information and Computation, 104(1):2-34, 1993.
-
(1993)
Information and Computation
, vol.104
, Issue.1
, pp. 2-34
-
-
Alur, R.1
Courcoubetis, C.2
Dill, D.3
-
4
-
-
43949167687
-
Real-time logics: Complexity and expressiveness
-
R. Alur and T. A. Henzinger. Real-time logics: Complexity and expressiveness. Information and Computation, 104(1):35-77, 1993.
-
(1993)
Information and Computation
, vol.104
, Issue.1
, pp. 35-77
-
-
Alur, R.1
Henzinger, T.A.2
-
5
-
-
0028202370
-
A really temporal logic
-
R. Alur and T. A. Henzinger. A really temporal logic. Journal of the ACM, 41(1):181-204, 1994.
-
(1994)
Journal of the ACM
, vol.41
, Issue.1
, pp. 181-204
-
-
Alur, R.1
Henzinger, T.A.2
-
6
-
-
84958044638
-
Timing analysis in cospan
-
Springer LNCS
-
R. Alur and R. P. Kurshan. Timing analysis in Cospan. In Proceedings of Hybrid Systems III, volume 1066, pages 220-231. Springer LNCS, 1996.
-
(1996)
Proceedings of Hybrid Systems III
, vol.1066
, pp. 220-231
-
-
Alur, R.1
Kurshan, R.P.2
-
7
-
-
84958037228
-
UppAal: A tool-suite for automatic verification of real-time systems
-
Springer LNCS
-
J. Bengtsson, K. G. Larsen, F. Larsen, P. Pettersson, and W. Yi. UppAal: A tool-suite for automatic verification of real-time systems. In Proceedings of Hybrid Systems III, volume 1066, pages 232-243. Springer LNCS, 1996.
-
(1996)
Proceedings of Hybrid Systems III
, vol.1066
, pp. 232-243
-
-
Bengtsson, J.1
Larsen, K.G.2
Larsen, F.3
Pettersson, P.4
Yi, W.5
-
8
-
-
40149092144
-
The tool kronos
-
Springer LNCS
-
C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Proceedings of Hybrid Systems III, volume 1066, pages 208-219. Springer LNCS, 1996.
-
(1996)
Proceedings of Hybrid Systems III
, vol.1066
, pp. 208-219
-
-
Daws, C.1
Olivero, A.2
Tripakis, S.3
Yovine, S.4
-
10
-
-
84947423533
-
HyTech: A model checker for hybrid systems
-
Springer LNCS
-
T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: A model checker for hybrid systems. In Proceedings of the Ninth International Conference on Computer-Aided Verification (CAV 97), volume 1254, pages 460-463. Springer LNCS, 1997.
-
(1997)
Proceedings of the Ninth International Conference on Computer-Aided Verification (CAV 97)
, vol.1254
, pp. 460-463
-
-
Henzinger, T.A.1
Ho, P.-H.2
Wong-Toi, H.3
-
12
-
-
84955564686
-
A space-efficient on-the-fly algorithm for real-time model checking
-
Springer LNCS
-
T. A. Henzinger, O. Kupferman, and M. Y. Vardi. A space-efficient on-the-fly algorithm for real-time model checking. In Proceedings of the Seventh International Conference on Concurrency Theory (CONCUR 96), volume 1119, pages 514-529. Springer LNCS, 1996.
-
(1996)
Proceedings of the Seventh International Conference on Concurrency Theory (CONCUR 96)
, vol.1119
, pp. 514-529
-
-
Henzinger, T.A.1
Kupferman, O.2
Vardi, M.Y.3
-
13
-
-
84957102718
-
What good are digital clocks?
-
Springer LNCS
-
T. A. Henzinger, Z. Manna, and A. Pnueli. What good are digital clocks? In Proceedings of the Nineteenth International Colloquium on Automata, Languages, and Programming (ICALP 92), volume 623, pages 545-558. Springer LNCS, 1992.
-
(1992)
Proceedings of the Nineteenth International Colloquium on Automata, Languages, and Programming (ICALP 92)
, vol.623
, pp. 545-558
-
-
Henzinger, T.A.1
Manna, Z.2
Pnueli, A.3
-
14
-
-
0000217258
-
Symbolic model checking for real-time systems
-
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2):193-244, 1994.
-
(1994)
Information and Computation
, vol.111
, Issue.2
, pp. 193-244
-
-
Henzinger, T.A.1
Nicollin, X.2
Sifakis, J.3
Yovine, S.4
-
18
-
-
3042595419
-
Discrete analysis of continuous behaviour in real-time concurrent systems
-
PhD thesis, Oxford University
-
J. Ouaknine. Discrete Analysis of Continuous Behaviour in Real-Time Concurrent Systems. PhD thesis, Oxford University, 2001. Technical report PRG-RR-01-06.
-
(2001)
Technical Report PRG-RR-01-06
-
-
Ouaknine, J.1
-
25
-
-
0000042060
-
An operational semantics for timed CSP
-
S. A. Schneider. An operational semantics for Timed CSP. Information and Computation, 116:193-213, 1995.
-
(1995)
Information and Computation
, vol.116
, pp. 193-213
-
-
Schneider, S.A.1
-
26
-
-
0030781562
-
Timewise refinement for communicating processes
-
S. A. Schneider. Timewise refinement for communicating processes. Science of Computer Programming, 28:43-90, 1997.
-
(1997)
Science of Computer Programming
, vol.28
, pp. 43-90
-
-
Schneider, S.A.1
|