Artho, C., Drusinsky, D., Goldberg, A., Havelund, K., Lowry, M., Păsăreanu, C., Roşu, G., Visser, W., Washington, R.: Automated Testing using Symbolic Execution and Temporal Monitoring. Theoretical Computer Sci. (2005) (to appear) Google Scholar
Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-Based Runtime Verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 44–57. Springer, Heidelberg (2004) Chapter Google Scholar
Beer, I., Ben-David, S., Landver, A.: On-the-Fly Model Checking of RCTL Formulas. In: CAV 1998, pp. 184–194. Springer, Heidelberg (1998) Google Scholar
Büchi, J.R.: On a Decision Method in Restricted Second Order Arithmetic. In: Logic, Methodology and Philosophy of Sciences. Stanford University Press, Stanford (1962) Google Scholar
Chen, F., d’Amorim, M., Roşu, G.: A Formal Monitoring-Based Framework for Software Development and Analysis. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 357–372. Springer, Heidelberg (2004) Chapter Google Scholar
Chen, F., Roşu, G.: Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. In: Proceedings of RV 2003. ENTCS, vol. 89, pp. 106–125 (2003) Google Scholar
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999) Google Scholar
d’Amorim, M., Roşu, G.: Efficient monitoring of _ω_-languages. Technical Report UIUCDCS-R-2005-2530, University of Illinois Urbana-Champaign (March 2005) Google Scholar
Dudani, S., Geada, J., Jakacki, G., Vainer, D.: Dynamic Assertions Using TXP. ENTCS, vol. 55(2) (2001) Google Scholar
Etessami, K., Holzmann, G.: Optimizing Büchi Automata. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 153–167. Springer, Heidelberg (2000) Chapter Google Scholar
Ezick, J.: An Optimizing Compiler for Batches of Temporal Logic Formulas. In: Proceedings of ISSTA 2004, pp. 183–194. ACM Press, New York (2004) Chapter Google Scholar
Gastin, P., Oddoux, D.: LTL with Past and Two-Way Very-Weak Alternating Automata. In: Rovan, B., Vojtáš, P. (eds.) MFCS 2003. LNCS, vol. 2747, pp. 439–448. Springer, Heidelberg (2003) Chapter Google Scholar
Geilen, M.: On the Construction of Monitors for Temporal Logic Properties. In: Proceedings of RV 2001. ENTCS, vol. 55. Elsevier Science, Amsterdam (2001) Google Scholar
Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly Automatic Verification of Linear Temporal Logic. In: Proceedings of the 15th IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV, pp. 3–18. Chapman & Hall, Ltd., Boca Raton (1996) Google Scholar
Havelund, K., Roşu, G.: Monitoring Java Programs with Java PathExplorer. In: Proceedings of RV 2001. ENTCS, vol. 55. Elsevier Science, Amsterdam (2001) Google Scholar
Havelund, K., Roşu, G.: Workshops on Runtime Verification (RV 2001, RV 2002, RV 2004). ENTCS, vol. 55, 70(4). Elsevier, Amsterdam (2001, 2002, 2004) (to appear) Google Scholar
Havelund, K., Roşu, G.: Synthesizing monitors for safety properties. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 342–356. Springer, Heidelberg (2002) Chapter Google Scholar
Holzmann, G.: The Model Checker SPIN. IEEE Transactions on Software Engineering 23(5), 279–295 (1997) ArticleMathSciNet Google Scholar
Kesten, Y., Manna, Z., McGuire, H., Pnueli, A.: A Decision Algorithm for Full Propositional Temporal Logic. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol. 697, pp. 97–109. Springer, Heidelberg (1993) Google Scholar
Kim, M., Kannan, S., Lee, I., Sokolsky, O.: Java-MaC: a Run-time Assurance Tool for Java. In: Proceedings of RV 2001. ENTCS, vol. 55. Elsevier Sci., Amsterdam (2001) Google Scholar
Kupferman, O., Vardi, M.Y.: Model Checking of Safety Properties. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 172–183. Springer, Heidelberg (1999) Chapter Google Scholar
Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, New York (1995) Google Scholar
Markey, N.: Temporal Logic with Past is Exponentially more Succinct. EATCS Bulletin 79, 122–128 (2003) MATHMathSciNet Google Scholar
Moret, B.: Decision Trees and Diagrams. ACM Comp. Surv. 14(4), 593–623 (1982) Article Google Scholar
Roşu, G., Havelund, K.: Rewriting-Based Techniques for Runtime Verification. Journal of Automated Software Engineering 12(2), 151–197 (2005) Article Google Scholar
Ruf, J., Hoffmann, D., Kropf, T., Rosenstiel, W.: Simulation-Guided Property Checking Based on Multi-Valued AR-Automata. In: Proceedings of DATE 2001, London, UK, pp. 742–749. IEEE Computer Society Press, Los Alamitos (2001) Google Scholar
Sen, K., Roşu, G., Agha, G.: Online Efficient Predictive Safety Analysis of Multithreaded Programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 123–138. Springer, Heidelberg (2004) Chapter Google Scholar
Sistla, A.P., Clarke, E.M.: The Complexity of Propositional Linear Temporal Logics. Journal of the ACM 32(3), 733–749 (1985) ArticleMATHMathSciNet Google Scholar
Sokolsky, O., Viswanathan, M.: Workshop on Runtime Verification (RV 2003). ENTCS, vol. 89. Elsevier, Amsterdam (2003) Google Scholar
Thati, P., Roşu, G.: Monitoring Algorithms for Metric Temporal Logic. In: Proceedings of RV 2004. ENTCS, Elsevier Science, Amsterdam (2004) (to appear) Google Scholar
Wolper, P.: Constructing Automata from Temporal Logic Formulas: a Tutorial. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol. 2090, pp. 261–277. Springer, Heidelberg (2001) Chapter Google Scholar