Cha, Sungdeok (Steve) (ed.); Choi, Jin-Young (ed.); Kim, Moonzoo (ed.); Lee, Insup (ed.); Viswanathan, Mahesh (ed.) Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. (English) Zbl 1148.68001 Lecture Notes in Computer Science 5311. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). xiv, 430 p. (2008). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{S. Cha} (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20--23, 2008. Proceedings. Berlin: Springer (2008; Zbl 1148.68001) Full Text: DOI
Viswanathan, Mahesh; Kim, Moonzoo Foundations for the run-time monitoring of reactive systems – fundamentals of the MaC language. (English) Zbl 1108.68527 Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2004. First international colloquium, Guiyang, China, September 20–24, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25304-1/pbk). Lecture Notes in Computer Science 3407, 543-556 (2005). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{M. Viswanathan} and \textit{M. Kim}, Lect. Notes Comput. Sci. 3407, 543--556 (2005; Zbl 1108.68527) Full Text: DOI
Kim, MoonZoo; Viswanathan, Mahesh; Kannan, Sampath; Lee, Insup; Sokolsky, Oleg Java-MaC: A run-time assurance approach for Java programs. (English) Zbl 1073.68552 Form. Methods Syst. Des. 24, No. 2, 129-155 (2004). MSC: 68N15 68Q60 PDFBibTeX XMLCite \textit{M. Kim} et al., Form. Methods Syst. Des. 24, No. 2, 129--155 (2004; Zbl 1073.68552) Full Text: DOI