Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo Runtime verification: passing on the baton. (English) Zbl 1520.68071 Bartocci, Ezio (ed.) et al., Formal methods in outer space. Essays dedicated to Klaus Havelund on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13065, 89-107 (2021). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Colombo} et al., Lect. Notes Comput. Sci. 13065, 89--107 (2021; Zbl 1520.68071) Full Text: DOI
Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander A survey of challenges for runtime verification from advanced application domains (beyond software). (English) Zbl 1425.68268 Form. Methods Syst. Des. 54, No. 3, 279-335 (2019). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Sánchez} et al., Form. Methods Syst. Des. 54, No. 3, 279--335 (2019; Zbl 1425.68268) Full Text: DOI arXiv
Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo Safe runtime verification of real-time properties. (English) Zbl 1262.68111 Ouaknine, Joël (ed.) et al., Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04367-3/pbk). Lecture Notes in Computer Science 5813, 103-117 (2009). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Colombo} et al., Lect. Notes Comput. Sci. 5813, 103--117 (2009; Zbl 1262.68111) Full Text: DOI Link