-
1
-
-
0028413052
-
A theory of timed automata
-
R. Alur and D.L. Dill. A theory of timed automata. Theor. Comp. Sci., 126:183 235, 1994.
-
(1994)
Theor. Comp. Sci
, vol.183
, Issue.235
, pp. 126
-
-
Alur, R.1
Dill, D.L.2
-
3
-
-
51549096502
-
Logics and models of real time: A survey
-
J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Lect. Notes in Comp. Sci, Springer-Verlag
-
R. Alur and T. Henzinger. Logics and models of real time: A survey. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop "Real-Time: Theory in Practice', volume 600 of Lect. Notes in Comp. Sci, pages 74-106. Springer-Verlag, 1992.
-
(1992)
Proceedings of the REX Workshop "Real-Time: Theory in Practice
, vol.600
, pp. 74-106
-
-
Alur, R.1
Henzinger, T.2
-
4
-
-
0002113090
-
Real-time system =- discrete system -+- clock variables
-
T. Rus and C. Rattray, editors, World Scientific
-
R. Atur and T.A. Henzmger. Real-time system =- discrete system -+- clock variables. In T. Rus and C. Rattray, editors, Theories and Experiences for Real-time System Development, AMAST Series in Computing 2, pages 1-29. World Scientific, 1994.
-
(1994)
Theories and Experiences for Real-Time System Development, AMAST Series in Computing
, vol.2
, pp. 1-29
-
-
Atur, R.1
Henzmger, T.A.2
-
5
-
-
0028512153
-
An old-fashioned recipe for real time
-
M. Abadi and L Lamport. An old-fashioned recipe for real time. ACM Trans. Prog. Lang. Sys., 16(5):1543-1571, 1994.
-
(1994)
ACM Trans. Prog. Lang. Sys
, vol.16
, Issue.5
, pp. 1543-1571
-
-
Abadi, M.1
Lamport, L.2
-
6
-
-
0020880468
-
The temporal logic of branching time
-
M. Ben-Ari, Z. Manna, and A. Pnueli. The temporal logic of branching time. Acta Informatzca, 20:207 226, 1983.
-
(1983)
Acta Informatzca
, vol.207
, Issue.226
, pp. 20
-
-
Ben-Ari, M.1
Manna, Z.2
Pnueli, A.3
-
7
-
-
0346353138
-
-
Technical Report STAN-CS-TR-95-1562, Computer Science Department, Stanford University, November
-
N. Bjørner, I.A. Browne, E. Chang, M. Col6n, A. Kapur, Z. Manna, H.B. Sipma, and T.E. Uribe. STEP: The Stanford Temporal Prover, User's Manual. Technical Report STAN-CS-TR-95-1562, Computer Science Department, Stanford University, November 1995.
-
(1995)
STEP: The Stanford Temporal Prover, User's Manual
-
-
Bjørner, N.1
Browne, I.A.2
Chang, E.3
Col6n, M.4
Kapur, A.5
Manna, Z.6
Sipma, H.B.7
Uribe, T.E.8
-
8
-
-
23544466524
-
Deductive verification of real-time systems using STEP
-
Lect. Notes,n Comp. Sci, Springer-Verlag, May
-
N.S. Bjørner, Z. Manna, H.B. Sipma, and T.E. Uribe. Deductive verification of real-time systems using STEP. In 4th Intl. AMAST Workshop on Real-Time Systems, volume 1231 of Lect. Notes,n Comp. Sci., pages 22-43. Springer-Verlag, May 1997.
-
(1997)
4Th Intl. AMAST Workshop on Real-Time Systems
, vol.1231
, pp. 22-43
-
-
Bjørner, N.S.1
Manna, Z.2
Sipma, H.B.3
Uribe, T.E.4
-
9
-
-
0020226119
-
Using branching time temporal logic to synthesize synchronization skeletons
-
E.A. Emerson and E.M. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comp. Prog., 2:241-266, 1982.
-
(1982)
Sci. Comp. Prog
, vol.2
, pp. 241-266
-
-
Emerson, E.A.1
Clarke, E.M.2
-
11
-
-
0023365727
-
Statecharts: A visul formalism for complex systems
-
D. Harel. Statecharts: A visul formalism for complex systems. Sci. Comp. Prog., 8:231-274, 1987.
-
(1987)
Sci. Comp. Prog
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
12
-
-
0001240170
-
Sooner is safer than later
-
T.A. Henzinger. Sooner is safer than later. Info. Proc. Lett., 43(3):135-142, 1992.
-
(1992)
Info. Proc. Lett
, vol.43
, Issue.3
, pp. 135-142
-
-
Henzinger, T.A.1
-
13
-
-
0004541601
-
A user guide to HYTECH
-
Aarhus, Denmark, To appear
-
T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. A user guide to HYTECH. In Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Aarhus, Denmark, 1995. To appear.
-
(1995)
Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
-
-
Henzinger, T.A.1
Ho, P.-H.2
Wong-Toi, H.3
-
14
-
-
0001558581
-
Verification methods for the divergent runs of clock systems
-
H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Lecture Notes in Computer Science, Springer-Verlag
-
T.A. Henzinger and P.W. Kopke. Verification methods for the divergent runs of clock systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, FTRTFT 94: Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 863, pages 351-372. Springer-Verlag, 1994.
-
(1994)
FTRTFT 94: Formal Techniques in Real-Time and Fault-Tolerant Systems
, vol.863
, pp. 351-372
-
-
Henzinger, T.A.1
Kopke, P.W.2
-
15
-
-
0000581671
-
TemporM proof methodologies for timed transition systems
-
T. Henzinger, Z. Manna, and A. Pnueli. TemporM proof methodologies for timed transition systems. Inf. and Comp., 112(2):273-337, 1994.
-
(1994)
Inf. And Comp
, vol.112
, Issue.2
, pp. 273-337
-
-
Henzinger, T.1
Manna, Z.2
Pnueli, A.3
-
16
-
-
84884649308
-
Examples of a real-time temporal logic specifications
-
B.D. Denvir, W.T. Harwood, M.I. Jackson, and M.J. Wray, editors, Lect. Notes in Comp. Sci, Springer-Verlag
-
R. Koymans and W.-P. de Roever. Examples of a real-time temporal logic specifications. In B.D. Denvir, W.T. Harwood, M.I. Jackson, and M.J. Wray, editors, The Analys's of Concurrent Systems, volume 207 of Lect. Notes in Comp. Sci., pages 231-252. Springer-Verlag, 1985.
-
(1985)
The Analys's of Concurrent Systems
, vol.207
, pp. 231-252
-
-
Koymans, R.1
De Roever, W.-P.2
-
17
-
-
84958044036
-
Verifying clocked transition systems
-
R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Lect. Notes in Comp. Scu, Springer-Verlag
-
Y. Kesten, Z. Manna, and A. Pnueli. Verifying clocked transition systems. In R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Hybrid Systems III, volume 1066 of Lect. Notes in Comp. Scu, pages 13-40. Springer-Verlag, 1996.
-
(1996)
Hybrid Systems III
, vol.1066
, pp. 13-40
-
-
Kesten, Y.1
Manna, Z.2
Pnueli, A.3
-
18
-
-
0001601021
-
Specifying real-time propertms with metric temporl logic
-
R. Koymans. Specifying real-time propertms with metric temporl logic. Real-time Systems, 2(4):255-299, 1990.
-
(1990)
Real-Time Systems
, vol.2
, Issue.4
, pp. 255-299
-
-
Koymans, R.1
-
20
-
-
0002163823
-
-
Technical Report 137, Digital Equipment Corporation, Systems Research Center, PMo Alto, July
-
L. Lamport. Proving possibiity properties. Technical Report 137, Digital Equipment Corporation, Systems Research Center, PMo Alto, July 1995.
-
(1995)
Proving Possibiity Properties
-
-
Lamport, L.1
-
21
-
-
84886714716
-
From timed to hybrid systems
-
J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Lect. Notes,n Comp. Sci, Springer-Verlag
-
O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop "Real-Time: Theory in Practzce", volume 600 of Lect. Notes,n Comp. Sci., pages 447-484. Springer-Verlag, 1992.
-
(1992)
Proceedings of the REX Workshop "Real-Time: Theory in Practzce
, vol.600
, pp. 447-484
-
-
Maler, O.1
Manna, Z.2
Pnueli, A.3
-
22
-
-
0026172359
-
Corapleting the temporM picture
-
Z. Manna and A. Pnueli. Corapleting the temporM picture. Theor. Comp. Scz., 83(1):97-130, 1991.
-
(1991)
Theor. Comp. Scz
, vol.83
, Issue.1
, pp. 97-130
-
-
Manna, Z.1
Pnueli, A.2
-
24
-
-
21344499324
-
Models for reactivity
-
Z. Manna and A. Pnueli. Models for reactivity. Acta Informatica, 30:609-678, 1993.
-
(1993)
Acta Informatica
, vol.30
, pp. 609-678
-
-
Manna, Z.1
Pnueli, A.2
-
25
-
-
0002853158
-
Verifying hybrid systems
-
R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Lect. Notes in Comp. Sci, Springer-Verlag
-
Z. Manna and A. Pnueli. Verifying hybrid systems. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybmd Systems, volume 736 of Lect. Notes in Comp. Sci, pages 4-35.Springer-Verlag, 1993.
-
(1993)
Hybmd Systems
, vol.736
, pp. 4-35
-
-
Manna, Z.1
Pnueli, A.2
-
26
-
-
84995731256
-
TemporM verification diagrams
-
T. Ito and A. R. Meyer, editors, Lect. Notes in Comp. Sci, Springer-Verlag
-
Z. Manna and A. Pnueli. TemporM verification diagrams. In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software, volume 789 of Lect. Notes in Comp. Sci., pages 726-765. Springer-Verlag, 1994.
-
(1994)
Theoretical Aspects of Computer Software
, vol.789
, pp. 726-765
-
-
Manna, Z.1
Pnueli, A.2
-
29
-
-
85030844408
-
A temporal calculus of communicating systems
-
J.C.M. Baeten and J.W. Klop, editors, Lect. Notes in Comp. Sci, Springer-Verlag
-
F. Moller and C. Tofts. A temporal calculus of communicating systems. In J.C.M. Baeten and J.W. Klop, editors, Proceedings of Concur'90, volume 458 of Lect. Notes in Comp. Sci., pages 401-415. Springer-Verlag, 1990.
-
(1990)
Proceedings of Concur'90
, vol.458
, pp. 401-415
-
-
Moller, F.1
Tofts, C.2
-
30
-
-
0000050874
-
An approach to the description and analysis of hybrid systems
-
R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Lect. Notes in Comp. Sci, Springer-Verlag
-
X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the description and analysis of hybrid systems. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybmd Systems, volume 736 of Lect. Notes in Comp. Sci., pages 149-178. Springer-Verlag, 1993.
-
(1993)
Hybmd Systems
, vol.736
, pp. 149-178
-
-
Nicollin, X.1
Olivero, A.2
Sifakis, J.3
Yovine, S.4
-
31
-
-
85027664864
-
From ATP to timed graphs and hybrid systems
-
J.W. de Bakker, C. ttuizing, W.P. de Roever, and G. Rozenberg, editors, Leer. Notes m Comp. Sci, Springer-Verlag
-
X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In J.W. de Bakker, C. ttuizing, W.P. de Roever, and G. Rozenberg, editors. Proceedings of the REX Workshop "Real-Time: Theory in Practzce", volume 600 of Leer. Notes m Comp. Sci., pages 549-572. Springer-Verlag, 1992.
-
(1992)
Proceedings of the REX Workshop "Real-Time: Theory in Practzce
, vol.600
, pp. 549-572
-
-
Nicollin, X.1
Sifakis, J.2
Yovine, S.3
-
33
-
-
85029839126
-
Marzullo Putting time into proof outlines
-
J.W. de Bakker, C Huizlng, W.P. de Roever, and G. Rozenberg, editors, Lect. Notes m Comp. Sci, Springer- Verlag
-
F. B. Schneider, B. Bloom, and K. Marzullo Putting time into proof outlines. In J.W. de Bakker, C Huizlng, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop "Real-Tzme: Theory in Practzce", volume 600 of Lect. Notes m Comp. Sci., pages 618-639. Springer- Verlag, 1992.
-
(1992)
Proceedings of the REX Workshop "Real-Tzme: Theory in Practzce
, vol.600
, pp. 618-639
-
-
Schneider, F.B.1
Bloom, B.2
-
34
-
-
85029615220
-
An overview and synthesis on timed process algebra
-
K G. Larsen and A. Skou, editors, Lect. Notes in Comp. Sci, Spriager-Verlag
-
J. Sifakis An overview and synthesis on timed process algebra In K G. Larsen and A. Skou, editors. 3rd Computer Aided Vemfieatwn Workshop, volume 575 of Lect. Notes in Comp. Sci, pages 376-398. Spriager-Verlag, 1991.
-
(1991)
3Rd Computer Aided Vemfieatwn Workshop
, vol.575
, pp. 376-398
-
-
Sifakis, J.1
|