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

Lucas Sakizloglou Holger Giese Leen Lambers

Published in: FASE (2024)

Keyphrases

temporal properties
database
artificial intelligence
relevance feedback
response time
model checking
high level
data sources
multi agent systems
probabilistic model
object oriented
information retrieval systems
monitoring system