Better Late Than Never or: Verifying Asynchronous Components at Runtime-Reference-Cited by-同舟云学术

Better Late Than Never or: Verifying Asynchronous Components at Runtime

Published:2021 Issue: Volume: Page:207-225
ISSN:0302-9743
Container-title:Formal Techniques for Distributed Objects, Components, and Systems
language:
Short-container-title:

Author:

Attard Duncan Paul^ORCID,Aceto Luca^ORCID,Achilleos Antonis^ORCID,Francalanza Adrian^ORCID,Ingólfsdóttir Anna^ORCID,Lehtinen Karoliina^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-78089-0_14

Reference49 articles.

1. Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A.: Monitoring for silent actions. In: FSTTCS. LIPIcs, vol. 93, pp. 7:1–7:14 (2017)

2. Lecture Notes in Computer Science;L Aceto,2018

3. Lecture Notes in Computer Science;L Aceto,2017

4. Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., Kjartansson, S.Ö.: Determinizing monitors for HML with recursion. JLAMP 111, 100515 (2020)

5. Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., Lehtinen, K.: Adventures in monitorability: from branching to linear time and back again. Proc. ACM Program. Lang. 3(POPL), 52:1–52:29 (2019)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21

2. On first-order runtime enforcement of branching-time properties;Acta Informatica;2023-08-03

3. Bidirectional Runtime Enforcement of First-Order Branching-Time Properties;Logical Methods in Computer Science;2023-02-28

4. Lang-n-Send Extended: Sending Regular Expressions to Monitors;Electronic Proceedings in Theoretical Computer Science;2022-08-09

5. PerformERL: a performance testing framework for erlang;Distributed Computing;2022-08-01