메뉴 건너뛰기




Volumn 8174 LNCS, Issue , 2013, Pages 59-75

From propositional to first-order monitoring

Author keywords

[No Author keywords available]

Indexed keywords

DECISION PROBLEMS; FIRST ORDER LOGIC; FIRST-ORDER; FIRST-ORDER TEMPORAL LOGIC; MONITORING APPROACH; RUNTIME MONITORS; TRACE LENGTH;

EID: 84887444663     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40787-1_4     Document Type: Conference Paper
Times cited : (51)

References (24)
  • 4
    • 77954971404 scopus 로고    scopus 로고
    • Müller, S.: Policy monitoring in first-order temporal logic
    • Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. Springer, Heidelberg
    • Basin, D., Klaedtke, F., Müller, S.: Policy monitoring in first-order temporal logic. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 1-18. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6174 , pp. 1-18
    • Basin, D.1    Klaedtke, F.2
  • 5
    • 70349319952 scopus 로고    scopus 로고
    • A first-order policy language for history-based transaction monitoring
    • Leucker, M., Morgan, C. (eds.) ICTAC 2009. Springer, Heidelberg
    • Bauer, A., Gore, R., Tiu, A.: A first-order policy language for history-based transaction monitoring. In: Leucker, M., Morgan, C. (eds.) ICTAC 2009. LNCS, vol. 5684, pp. 96-111. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5684 , pp. 96-111
    • Bauer, A.1    Gore, R.2    Tiu, A.3
  • 6
    • 84859476027 scopus 로고    scopus 로고
    • Runtime verification meets Android security
    • Goodloe, A.E., Person, S. (eds.) NFM 2012. Springer, Heidelberg
    • Bauer, A., Küster, J.-C.,Vegliach, G.: Runtime verification meets Android security. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol. 7226, pp. 174-180. Springer, Heidelberg (2012)
    • (2012) LNCS , vol.7226 , pp. 174-180
    • Bauer, A.1    Küster, J.-C.2    Vegliach, G.3
  • 9
    • 70350637810 scopus 로고    scopus 로고
    • Roşu, G.: Parametric trace slicing and monitoring
    • Kowalewski, S., Philippou, A. (eds.) TACAS 2009. Springer, Heidelberg
    • Chen, F., Roşu, G.: Parametric trace slicing and monitoring. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol. 5505, pp. 246-261. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5505 , pp. 246-261
    • Chen, F.1
  • 10
    • 84976843391 scopus 로고
    • Efficient checking of temporal integrity constraints using bounded history encoding
    • Chomicki, J.: Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans. Database Syst. 20(2), 149-186 (1995)
    • (1995) ACM Trans. Database Syst. , vol.20 , Issue.2 , pp. 149-186
    • Chomicki, J.1
  • 11
    • 0029530231 scopus 로고
    • On the feasibility of checking temporal integrity constraints
    • Chomicki, J., Niwinski, D.: On the feasibility of checking temporal integrity constraints. J. Comput. Syst. Sci. 51(3), 523-535 (1995)
    • (1995) J. Comput. Syst. Sci. , vol.51 , Issue.3 , pp. 523-535
    • Chomicki, J.1    Niwinski, D.2
  • 12
    • 56749144284 scopus 로고    scopus 로고
    • Impartial anticipation in runtime-verification
    • Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. Springer, Heidelberg
    • Dong, W., Leucker, M., Schallhart, C.: Impartial anticipation in runtime-verification. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 386-396. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5311 , pp. 386-396
    • Dong, W.1    Leucker, M.2    Schallhart, C.3
  • 14
    • 35248878834 scopus 로고    scopus 로고
    • Reasoning with temporal logic on truncated paths
    • Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. Springer, Heidelberg
    • Eisner, C., Fisman, D., Havlicek, J., Lustig, Y., McIsaac, A., Van Campenhout, D.: Reasoning with temporal logic on truncated paths. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 27-39. Springer, Heidelberg (2003)
    • (2003) LNCS , vol.2725 , pp. 27-39
    • Eisner, C.1    Fisman, D.2    Havlicek, J.3    Lustig, Y.4    McIsaac, A.5    Van Campenhout, D.6
  • 19
    • 84868089371 scopus 로고    scopus 로고
    • Efficient parallel path checking for linear-time temporal logic with past and bounds
    • Kuhtz, L., Finkbeiner, B.: Efficient parallel path checking for linear-time temporal logic with past and bounds. Logical Methods in Computer Science 8(4) (2012)
    • (2012) Logical Methods in Computer Science , vol.8 , Issue.4
    • Kuhtz, L.1    Finkbeiner, B.2
  • 21
    • 35248852800 scopus 로고    scopus 로고
    • Model checking a path
    • Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. Springer, Heidelberg
    • Markey, N., Schnoebelen, P.: Model checking a path. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 251-265. Springer, Heidelberg (2003)
    • (2003) LNCS , vol.2761 , pp. 251-265
    • Markey, N.1    Schnoebelen, P.2
  • 22
    • 0022092438 scopus 로고
    • The complexity of propositional linear temporal logics
    • Sistla, A.P., Clarke, E.M.: The complexity of propositional linear temporal logics. J. ACM 32(3), 733-749 (1985)
    • (1985) J. ACM , vol.32 , Issue.3 , pp. 733-749
    • Sistla, A.P.1    Clarke, E.M.2
  • 24
    • 77952935871 scopus 로고    scopus 로고
    • Temporal assertions with parametrized propositions
    • Stolz, V.: Temporal assertions with parametrized propositions. J. Log. Comp. 20(3), 743-757 (2010)
    • (2010) J. Log. Comp. , vol.20 , Issue.3 , pp. 743-757
    • Stolz, V.1


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