메뉴 건너뛰기




Volumn 4905 LNCS, Issue , 2008, Pages 294-308

Monitoring temporal properties of stochastic systems

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; RANDOM PROCESSES; SYSTEMS ANALYSIS;

EID: 40549111634     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78163-9_25     Document Type: Conference Paper
Times cited : (15)

References (17)
  • 2
    • 40549143269 scopus 로고    scopus 로고
    • 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)
  • 5
    • 84947919072 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 15
    • 40549090104 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.