Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models.

Lucas Sakizloglou, Holger Giese, Leen Lambers

Browse the full FASE paper archive.