-
2
-
-
40549143269
-
-
Amorium, M., Rosu, G.: Efficient monitoring of omega-languages. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, 3576, pp. 364-378. Springer, Heidelberg (2005)
-
Amorium, M., Rosu, G.: Efficient monitoring of omega-languages. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 364-378. Springer, Heidelberg (2005)
-
-
-
-
3
-
-
13844251687
-
-
Springer, Heidelberg
-
Cappe, O., Moulines, E., Riden, T.: Inferencing in Hidden Markov Models. Springer, Heidelberg (2005)
-
(2005)
Inferencing in Hidden Markov Models
-
-
Cappe, O.1
Moulines, E.2
Riden, T.3
-
5
-
-
84947919072
-
Ideal specification formalisms = expressivity + compositionality + decidability + testability +
-
Baeten, J.C.M, Klop, J.W, eds, CONCUR 1990, Springer, Heidelberg
-
Larsen, K.: Ideal specification formalisms = expressivity + compositionality + decidability + testability +. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol. 458, Springer, Heidelberg (1990)
-
(1990)
LNCS
, vol.458
-
-
Larsen, K.1
-
6
-
-
85030836764
-
The expressive power of implicit specifications
-
Leach Albert, J, Monien, B, Rodriguez-Artalejo, M, eds, ICALP 1991, Springer, Heidelberg
-
Larsen, K.: The expressive power of implicit specifications. In: Leach Albert, J., Monien, B., Rodriguez-Artalejo, M. (eds.) ICALP 1991. LNCS, vol. 510, Springer, Heidelberg (1991)
-
(1991)
LNCS
, vol.510
-
-
Larsen, K.1
-
7
-
-
27244448316
-
Taming Interface Specifications
-
Abadi, M, de Alfaro, L, eds, CONCUR 2005, Springer, Heidelberg
-
Margaria, T., et al.: Taming Interface Specifications. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 548-561. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3653
, pp. 548-561
-
-
Margaria, T.1
-
13
-
-
33749057475
-
Rt-mac:runtime monitoring and checking of quantitative and probabilistic properties
-
Sammapun, U., Lee, I., Sokolsky, O.: Rt-mac:runtime monitoring and checking of quantitative and probabilistic properties. In: Proc. of 11th IEEE International Conference on Embedded and Real-time Computing Systems and Applications (RTCSA 2005), pp. 147-153 (2005)
-
(2005)
Proc. of 11th IEEE International Conference on Embedded and Real-time Computing Systems and Applications (RTCSA
, pp. 147-153
-
-
Sammapun, U.1
Lee, I.2
Sokolsky, O.3
-
15
-
-
40549090104
-
-
Sistla, A.P., Srinivas, A.R.: Monitoring temporal properties of stochastic systems (2007), www. cs.uic.edu/~{}sistla/pmonitoring.ps
-
Sistla, A.P., Srinivas, A.R.: Monitoring temporal properties of stochastic systems (2007), www. cs.uic.edu/~{}sistla/pmonitoring.ps
-
-
-
-
16
-
-
40549090433
-
-
Sistla, A.P., Zhou, M., Zuck, L.: Monitoring off-the-shelf components. In: Proceedings of the International Conference on Verification, Model Checking and Abstract Interpretation (2006)
-
Sistla, A.P., Zhou, M., Zuck, L.: Monitoring off-the-shelf components. In: Proceedings of the International Conference on Verification, Model Checking and Abstract Interpretation (2006)
-
-
-
-
17
-
-
0022181923
-
Automatic verification of probabilistic concurrent systems
-
IEEE Computer Society Press, Los Alamitos
-
Vardi, M.: Automatic verification of probabilistic concurrent systems. In: 26th annual Symposium on Foundations of Computer Science, pp. 327-338. IEEE Computer Society Press, Los Alamitos (1985)
-
(1985)
26th annual Symposium on Foundations of Computer Science
, pp. 327-338
-
-
Vardi, M.1
|