-
1
-
-
44949269544
-
Model-checking in dense real time
-
R. Alur, C. Courcoibetis, and D. Dill, “Model-checking in dense real time," Infor- mation and Computation, 104 (1993) 2-34
-
(1993)
Infor- Mation and Computation
, vol.104
, pp. 2-34
-
-
Alur, R.1
Courcoibetis, C.2
Dill, D.3
-
2
-
-
0028413052
-
Automata for modeling real-time systems
-
R. Alur and D. Dill, “Automata for modeling real-time systems," Theoretical Com- puter Science, 126 (1994) 183-236
-
(1994)
Theoretical Com- Puter Science
, vol.126
, pp. 183-236
-
-
Alur, R.1
Dill, D.2
-
3
-
-
0028202370
-
A really temporal logic
-
R. Alur, T. A. Henzinger, “A really temporal logic," J. ACM, 41 (1994) 181-204
-
(1994)
J. ACM
, vol.41
, pp. 181-204
-
-
Alur, R.1
Henzinger, T.A.2
-
4
-
-
84944409047
-
Reachability Analysis of Pushdown Auto- mata: Application to Model-Checking
-
A. Bouajjani, J. Esparza, and O. Maler, “Reachability Analysis of Pushdown Auto- mata: Application to Model-Checking,", In CONCUR'97, LNCS 1243, pp. 135-150
-
In CONCUR'97, LNCS
, pp. 135-150
-
-
Bouajjani, A.1
Esparza, J.2
Maler, O.3
-
5
-
-
0038639611
-
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures
-
A. Bouajjani, R. Echahed, and R. Robbana, “On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures,", In Hybrid System II, LNCS 999, 1995, pp. 64-85
-
(1995)
In Hybrid System II, LNCS
, vol.999
, pp. 64-85
-
-
Bouajjani, A.1
Echahed, R.2
Robbana, R.3
-
6
-
-
84947274672
-
Efficient timed reachability analysis using clock difference diagrams
-
G. Behrmann, K. G. Larsen, J. Pearson, C. Weise and W. Yi, “Efficient timed reachability analysis using clock difference diagrams,", In CAV'99, LNCS 1633, pp. 341-353
-
(1633)
In CAV'99, LNCS
, pp. 341-353
-
-
Behrmann, G.1
Larsen, K.G.2
Pearson, J.3
Weise, C.4
Yi, W.5
-
7
-
-
84947479623
-
Symbolic verification with periodic sets
-
B. Boigelot and P. Wolper, “Symbolic verification with periodic sets," In CAV'94, LNCS 818, pp. 55-67
-
CAV'94, LNCS
, vol.818
, pp. 55-67
-
-
Boigelot, B.1
Wolper, P.2
-
9
-
-
84863901157
-
Multiple counters automata, safety analysis and Pres- burger arithmetic
-
H. Comon and Y. Jurski, “Multiple counters automata, safety analysis and Pres- burger arithmetic," In CAV'98, LNCS 1427, pp. 268-279.
-
In CAV'98, LNCS
, pp. 268-279
-
-
Comon, H.1
Jurski, Y.2
-
10
-
-
84888234004
-
Timed Automata and the Theory of Real Numbers
-
H. Comon and Y. Jurski, “Timed Automata and the Theory of Real Numbers," In CONCUR'99, LNCS 1664, pp. 242-257
-
(1664)
In CONCUR'99, LNCS
, pp. 242-257
-
-
Comon, H.1
Jurski, Y.2
-
11
-
-
84944399785
-
-
manuscript
-
Z. Dang, O. H. Ibarra, T. Bultan, R. A. Kemmerer, and J. Su “Safety property analysis of reversal-bounded pushdown multicounter machines,", manuscript, 1999
-
(1999)
Safety Property Analysis of Reversal-Bounded Pushdown Multicounter Machines
-
-
Dang, Z.1
Ibarra, O.H.2
Bultan, T.3
Kemmerer, R.A.4
Su, J.5
-
12
-
-
0003246762
-
A direct symbolic approach to model checking pushdown systems
-
A. Finkel, B. Willems and P. Wolper”A direct symbolic approach to model checking pushdown systems," In INFINITY'97.
-
INFINITY'97
-
-
Finkel, A.1
Willems, B.2
Wolper, P.3
-
13
-
-
0019549914
-
The Complexity of Decision Problems for Finite-Turn Multicounter Machines
-
E. Gurari and O. Ibarra, “The Complexity of Decision Problems for Finite-Turn Multicounter Machines," J. Computer and System Sciences, 22 (1981) 220-229
-
(1981)
J. Computer and System Sciences
, vol.22
, pp. 220-229
-
-
Gurari, E.1
Ibarra, O.2
-
14
-
-
0000217258
-
Symbolic Model Checking for Real-time Systems
-
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. “Symbolic Model Checking for Real-time Systems," Information and Computation, 111 (1994) 193-244
-
(1994)
Information and Computation
, vol.111
, pp. 193-244
-
-
Henzinger, T.A.1
Nicollin, X.2
Sifakis, J.3
Yovine, S.4
-
15
-
-
84976713661
-
Reversal-bounded multicounter machines and their decision pro- blems
-
O. H. Ibarra, “Reversal-bounded multicounter machines and their decision pro- blems," J. ACM, 25 (1978) 116-133
-
(1978)
J. ACM
, vol.25
, pp. 116-133
-
-
Ibarra, O.H.1
-
17
-
-
84957642329
-
Pushdown processes: Games and model checking
-
I. Walukiewicz, “Pushdown processes: games and model checking," In CAV'96, LNCS 1102, pp. 62-74
-
In CAV'96, LNCS
, pp. 62-74
-
-
Walukiewicz, I.1
-
18
-
-
84947736629
-
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems
-
F. Wang, “Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems," In TACAS'00, to appear.
-
TACAS'00
-
-
Wang, F.1
|