Norman, Gethin; Parker, David; Zou, Xueyi Verification and control of partially observable probabilistic systems. (English) Zbl 1425.68266 Real-Time Syst. 53, No. 3, 354-402 (2017). MSC: 68Q60 68M20 68Q45 68Q87 PDFBibTeX XMLCite \textit{G. Norman} et al., Real-Time Syst. 53, No. 3, 354--402 (2017; Zbl 1425.68266) Full Text: DOI
Kelter, Timon; Falk, Heiko; Marwedel, Peter; Chattopadhyay, Sudipta; Roychoudhury, Abhik Static analysis of multi-core TDMA resource arbitration delays. (English) Zbl 1291.68085 Real-Time Syst. 50, No. 2, 185-229 (2014). MSC: 68M20 PDFBibTeX XMLCite \textit{T. Kelter} et al., Real-Time Syst. 50, No. 2, 185--229 (2014; Zbl 1291.68085) Full Text: DOI
Chattopadhyay, Sudipta; Roychoudhury, Abhik Scalable and precise refinement of cache timing analysis via path-sensitive verification. (English) Zbl 1291.68068 Real-Time Syst. 49, No. 4, 517-562 (2013). MSC: 68M20 68Q60 PDFBibTeX XMLCite \textit{S. Chattopadhyay} and \textit{A. Roychoudhury}, Real-Time Syst. 49, No. 4, 517--562 (2013; Zbl 1291.68068) Full Text: DOI
Madl, Gabor; Abdelwahed, Sherif; Schmidt, Douglas C. Verifying distributed real-time properties of embedded systems via graph transformations and model checking. (English) Zbl 1103.68630 Real-Time Syst. 33, No. 1-3, 77-100 (2006). MSC: 68Q60 68M99 PDFBibTeX XMLCite \textit{G. Madl} et al., Real-Time Syst. 33, No. 1--3, 77--100 (2006; Zbl 1103.68630) Full Text: DOI