Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models
Book chapter (April 2024)
The most recent citing publications are shown below. View all 109 publications that cite this research output on Dimensions.
A model-based reference architecture for complex assistive systems and its application
Article in Software and Systems Modeling (March 2024)
Human–machine Teaming with Small Unmanned Aerial Systems in a MAPE-K Environment
Article in ACM Transactions on Autonomous and Adaptive Systems (February 2024)