Natarajan, Aravind; Chauhan, Himanshu; Mittal, Neeraj; Garg, Vijay K. Efficient abstraction algorithms for predicate detection. (English) Zbl 1371.68180 Theor. Comput. Sci. 688, 24-48 (2017). MSC: 68Q60 68Q10 68W15 68W27 PDFBibTeX XMLCite \textit{A. Natarajan} et al., Theor. Comput. Sci. 688, 24--48 (2017; Zbl 1371.68180) Full Text: DOI
Reinbacher, Thomas; Függer, Matthias; Brauer, Jörg Runtime verification of embedded real-time systems. (English) Zbl 1317.68122 Form. Methods Syst. Des. 44, No. 3, 203-239 (2014). MSC: 68Q60 68W27 PDFBibTeX XMLCite \textit{T. Reinbacher} et al., Form. Methods Syst. Des. 44, No. 3, 203--239 (2014; Zbl 1317.68122) Full Text: DOI