-
1
-
-
0025623486
-
Model-checking for real-time systems
-
R. Alur, C. Courcoubetis, and D. Dill, "Model-checking for real-time systems," Proc. of 5th IEEE Logic in Computer Science, pp. 414-425, 1990.
-
(1990)
Proc. of 5th IEEE Logic in Computer Science
, pp. 414-425
-
-
Alur, R.1
Courcoubetis, C.2
Dill, D.3
-
3
-
-
35048900689
-
-
Academic Press
-
20 states and beyond," Academic Press, Vol. 98, No. 2, pp. 142-170, 1992.
-
(1992)
20 States and Beyond
, vol.98
, Issue.2
, pp. 142-170
-
-
Burch, J.R.1
Clarke, E.M.2
Dill, D.L.3
Hwang, L.J.4
McMillan, K.L.5
-
4
-
-
0026120365
-
Modeling and verification of time dependent systems using time Petri nets
-
B. Berthomieu and M. Diaz, "Modeling and verification of time dependent systems using time Petri nets," IEEE Trans. on Software Eng., Vol. 17, No. 3, pp. 259-273, 1991.
-
(1991)
IEEE Trans. on Software Eng.
, vol.17
, Issue.3
, pp. 259-273
-
-
Berthomieu, B.1
Diaz, M.2
-
5
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications," ACM Trans. on Programming Languages and Systems, Vol. 8, No. 2, pp. 244-263, 1986.
-
(1986)
ACM Trans. on Programming Languages and Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
7
-
-
2342632238
-
A partial order approach to branching time logic model checking
-
R. Gerth, R. Kuiper, D. Peled, and W. Penczek, "A partial order approach to branching time logic model checking," Internal report, 1994.
-
(1994)
Internal Report
-
-
Gerth, R.1
Kuiper, R.2
Peled, D.3
Penczek, W.4
-
9
-
-
0026882867
-
Symbolic model checking for real-time systems
-
T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, "Symbolic model checking for real-time systems," 7th IEEE Logic in Computer Science, pp. 394-406, 1992.
-
(1992)
7th IEEE Logic in Computer Science
, pp. 394-406
-
-
Henzinger, T.1
Nicollin, X.2
Sifakis, J.3
Yovine, S.4
-
10
-
-
0023399846
-
A graph-theoretic approach for timing analysis and its implementation
-
F. Jahanian and A. K. Mok, " A graph-theoretic approach for timing analysis and its implementation," IEEE Trans. Comput., Vol. C-36, No. 8, pp. 961-975, 1987.
-
(1987)
IEEE Trans. Comput.
, vol.C-36
, Issue.8
, pp. 961-975
-
-
Jahanian, F.1
Mok, A.K.2
-
11
-
-
0348225427
-
Defining conditional independence using collapses
-
M. Kwiatkowska (ed.), Springer
-
S. Katz and D. Peled, "Defining conditional independence using collapses," Semantics for concurrency, BCS-FACS Workshop, M. Kwiatkowska (ed.), Springer, 1990.
-
(1990)
Semantics for Concurrency, BCS-FACS Workshop
-
-
Katz, S.1
Peled, D.2
-
13
-
-
0017001923
-
Recoverability of communication protocols
-
P. Merlin and D. J. Faber, "Recoverability of communication protocols," IEEE Trans. on Communication, Vol. COM-24, No. 9, pp. 381-404, 1976.
-
(1976)
IEEE Trans. on Communication
, vol.COM-24
, Issue.9
, pp. 381-404
-
-
Merlin, P.1
Faber, D.J.2
-
17
-
-
0024923875
-
A fast timing verification method based on the independence of units
-
T. Yoneda, K. Nakade, and Y. Tohma, "A fast timing verification method based on the independence of units," Proc. of 19th International Symposium on Fault-tolerant Computing, pp. 134-141, 1989.
-
(1989)
Proc. of 19th International Symposium on Fault-tolerant Computing
, pp. 134-141
-
-
Yoneda, T.1
Nakade, K.2
Tohma, Y.3
-
18
-
-
0026398712
-
Acceleration of timing verification method based on time Petri nets
-
T. Yoneda, Y Tohma, and Y Kondo, "Acceleration of timing verification method based on time Petri nets," Systems and Computers in Japan, Vol. 22, No. 12, pp. 37-52, 1991.
-
(1991)
Systems and Computers in Japan
, vol.22
, Issue.12
, pp. 37-52
-
-
Yoneda, T.1
Tohma, Y.2
Kondo, Y.3
|