Home ›
Entities
› academia
› Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems
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
Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.
APA4ort.xyz Knowledge Graph. (2026). Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems. Retrieved May 24, 2026, from https://4ort.xyz/entity/lotus-runtime-a-tool-for-runtime-monitoring-and-verification-of-self-adaptive-systems
MLA“Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/lotus-runtime-a-tool-for-runtime-monitoring-and-verification-of-self-adaptive-systems.
BibTeX@misc{4ortxyz_lotus-runtime-a-tool-for-runtime-monitoring-and-verification-of-self-adaptive-systems_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems}}, year = {2026}, url = {https://4ort.xyz/entity/lotus-runtime-a-tool-for-runtime-monitoring-and-verification-of-self-adaptive-systems}, note = {Accessed: 2026-05-24}}
LLM promptAccording to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems — https://4ort.xyz/entity/lotus-runtime-a-tool-for-runtime-monitoring-and-verification-of-self-adaptive-systems (retrieved 2026-05-24)
