# Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems

> Research article (2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2017) · cited 28× · AI/ML

**Wikidata**: [openalex:W2730972217](https://www.wikidata.org/wiki/openalex:W2730972217)  
**Source**: https://4ort.xyz/entity/lotus-runtime-a-tool-for-runtime-monitoring-and-verification-of-self-adaptive-systems