Havelund, Klaus (ed.); Roşu, Grigore (ed.) Special issue: 1st international workshop on runtime verification (RV’01). Selected papers based on the presentation at the workshop, Paris, France, July 23, 2001. (English) Zbl 1078.68514 Form. Methods Syst. Des. 24, No. 2, 99-215 (2004). MSC: 68-06 00B25 PDFBibTeX XMLCite \textit{K. Havelund} (ed.) and \textit{G. Roşu} (ed.), Form. Methods Syst. Des. 24, No. 2, 99--215 (2004; Zbl 1078.68514) Full Text: DOI
Havelund, Klaus; Roşu, Grigore An overview of the runtime verification tool Java PathExplorer. (English) Zbl 1073.68549 Form. Methods Syst. Des. 24, No. 2, 189-215 (2004). MSC: 68N15 PDFBibTeX XMLCite \textit{K. Havelund} and \textit{G. Roşu}, Form. Methods Syst. Des. 24, No. 2, 189--215 (2004; Zbl 1073.68549) Full Text: DOI
Kortenkamp, David; Simmons, Reid; Milam, Tod; Fernández, Joaquín L. A suite of tools for debugging distributed autonomous systems. (English) Zbl 1073.68525 Form. Methods Syst. Des. 24, No. 2, 157-188 (2004). MSC: 68M14 PDFBibTeX XMLCite \textit{D. Kortenkamp} et al., Form. Methods Syst. Des. 24, No. 2, 157--188 (2004; Zbl 1073.68525) 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
Finkbeiner, Bernd; Sipma, Henny Checking finite traces using alternating automata. (English) Zbl 1073.68053 Form. Methods Syst. Des. 24, No. 2, 101-127 (2004). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{B. Finkbeiner} and \textit{H. Sipma}, Form. Methods Syst. Des. 24, No. 2, 101--127 (2004; Zbl 1073.68053) Full Text: DOI