Runtime verification using a temporal description logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5749 LNAI, Issue , 2009, Pages 149-164

  Baader, Franz ^a   Bauer, Andreas ^b   Lippmann, Marcel ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ACTUAL SYSTEM; COMPLETE INFORMATION; DESCRIPTION LOGIC; FINITE PREFIX; LINEAR TEMPORAL LOGIC; OBSERVED SYSTEMS; PROPOSITIONAL VARIABLES; RUN-TIME VERIFICATION; SINGLE STATE; TIME POINTS; TRANSITION SYSTEM;

DATA DESCRIPTION; DYNAMICAL SYSTEMS; MODEL CHECKING; TEMPORAL LOGIC;

MATHEMATICAL MODELS;

EID: 76649102072     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04222-5_9     Document Type: Conference Paper

References (16)

1. Artale, A., Franconi, E.: A survey of temporal extensions of description logics. Ann. of Mathematics and Artificial Intelligence 30, 171-210 (2000)
2. Artale, A., Franconi, E.: Temporal description logics. In: Gabbay, D., Fisher, M., Vila, L. (eds.) Handbook of Time and Temporal Reasoning in Artificial Intelligence. The MIT Press, Cambridge (2001)
3. Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. In: Brewka, G., Lang, J. (eds.) Proc. of the 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 684-694. Morgan Kaufmann, Los Altos (2008)
4. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
5. Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol. 4337, pp. 260-272. Springer, Heidelberg (2006)
6. Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL semantics for runtime verification. Journal of Logic and Computation (2009)
7. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
8. Colin, S., Mariani, L.: Run-time verification. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 525-555. Springer, Heidelberg (2005)
9. Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV, London, UK, pp. 3-18. Chapman & Hall, Ltd., Boca Raton (1996)
10. Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: A survey. In: Demri, S., Jensen, C.S. (eds.) Proc. of the 15th Int. Symp. on Temporal Representation and Reasoning (TIME 2008), pp. 3-14. IEEE Computer Society Press, Los Alamitos (2008)
11. Pnueli, A.: The temporal logic of programs. In: Proc. of the 18th Annual Symp. on the Foundations of Computer Science (FOCS 1977), pp. 46-57 (1977)
12. Roşu, G.: On safety properties and their monitoring. Technical Report UIUCDCS-R-2007-2850, Department of Computer Science, University of Illinois at Urbana-Champaign (2007)
13. Roşu, G., Havelund, K.: Rewriting-based techniques for runtime verification. Automated Software Engineering 12(2), 151-197 (2005)
14. Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence 48(1), 1-26 (1991)
15. Vardi, M.Y., Wolper, P.: Reasoning about infinite computations. Information and Computation 115(1), 1-37 (1994)
16. Wolper, P., Vardi, M.Y., Prasad Sistla, A.: Reasoning about infinite computation paths. In: Proc. of the 24th Annual Symp. on the Foundations of Computer Science (FOCS 1983), pp. 185-194. IEEE Computer Society Press, Los Alamitos (1983)