-
1
-
-
44949269544
-
Model-checking in dense real-time
-
R. Alur, C. Courcoubetis, and D.L. 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.L.3
-
3
-
-
0029708178
-
The benefits of relaxing punctuality
-
R. Alur, T. Feder, and T.A. Henzinger. The benefits of relaxing punctuality. Journal of the ACM, 43(1):116-146, 1996.
-
(1996)
Journal of the ACM
, vol.43
, Issue.1
, pp. 116-146
-
-
Alur, R.1
Feder, T.2
Henzinger, T.A.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
-
-
85037030721
-
Design and synthesis of synchronization skeletons using branching time temporal logic
-
LNCS 131, Springer-Verlag
-
E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proceedings of Workshop on Logic of Programs, LNCS 131, pages 52-71. Springer-Verlag, 1981.
-
(1981)
Proceedings of Workshop on Logic of Programs
, pp. 52-71
-
-
Clarke, E.M.1
Emerson, E.A.2
-
7
-
-
0001449325
-
Temporal and modal logic
-
J. van Leeuwen, editor, Elsevier Science Publishers
-
E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995-1072. Elsevier Science Publishers, 1990.
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 995-1072
-
-
Emerson, E.A.1
-
8
-
-
84969334919
-
Quantitative temporal reasoning
-
LNCS 531, Springer-Verlag
-
E.A. Emerson, A.K. Mok, A.P. Sistla, and J. Srinivasan. Quantitative temporal reasoning. In Proceedings of the 2nd International Conference on Computer Aided Verification, LNCS 531, pages 136-145. Springer-Verlag, 1990.
-
(1990)
Proceedings of the 2Nd International Conference on Computer Aided Verification
, pp. 136-145
-
-
Emerson, E.A.1
Mok, A.K.2
Sistla, A.P.3
Srinivasan, J.4
-
10
-
-
0000835369
-
On the development of reactive systems
-
Springer-Verlag
-
D. Harel and A. Pnueli. On the development of reactive systems. In Logics and Models of Concurrent Systems, volume F-13 of NATO Advanced Summer Institutes, pages 477-498. Springer-Verlag, 1985.
-
(1985)
Logics and Models of Concurrent Systems
, pp. 477-498
-
-
Harel, D.1
Pnueli, A.2
-
11
-
-
0001625292
-
Safety analysis of timing properties in real-time systems
-
, SE -
-
F. Jahanian and A.K. Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, SE - 12(9):890-904, 1986.
-
(1986)
IEEE Transactions on Software Engineering
, vol.12
, Issue.9
, pp. 890-904
-
-
Jahanian, F.1
Mok, A.K.2
-
12
-
-
0001601021
-
Specifying real-time properties with metric temporal logic
-
R. Koymans. Specifying real-time properties with metric temporal logic. Journal of Real-Time Systems, 2:255-299, 1990.
-
(1990)
Journal of Real-Time Systems
, vol.2
, pp. 255-299
-
-
Koymans, R.1
-
13
-
-
84947729282
-
-
Technical report, Dipartimento di Informatica ed Applicazioni, Universit`a degli Studi di Salerno, Italy
-
S. LaTorre and M. Napoli. Timed tree automata with an application to temporal logic. Technical report, Dipartimento di Informatica ed Applicazioni, Universit`a degli Studi di Salerno, Italy, 1997. URL:“http://www.cis.upenn.edu/∼latorre/Papers/stctl.ps.gz”.
-
(1997)
Timed Tree Automata with an Application to Temporal Logic
-
-
Latorre, S.1
Napoli, M.2
-
14
-
-
0042165766
-
Applications of temporal logic to the specification of real-time systems
-
LNCS 331, Springer-Verlag
-
A. Pnueli and E. Harel. Applications of temporal logic to the specification of real-time systems. In Formal Techniques in Real-time and Fault-tolerant Systems, LNCS 331, pages 84-98. Springer-Verlag, 1988.
-
(1988)
Formal Techniques in Real-Time and Fault-Tolerant Systems
, pp. 84-98
-
-
Pnueli, A.1
Harel, E.2
-
16
-
-
84947778103
-
Automata on infinite objects and Church’s problem
-
M.O. Rabin. Automata on infinite objects and Church’s problem. Trans. Amer. Math. Soc., 1972.
-
(1972)
Trans. Amer. Math. Soc
-
-
Rabin, M.O.1
-
17
-
-
0001282303
-
Automata on infinite objects
-
J. van Leeuwen, editor, Elsevier Science Publishers, URL
-
W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 133-191. Elsevier Science Publishers, 1990. URL: “http://www.cis.upenn.edu/∼latorre/Papers/fsttcs.ps.gz”.
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 133-191
-
-
Thomas, W.1
|