-
2
-
-
0024902742
-
Time bounds for real-time process control in the presence of timing uncertainty
-
IEEE, New York
-
ATTIYA, H., AND LYNCH, N. A. Time bounds for real-time process control in the presence of timing uncertainty. In IEEE Symposium on Real-Time Systems. IEEE, New York, 1989.
-
(1989)
IEEE Symposium on Real-Time Systems.
-
-
ATTIYA, H.1
LYNCH, N.A.2
-
3
-
-
0000058143
-
A logic covering undefinedness in program proofs
-
BARRINGER, H., CHENG, J. H., AND JONES, C. B. A logic covering undefinedness in program proofs. Acta Inf. 21 1984, 251-269.
-
(1984)
Acta Inf.
, vol.21
, pp. 251-269
-
-
BARRINGER, H.1
CHENG, J.H.2
JONES, C.B.3
-
4
-
-
0020880468
-
-
BEN-ARI. M., PNUELI. A., AND MANNA, Z. The temporal logic of branching time. Acta Inf. 20 (
-
BEN-ARI. M., PNUELI. A., AND MANNA, Z. The temporal logic of branching time. Acta Inf. 20 (1983), 207-226.
-
(1983)
, pp. 207-226
-
-
-
5
-
-
84976839823
-
Proving real-time properties of programs with temporal logic
-
ACM, New York
-
BERNSTEIN, A., AND HARTER, P. K. Proving real-time properties of programs with temporal logic. In Proceedings of the 8th ACM Symposium on Operating Systems. ACM, New York, 1981, pp. 1-11.
-
(1981)
Proceedings of the 8th ACM Symposium on Operating Systems.
, pp. 1-11
-
-
BERNSTEIN, A.1
HARTER, P.K.2
-
6
-
-
0345092854
-
Design and synthesis of synchronization skeletons using branching time temporal logic
-
Lecture Notes in Computer Science, vol 131, Springer-Verlag, New York
-
CLARKE, E. M., AND EMERSON, A. E. Design and synthesis of synchronization skeletons using branching time temporal logic. In IBM Logics of Programs Workshop. Lecture Notes in Computer Science, vol 131, Springer-Verlag, New York, 1981.
-
(1981)
IBM Logics of Programs Workshop.
-
-
CLARKE, E.M.1
EMERSON, A.E.2
-
7
-
-
84976743224
-
Specification and verification of hardware systems using the temporal logic language TRIO
-
Eds., North-Holland, Amsterdam
-
COEN, A., MORZENTI, A., AND SCIUTO, D. Specification and verification of hardware systems using the temporal logic language TRIO. In Proceedings of IFOP 10th International Conference on Hardware Description Languages and Their Applications, D. Borrione and R. Waxman, Eds., North-Holland, Amsterdam, 1991, pp. 43-61.
-
(1991)
Proceedings of IFOP 10th International Conference on Hardware Description Languages and Their Applications
, pp. 43-61
-
-
COEN, A.1
MORZENTI, A.2
SCIUTO, D.3
Borrione, D.4
Waxman, R.5
-
9
-
-
84976674987
-
-
TRIO, a logic language for executable specifications of real-time systems. In Proceedings of 10th French-Tunisian Seminar on Computer Science. (Tunis, May
-
GHEZZI, C., MANDRIOLI, D., AND MORZENTI, A. TRIO, a logic language for executable specifications of real-time systems. In Proceedings of 10th French-Tunisian Seminar on Computer Science. (Tunis, May 1989), pp. 322-349.
-
(1989)
, pp. 322-349
-
-
GHEZZI, C.1
MANDRIOLI, D.2
MORZENTI, A.3
-
10
-
-
0025421619
-
-
TRIO, a logic language for executable specifications of real-time systems. J. Syst. Softw. 12, 2 (May
-
GHEZZI, C., MANDRIOLI, D., AND MORZENTI, A. TRIO, a logic language for executable specifications of real-time systems. J. Syst. Softw. 12, 2 (May 1990), 107-123.
-
(1990)
, pp. 107-123
-
-
GHEZZI, C.1
MANDRIOLI, D.2
MORZENTI, A.3
-
11
-
-
3242834667
-
The design of data type specifications
-
R. T. Yeh, Ed. Prentice-Hall, Englewood Cliffs, N.J
-
GUTTAG, J. V., HOROWITZ, E., MUSSER, D. The design of data type specifications. In Current Trends in Programming Methodologies, vol. 4, R. T. Yeh, Ed. Prentice-Hall, Englewood Cliffs, N.J., 1978.
-
(1978)
Current Trends in Programming Methodologies
, vol.4
-
-
GUTTAG, J.V.1
HOROWITZ, E.2
MUSSER, D.3
-
12
-
-
0021011328
-
-
A Hardware Semantics Based on Temporal Intervals. Lecture Notes in Computer Science, vol. 154. Springer-Verlag, New York
-
HALPERN, J., MANNA, Z., AND MOSZKOWSKI, B. A Hardware Semantics Based on Temporal Intervals. Lecture Notes in Computer Science, vol. 154. Springer-Verlag, New York, 1983, pp. 278-291.
-
(1983)
, pp. 278-291
-
-
HALPERN, J.1
MANNA, Z.2
MOSZKOWSKI, B.3
-
13
-
-
0021852765
-
Testing software specifications to detect design errors
-
(Jan
-
KEMMERER, R. A. Testing software specifications to detect design errors. Trans. Softw. Eng. 11, 1 (Jan. 1985), 32-43.
-
(1985)
Trans. Softw. Eng.
, vol.11
, Issue.1
, pp. 32-43
-
-
KEMMERER, R.A.1
-
14
-
-
84976671999
-
-
Specifying message passing and time-critical systems with temporal logic. Ph.D. dissertation, Eindhoven Univ. of Technology, The Netherlands
-
KOYMANS, R. Specifying message passing and time-critical systems with temporal logic. Ph.D. dissertation, Eindhoven Univ. of Technology, The Netherlands, 1989.
-
(1989)
-
-
KOYMANS, R.1
-
15
-
-
84884649308
-
-
P. Examples of a Real-Time Temporal Logic Specification. Lecture Notes in Computer Science, vol. 207. Springer-Verlag, New York
-
KOYMANS, R., AND DE ROEVER, W. P. Examples of a Real-Time Temporal Logic Specification. Lecture Notes in Computer Science, vol. 207. Springer-Verlag, New York, 1985, pp. 231-251.
-
(1985)
, pp. 231-251
-
-
KOYMANS, R.1
DE ROEVER, W.2
-
16
-
-
84915312512
-
Specifying message passing and real-time systems with real-time temporal logic
-
North-Holland, Amsterdam
-
KOYMANS, R., KUIPER, R., AND ZIJLSTRA, E. Specifying message passing and real-time systems with real-time temporal logic. In ESPRIT ‘87 Achievement and Impact. North-Holland, Amsterdam, 1987, pp. 311-324.
-
(1987)
ESPRIT ‘87 Achievement and Impact.
, pp. 311-324
-
-
KOYMANS, R.1
KUIPER, R.2
ZIJLSTRA, E.3
-
17
-
-
84976787596
-
-
KRÖGER, F. Temporal Logic of Programs. EATCS Monographs on Theoretical Computer Science, Springer-Verlag, New York
-
KRÖGER, F. Temporal Logic of Programs. EATCS Monographs on Theoretical Computer Science, Springer-Verlag, New York, 1987.
-
(1987)
-
-
-
19
-
-
84976828744
-
Synthesis of communication processes from temporal logic specifications
-
(Jan
-
MANNA, Z., AND WOLPER, P. Synthesis of communication processes from temporal logic specifications. ACM Trans. Program. Lang. Syst. 6, 1 (Jan. 1984), 68-93.
-
(1984)
ACM Trans. Program. Lang. Syst.
, vol.6
, Issue.1
, pp. 68-93
-
-
MANNA, Z.1
WOLPER, P.2
-
21
-
-
84976709767
-
-
The specification of real-time systems: Proposal of a logical formalism. Ph.D. dissertation, Dipartimento di Elettronica, Politecnico di Milano, Italy, 1989 (in Italian)
-
MORZENTI, A. The specification of real-time systems: Proposal of a logical formalism. Ph.D. dissertation, Dipartimento di Elettronica, Politecnico di Milano, Italy, 1989 (in Italian).
-
-
-
MORZENTI, A.1
-
22
-
-
84976755824
-
-
TRIO specification of maneuvre regulation in pondage power stations. ENEL-CRA Res. Rep., Politecnico di Milano, Italy, June 1990 (in Italian)
-
MORZENTI, A., AND SAN PIETRO, P. TRIO specification of maneuvre regulation in pondage power stations. ENEL-CRA Res. Rep., Politecnico di Milano, Italy, June 1990 (in Italian).
-
-
-
MORZENTI, A.1
SAN PIETRO, P.2
-
23
-
-
0024861742
-
-
TRIO, a logic formalism for the specification of real-time systems. In Proceedings of IEEE Euromicro Workshop on Real-Time. IEEE, New York
-
MORZENTI, A., RATTO, E., RONCATO, M., AND ZOCCOLANTE, L. TRIO, a logic formalism for the specification of real-time systems. In Proceedings of IEEE Euromicro Workshop on Real-Time. IEEE, New York, 1989, pp. 26-30.
-
(1989)
, pp. 26-30
-
-
MORZENTI, A.1
RATTO, E.2
RONCATO, M.3
ZOCCOLANTE, L.4
-
24
-
-
0022020113
-
A temporal logic for multilevel reasoning about hardware
-
(Feb. 1985). 10-19
-
MOSZKOWSKI, B. A temporal logic for multilevel reasoning about hardware. Computer 18, (Feb. 1985). 10-19.
-
Computer
, vol.18
-
-
MOSZKOWSKI, B.1
-
25
-
-
0024168264
-
Specification of real-time systems in real-time temporal interval logic
-
IEEE, New York
-
NARAYANA, K. T., AND AABY, A. A. Specification of real-time systems in real-time temporal interval logic. In Proceedings of IEEE Symposium on Real-Time Systems. IEEE, New York, 1988, pp. 86-95.
-
(1988)
Proceedings of IEEE Symposium on Real-Time Systems.
, pp. 86-95
-
-
NARAYANA, K.T.1
AABY, A.A.2
-
26
-
-
0023590184
-
-
Modelling, specifying and verifying real-time embedded computer systems. In Proceedings of IEEE Symposium on Real-Time Systems. IEEE, New York
-
OSTROFF, J. S. Modelling, specifying and verifying real-time embedded computer systems. In Proceedings of IEEE Symposium on Real-Time Systems. IEEE, New York, 1987, pp. 124-132.
-
(1987)
, pp. 124-132
-
-
OSTROFF, J.S.1
-
27
-
-
0003798342
-
-
Advanced Software Development Series. Research Studies Press, Wiley, Taunton, Mass
-
OSTROFF, J. S. Temporal Logic for Real-Time Systems. Advanced Software Development Series. Research Studies Press, Wiley, Taunton, Mass., 1989.
-
(1989)
Temporal Logic for Real-Time Systems.
-
-
OSTROFF, J.S.1
-
28
-
-
84976730945
-
Proving liveness properties of concurrent programs
-
(July
-
OWICKI, S., AND LAMPORT, L. Proving liveness properties of concurrent programs. ACM Trans. Program. Lang. Syst. 4, 3 (July 1982), 455-495.
-
(1982)
ACM Trans. Program. Lang. Syst.
, vol.4
, Issue.3
, pp. 455-495
-
-
OWICKI, S.1
LAMPORT, L.2
-
29
-
-
49149133038
-
-
Theoretical Computer Science, vol. 13. North-Holland, Amsterdam
-
PNUELI, A. The Temporal Semantics of Concurrent Programs. Theoretical Computer Science, vol. 13. North-Holland, Amsterdam, 1981, pp. 45-60.
-
(1981)
The Temporal Semantics of Concurrent Programs.
, pp. 45-60
-
-
PNUELI, A.1
-
31
-
-
85034569331
-
-
MELLIAR-SMITH, P. M., AND VOGT, F. H. An interval-based temporal logic. In Proceedings of Logics of Programs. Lecture Notes in Computer Science, vol. 164. Springer-Verlag, New York
-
SCHWARTZ, R. L., MELLIAR-SMITH, P. M., AND VOGT, F. H. An interval-based temporal logic. In Proceedings of Logics of Programs. Lecture Notes in Computer Science, vol. 164. Springer-Verlag, New York, 1984, pp. 443-457.
-
(1984)
, pp. 443-457
-
-
SCHWARTZ, R.L.1
-
32
-
-
84976811747
-
-
?. First Order Logic. Springer-Verlag, New York
-
SMULLIAN, R. First Order Logic. Springer-Verlag, New York, 1968.
-
(1968)
-
-
SMULLIAN, R.1
-
33
-
-
0017526571
-
Towards a discipline in real-time programming
-
(Aug
-
WIRTH, N. Towards a discipline in real-time programming. Commun. ACM 20, 8 (Aug. 1977), 577-583.
-
(1977)
Commun. ACM
, vol.20
, Issue.8
, pp. 577-583
-
-
WIRTH, N.1
-
34
-
-
0020496645
-
Temporal logic can be more expressive
-
WOLPER, P. Temporal logic can be more expressive. Inf. Control 56 (1983), 72-99.
-
(1983)
Inf. Control
, vol.56
, pp. 72-99
-
-
WOLPER, P.1
|