-
1
-
-
0024303044
-
Verifying temporal properties without temporal logic
-
B. Alpern and F. Schneider, "Verifying Temporal Properties without Temporal Logic," ACM Trans. Programming Lang. and Systems, Vol. 11, No. 1, 1989, pp. 147-167.
-
(1989)
ACM Trans. Programming Lang. and Systems
, vol.11
, Issue.1
, pp. 147-167
-
-
Alpern, B.1
Schneider, F.2
-
2
-
-
44949269544
-
Model-checking for real-time systems
-
R. Alur, C. Courcoubetis, and D. Dill, "Model-Checking for Real-Time Systems," in Information and Computation, Vol. 104, No. 1, pp. 2-34, 1993.
-
(1993)
Information and Computation
, vol.104
, Issue.1
, pp. 2-34
-
-
Alur, R.1
Courcoubetis, C.2
Dill, D.3
-
4
-
-
84958037228
-
UPPAAL - A tool suite for the automatic verification of real-time systems
-
LNCS 1066
-
J. Bengtsson, K.G. Larsen, F. Larsson, P. Pettersson, and W. Yi, "UPPAAL-A Tool Suite for the Automatic Verification of Real-Time Systems," Proc. Hybrid Systems III, LNCS 1066, 1996, pp. 232-243.
-
(1996)
Proc. Hybrid Systems III
, pp. 232-243
-
-
Bengtsson, J.1
Larsen, K.G.2
Larsson, F.3
Pettersson, P.4
Yi, W.5
-
5
-
-
19144365969
-
Using static analysis to improve automatic test generation
-
LNCS 1785 March/April
-
M. Bozga, J.-C. Fernandez, and L. Ghirvu, "Using Static Analysis to Improve Automatic Test Generation," TACAS 2000, LNCS 1785 March/April 2000.
-
(2000)
TACAS 2000
-
-
Bozga, M.1
Fernandez, J.-C.2
Ghirvu, L.3
-
8
-
-
23944454945
-
Extending timed automata for compositional modeling healthy timed systems
-
To be published in Electronic Notes in Theoretical Computer Science
-
V. Braberman, and A. Olivero, "Extending Timed Automata for Compositional Modeling Healthy Timed Systems," 2nd Workshop on Models for Timed Critical Systems 2001. To be published in Electronic Notes in Theoretical Computer Science.
-
2nd Workshop on Models for Timed Critical Systems 2001
-
-
Braberman, V.1
Olivero, A.2
-
12
-
-
40149092144
-
The tool KRONOS
-
LNCS 1066
-
C. Daws, A. Olivero, S. Tripakis and S. Yovine, "The Tool KRONOS," In Proc. of Hybrid Systems III, LNCS 1066, 1996, pp. 208-219.
-
(1996)
Proc. of Hybrid Systems III
, pp. 208-219
-
-
Daws, C.1
Olivero, A.2
Tripakis, S.3
Yovine, S.4
-
13
-
-
0030414046
-
Reducing the number of clock variables of timed automata
-
IEEE Computer Soc. Press
-
C. Daws and S. Yovine, "Reducing the Number of Clock Variables of Timed Automata," Proc. IEEE RTSS '96, IEEE Computer Soc. Press, 1996.
-
(1996)
Proc. IEEE RTSS '96
-
-
Daws, C.1
Yovine, S.2
-
14
-
-
31744449987
-
Back and forth bisimulations
-
Amsterdam, LNCS 458
-
R. De Nicolla, U. Montanari, and F. Vaandrager, "Back and Forth Bisimulations," Proc. CONCUR '90, Amsterdam, LNCS 458, 1990, pp. 152-165.
-
(1990)
Proc. CONCUR '90
, pp. 152-165
-
-
De Nicolla, R.1
Montanari, U.2
Vaandrager, F.3
-
17
-
-
0003517372
-
Liveness in timed and untimed systems
-
LNCS 820, Springer Verlag
-
R. Gawlick, R. Segala, J. Sogaard-Andersen, N. Lynch "Liveness in Timed and Untimed Systems," Proceedings of ICALP, LNCS 820, Springer Verlag, pp. 166-177, 1994
-
(1994)
Proceedings of ICALP
, pp. 166-177
-
-
Gawlick, R.1
Segala, R.2
Sogaard-Andersen, J.3
Lynch, N.4
-
19
-
-
84957679700
-
A formal study of slicing for multi-threaded programs with JVM concurrency primitives
-
LNCS 1694
-
J. Hatcliff, J. Cobett, M. Dwyer, S. Sokolowski, and H. Zheng "A Formal Study of Slicing for Multi-Threaded Programs with JVM Concurrency Primitives," SAS. LNCS 1694, 1999.
-
(1999)
SAS
-
-
Hatcliff, J.1
Cobett, J.2
Dwyer, M.3
Sokolowski, S.4
Zheng, H.5
-
20
-
-
0033689918
-
An efficient space generation for the analysis of real-time systems
-
May
-
I. Kang, I. Lee, and Y.S. Kim, "An Efficient Space Generation for the Analysis of Real-Time Systems". Trans. on Software Engineering, Vol. 26, No. 5, pp. 453-477, May 2000.
-
(2000)
Trans. on Software Engineering
, vol.26
, Issue.5
, pp. 453-477
-
-
Kang, I.1
Lee, I.2
Kim, Y.S.3
-
21
-
-
0001870215
-
CMC: A tool for compositional model-checking of real-time systems
-
Kluwer Academic Publishers
-
K.G. Larsen, F. Laroussinie, "CMC: A Tool for Compositional Model-Checking of Real-Time Systems," Proc. FORTE-PSTV'98, 439-456, Kluwer Academic Publishers, 1998.
-
(1998)
Proc. FORTE-PSTV'98
, pp. 439-456
-
-
Larsen, K.G.1
Laroussinie, F.2
-
22
-
-
0031190774
-
Stubborn sets for real-time petri Nets
-
July
-
R Sloan, U. Buy, "Stubborn Sets for Real-Time Petri Nets," Form. Methods in Syst. Design, Vol. 11(1), pp. 23-40, July 1997.
-
(1997)
Form. Methods in Syst. Design
, vol.11
, Issue.1
, pp. 23-40
-
-
Sloan, R.1
Buy, U.2
-
23
-
-
18944371395
-
A timed automaton-based method for accurate computation of circuit delay in the presence of cross-talk
-
S. Tasiran, S. P. Khatri, S. Yovine, R. K. Brayton, and A. Sangiovanni-Vincentelli. "A Timed Automaton-Based Method for Accurate Computation of Circuit Delay in the Presence of Cross-Talk," FMCAD'98, 1998.
-
(1998)
FMCAD'98
-
-
Tasiran, S.1
Khatri, S.P.2
Yovine, S.3
Brayton, R.K.4
Sangiovanni-Vincentelli, A.5
-
25
-
-
84888235129
-
Efficient and user-friendly verification
-
Accepted for Publication, June
-
F. Wang, "Efficient and User-Friendly Verification," Transaction in Computers, Accepted for Publication, June 2001.
-
(2001)
Transaction in Computers
-
-
Wang, F.1
-
26
-
-
85027594526
-
Real-time behavior of asynchronous agents
-
LNCS 458
-
Wang Yi, "Real-Time Behavior of Asynchronous Agents," Proc. CONCUR'90, LNCS 458, 1990.
-
(1990)
Proc. CONCUR'90
-
-
Yi, W.1
-
28
-
-
84958967825
-
Model-checking timed automata
-
G. Rozemberg and F. Vaandrager eds., LNCS 1494
-
S. Yovine, "Model-Checking Timed Automata," Embedded Systems, G. Rozemberg and F. Vaandrager eds., LNCS 1494, 1998.
-
(1998)
Embedded Systems
-
-
Yovine, S.1
|