-
1
-
-
56749140648
-
-
Alur, R., Courcoubetis, C., Dill, D.L.: Model Checking for Real-Time Systems. In: IEEE LICS (1990)
-
Alur, R., Courcoubetis, C., Dill, D.L.: Model Checking for Real-Time Systems. In: IEEE LICS (1990)
-
-
-
-
2
-
-
0000050873
-
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
-
Grossman, R.L, Nerode, A, Ravn, A.P, Rischel, H, eds, HS 1991 and HS 1992, Springer, Heidelberg
-
Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid Automata: an Algorithmic Approach to the Specification and Verification of Hybrid Systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991 and HS 1992. LNCS, vol. 736, pp. 209-229. Springer, Heidelberg (1993)
-
(1993)
LNCS
, vol.736
, pp. 209-229
-
-
Alur, R.1
Courcoubetis, C.2
Henzinger, T.A.3
Ho, P.-H.4
-
4
-
-
84958037228
-
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
-
Hybrid Control System Symposium, Springer, Heidelberg
-
Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. In: Hybrid Control System Symposium. LNCS. Springer, Heidelberg (1996)
-
(1996)
LNCS
-
-
Bengtsson, J.1
Larsen, K.2
Larsson, F.3
Pettersson, P.4
Yi, W.5
-
5
-
-
84944099472
-
-
Dill, D.L.: Timing Assumptions and Verification of Finite-state Concurrent Systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, 407. Springer, Heidelberg (1990)
-
Dill, D.L.: Timing Assumptions and Verification of Finite-state Concurrent Systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol. 407. Springer, Heidelberg (1990)
-
-
-
-
6
-
-
56749130432
-
reported in:) Analyse des travaux de l'Académie Royale des Sciences pendant l'année
-
Partie Mathématique
-
Fourier, J.B.: (reported in:) Analyse des travaux de l'Académie Royale des Sciences pendant l'année 1824, Partie Mathématique (1827)
-
(1824)
-
-
Fourier, J.B.1
-
7
-
-
2342548169
-
Symbolic Model Checking for Real-Time Systems
-
Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-Time Systems. IEEE LICS (1992)
-
(1992)
IEEE LICS
-
-
Henzinger, T.A.1
Nicollin, X.2
Sifakis, J.3
Yovine, S.4
-
8
-
-
35248884302
-
-
Wang, F.: Efficient Verification of Timed Automata with BDD-like Data-Structures, STTT (Software Tools for Technology Transfer), 6(1) (June 2004) In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, 2575, pp. 189-205. Springer, Heidelberg (2002)
-
Wang, F.: Efficient Verification of Timed Automata with BDD-like Data-Structures, STTT (Software Tools for Technology Transfer), vol. 6(1) (June 2004) In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol. 2575, pp. 189-205. Springer, Heidelberg (2002)
-
-
-
-
9
-
-
17644425262
-
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures
-
Wang, F.: Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-like Data-Structures. IEEE Transactions on Software Engineering 31(1), 38-51 (2005);
-
(2005)
IEEE Transactions on Software Engineering
, vol.31
, Issue.1
, pp. 38-51
-
-
Wang, F.1
-
10
-
-
56749142679
-
-
A preliminary version. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, 3114, pp. 38-51. Springer, Heidelberg (2004)
-
A preliminary version. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 38-51. Springer, Heidelberg (2004)
-
-
-
-
11
-
-
33947108848
-
TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering
-
Wang, F., Huang, G.-D., Yu, F.: TCTL Inevitability Analysis of Dense-Time Systems: From Theory to Engineering. IEEE Transactions on Software Engineering 32(7) (2006)
-
(2006)
IEEE Transactions on Software Engineering
, vol.32
, Issue.7
-
-
Wang, F.1
Huang, G.-D.2
Yu, F.3
-
12
-
-
84896693998
-
-
Yovine, S.: Kronos: A Verification Tool for Real-Time Systems. International Journal of Software Tools for Technology Transfer 1(1/2) (October 1997)
-
Yovine, S.: Kronos: A Verification Tool for Real-Time Systems. International Journal of Software Tools for Technology Transfer 1(1/2) (October 1997)
-
-
-
|