Author:
Marmsoler Diego,Gleirscher Mario
Publisher
Scientific Annals of Computer Science
Subject
Applied Mathematics,General Computer Science
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A temporal configuration logic for dynamic reconfigurable systems;Proceedings of the 36th Annual ACM Symposium on Applied Computing;2021-03-22
2. Runtime verification for dynamic architectures;Journal of Logical and Algebraic Methods in Programming;2021-01
3. Interactive verification of architectural design patterns in FACTum;Formal Aspects of Computing;2019-11
4. Detecting Architectural Erosion using Runtime Verification;Electronic Proceedings in Theoretical Computer Science;2019-09-12
5. A calculus for dynamic architectures;Science of Computer Programming;2019-08