A Monitoring Tool for Linear-Time $$\mu $$HML-Reference-Cited by-同舟云学术

A Monitoring Tool for Linear-Time $$\mu $$HML

Published:2022 Issue: Volume: Page:200-219
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Aceto Luca^ORCID,Achilleos Antonis^ORCID,Attard Duncan Paul^ORCID,Exibard Léo^ORCID,Francalanza Adrian^ORCID,Ingólfsdóttir Anna^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-08143-9_12

Reference62 articles.

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

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

3. 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)

4. Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., Lehtinen, K.: An operational guide to monitorability with applications to regular properties. Softw. Syst. Model. 20(2), 335–361 (2021)

5. Aceto, L., Attard, D.P., Francalanza, A., Ingólfsdóttir, A.: A Choreographed outline instrumentation algorithm for asynchronous components. CoRR abs/2104.09433 (2021)

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

1. Reversible debugging of concurrent Erlang programs: Supporting imperative primitives;Journal of Logical and Algebraic Methods in Programming;2024-04

2. MOTEF: A Testing Framework for Runtime Monitoring Infrastructures;IEEE Access;2024

3. A monitoring tool for linear-time μHML;Science of Computer Programming;2024-01

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

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