Stolz, Volker Temporal assertions with parametrized propositions. (English) Zbl 1203.68103 J. Log. Comput. 20, No. 3, 743-757 (2010). MSC: 68Q60 PDF BibTeX XML Cite \textit{V. Stolz}, J. Log. Comput. 20, No. 3, 743--757 (2010; Zbl 1203.68103) Full Text: DOI
Bodden, Eric; Hendren, Laurie; Lam, Patrick; Lhoták, Ondřej; Naeem, Nomair A. Collaborative runtime verification with tracematches. (English) Zbl 1213.68365 J. Log. Comput. 20, No. 3, 707-723 (2010). MSC: 68Q60 PDF BibTeX XML Cite \textit{E. Bodden} et al., J. Log. Comput. 20, No. 3, 707--723 (2010; Zbl 1213.68365) Full Text: DOI
Barringer, Howard; Rydeheard, David; Havelund, Klaus Rule systems for run-time monitoring: from EAGLE to RULER. (English) Zbl 1203.68093 J. Log. Comput. 20, No. 3, 675-706 (2010). MSC: 68Q60 PDF BibTeX XML Cite \textit{H. Barringer} et al., J. Log. Comput. 20, No. 3, 675--706 (2010; Zbl 1203.68093) Full Text: DOI
Bauer, Andreas; Leucker, Martin; Schallhart, Christian Comparing LTL semantics for runtime verification. (English) Zbl 1213.68363 J. Log. Comput. 20, No. 3, 651-674 (2010). MSC: 68Q60 PDF BibTeX XML Cite \textit{A. Bauer} et al., J. Log. Comput. 20, No. 3, 651--674 (2010; Zbl 1213.68363) Full Text: DOI
Sokolsky, Oleg (ed.); Tasiran, Serdar (ed.) Special issue: Selected papers based on the presentations at the 7th workshop on runtime verification (RV 2007), Vancouver, British Columbia, Canada, March 13, 2007. (English) Zbl 1198.68061 J. Log. Comput. 20, No. 3, 649-757 (2010). MSC: 68-06 00B25 PDF BibTeX XML Cite \textit{O. Sokolsky} (ed.) and \textit{S. Tasiran} (ed.), J. Log. Comput. 20, No. 3, 649--757 (2010; Zbl 1198.68061) Full Text: Link