-
1
-
-
0005810373
-
Timed automata
-
CAV'99, Springer, Berlin
-
R. Alur, Timed automata, CAV'99, Lecture Notes in Computer Science, vol. 1633, Springer, Berlin, pp. 8-22.
-
Lecture Notes in Computer Science
, vol.1633
, pp. 8-22
-
-
Alur, R.1
-
3
-
-
0028413052
-
A theory of timed automata
-
Alur R., Dill D. A theory of timed automata. Theoret. Comput. Sci. 126:1994;183-236.
-
(1994)
Theoret. Comput. Sci.
, vol.126
, pp. 183-236
-
-
Alur, R.1
Dill, D.2
-
5
-
-
0027308411
-
Parametric real-time reasoning
-
ACM Press, New York
-
R. Alur, T.A. Henzinger, M.Y. Vardi, Parametric real-time reasoning, STOC'93, ACM Press, New York, pp. 592-601.
-
STOC'93
, pp. 592-601
-
-
Alur, R.1
Henzinger, T.A.2
Vardi, M.Y.3
-
8
-
-
84888234004
-
Timed automata and the theory of real numbers
-
CONCUR'99, Springer, Berlin
-
H. Comon, Y. Jurski, Timed automata and the theory of real numbers, CONCUR'99, Lecture Notes in Computer Science, vol. 1664, Springer, Berlin, pp. 242-257.
-
Lecture Notes in Computer Science
, vol.1664
, pp. 242-257
-
-
Comon, H.1
Jurski, Y.2
-
9
-
-
84958754258
-
Binary reachability analysis of timed pushdown automata with dense clocks
-
CAV'01, Springer, Berlin
-
Z. Dang, Binary reachability analysis of timed pushdown automata with dense clocks, CAV'01, Lecture Notes in Computer Science, vol. 2102, Springer, Berlin, pp. 506-517.
-
Lecture Notes in Computer Science
, vol.2102
, pp. 506-517
-
-
Dang, Z.1
-
10
-
-
84944408189
-
Binary reachability analysis of discrete pushdown timed automata
-
CAV'00, Springer, Berlin
-
Z. Dang, O.H. Ibarra, T. Bultan, R.A. Kemmerer, J. Su, Binary reachability analysis of discrete pushdown timed automata, CAV'00, Lecture Notes in Computer Science, vol. 1855, Springer, Berlin, pp. 69-84.
-
Lecture Notes in Computer Science
, vol.1855
, pp. 69-84
-
-
Dang, Z.1
Ibarra, O.H.2
Bultan, T.3
Kemmerer, R.A.4
Su, J.5
-
11
-
-
0032683625
-
Using the ASTRAL model checker to analyze Mobile IP
-
ACM Press, New York
-
Z. Dang, R.A. Kemmerer, Using the ASTRAL model checker to analyze Mobile IP, ICSE'99, ACM Press, New York, pp. 132-141.
-
ICSE'99
, pp. 132-141
-
-
Dang, Z.1
Kemmerer, R.A.2
-
12
-
-
84949851767
-
A symbolic model checker for testing ASTRAL real-time specifications
-
IEEE Computer Society, Los Alamitos
-
Z. Dang, R.A. Kemmerer, A symbolic model checker for testing ASTRAL real-time specifications, RTCSA'99, IEEE Computer Society, Los Alamitos, pp. 174-181.
-
RTCSA'99
, pp. 174-181
-
-
Dang, Z.1
Kemmerer, R.A.2
-
13
-
-
0033725598
-
Using the ASTRAL symbolic model checker as a specification debugger: Three approximation techniques
-
ACM Press, New York
-
Z. Dang, R.A. Kemmerer, Using the ASTRAL symbolic model checker as a specification debugger: three approximation techniques, ICSE'00, ACM Press, New York, pp. 345-354.
-
ICSE'00
, pp. 345-354
-
-
Dang, Z.1
Kemmerer, R.A.2
-
14
-
-
0003179891
-
On Presburger liveness of discrete timed automata
-
STACS'01, Springer, Berlin
-
Z. Dang, P. San Pietro, R.A. Kemmerer, On Presburger liveness of discrete timed automata, STACS'01, Lecture Notes in Computer Science, vol. 2010, Springer, Berlin, pp. 132-143.
-
Lecture Notes in Computer Science
, vol.2010
, pp. 132-143
-
-
Dang, Z.1
San Pietro, P.2
Kemmerer, R.A.3
-
15
-
-
84872460286
-
The generalized railroad crossing: A case study in formal verification of real-time systems
-
C. Heitmeyer, N. Lynch, The generalized railroad crossing: a case study in formal verification of real-time systems, RTSS'94, pp. 120-131.
-
RTSS'94
, pp. 120-131
-
-
Heitmeyer, C.1
Lynch, N.2
-
16
-
-
0041664310
-
HyTech: The Cornell hybrid technology tool, Hybrid Systems II
-
Berlin: Springer
-
Henzinger T.A., Ho P.-H. HyTech. the Cornell hybrid technology tool, Hybrid Systems II, Lecture Notes in Computer Science vol. 999:1995;265-294 Springer, Berlin.
-
(1995)
Lecture Notes in Computer Science
, vol.999
, pp. 265-294
-
-
Henzinger, T.A.1
Ho, P.-H.2
-
18
-
-
84976713661
-
Reversal-bounded multicounter machines and their decision problems
-
Ibarra O.H. Reversal-bounded multicounter machines and their decision problems. J. Assoc. Comput. Mach. 25:1978;116-133.
-
(1978)
J. Assoc. Comput. Mach.
, vol.25
, pp. 116-133
-
-
Ibarra, O.H.1
-
19
-
-
0029244263
-
New decidability results concerning two-way counter machines
-
Ibarra O.H., Jiang T., Tran N., Wang H. New decidability results concerning two-way counter machines. SIAM J. Comput. 24:1995;123-137.
-
(1995)
SIAM J. Comput.
, vol.24
, pp. 123-137
-
-
Ibarra, O.H.1
Jiang, T.2
Tran, N.3
Wang, H.4
-
20
-
-
84959242935
-
Counter machines: Decidable properties and applications to verification problems
-
MFCS'00, Springer, Berlin
-
O.H. Ibarra, J. Su, Z. Dang, T. Bultan, R.A. Kemmerer, Counter machines: decidable properties and applications to verification problems, MFCS'00, Lecture Notes in Computer Science, vol. 1893, Springer, Berlin, pp. 426-435.
-
Lecture Notes in Computer Science
, vol.1893
, pp. 426-435
-
-
Ibarra, O.H.1
Su, J.2
Dang, Z.3
Bultan, T.4
Kemmerer, R.A.5
-
22
-
-
0033461045
-
The design and analysis of real-time systems using the ASTRAL software development environment
-
Kolano P.Z., Dang Z., Kemmerer R.A. The design and analysis of real-time systems using the ASTRAL software development environment. Ann. Software Eng. 7:1999;177-210.
-
(1999)
Ann. Software Eng.
, vol.7
, pp. 177-210
-
-
Kolano, P.Z.1
Dang, Z.2
Kemmerer, R.A.3
-
23
-
-
33646388452
-
From timed automata to logic - And back
-
MFCS'95, Springer, Berlin
-
F. Laroussinie, K.G. Larsen, C. Weise, From timed automata to logic - and back, MFCS'95, Lecture Notes in Computer Science, vol. 969, Springer, Berlin, pp. 529-539.
-
Lecture Notes in Computer Science
, vol.969
, pp. 529-539
-
-
Laroussinie, F.1
Larsen, K.G.2
Weise, C.3
-
25
-
-
0000552379
-
The Omega test: A fast and practical integer programming algorithm for dependence analysis
-
Pugh W. The Omega test. a fast and practical integer programming algorithm for dependence analysis Comm. Assoc. Comput. Mach. 8:1992;102-104.
-
(1992)
Comm. Assoc. Comput. Mach.
, vol.8
, pp. 102-104
-
-
Pugh, W.1
-
26
-
-
35048822458
-
State clock logic: A decidable real-time logic
-
HART'97, Springer, Berlin
-
J. Raskin, P. Schobben, State clock logic: a decidable real-time logic, HART'97, Lecture Notes in Computer Science, vol. 1201, Springer, Berlin, pp. 33-47.
-
Lecture Notes in Computer Science
, vol.1201
, pp. 33-47
-
-
Raskin, J.1
Schobben, P.2
-
27
-
-
85005984698
-
Specifying timed state sequences in powerful decidable logics and timed automata
-
Berlin: Springer
-
Wilke T. Specifying timed state sequences in powerful decidable logics and timed automata, Lecture Notes in Computer Science. vol. 863:1994;694-715 Springer, Berlin.
-
(1994)
Lecture Notes in Computer Science
, vol.863
, pp. 694-715
-
-
Wilke, T.1
|