Author:
Aceto Luca,Achilleos Antonis,Francalanza Adrian,Ingólfsdóttir Anna,Kjartansson Sævar Örn
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference53 articles.
1. Reactive Systems: Modelling, Specification and Verification;Aceto,2007
2. On the complexity of determinizing monitors;Aceto,2017
3. A framework for parameterized monitorability;Aceto,2018
4. On runtime enforcement via suppressions;Aceto,2018
5. An operational guide to monitorability;Aceto,2019
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献